Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Mary

Contents

Orphan instances

Synopsis

type MaryEra c = ShelleyMAEra ' Mary c
type Self c = ShelleyMAEra ' Mary c
data TxOut era
type Value era = Value ( Crypto era)
data TxBody e
type Script era = Timelock ( Crypto era)
data AuxiliaryData era
type PParams era = PParams' Identity era
type PParamsDelta era = PParamsUpdate era
data Tx era

Documentation

type MaryEra c = ShelleyMAEra ' Mary c Source #

type Self c = ShelleyMAEra ' Mary c Source #

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 Methods getField :: TxOut era -> v Source #
HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> StrictSeq ( TxOut era) Source #
TransTxOut Eq era => Eq ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: TxOut era -> TxOut era -> Bool Source # (/=) :: TxOut era -> TxOut era -> Bool Source #
( TransTxOut Show era, Era era) => Show ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> TxOut era -> ShowS Source # show :: TxOut era -> String Source # showList :: [ TxOut era] -> ShowS Source #
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 Methods toCBOR :: TxOut era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxOut era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxOut era] -> Size Source #
( Era era, TransTxOut DecodeNonNegative era, Show ( Value era)) => FromCBOR ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( TxOut era) Source # label :: Proxy ( TxOut era) -> Text Source #
( 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 # Methods getShare :: TxOut era -> Share ( TxOut era) Source # fromSharedCBOR :: Share ( TxOut era) -> Decoder s ( TxOut era) Source # fromSharedPlusCBOR :: StateT ( Share ( TxOut era)) ( Decoder s) ( TxOut era) Source #
( Crypto ( Crypto era), HeapWords ( CompactForm ( Value era))) => HeapWords ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods heapWords :: TxOut era -> Int Source #
NoThunks ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxOut era) -> String Source #
Crypto c => TranslateEra ( MaryEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) TxOut Source # Methods translateEra :: TranslationContext ( MaryEra c) -> TxOut ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) TxOut ) ( TxOut ( MaryEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) TxOut Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> TxOut ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) TxOut ) ( TxOut ( AllegraEra c)) Source #
type Share ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Share ( TxOut era) = Interns ( Credential ' Staking ( Crypto era))
type TranslationError ( MaryEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) TxOut = Void
type TranslationError ( AllegraEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) TxOut = Void

type Value era = Value ( Crypto era) Source #

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 Methods getField :: TxBody era -> Coin Source #
HasField "vldt" ( TxBody era) ValidityInterval Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> ValidityInterval Source #
Crypto era ~ crypto => HasField "adHash" ( TxBody era) ( StrictMaybe ( AuxiliaryDataHash crypto)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> StrictMaybe ( AuxiliaryDataHash crypto) Source #
Crypto era ~ crypto => HasField "certs" ( TxBody era) ( StrictSeq ( DCert crypto)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> StrictSeq ( DCert crypto) Source #
Crypto era ~ crypto => HasField "inputs" ( TxBody era) ( Set ( TxIn crypto)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> Set ( TxIn crypto) Source #
MAClass ma c => HasField "minted" ( TxBody ( ShelleyMAEra ma c)) ( Set ( ScriptHash c)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA Methods getField :: TxBody ( ShelleyMAEra ma c) -> Set ( ScriptHash c) Source #
HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> StrictSeq ( TxOut era) Source #
HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> StrictMaybe ( Update era) Source #
Crypto era ~ crypto => HasField "wdrls" ( TxBody era) ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> Wdrl crypto Source #
Eq ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods (==) :: TxBody era -> TxBody era -> Bool Source # (/=) :: TxBody era -> TxBody era -> Bool Source #
( TransValue Show era, Show ( PParamsDelta era)) => Show ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods showsPrec :: Int -> TxBody era -> ShowS Source # show :: TxBody era -> String Source # showList :: [ TxBody era] -> ShowS Source #
Generic ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Associated Types type Rep ( TxBody era) :: Type -> Type Source # Methods from :: TxBody era -> Rep ( TxBody era) x Source # to :: Rep ( TxBody era) x -> TxBody era 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 Methods toCBOR :: TxBody era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxBody era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxBody era] -> Size Source #
FamsFrom era => FromCBOR ( Annotator ( TxBody era)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods fromCBOR :: Decoder s ( Annotator ( TxBody era)) Source # label :: Proxy ( Annotator ( TxBody era)) -> Text Source #
SafeToHash ( TxBody e) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods originalBytes :: TxBody e -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> TxBody e -> SafeHash c index Source #
( Typeable era, NoThunks ( Value era), NoThunks ( PParamsDelta era)) => NoThunks ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods noThunks :: Context -> TxBody era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxBody era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxBody era) -> String Source #
(c ~ Crypto era, Era era) => HashAnnotated ( TxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods indexProxy :: TxBody era -> Proxy EraIndependentTxBody Source #
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)))))

type Script era = Timelock ( Crypto era) Source #

data AuxiliaryData era Source #

Instances

Instances details

Era era => Eq ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods (==) :: AuxiliaryData era -> AuxiliaryData era -> Bool Source # (/=) :: AuxiliaryData era -> AuxiliaryData era -> Bool Source #
( Era era, ChainData ( Script era)) => Show ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods showsPrec :: Int -> AuxiliaryData era -> ShowS Source # show :: AuxiliaryData era -> String Source # showList :: [ AuxiliaryData era] -> ShowS Source #
Generic ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Associated Types type Rep ( AuxiliaryData era) :: Type -> Type Source # Methods from :: AuxiliaryData era -> Rep ( AuxiliaryData era) x Source # to :: Rep ( AuxiliaryData era) x -> AuxiliaryData era Source #
NFData ( Script era) => NFData ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods rnf :: AuxiliaryData era -> () Source #
Typeable era => ToCBOR ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods toCBOR :: AuxiliaryData era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( AuxiliaryData era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ AuxiliaryData era] -> Size Source #
( Era era, AnnotatedData ( Script era)) => FromCBOR ( Annotator ( AuxiliaryData era)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods fromCBOR :: Decoder s ( Annotator ( AuxiliaryData era)) Source # label :: Proxy ( Annotator ( AuxiliaryData era)) -> Text Source #
SafeToHash ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods originalBytes :: AuxiliaryData era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> AuxiliaryData era -> SafeHash c index Source #
( Era era, ChainData ( Script era)) => NoThunks ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods noThunks :: Context -> AuxiliaryData era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> AuxiliaryData era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( AuxiliaryData era) -> String Source #
Crypto c => TranslateEra ( MaryEra c) AuxiliaryData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) AuxiliaryData Source # Methods translateEra :: TranslationContext ( MaryEra c) -> AuxiliaryData ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) AuxiliaryData ) ( AuxiliaryData ( MaryEra c)) Source #
c ~ Crypto era => HashAnnotated ( AuxiliaryData era) EraIndependentAuxiliaryData c Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods indexProxy :: AuxiliaryData era -> Proxy EraIndependentAuxiliaryData Source #
type Rep ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData type Rep ( AuxiliaryData era)
type TranslationError ( MaryEra c) AuxiliaryData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) AuxiliaryData = Void

