Hydra.Types.Inference

Documentation

annotateElementWithTypes :: (Ord m, Show m) => Element m -> GraphFlow m (Element m)

annotateTermWithTypes :: (Ord m, Show m) => Term m -> GraphFlow m (Term m)

inferType :: (Ord m, Show m) => Term m -> GraphFlow m (Term (m, Type m, [Constraint m]), TypeScheme m)

Solve for the toplevel type of an expression in a given environment

type Constraint m = (Type m, Type m)