Safe Haskell | None |
---|---|
Language | Haskell98 |
Subsumption checking
- subsumes :: (Functor m, Applicative m, MonadError MultipleErrors m, MonadState CheckState m) => Maybe Expr -> Type -> Type -> m (Maybe Expr)
Documentation
subsumes :: (Functor m, Applicative m, 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