| Safe Haskell | Safe-Inferred |
|---|---|
| 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 (SomeSecond BlockQuery blk)
- exampleResult ∷ Labelled (SomeResult blk)
- exampleAnnTip ∷ Labelled (AnnTip blk)
- exampleLedgerState ∷ Labelled (LedgerState blk)
- exampleChainDepState ∷ Labelled (ChainDepState (BlockProtocol blk))
- exampleExtLedgerState ∷ Labelled (ExtLedgerState blk)
- exampleSlotNo ∷ Labelled SlotNo
- combineExamples ∷ ∀ blk. (∀ a. Labelled a → Labelled a → Labelled a) → Examples blk → Examples blk → Examples blk
- mapExamples ∷ ∀ blk. (∀ 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
Examples
Constructors
| Examples | |
Fields
| |
Operations on examples
combineExamples ∷ ∀ blk. (∀ 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 #