CLaSH.Core.Var

Variables in CoreHW

Documentation

data Var a

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 Term

Term variable

type TyVar = Var Type

Type variable

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

Change the name of a variable