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

Copyright(C) 2012-2016, University of Twente
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
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