| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.PureScript.TypeChecker.Subsumption
Description
Subsumption checking
- subsumes :: (MonadError MultipleErrors m, MonadState CheckState m) => Type -> Type -> m (Expr -> Expr)
Documentation
subsumes :: (MonadError MultipleErrors m, MonadState CheckState m) => Type -> Type -> m (Expr -> Expr) Source #
Check that one type subsumes another, rethrowing errors to provide a better error message