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

Safe HaskellNone

CLaSH.Core.Subst

Description

Capture-free substitution function for CoreHW

Synopsis

Documentation

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

Substitutes types in a type

substTy :: TyName -> Type -> Type -> TypeSource

Substitutes a type in a type

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

Substitutes kinds in a kind

substTyInTm :: TyName -> Type -> Term -> TermSource

Substitutes a type in a term

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

Substitutes types in a term

substTm :: TmName -> Term -> Term -> TermSource

Substitutes a term in a term

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

Substitutes terms in a term