| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Util.Serialisation.Examples
Synopsis
- data Examples blk = Examples {
- exampleBlock ∷ Labelled blk
- exampleSerialisedBlock ∷ Labelled (Serialised blk)
- exampleHeader ∷ Labelled (Header blk)
- exampleSerialisedHeader ∷ Labelled (SerialisedHeader blk)
- exampleHeaderHash ∷ Labelled (HeaderHash blk)
- exampleGenTx ∷ Labelled (GenTx blk)
- exampleGenTxId ∷ Labelled (GenTxId blk)
- exampleApplyTxErr ∷ Labelled (ApplyTxErr blk)
- exampleQuery ∷ Labelled (SomeBlockQuery (BlockQuery blk))
- exampleTopLevelQuery ∷ Labelled (SomeSecond Query blk)
- exampleResult ∷ Labelled (SomeResult blk)
- exampleAnnTip ∷ Labelled (AnnTip blk)
- exampleLedgerState ∷ Labelled (LedgerState blk EmptyMK)
- exampleChainDepState ∷ Labelled (ChainDepState (BlockProtocol blk))
- exampleExtLedgerState ∷ Labelled (ExtLedgerState blk EmptyMK)
- exampleSlotNo ∷ Labelled SlotNo
- exampleLedgerConfig ∷ Labelled (LedgerConfig blk)
- combineExamples ∷ (∀ a. Labelled a → Labelled a → Labelled a) → Examples blk → Examples blk → Examples blk
- mapExamples ∷ (∀ a. Labelled a → Labelled a) → Examples blk → Examples blk
- prefixExamples ∷ String → Examples blk → Examples blk
- type Labelled a = [(Maybe String, a)]
- labelled ∷ [(String, a)] → Labelled a
- unlabelled ∷ a → Labelled a
- topLevelQueries ∷ Labelled (SomeSecond Query blk)
Examples
Constructors
| Examples | |
Fields
| |
Operations on examples
combineExamples ∷ (∀ a. Labelled a → Labelled a → Labelled a) → Examples blk → Examples blk → Examples blk Source #
prefixExamples ∷ String → Examples blk → Examples blk Source #
Add the given prefix to each labelled example.
When a label is empty, the prefix is used as the label. If the label is not
empty, the prefix and _ are prepended.
Labelling
unlabelled ∷ a → Labelled a Source #
Top-level queries
topLevelQueries ∷ Labelled (SomeSecond Query blk) Source #
The non-BlockQuery constructors of Query.
They are the same for every block, so every block can use this list as its
exampleTopLevelQuery. DebugLedgerConfig is left out on purpose: it is a
debug query, and we make no effort to keep its encoding stable.