cardano-ledger-shelley-ma-0.1.0.0: Shelley ledger with multiasset and time lock support.
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Mary

Synopsis

Documentation

data TxOut era Source #

The output of a UTxO.

Instances

Instances details
( Compactible v, v ~ Value era) => HasField "value" ( TxOut era) v
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

TransTxOut Eq era => Eq ( TxOut era)
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( TransTxOut Show era, Era era) => Show ( TxOut era)
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NFData ( TxOut era)
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: TxOut era -> () Source #

( Era era, TransTxOut ToCBOR era) => ToCBOR ( TxOut era)
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( Era era, TransTxOut DecodeNonNegative era, Show ( Value era)) => FromCBOR ( TxOut era)
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( Era era, TransTxOut DecodeNonNegative era, Show ( Value era)) => FromSharedCBOR ( TxOut era)
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Share ( TxOut era) Source #

( Crypto ( Crypto era), HeapWords ( CompactForm ( Value era))) => HeapWords ( TxOut era)
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks ( TxOut era)
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto c => TranslateEra ( MaryEra c) TxOut Source #
Instance details

Defined in Cardano.Ledger.Mary.Translation

Crypto c => TranslateEra ( AllegraEra c) TxOut Source #
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type Share ( TxOut era)
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type TranslationError ( MaryEra c) TxOut Source #
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError ( AllegraEra c) TxOut Source #
Instance details

Defined in Cardano.Ledger.Allegra.Translation

data TxBody e Source #

Instances

Instances details
Value era ~ value => HasField "mint" ( TxBody era) value Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> value Source #

HasField "txfee" ( TxBody era) Coin Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

HasField "vldt" ( TxBody era) ValidityInterval Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Crypto era ~ crypto => HasField "adHash" ( TxBody era) ( StrictMaybe ( AuxiliaryDataHash crypto)) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Crypto era ~ crypto => HasField "certs" ( TxBody era) ( StrictSeq ( DCert crypto)) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Crypto era ~ crypto => HasField "inputs" ( TxBody era) ( Set ( TxIn crypto)) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

MAClass ma c => HasField "minted" ( TxBody ( ShelleyMAEra ma c)) ( Set ( ScriptHash c)) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA

HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Crypto era ~ crypto => HasField "wdrls" ( TxBody era) ( Wdrl crypto) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Eq ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

( TransValue Show era, Show ( PParamsDelta era)) => Show ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Generic ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Associated Types

type Rep ( TxBody era) :: Type -> Type Source #

( NFData ( Value era), NFData ( PParamsDelta era), Era era) => NFData ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

rnf :: TxBody era -> () Source #

Typeable era => ToCBOR ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

FamsFrom era => FromCBOR ( Annotator ( TxBody era)) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

SafeToHash ( TxBody e) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

( Typeable era, NoThunks ( Value era), NoThunks ( PParamsDelta era)) => NoThunks ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

(c ~ Crypto era, Era era) => HashAnnotated ( TxBody era) EraIndependentTxBody c Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

type Rep ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

type Rep ( TxBody era) = D1 (' MetaData "TxBody" "Cardano.Ledger.ShelleyMA.TxBody" "cardano-ledger-shelley-ma-0.1.0.0-IyXhkyY7R1xGIgXdNlolP6" ' True ) ( C1 (' MetaCons "TxBodyConstr" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( MemoBytes ( TxBodyRaw era)))))

data AuxiliaryData era Source #

Instances

Instances details
Era era => Eq ( AuxiliaryData era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData

( Era era, ChainData ( Script era)) => Show ( AuxiliaryData era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData

Generic ( AuxiliaryData era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData

Associated Types

type Rep ( AuxiliaryData era) :: Type -> Type Source #

NFData ( Script era) => NFData ( AuxiliaryData era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData

Typeable era => ToCBOR ( AuxiliaryData era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData

( Era era, AnnotatedData ( Script era)) => FromCBOR ( Annotator ( AuxiliaryData era)) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData

SafeToHash ( AuxiliaryData era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData

( Era era, ChainData ( Script era)) => NoThunks ( AuxiliaryData era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData

Crypto c => TranslateEra ( MaryEra c) AuxiliaryData Source #
Instance details

Defined in Cardano.Ledger.Mary.Translation

c ~ Crypto era => HashAnnotated ( AuxiliaryData era) EraIndependentAuxiliaryData c Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData

type Rep ( AuxiliaryData era) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData

type TranslationError ( MaryEra c) AuxiliaryData Source #
Instance details

Defined in Cardano.Ledger.Mary.Translation

data Tx era Source #

Instances

Instances details
body ~ TxBody era => HasField "body" ( Tx era) body
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

getField :: Tx era -> body Source #

HasField "txsize" ( Tx era) Integer
Instance details

Defined in Cardano.Ledger.Shelley.Tx

wits ~ Witnesses era => HasField "wits" ( Tx era) wits
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

getField :: Tx era -> wits Source #

(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( Tx era) ( Set ( WitVKey ' Witness c))
Instance details

Defined in Cardano.Ledger.Shelley.Tx

aux ~ AuxiliaryData era => HasField "auxiliaryData" ( Tx era) ( StrictMaybe aux)
Instance details

Defined in Cardano.Ledger.Shelley.Tx

(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "bootWits" ( Tx era) ( Set ( BootstrapWitness c))
Instance details

Defined in Cardano.Ledger.Shelley.Tx

(c ~ Crypto era, script ~ Script era, Witnesses era ~ WitnessSet era) => HasField "scriptWits" ( Tx era) ( Map ( ScriptHash c) script)
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Eq ( Tx era)
Instance details

Defined in Cardano.Ledger.Shelley.Tx

( Era era, Show ( AuxiliaryData era), Show ( TxBody era), Show ( Witnesses era)) => Show ( Tx era)
Instance details

Defined in Cardano.Ledger.Shelley.Tx

( NFData ( TxBody era), NFData ( Witnesses era), NFData ( AuxiliaryData era)) => NFData ( Tx era)
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf :: Tx era -> () Source #

Typeable era => ToCBOR ( Tx era)
Instance details

Defined in Cardano.Ledger.Shelley.Tx

( Era era, FromCBOR ( Annotator ( TxBody era)), FromCBOR ( Annotator ( AuxiliaryData era)), FromCBOR ( Annotator ( Witnesses era))) => FromCBOR ( Annotator ( Tx era))
Instance details

Defined in Cardano.Ledger.Shelley.Tx

SafeToHash ( Tx era)
Instance details

Defined in Cardano.Ledger.Shelley.Tx

( Era era, NoThunks ( AuxiliaryData era), NoThunks ( TxBody era), NoThunks ( Witnesses era)) => NoThunks ( Tx era)
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Crypto c => TranslateEra ( MaryEra c) Tx Source #
Instance details

Defined in Cardano.Ledger.Mary.Translation

Crypto c => TranslateEra ( AllegraEra c) Tx Source #
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError ( MaryEra c) Tx Source #
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError ( AllegraEra c) Tx Source #
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Orphan instances

ShelleyEraCrypto c => ShelleyBasedEra ( MaryEra c) Source #
Instance details

Crypto c => CanStartFromGenesis ( MaryEra c) Source #
Instance details

Crypto c => CLI ( MaryEra c) Source #
Instance details

ShelleyEraCrypto c => ApplyTx ( MaryEra c) Source #
Instance details

ShelleyEraCrypto c => ApplyBlock ( MaryEra c) Source #
Instance details