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]

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

State of a rewriting session

Constructors

RewriteState

Fields

_transformCounter :: Int

Number of applied transformations

_bindings :: HashMap TmName (Type, Term)

Global binders

_uniqSupply :: Supply

Supply of unique numbers

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

Hardcode Type -> HWType translator

_tcCache :: HashMap TyConName TyCon

TyCon cache

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

Hardcoded evaluator (delta-reduction)

Instances

Monad m => MonadState RewriteState (R m)

Monad m => MonadUnique (RewriteMonad m)

uniqSupply :: Lens' RewriteState Supply

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

transformCounter :: Lens' RewriteState Int

tcCache :: Lens' RewriteState (HashMap TyConName TyCon)

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

bindings :: Lens' RewriteState (HashMap TmName (Type, 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

newtype RewriteEnv

Read-only environment of a rewriting session

Constructors

RE

Fields

_dbgLevel :: DebugLevel

Instances

Monad m => MonadReader RewriteEnv (R m)

Monad m => MonadUnique (RewriteMonad m)

dbgLevel :: Iso' RewriteEnv DebugLevel

type RewriteSession m = ReaderT RewriteEnv (StateT RewriteState (FreshMT m))

Monad that keeps track how many transformations have been applied and can generate fresh variables and unique identifiers

type RewriteMonad m = WriterT Any (RewriteSession m)

Monad that can do the same as RewriteSession and in addition keeps track if a transformation/rewrite has been successfully applied.

newtype R m a

MTL convenience wrapper around RewriteMonad

Constructors

R

Fields

runR :: RewriteMonad m a

Instances

Monad m => MonadReader RewriteEnv (R m)

Monad m => MonadWriter Any (R m)

Monad m => MonadState RewriteState (R m)

Monad m => Monad (R m)

Functor m => Functor (R m)

(Monad m, Functor m) => Applicative (R m)

Monad m => Fresh (R m)

Monad m => MonadUnique (R m)

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

Monadic action that transforms a term given a certain context

type Rewrite m = Transform (R m)

A Transform action in the context of the RewriteMonad