Modulecardano-ledger-dijkstra-0.3.0.0
Cardano.Ledger.Dijkstra.BlockBody
- 3 types
- 1 class
- 2 values
- Packagecardano-ledger-dijkstra-0.3.0.0
- Exports7
- LicenceApache-2.0
Instances10Eq, Show, Generic, NFData, DecCBOR, EncCBOR, …
Eq (Tx TopTx era) => Eq (DijkstraBlockBody era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalShow (Tx TopTx era) => Show (DijkstraBlockBody era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalGeneric (DijkstraBlockBody era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal(NFData (Tx TopTx era), NFData PerasCert) => NFData (DijkstraBlockBody era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal(AlonzoEraTx era, Coercible (DijkstraTx TopTx era) (Tx TopTx era), DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody TopTx era)), DecCBOR (Annotator (TxWits era))) => DecCBOR (Annotator (DijkstraBlockBody era))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalEncCBOR (DijkstraBlockBody era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal(AlonzoEraTx era, EncCBOR (Tx TopTx era)) => EncCBORGroup (DijkstraBlockBody era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalMemoized (DijkstraBlockBody era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internaltype Rep (DijkstraBlockBody era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal"DijkstraBlockBody"
"Cardano.Ledger.Dijkstra.BlockBody.Internal"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"MkDijkstraBlockBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraBlockBodyRaw era)))))type RawType (DijkstraBlockBody era) = DijkstraBlockBodyRaw eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal
pattern
pattern DijkstraBlockBody :: AlonzoEraTx era => StrictSeq (Tx TopTx era) -> StrictMaybe LeiosCert -> StrictMaybe PerasCert -> DijkstraBlockBody eraMethods
leiosCertBlockBodyL :: Lens' (BlockBody era) (StrictMaybe LeiosCert)perasCertBlockBodyL :: Lens' (BlockBody era) (StrictMaybe PerasCert)
Instances1DijkstraEraBlockBody
DijkstraEraBlockBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal
Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …
Eq PerasCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalShow PerasCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalGeneric PerasCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalNFData PerasCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalNoThunks PerasCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalDecCBOR PerasCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalEncCBOR PerasCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internaltype Rep PerasCert = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal"PerasCert"
"Cardano.Ledger.Dijkstra.BlockBody.Internal"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"PerasCert"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteArray)))
Instances5Eq, Show, Generic, NoThunks, Rep
Eq PerasKeyDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalShow PerasKeyDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalGeneric PerasKeyDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalNoThunks PerasKeyDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internaltype Rep PerasKey = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal"PerasKey"
"Cardano.Ledger.Dijkstra.BlockBody.Internal"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) (C1 ('MetaCons"PerasKey"
'PrefixI 'False) U1)