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

Safe Haskell	None

CLaSH.Normalize.Types

Description

Types used in Normalize modules

Synopsis

Documentation

data NormalizeState Source

State of the NormalizeMonad

Constructors

Fields

_normalized :: HashMap TmName Term

Global binders

_specialisations :: Map (TmName, Int, Either Term Type) (TmName, Type)

Cache of previously specialised functions:

Key: (name of the original function, argument position, specialised term/type)
Elem: (name of specialised function,type of specialised function)

_inlined :: HashMap TmName [TmName]

Cache of function where inlining took place:

Key: function where inlining took place
Elem: functions which were inlined

_newInlined :: [TmName]

Inlined functions in the current traversal

_curFun :: TmName

Function which is currently normalized

specialisations :: Lens' NormalizeState (Map (TmName, Int, Either Term Type) (TmName, Type))Source

normalized :: Lens' NormalizeState (HashMap TmName Term)Source

newInlined :: Lens' NormalizeState [TmName]Source

inlined :: Lens' NormalizeState (HashMap TmName [TmName])Source

curFun :: Lens' NormalizeState TmName Source

type NormalizeMonad = State NormalizeState Source

State monad that stores specialisation and inlining information

type NormalizeSession = RewriteSession NormalizeMonad Source

RewriteSession with extra Normalisation information

type NormRewrite = Rewrite NormalizeMonad Source

A Transform action in the context of the RewriteMonad and NormalizeMonad