cardano-ledger-dijkstra-0.1.0.0: Cardano ledger with nested transactions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Dijkstra.TxBody

Synopsis

Documentation

data family TxBody era Source #

The body of a transaction.

Instances

Instances details
Generic (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

Associated Types

type Rep (TxBody DijkstraEra) ∷ TypeType #

Show (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

ToCBOR (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

DecCBOR (Annotator (TxBody DijkstraEra)) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

EncCBOR (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

SafeToHash (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

EqRaw (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

Memoized (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

Associated Types

type RawType (TxBody DijkstraEra) = (r ∷ Type) Source #

NFData (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

Methods

rnfTxBody DijkstraEra → () #

Eq (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

NoThunks (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

HashAnnotated (TxBody DijkstraEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

newtype TxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

newtype TxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

newtype TxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

newtype TxBody ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

newtype TxBody DijkstraEra Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

newtype TxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

newtype TxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.8.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () AllegraEra)))))
type Rep (TxBody AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw))))
type Rep (TxBody BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep (TxBody ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type Rep (TxBody ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ConwayTxBodyRaw))))
type Rep (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

type Rep (TxBody DijkstraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Dijkstra.TxBody" "cardano-ledger-dijkstra-0.1.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes DijkstraTxBodyRaw))))
type Rep (TxBody MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (TxBody MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw))))
type Rep (TxBody ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw))))
type RawType (TxBody AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type RawType (TxBody ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type RawType (TxBody DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

type RawType (TxBody MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data DijkstraTxBodyRaw Source #

Instances

Instances details
Generic DijkstraTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

Associated Types

type Rep DijkstraTxBodyRawTypeType #

Show DijkstraTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

DecCBOR DijkstraTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

EncCBOR DijkstraTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

NFData DijkstraTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

Methods

rnfDijkstraTxBodyRaw → () #

Eq DijkstraTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

NoThunks DijkstraTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

DecCBOR (Annotator DijkstraTxBodyRaw) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

type Rep DijkstraTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

type Rep DijkstraTxBodyRaw = D1 ('MetaData "DijkstraTxBodyRaw" "Cardano.Ledger.Dijkstra.TxBody" "cardano-ledger-dijkstra-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraTxBodyRaw" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "dtbrSpendInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :*: S1 ('MetaSel ('Just "dtbrCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn))) :*: (S1 ('MetaSel ('Just "dtbrReferenceInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :*: S1 ('MetaSel ('Just "dtbrOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Sized (TxOut DijkstraEra)))))) :*: ((S1 ('MetaSel ('Just "dtbrCollateralReturn") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Sized (TxOut DijkstraEra)))) :*: S1 ('MetaSel ('Just "dtbrTotalCollateral") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin))) :*: (S1 ('MetaSel ('Just "dtbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OSet (TxCert DijkstraEra))) :*: (S1 ('MetaSel ('Just "dtbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Withdrawals) :*: S1 ('MetaSel ('Just "dtbrFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))) :*: (((S1 ('MetaSel ('Just "dtbrVldt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval) :*: S1 ('MetaSel ('Just "dtbrReqSignerHashes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Witness)))) :*: (S1 ('MetaSel ('Just "dtbrMint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset) :*: (S1 ('MetaSel ('Just "dtbrScriptIntegrityHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptIntegrityHash)) :*: S1 ('MetaSel ('Just "dtbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe TxAuxDataHash))))) :*: ((S1 ('MetaSel ('Just "dtbrNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Network)) :*: S1 ('MetaSel ('Just "dtbrVotingProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures DijkstraEra))) :*: (S1 ('MetaSel ('Just "dtbrProposalProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OSet (ProposalProcedure DijkstraEra))) :*: (S1 ('MetaSel ('Just "dtbrCurrentTreasuryValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin)) :*: S1 ('MetaSel ('Just "dtbrTreasuryDonation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))))
type MemoHashIndex DijkstraTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

Orphan instances

AllegraEraTxBody DijkstraEra Source # 
Instance details

AlonzoEraTxBody DijkstraEra Source # 
Instance details

BabbageEraTxBody DijkstraEra Source # 
Instance details

ConwayEraTxBody DijkstraEra Source # 
Instance details

EraTxBody DijkstraEra Source # 
Instance details

MaryEraTxBody DijkstraEra Source # 
Instance details

Generic (TxBody DijkstraEra) Source # 
Instance details

Associated Types

type Rep (TxBody DijkstraEra) ∷ TypeType #

Show (TxBody DijkstraEra) Source # 
Instance details

ToCBOR (TxBody DijkstraEra) Source # 
Instance details

DecCBOR (Annotator (TxBody DijkstraEra)) Source # 
Instance details

EncCBOR (TxBody DijkstraEra) Source # 
Instance details

SafeToHash (TxBody DijkstraEra) Source # 
Instance details

EqRaw (TxBody DijkstraEra) Source # 
Instance details

Memoized (TxBody DijkstraEra) Source # 
Instance details

Associated Types

type RawType (TxBody DijkstraEra) = (r ∷ Type) Source #

NFData (TxBody DijkstraEra) Source # 
Instance details

Methods

rnfTxBody DijkstraEra → () #

Eq (TxBody DijkstraEra) Source # 
Instance details

NoThunks (TxBody DijkstraEra) Source # 
Instance details

HashAnnotated (TxBody DijkstraEra) EraIndependentTxBody Source # 
Instance details