Test.TypeSpec.Internal.Result
TypeErrors
type Result
type FAILED
type OK
type family Try (e :: Result k) :: k where ...
type family DontTry (e :: Result r) :: Constraint where ...
type family PrependToError (message :: ErrorMessage) (result :: Result a) :: Result a where ...