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