| Copyright | (C) 2012-2016, University of Twente |
|---|---|
| License | BSD2 (see the file LICENSE) |
| Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
| Safe Haskell | None |
| Language | Haskell2010 |
CLaSH.Core.Subst
Description
Capture-free substitution function for CoreHW
- substTys :: [(TyName, Type)] -> Type -> Type
- substTy :: TyName -> Type -> Type -> Type
- substKindWith :: [(KiName, Kind)] -> Kind -> Kind
- substTyInTm :: TyName -> Type -> Term -> Term
- substTysinTm :: [(TyName, Type)] -> Term -> Term
- substTm :: TmName -> Term -> Term -> Term
- substTms :: [(TmName, Term)] -> Term -> Term