purescript-0.15.7: PureScript Programming Language Compiler
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.PureScript.TypeChecker.TypeSearch

Documentation

typeSearch Source #

Arguments

:: Maybe [(Ident, InstanceContext, SourceConstraint)]

Additional constraints we need to satisfy

-> Environment

The Environment which contains the relevant definitions and typeclasses

-> CheckState

The typechecker state

-> SourceType

The type we are looking for

-> ([(Qualified Text, SourceType)], Maybe [(Label, SourceType)])