| 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