Copyright | (c) 2003 Wolfgang Lux |
---|---|
License | BSD-3-clause |
Maintainer | bjp@informatik.uni-kiel.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Base.TypeSubst
Description
This module implements substitutions on types.
- type TypeSubst = Subst Int Type
- class SubstType a where
- bindVar :: Int -> Type -> TypeSubst -> TypeSubst
- substVar :: TypeSubst -> Int -> Type
- expandType :: TCEnv -> Type -> Type
- expandAliasType :: [Type] -> Type -> Type
- normalize :: Type -> Type
- idSubst :: Subst a b
- singleSubst :: Ord v => v -> e -> Subst v e
- bindSubst :: Ord v => v -> e -> Subst v e -> Subst v e
- compose :: Ord v => Subst v e -> Subst v e -> Subst v e