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

Copyright	(C) 2012-2016 University of Twente 2017 Google Inc.
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	None
Language	Haskell2010

Clash.Core.Subst

Description

Capture-free substitution function for CoreHW

Synopsis

substTys :: [(TyOccName, Type)] -> Type -> Type
substTy :: TyOccName -> Type -> Type -> Type
substKindWith :: [(KiOccName, Kind)] -> Kind -> Kind
substTyInTm :: TyOccName -> Type -> Term -> Term
substTysinTm :: [(TyOccName, Type)] -> Term -> Term
substTm :: TmOccName -> Term -> Term -> Term
substTms :: [(TmOccName, Term)] -> Term -> Term
substBndr :: TmOccName -> Term -> LetBinding -> LetBinding

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