clash-lib-0.4: 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 
(Rep a0, Sat (ctx0 (Name a0)), Sat (ctx0 (Embed Kind)), Sat (ctx0 (Embed Type))) => Rep1 ctx (Var a) 
Eq (Var a) 
Ord (Var a) 
Show (Var a) 
Rep a0 => Rep (Var a) 
NFData (Name a) => NFData (Var a) 
Alpha a => Alpha (Var a) 
Pretty (Var Term) 
Pretty (Var Type) 
Pretty (Id, Term) 

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