CLaSH.Rewrite.Types

Type and instance definitions for Rewrite modules

Documentation

data CoreContext

Context in which a term appears

Constructors

AppFun

Function position of an application

AppArg

Argument position of an application

TyAppC

Function position of a type application

LetBinding Id [Id]

RHS of a Let-binder with the sibling LHS'

LetBody [Id]

Body of a Let-binding with the bound LHS'

LamBody Id

Body of a lambda-term with the abstracted variable

TyLamBody TyVar

Body of a TyLambda-term with the abstracted type-variable

CaseAlt [Id]

RHS of a case-alternative with the variables bound by the pattern on the LHS

CaseScrut

Subject of a case-decomposition

Instances

Eq CoreContext

Show CoreContext

data RewriteState extra

State of a rewriting session

Constructors

RewriteState

Fields

_transformCounter :: !Int

Number of applied transformations

_bindings :: !(HashMap TmName (Type, SrcSpan, Term))

Global binders

_uniqSupply :: !Supply

Supply of unique numbers

_curFun :: (TmName, SrcSpan)

Function which is currently normalized

_nameCounter :: !Int

Used for Fresh

_extra :: !extra

Additional state

Instances

MonadState (RewriteState extra) (RewriteMonad extra)

uniqSupply :: forall extra. Lens' (RewriteState extra) Supply

transformCounter :: forall extra. Lens' (RewriteState extra) Int

nameCounter :: forall extra. Lens' (RewriteState extra) Int

extra :: forall extra extra. Lens (RewriteState extra) (RewriteState extra) extra extra

curFun :: forall extra. Lens' (RewriteState extra) (TmName, SrcSpan)

bindings :: forall extra. Lens' (RewriteState extra) (HashMap TmName (Type, SrcSpan, Term))

data DebugLevel

Debug Message Verbosity

Constructors

DebugNone

Don't show debug messages

DebugFinal

Show completely normalized expressions

DebugName

Names of applied transformations

DebugApplied

Show sub-expressions after a successful rewrite

DebugAll

Show all sub-expressions on which a rewrite is attempted

Instances

Eq DebugLevel

Ord DebugLevel

Read DebugLevel

data RewriteEnv

Read-only environment of a rewriting session

Constructors

RewriteEnv

Fields

_dbgLevel :: DebugLevel

Lvl at which we print debugging messages

_typeTranslator :: HashMap TyConName TyCon -> Type -> Maybe (Either String HWType)

Hardcode Type -> HWType translator

_tcCache :: HashMap TyConName TyCon

TyCon cache

_tupleTcCache :: IntMap TyConName

Tuple TyCon cache

_evaluator :: HashMap TyConName TyCon -> Bool -> Term -> Term

Hardcoded evaluator (delta-reduction)}

Instances

MonadReader RewriteEnv (RewriteMonad extra)

typeTranslator :: Lens' RewriteEnv (HashMap TyConName TyCon -> Type -> Maybe (Either String HWType))

tupleTcCache :: Lens' RewriteEnv (IntMap TyConName)

tcCache :: Lens' RewriteEnv (HashMap TyConName TyCon)

evaluator :: Lens' RewriteEnv (HashMap TyConName TyCon -> Bool -> Term -> Term)

dbgLevel :: Lens' RewriteEnv DebugLevel

newtype RewriteMonad extra a

Monad that keeps track how many transformations have been applied and can generate fresh variables and unique identifiers. In addition, it keeps track if a transformation/rewrite has been successfully applied.

Constructors

R

Fields

runR :: RewriteEnv -> RewriteState extra -> (a, RewriteState extra, Any)

Instances

MonadReader RewriteEnv (RewriteMonad extra)

MonadWriter Any (RewriteMonad extra)

Monad (RewriteMonad extra)

Functor (RewriteMonad extra)

MonadFix (RewriteMonad extra)

Applicative (RewriteMonad extra)

Fresh (RewriteMonad extra)

MonadUnique (RewriteMonad extra)

MonadState (RewriteState extra) (RewriteMonad extra)

type Transform m = [CoreContext] -> Term -> m Term

Monadic action that transforms a term given a certain context

type Rewrite extra = Transform (RewriteMonad extra)

A Transform action in the context of the RewriteMonad