purescript-0.13.0: PureScript Programming Language Compiler

Safe HaskellNone
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)])