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

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

Term variable

type TyVar = Var Type

Type variable

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

Change the name of a variable