type PParams era = PParams' Identity era Source #

type PParamsDelta era = PParamsUpdate era Source #

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 Methods getField :: Tx era -> Integer Source #
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 Methods getField :: Tx era -> Set ( WitVKey ' Witness c) Source #
aux ~ AuxiliaryData era => HasField "auxiliaryData" ( Tx era) ( StrictMaybe aux)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> StrictMaybe aux Source #
(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "bootWits" ( Tx era) ( Set ( BootstrapWitness c))
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Set ( BootstrapWitness c) Source #
(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 Methods getField :: Tx era -> Map ( ScriptHash c) script Source #
Eq ( Tx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) :: Tx era -> Tx era -> Bool Source # (/=) :: Tx era -> Tx era -> Bool Source #
( Era era, Show ( AuxiliaryData era), Show ( TxBody era), Show ( Witnesses era)) => Show ( Tx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec :: Int -> Tx era -> ShowS Source # show :: Tx era -> String Source # showList :: [ Tx era] -> ShowS Source #
( 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 Methods toCBOR :: Tx era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Tx era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Tx era] -> Size Source #
( 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 Methods fromCBOR :: Decoder s ( Annotator ( Tx era)) Source # label :: Proxy ( Annotator ( Tx era)) -> Text Source #
SafeToHash ( Tx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods originalBytes :: Tx era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> Tx era -> SafeHash c index Source #
( Era era, NoThunks ( AuxiliaryData era), NoThunks ( TxBody era), NoThunks ( Witnesses era)) => NoThunks ( Tx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks :: Context -> Tx era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Tx era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Tx era) -> String Source #
Crypto c => TranslateEra ( MaryEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) Tx Source # Methods translateEra :: TranslationContext ( MaryEra c) -> Tx ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) Tx ) ( Tx ( MaryEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) Tx Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> Tx ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) Tx ) ( Tx ( AllegraEra c)) Source #
type TranslationError ( MaryEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) Tx = DecoderError
type TranslationError ( AllegraEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) Tx = DecoderError

Orphan instances

ShelleyEraCrypto c => ShelleyBasedEra ( MaryEra c) Source #
Instance details
Crypto c => CanStartFromGenesis ( MaryEra c) Source #
Instance details Associated Types type AdditionalGenesisConfig ( MaryEra c) Source # Methods initialState :: ShelleyGenesis ( MaryEra c) -> AdditionalGenesisConfig ( MaryEra c) -> NewEpochState ( MaryEra c) Source #
Crypto c => CLI ( MaryEra c) Source #
Instance details Methods evaluateMinFee :: PParams ( MaryEra c) -> Tx ( MaryEra c) -> Coin Source # evaluateConsumed :: PParams ( MaryEra c) -> UTxO ( MaryEra c) -> TxBody ( MaryEra c) -> Value ( MaryEra c) Source # addKeyWitnesses :: Tx ( MaryEra c) -> Set ( WitVKey ' Witness ( Crypto ( MaryEra c))) -> Tx ( MaryEra c) Source # evaluateTransactionBalance :: PParams ( MaryEra c) -> UTxO ( MaryEra c) -> ( KeyHash ' StakePool ( Crypto ( MaryEra c)) -> Bool ) -> TxBody ( MaryEra c) -> Value ( MaryEra c) Source # evaluateTransactionFee :: PParams ( MaryEra c) -> Tx ( MaryEra c) -> Word -> Coin Source # evaluateMinLovelaceOutput :: PParams ( MaryEra c) -> TxOut ( MaryEra c) -> Coin Source #
ShelleyEraCrypto c => ApplyTx ( MaryEra c) Source #
Instance details Methods applyTx :: MonadError ( ApplyTxError ( MaryEra c)) m => Globals -> MempoolEnv ( MaryEra c) -> MempoolState ( MaryEra c) -> Tx ( MaryEra c) -> m ( MempoolState ( MaryEra c), Validated ( Tx ( MaryEra c))) Source # reapplyTx :: MonadError ( ApplyTxError ( MaryEra c)) m => Globals -> MempoolEnv ( MaryEra c) -> MempoolState ( MaryEra c) -> Validated ( Tx ( MaryEra c)) -> m ( MempoolState ( MaryEra c)) Source #
ShelleyEraCrypto c => ApplyBlock ( MaryEra c) Source #
Instance details Methods applyTickOpts :: forall (ep :: EventPolicy ). ApplySTSOpts ep -> Globals -> NewEpochState ( MaryEra c) -> SlotNo -> EventReturnType ep ( EraRule "TICK" ( MaryEra c)) ( NewEpochState ( MaryEra c)) Source # applyBlockOpts :: forall (ep :: EventPolicy ) m. ( EventReturnTypeRep ep, MonadError ( BlockTransitionError ( MaryEra c)) m) => ApplySTSOpts ep -> Globals -> NewEpochState ( MaryEra c) -> Block ( BHeaderView ( Crypto ( MaryEra c))) ( MaryEra c) -> m ( EventReturnType ep ( EraRule "BBODY" ( MaryEra c)) ( NewEpochState ( MaryEra c))) Source # reapplyBlock :: Globals -> NewEpochState ( MaryEra c) -> Block ( BHeaderView ( Crypto ( MaryEra c))) ( MaryEra c) -> NewEpochState ( MaryEra c) Source #