clash-lib-0.5.12: 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
 

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