curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Source code Contents Index

TypeSubst

Documentation

type TypeSubst = Subst Int Type Source

class SubstType a where Source

Methods subst :: TypeSubst -> a -> a Source Instances SubstType ExistTypeScheme SubstType TypeScheme SubstType Type SubstType ValueInfo SubstType a => SubstType (TopEnv a)

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

substVar :: TypeSubst -> Int -> Type Source

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

normalize :: Type -> Type Source

idSubst :: Ord a => Subst a b Source

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

compose :: (Show v, Ord v, Show e) => Subst v e -> Subst v e -> Subst v e Source

Produced by Haddock version 2.4.2