purescript-0.13.0: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell2010

Language.PureScript.TypeChecker.Subsumption

Description

Subsumption checking

Synopsis

Documentation

subsumes :: (MonadError MultipleErrors m, MonadState CheckState m) => SourceType -> SourceType -> m (Expr -> Expr) Source #

Check that one type subsumes another, rethrowing errors to provide a better error message