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

Copyright(C) 2012-2016 University of Twente
2017 Google Inc.
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 :: [(TyOccName, Type)] -> Type -> Type Source #

Substitutes types in a type

substTy :: TyOccName -> Type -> Type -> Type Source #

Substitutes a type in a type

substKindWith :: [(KiOccName, Kind)] -> Kind -> Kind Source #

Substitutes kinds in a kind

substTyInTm :: TyOccName -> Type -> Term -> Term Source #

Substitutes a type in a term

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

Substitutes types in a term

substTm :: TmOccName -> Term -> Term -> Term Source #

Substitutes a term in a term

substTms :: [(TmOccName, Term)] -> Term -> Term Source #

Substitutes terms in a term

substBndr :: TmOccName -> Term -> LetBinding -> LetBinding Source #

Substitutes a term in a let-binding