| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hydra.Types.Inference
Description
Entry point for Hydra's variation on Hindley-Milner type inference
Synopsis
- 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)
- type Constraint m = (Type m, Type m)