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

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