Test.TypeSpec.Internal.Result

Results that with TypeErrors

type Result

type FAILED

type OK

type family Try (e :: Result k) :: k where ...

type family DontTry (e :: Result r) :: Constraint where ...

Extending Error Messages

type family PrependToError (message :: ErrorMessage) (result :: Result a) :: Result a where ...