| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hydra.Inference.Substitution
Description
Variable substitution and normalization of type expressions
Synopsis
- type Subst = Map Name Type
- composeSubst :: Subst -> Subst -> Subst
- normalVariables :: [Name]
- normalVariable :: Int -> Name
- normalizeScheme :: TypeScheme -> TypeScheme
- substituteInScheme :: Map Name Type -> TypeScheme -> TypeScheme
- substituteInType :: Map Name Type -> Type -> Type
Documentation
normalVariables :: [Name] Source #
normalVariable :: Int -> Name Source #
Type variable naming convention follows Haskell: t0, t1, etc.
substituteInScheme :: Map Name Type -> TypeScheme -> TypeScheme Source #