purescript-0.11.1: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell98

Language.PureScript.TypeChecker.Subsumption

Description

Subsumption checking

Synopsis

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