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

Safe HaskellNone
LanguageHaskell2010

CLaSH.Core.Var

Description

Variables in CoreHW

Synopsis

Documentation

data Var a Source

Variables in CoreHW

Constructors

TyVar

Constructor for type variables

Fields

varName :: Name a
 
varKind :: Embed Kind
 
Id

Constructor for term variables

Fields

varName :: Name a
 
varType :: Embed Type
 

Instances

Subst Term TyVar 
Subst Term Id 
Subst Type TyVar 
Subst Type Id 
Eq (Var a) 
Show (Var a) 
Generic (Var a) 
NFData (Name a) => NFData (Var a) 
(Typeable * a, Alpha a) => Alpha (Var a) 
Pretty (Var Term) 
Pretty (Var Type) 
Pretty (Id, Term) 
Typeable (* -> *) Var 
type Rep (Var a) 

type Id = Var Term Source

Term variable

type TyVar = Var Type Source

Type variable

modifyVarName :: (Name a -> Name a) -> Var a -> Var a Source

Change the name of a variable