hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Inference

Description

Entry point for Hydra type inference, which is a variation on on Hindley-Milner

Synopsis

Documentation

inferTypeAndConstraints :: Term -> Flow Graph (Term, TypeScheme) Source #

Solve for the top-level type of an expression in a given environment