purescript-0.6.8: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell98

Language.PureScript.TypeChecker.Subsumption

Description

Subsumption checking

Synopsis

Documentation

subsumes :: Maybe Expr -> Type -> Type -> UnifyT Type Check (Maybe Expr) Source

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