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

Methods

(==) :: CoreContext -> CoreContext -> Bool

(/=) :: CoreContext -> CoreContext -> Bool

Show CoreContext

Methods

showsPrec :: Int -> CoreContext -> ShowS

show :: CoreContext -> String

showList :: [CoreContext] -> ShowS

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)

Methods

get :: RewriteMonad extra (RewriteState extra)

put :: RewriteState extra -> RewriteMonad extra ()

state :: (RewriteState extra -> (a, RewriteState extra)) -> RewriteMonad extra a

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

Methods

(==) :: DebugLevel -> DebugLevel -> Bool

(/=) :: DebugLevel -> DebugLevel -> Bool

Ord DebugLevel

Methods

compare :: DebugLevel -> DebugLevel -> Ordering

(<) :: DebugLevel -> DebugLevel -> Bool

(<=) :: DebugLevel -> DebugLevel -> Bool

(>) :: DebugLevel -> DebugLevel -> Bool

(>=) :: DebugLevel -> DebugLevel -> Bool

max :: DebugLevel -> DebugLevel -> DebugLevel

min :: DebugLevel -> DebugLevel -> DebugLevel

Read DebugLevel

Methods

readsPrec :: Int -> ReadS DebugLevel

readList :: ReadS [DebugLevel]

readPrec :: ReadPrec DebugLevel

readListPrec :: ReadPrec [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)

Methods

ask :: RewriteMonad extra RewriteEnv

local :: (RewriteEnv -> RewriteEnv) -> RewriteMonad extra a -> RewriteMonad extra a

reader :: (RewriteEnv -> a) -> RewriteMonad extra a

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)

Methods

ask :: RewriteMonad extra RewriteEnv

local :: (RewriteEnv -> RewriteEnv) -> RewriteMonad extra a -> RewriteMonad extra a

reader :: (RewriteEnv -> a) -> RewriteMonad extra a

MonadWriter Any (RewriteMonad extra)

Methods

writer :: (a, Any) -> RewriteMonad extra a

tell :: Any -> RewriteMonad extra ()

listen :: RewriteMonad extra a -> RewriteMonad extra (a, Any)

pass :: RewriteMonad extra (a, Any -> Any) -> RewriteMonad extra a

Monad (RewriteMonad extra)

Methods

(>>=) :: RewriteMonad extra a -> (a -> RewriteMonad extra b) -> RewriteMonad extra b

(>>) :: RewriteMonad extra a -> RewriteMonad extra b -> RewriteMonad extra b

return :: a -> RewriteMonad extra a

fail :: String -> RewriteMonad extra a

Functor (RewriteMonad extra)

Methods

fmap :: (a -> b) -> RewriteMonad extra a -> RewriteMonad extra b

(<$) :: a -> RewriteMonad extra b -> RewriteMonad extra a

MonadFix (RewriteMonad extra)

Methods

mfix :: (a -> RewriteMonad extra a) -> RewriteMonad extra a

Applicative (RewriteMonad extra)

Methods

pure :: a -> RewriteMonad extra a

(<*>) :: RewriteMonad extra (a -> b) -> RewriteMonad extra a -> RewriteMonad extra b

(*>) :: RewriteMonad extra a -> RewriteMonad extra b -> RewriteMonad extra b

(<*) :: RewriteMonad extra a -> RewriteMonad extra b -> RewriteMonad extra a

Fresh (RewriteMonad extra)

Methods

fresh :: Name a -> RewriteMonad extra (Name a)

MonadUnique (RewriteMonad extra)

Methods

getUniqueM :: RewriteMonad extra Int

MonadState (RewriteState extra) (RewriteMonad extra)

Methods

get :: RewriteMonad extra (RewriteState extra)

put :: RewriteState extra -> RewriteMonad extra ()

state :: (RewriteState extra -> (a, RewriteState extra)) -> RewriteMonad extra a

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