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

Generic b => Subst Term (Var b)

Generic b => Subst Type (Var b)

Eq (Var a)

Show (Var a)

Generic (Var a)

NFData (Var a)

(Typeable * a, Alpha a) => Alpha (Var a)

Pretty (Var Term)

Pretty (Var Type)

Pretty (Id, Term)

type Rep (Var a)

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