| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hydra.Inference
Description
Entry point for Hydra type inference, which is a variation on on Hindley-Milner
Synopsis
- annotateTypedTerms :: Term -> Flow Graph Term
- inferGraphTypes :: Flow Graph Graph
- inferType :: Term -> Flow Graph Type
- inferTypeScheme :: Term -> Flow Graph TypeScheme
- inferTypeAndConstraints :: Term -> Flow Graph (Term, TypeScheme)
- type Constraint = (Type, Type)
Documentation
inferTypeScheme :: Term -> Flow Graph TypeScheme Source #
inferTypeAndConstraints :: Term -> Flow Graph (Term, TypeScheme) Source #
Solve for the top-level type of an expression in a given environment
type Constraint = (Type, Type) Source #