CLaSH.Core.Subst

Capture-free substitution function for CoreHW

Documentation

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

Substitutes types in a type

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

Substitutes a type in a type

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

Substitutes kinds in a kind

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

Substitutes a type in a term

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

Substitutes types in a term

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

Substitutes a term in a term

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

Substitutes terms in a term