Base.TypeSubst

This module implements substitutions on types.

Documentation

class ExpandAliasType a where

Methods

expandAliasType :: [Type] -> a -> a

Instances

ExpandAliasType PredType

Defined in Base.TypeSubst

Methods

expandAliasType :: [Type] -> PredType -> PredType

ExpandAliasType Pred

Defined in Base.TypeSubst

Methods

expandAliasType :: [Type] -> Pred -> Pred

ExpandAliasType Type

Defined in Base.TypeSubst

Methods

expandAliasType :: [Type] -> Type -> Type

ExpandAliasType a => ExpandAliasType [a]

Defined in Base.TypeSubst

Methods

expandAliasType :: [Type] -> [a] -> [a]

(Ord a, ExpandAliasType a) => ExpandAliasType (Set a)

Defined in Base.TypeSubst

Methods

expandAliasType :: [Type] -> Set a -> Set a

class SubstType a where

Methods

subst :: TypeSubst -> a -> a

Instances

SubstType TypeScheme

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> TypeScheme -> TypeScheme

SubstType PredType

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> PredType -> PredType

SubstType Pred

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> Pred -> Pred

SubstType Type

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> Type -> Type

SubstType ValueInfo

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> ValueInfo -> ValueInfo

SubstType a => SubstType [a]

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> [a] -> [a]

(Ord a, SubstType a) => SubstType (Set a)

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> Set a -> Set a

SubstType a => SubstType (TopEnv a)

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> TopEnv a -> TopEnv a

type TypeSubst = Subst Int Type

bindVar :: Int -> Type -> TypeSubst -> TypeSubst

substVar :: TypeSubst -> Int -> Type

subst' :: TypeSubst -> Type -> [Type] -> Type

expandAliasType' :: [Type] -> Type -> [Type] -> Type

normalize :: Int -> PredType -> PredType

instanceType :: ExpandAliasType a => Type -> a -> a

idSubst :: Subst a b

Identity substitution

singleSubst :: Ord v => v -> e -> Subst v e

Create a substitution for a single replacement

bindSubst :: Ord v => v -> e -> Subst v e -> Subst v e

Extend a substitution with a single replacement

compose :: Ord v => Subst v e -> Subst v e -> Subst v e

Compose two substitutions