| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.PureScript.TypeChecker.TypeSearch
Documentation
Arguments
| :: Maybe [(Ident, InstanceContext, Constraint)] | Additional constraints we need to satisfy |
| -> Environment | The Environment which contains the relevant definitions and typeclasses |
| -> CheckState | The typechecker state |
| -> Type | The type we are looking for |
| -> Map (Qualified Ident) Type |