Safe Haskell	None
Language	Haskell2010

Wrench.Wrench

Documentation

Constructors

Options
Fields input :: FilePath isa :: Maybe String `Nothing` leaves it to `detectIsa`. configFile :: Maybe FilePath onlyTranslation :: Bool stats :: Bool verbose :: Bool maxInstructionLimit :: Int maxMemoryLimit :: Int maxStateLogLimit :: Int dumpAddrFormat :: AddrFormat dumpSize :: DumpSize

Instances details

Default Options Source #
Instance details Defined in Wrench.Wrench Methods def :: Options
Show Options Source #
Instance details Defined in Wrench.Wrench Methods showsPrec :: Int -> Options -> ShowS # show :: Options -> String # showList :: [Options] -> ShowS #

Constructors

Result
Fields rTrace :: Text rWarnings :: [Text] rLabels :: HashMap Text w rSuccess :: Bool rDump :: mem

Instances details

(Show w, Show mem) => Show (Result mem w) Source #
Instance details Defined in Wrench.Wrench Methods showsPrec :: Int -> Result mem w -> ShowS # show :: Result mem w -> String # showList :: [Result mem w] -> ShowS #

wrench :: forall st (isa_ :: Type -> Type -> Type) w isa1 isa2. (ByteSize isa1, ByteSize isa2, DerefMnemonic (isa_ w) w, InitState st, Inspectable st, IsWord w, IsaOf st ~ isa2, Machine st isa2 w, MemOf st ~ IoMem isa2 w, Memory (MemOf st) isa2 w, MnemonicParser isa1, Show (isa_ w w), WordOf st ~ w, isa1 ~ isa_ w (Ref w), isa2 ~ isa_ w w) => [Preprocessor] -> Options -> Config -> String -> Either Text (Result (IntMap (Cell isa2 w)) w) Source #

Constructors

Instances details

Bounded Isa Source #
Instance details Defined in Wrench.Isa Methods minBound :: Isa # maxBound :: Isa #
Enum Isa Source #
Instance details Defined in Wrench.Isa Methods succ :: Isa -> Isa # pred :: Isa -> Isa # toEnum :: Int -> Isa # fromEnum :: Isa -> Int # enumFrom :: Isa -> [Isa] # enumFromThen :: Isa -> Isa -> [Isa] # enumFromTo :: Isa -> Isa -> [Isa] # enumFromThenTo :: Isa -> Isa -> Isa -> [Isa] #
Read Isa Source #
Instance details Defined in Wrench.Isa Methods readsPrec :: Int -> ReadS Isa # readList :: ReadS [Isa] # readPrec :: ReadPrec Isa # readListPrec :: ReadPrec [Isa] #
Show Isa Source #
Instance details Defined in Wrench.Isa Methods showsPrec :: Int -> Isa -> ShowS # show :: Isa -> String # showList :: [Isa] -> ShowS #
Eq Isa Source #
Instance details Defined in Wrench.Isa Methods (==) :: Isa -> Isa -> Bool # (/=) :: Isa -> Isa -> Bool #

Constructors

Hex
Dec

Instances details

Read AddrFormat Source #
Instance details Defined in Wrench.Wrench Methods readsPrec :: Int -> ReadS AddrFormat # readList :: ReadS [AddrFormat] # readPrec :: ReadPrec AddrFormat # readListPrec :: ReadPrec [AddrFormat] #
Show AddrFormat Source #
Instance details Defined in Wrench.Wrench Methods showsPrec :: Int -> AddrFormat -> ShowS # show :: AddrFormat -> String # showList :: [AddrFormat] -> ShowS #

Constructors

SizeShown
SizeHidden

Instances details

Read DumpSize Source #
Instance details Defined in Wrench.Wrench Methods readsPrec :: Int -> ReadS DumpSize # readList :: ReadS [DumpSize] # readPrec :: ReadPrec DumpSize # readListPrec :: ReadPrec [DumpSize] #
Show DumpSize Source #
Instance details Defined in Wrench.Wrench Methods showsPrec :: Int -> DumpSize -> ShowS # show :: DumpSize -> String # showList :: [DumpSize] -> ShowS #