clash-lib-0.6.10: CAES Language for Synchronous Hardware - As a Library

Copyright(C) 2012-2016, University of Twente
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellNone
LanguageHaskell2010

CLaSH.Core.Subst

Description

Capture-free substitution function for CoreHW

Synopsis

Documentation

substTys :: [(TyName, Type)] -> Type -> Type Source

Substitutes types in a type

substTy :: TyName -> Type -> Type -> Type Source

Substitutes a type in a type

substKindWith :: [(KiName, Kind)] -> Kind -> Kind Source

Substitutes kinds in a kind

substTyInTm :: TyName -> Type -> Term -> Term Source

Substitutes a type in a term

substTysinTm :: [(TyName, Type)] -> Term -> Term Source

Substitutes types in a term

substTm :: TmName -> Term -> Term -> Term Source

Substitutes a term in a term

substTms :: [(TmName, Term)] -> Term -> Term Source

Substitutes terms in a term