CLaSH.Normalize.Types

Types used in Normalize modules

Documentation

data NormalizeState

State of the NormalizeMonad

Constructors

NormalizeState

Fields

_normalized :: HashMap TmName (Type, Term)

Global binders

_specialisationCache :: 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)

_specialisationHistory :: HashMap TmName Int

Cache of how many times a function was specialized

_specialisationLimit :: Int

Number of time a function f can be specialized

_inlineHistory :: HashMap TmName (HashMap TmName Int)

Cache of function where inlining took place:

• Key: function where inlining took place
• Elem: (functions which were inlined, number of times inlined)

_inlineLimit :: Int

Number of times a function f can be inlined in a function g

_curFun :: TmName

Function which is currently normalized

specialisationLimit :: Lens' NormalizeState Int

specialisationHistory :: Lens' NormalizeState (HashMap TmName Int)

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

normalized :: Lens' NormalizeState (HashMap TmName (Type, Term))

inlineLimit :: Lens' NormalizeState Int

inlineHistory :: Lens' NormalizeState (HashMap TmName (HashMap TmName Int))

curFun :: Lens' NormalizeState TmName

type NormalizeMonad = State NormalizeState

State monad that stores specialisation and inlining information

type NormalizeSession = RewriteSession NormalizeMonad

RewriteSession with extra Normalisation information

type NormRewrite = Rewrite NormalizeMonad

A Transform action in the context of the RewriteMonad and NormalizeMonad