| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Wrench.Report
Synopsis
- data ReportSlice
- data ReportConf = ReportConf {}
- data Report st
- compileReports :: ReportViews st => CheckEnv -> [ReportConf] -> Either Text ([Text], [Report st])
- prepareReport :: ReportViews st => TranslatorResult mem (WordOf st) -> Bool -> st -> [Trace st (IsaOf st)] -> Report st -> (Bool, Text)
- renderIsaView :: Inspectable st => HashMap Text (WordOf st) -> st -> Text -> Either Text Text
- sharedViews :: ReportViews st => [View (ReportEnv st)]
- isaViews :: Inspectable st => [View (StateEnv st)]
- type ReportViews st = (ByteSize (IsaOf st), Inspectable st, IsWord (WordOf st), Memory (MemOf st) (IsaOf st) (WordOf st), Show (IsaOf st))
- valueView :: (Integral a, Show a) => Text -> Text -> (env -> a) -> View env
- flagView :: Text -> Text -> (env -> Text) -> View env
- showValue :: (Integral a, Show a) => Format -> a -> Text
- showValues :: (Integral a, Show a) => Format -> [a] -> Text
Documentation
data ReportSlice Source #
Specifies which part of the report to select.
Constructors
| HeadSlice Int | Select the first |
| AllSlice | Select all records. |
| TailSlice Int | Select the last |
| LastSlice | Select only the last record. |
Instances
| FromJSON ReportSlice Source # | |
Defined in Wrench.Report | |
| Show ReportSlice Source # | |
Defined in Wrench.Report Methods showsPrec :: Int -> ReportSlice -> ShowS # show :: ReportSlice -> String # showList :: [ReportSlice] -> ShowS # | |
data ReportConf Source #
Constructors
| ReportConf | |
Instances
compileReports :: ReportViews st => CheckEnv -> [ReportConf] -> Either Text ([Text], [Report st]) Source #
Compile every report before the simulation runs, so a mistake fails the same way in every ISA, naming the report and the key, and rendering never meets a key it cannot resolve.
prepareReport :: ReportViews st => TranslatorResult mem (WordOf st) -> Bool -> st -> [Trace st (IsaOf st)] -> Report st -> (Bool, Text) Source #
renderIsaView :: Inspectable st => HashMap Text (WordOf st) -> st -> Text -> Either Text Text Source #
Render one of the ISA's own views of a state.
sharedViews :: ReportViews st => [View (ReportEnv st)] Source #
The views every ISA has.
isaViews :: Inspectable st => [View (StateEnv st)] Source #
The ISA's own views, its stats among them.
type ReportViews st = (ByteSize (IsaOf st), Inspectable st, IsWord (WordOf st), Memory (MemOf st) (IsaOf st) (WordOf st), Show (IsaOf st)) Source #