Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class TypeErrorIf (ok :: Bool) (err :: ErrorMessage) Source #
TypeError Constraint err => TypeErrorIf False err Source # | |
TypeErrorIf True err Source # | |
type TypeAssert ok = TypeErrorIf ok (ErrMsg "Assertion failed.") Source #