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

Safe HaskellNone

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 ctx0 (Var a0) 
Eq (Var a) 
Ord (Var a) 
Show (Var a) 
Rep a0 => Rep (Var a0) 
Alpha a => Alpha (Var a) 
Pretty (Var Term) 
Pretty (Var Type) 
Pretty (Id, Term) 

type Id = Var TermSource

Term variable

type TyVar = Var TypeSource

Type variable

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

Change the name of a variable