| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hydra.Inference.Inference
Description
Entry point for Hydra type inference, which is a variation on on Hindley-Milner
Synopsis
- inferTermType :: Term -> Flow Graph Term
- inferGraphTypes :: Flow Graph Graph
- inferredTypeOf :: Term -> Flow Graph Type
- inferTypeScheme :: Term -> Flow Graph TypeScheme
- inferTypeAndConstraints :: Term -> Flow Graph (Term, TypeScheme)
- withInferenceContext :: Flow Graph b -> Flow Graph b
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