wrench-0.0.6.3
Safe HaskellNone
LanguageHaskell2010

Wrench.Isa.Wasm32.Report

Orphan instances

IsWord w => Inspectable (Wasm32St w) Source # 
Instance details

Associated Types

type WordOf (Wasm32St w) 
Instance details

Defined in Wrench.Isa.Wasm32.Report

type WordOf (Wasm32St w) = w
type IsaOf (Wasm32St w) 
Instance details

Defined in Wrench.Isa.Wasm32.Report

type IsaOf (Wasm32St w) = Wasm32Isa w w

Methods

programCounter :: Wasm32St w -> Int Source #

memoryDump :: Wasm32St w -> MemOf (Wasm32St w) Source #

ioStreams :: Wasm32St w -> IntMap ([WordOf (Wasm32St w)], [WordOf (Wasm32St w)]) Source #

views :: [View (StateEnv (Wasm32St w))] Source #

isaStats :: [Stat (StateEnv (Wasm32St w))] Source #

isHalted :: Wasm32St w -> Bool Source #