LibRISCV.Effects.Operations.Language

Implements an effect for interactions with the architectural state, upon which instructions are executed (register file, memory, program counter, etc.).

Documentation

data Size

Abstraction for expressing a 8-, 16-, or 32-bit size.

Constructors

Byte

Half

Word

Instances

Show Size

Defined in LibRISCV.Effects.Operations.Language

Methods

showsPrec :: Int -> Size -> ShowS

show :: Size -> String

showList :: [Size] -> ShowS

Eq Size

Defined in LibRISCV.Effects.Operations.Language

Methods

(==) :: Size -> Size -> Bool

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

bitSize :: Size -> Int

Returns the size in bits (either 8, 16, or 32).

data Operations v r where

Constructors

ReadRegister :: v -> Operations v v

WriteRegister :: v -> v -> Operations v ()

Load :: Size -> v -> Operations v v

Store :: Size -> v -> v -> Operations v ()

WritePC :: v -> Operations v ()

ReadPC :: Operations v v

Exception :: v -> String -> Operations v ()

Ecall :: v -> Operations v ()

Ebreak :: v -> Operations v ()

ebreak :: forall v. forall effs. Member (Operations v) effs => v -> Eff effs ()

ecall :: forall v. forall effs. Member (Operations v) effs => v -> Eff effs ()

exception :: forall v. forall effs. Member (Operations v) effs => v -> String -> Eff effs ()

readPC :: forall v. forall effs. Member (Operations v) effs => Eff effs v

writePC :: forall v. forall effs. Member (Operations v) effs => v -> Eff effs ()

store :: forall v. forall effs. Member (Operations v) effs => Size -> v -> v -> Eff effs ()

load :: forall v. forall effs. Member (Operations v) effs => Size -> v -> Eff effs v

writeRegister :: forall v. forall effs. Member (Operations v) effs => v -> v -> Eff effs ()

readRegister :: forall v. forall effs. Member (Operations v) effs => v -> Eff effs v