purescript-0.6.4.1: PureScript Programming Language Compiler
Language.PureScript.TypeChecker.Subsumption
Description
Subsumption checking
Synopsis
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