Base.TypeSubst

This module implements substitutions on types.

Documentation

type TypeSubst = Subst Int Type

class SubstType a where

Minimal complete definition

subst

Methods

subst :: TypeSubst -> a -> a

Instances

SubstType ExistTypeScheme

Methods

subst :: TypeSubst -> ExistTypeScheme -> ExistTypeScheme

SubstType TypeScheme

Methods

subst :: TypeSubst -> TypeScheme -> TypeScheme

SubstType PredType

Methods

subst :: TypeSubst -> PredType -> PredType

SubstType Pred

Methods

subst :: TypeSubst -> Pred -> Pred

SubstType Type

Methods

subst :: TypeSubst -> Type -> Type

SubstType ValueInfo

Methods

subst :: TypeSubst -> ValueInfo -> ValueInfo

SubstType a => SubstType [a]

Methods

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

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

Methods

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

SubstType a => SubstType (TopEnv a)

Methods

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

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

substVar :: TypeSubst -> Int -> Type

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

class ExpandAliasType a where

Minimal complete definition

expandAliasType

Methods

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

Instances

ExpandAliasType PredType

Methods

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

ExpandAliasType Pred

Methods

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

ExpandAliasType Type

Methods

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

ExpandAliasType a => ExpandAliasType [a]

Methods

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

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

Methods

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

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