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

Hydra.Types.Substitution

Description

Variable substitution and normalization of type expressions

Documentation

type Subst m = Map VariableType (Type m) Source #

composeSubst :: Subst m -> Subst m -> Subst m Source #

normalVariables :: [VariableType] Source #

normalizeScheme :: Show m => TypeScheme m -> TypeScheme m Source #

substituteInScheme :: Map VariableType (Type m) -> TypeScheme m -> TypeScheme m Source #

substituteInType :: Map VariableType (Type m) -> Type m -> Type m Source #