Modulecardano-ledger-dijkstra-0.3.0.0
Cardano.Ledger.Dijkstra.BlockBody.Internal
- 4 types
- 1 class
- 3 values
- Packagecardano-ledger-dijkstra-0.3.0.0
- Exports9
- LicenceApache-2.0
Constructors
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 eraConstructors
Instances9Eq, Show, Generic, NFData, NoThunks, DecCBOR, …
Eq (Tx TopTx era) => Eq (DijkstraBlockBodyRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalShow (Tx TopTx era) => Show (DijkstraBlockBodyRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.InternalGeneric (DijkstraBlockBodyRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal(NFData (Tx TopTx era), NFData LeiosCert, NFData PerasCert) => NFData (DijkstraBlockBodyRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal(Typeable era, NoThunks (Tx TopTx era)) => NoThunks (DijkstraBlockBodyRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal(AlonzoEraTx era, DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody TopTx era)), DecCBOR (Annotator (TxWits era)), Coercible (DijkstraTx TopTx era) (Tx TopTx era)) => DecCBOR (Annotator (DijkstraBlockBodyRaw era))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal(AlonzoEraTx era, EncCBOR (Tx TopTx era)) => EncCBOR (DijkstraBlockBodyRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internaltype Rep (DijkstraBlockBodyRaw era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal"DijkstraBlockBodyRaw"
"Cardano.Ledger.Dijkstra.BlockBody.Internal"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) (C1 ('MetaCons"DijkstraBlockBodyRaw"
'PrefixI 'True) (S1 ('MetaSel ('Just"dbbrTxs"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx TopTx era))) :*: (S1 ('MetaSel ('Just"dbbrLeiosCert"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe LeiosCert)) :*: S1 ('MetaSel ('Just"dbbrPerasCert"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PerasCert)))))type MemoHashIndex (DijkstraBlockBodyRaw era) = EraIndependentBlockBodyDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal
Methods
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)