Copyright | (c) 2016 Finn Teegen |
---|---|
License | BSD-3-clause |
Maintainer | bjp@informatik.uni-kiel.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
This module implements substitutions on kinds.
- type KindSubst = Subst Int Kind
- class SubstKind a where
- bindVar :: Int -> Kind -> KindSubst -> KindSubst
- substVar :: KindSubst -> Int -> Kind
- 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