cardano-ledger-allegra-1.5.0.1: Allegra ledger era that introduces time lock support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Allegra.TxBody

Synopsis

Documentation

class EraTxBody era ⇒ AllegraEraTxBody era where Source #

Instances

Instances details
Crypto c ⇒ AllegraEraTxBody (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

data AllegraTxBody e where Source #

Bundled Patterns

pattern AllegraTxBody ∷ (EraTxOut era, EraTxCert era) ⇒ Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → CoinValidityIntervalStrictMaybe (Update era) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → AllegraTxBody era

A pattern to keep the newtype and the MemoBytes hidden

Instances

Instances details
Memoized AllegraTxBody Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type RawType AllegraTxBody = (r ∷ TypeType) Source #

Generic (AllegraTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type Rep (AllegraTxBody era) ∷ TypeType Source #

Methods

fromAllegraTxBody era → Rep (AllegraTxBody era) x Source #

toRep (AllegraTxBody era) x → AllegraTxBody era Source #

(Era era, Show (TxOut era), Show (TxCert era), Compactible (Value era), Show (PParamsUpdate era)) ⇒ Show (AllegraTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Typeable e ⇒ ToCBOR (AllegraTxBody e) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toCBORAllegraTxBody e → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AllegraTxBody e) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AllegraTxBody e] → Size Source #

AllegraEraTxBody era ⇒ DecCBOR (Annotator (AllegraTxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Era era ⇒ EncCBOR (AllegraTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

encCBORAllegraTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AllegraTxBody era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AllegraTxBody era] → Size Source #

(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (AllegraTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

eqRawAllegraTxBody era → AllegraTxBody era → Bool Source #

SafeToHash (AllegraTxBody e) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

(NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era), Era era) ⇒ NFData (AllegraTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

rnfAllegraTxBody era → () Source #

(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ Eq (AllegraTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

(==)AllegraTxBody era → AllegraTxBody era → Bool Source #

(/=)AllegraTxBody era → AllegraTxBody era → Bool Source #

(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (AllegraTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

(c ~ EraCrypto era, Era era) ⇒ HashAnnotated (AllegraTxBody era) EraIndependentTxBody c Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType AllegraTxBody Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (AllegraTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (AllegraTxBody era) = D1 ('MetaData "AllegraTxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.5.0.1-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw ()) era))))

data AllegraTxBodyRaw ma era Source #

Instances

Instances details
AllegraEraTxBody era ⇒ DecCBOR (Annotator (AllegraTxBodyRaw () era)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Generic (AllegraTxBodyRaw ma era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type Rep (AllegraTxBodyRaw ma era) ∷ TypeType Source #

Methods

fromAllegraTxBodyRaw ma era → Rep (AllegraTxBodyRaw ma era) x Source #

toRep (AllegraTxBodyRaw ma era) x → AllegraTxBodyRaw ma era Source #

(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era), Show ma) ⇒ Show (AllegraTxBodyRaw ma era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

(DecCBOR ma, Monoid ma, AllegraEraTxBody era) ⇒ DecCBOR (AllegraTxBodyRaw ma era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

(EraTxOut era, EraTxCert era, Eq ma, EncCBOR ma, Monoid ma) ⇒ EncCBOR (AllegraTxBodyRaw ma era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

encCBORAllegraTxBodyRaw ma era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AllegraTxBodyRaw ma era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AllegraTxBodyRaw ma era] → Size Source #

(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era), NFData ma) ⇒ NFData (AllegraTxBodyRaw ma era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

rnfAllegraTxBodyRaw ma era → () Source #

(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era), Eq ma) ⇒ Eq (AllegraTxBodyRaw ma era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

(==)AllegraTxBodyRaw ma era → AllegraTxBodyRaw ma era → Bool Source #

(/=)AllegraTxBodyRaw ma era → AllegraTxBodyRaw ma era → Bool Source #

(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era), NoThunks ma) ⇒ NoThunks (AllegraTxBodyRaw ma era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type MemoHashIndex (AllegraTxBodyRaw c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (AllegraTxBodyRaw ma era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (AllegraTxBodyRaw ma era) = D1 ('MetaData "AllegraTxBodyRaw" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.5.0.1-inplace" 'False) (C1 ('MetaCons "AllegraTxBodyRaw" 'PrefixI 'True) (((S1 ('MetaSel ('Just "atbrInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))) :*: S1 ('MetaSel ('Just "atbrOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxOut era)))) :*: (S1 ('MetaSel ('Just "atbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert era))) :*: S1 ('MetaSel ('Just "atbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Withdrawals (EraCrypto era))))) :*: ((S1 ('MetaSel ('Just "atbrTxFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "atbrValidityInterval") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval)) :*: (S1 ('MetaSel ('Just "atbrUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Update era))) :*: (S1 ('MetaSel ('Just "atbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (AuxiliaryDataHash (EraCrypto era)))) :*: S1 ('MetaSel ('Just "atbrMint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ma))))))

data StrictMaybe a Source #

Constructors

SNothing 
SJust !a 

Instances

Instances details
MonadFail StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

failStringStrictMaybe a Source #

Foldable StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

foldMonoid m ⇒ StrictMaybe m → m Source #

foldMapMonoid m ⇒ (a → m) → StrictMaybe a → m Source #

foldMap'Monoid m ⇒ (a → m) → StrictMaybe a → m Source #

foldr ∷ (a → b → b) → b → StrictMaybe a → b Source #

foldr' ∷ (a → b → b) → b → StrictMaybe a → b Source #

foldl ∷ (b → a → b) → b → StrictMaybe a → b Source #

foldl' ∷ (b → a → b) → b → StrictMaybe a → b Source #

foldr1 ∷ (a → a → a) → StrictMaybe a → a Source #

foldl1 ∷ (a → a → a) → StrictMaybe a → a Source #

toListStrictMaybe a → [a] Source #

nullStrictMaybe a → Bool Source #

lengthStrictMaybe a → Int Source #

elemEq a ⇒ a → StrictMaybe a → Bool Source #

maximumOrd a ⇒ StrictMaybe a → a Source #

minimumOrd a ⇒ StrictMaybe a → a Source #

sumNum a ⇒ StrictMaybe a → a Source #

productNum a ⇒ StrictMaybe a → a Source #

Traversable StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

traverseApplicative f ⇒ (a → f b) → StrictMaybe a → f (StrictMaybe b) Source #

sequenceAApplicative f ⇒ StrictMaybe (f a) → f (StrictMaybe a) Source #

mapMMonad m ⇒ (a → m b) → StrictMaybe a → m (StrictMaybe b) Source #

sequenceMonad m ⇒ StrictMaybe (m a) → m (StrictMaybe a) Source #

Alternative StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Applicative StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

pure ∷ a → StrictMaybe a Source #

(<*>)StrictMaybe (a → b) → StrictMaybe a → StrictMaybe b Source #

liftA2 ∷ (a → b → c) → StrictMaybe a → StrictMaybe b → StrictMaybe c Source #

(*>)StrictMaybe a → StrictMaybe b → StrictMaybe b Source #

(<*)StrictMaybe a → StrictMaybe b → StrictMaybe a Source #

Functor StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

fmap ∷ (a → b) → StrictMaybe a → StrictMaybe b Source #

(<$) ∷ a → StrictMaybe b → StrictMaybe a Source #

Monad StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

(>>=)StrictMaybe a → (a → StrictMaybe b) → StrictMaybe b Source #

(>>)StrictMaybe a → StrictMaybe b → StrictMaybe b Source #

return ∷ a → StrictMaybe a Source #

HKDApplicative StrictMaybe 
Instance details

Defined in Cardano.Ledger.HKD

Methods

hkdPure ∷ a → HKD StrictMaybe a Source #

hkdLiftA2 ∷ (a → b → c) → HKD StrictMaybe a → HKD StrictMaybe b → HKD StrictMaybe c Source #

HKDFunctor StrictMaybe 
Instance details

Defined in Cardano.Ledger.HKD

FromJSON a ⇒ FromJSON (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

ToJSON a ⇒ ToJSON (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Semigroup a ⇒ Monoid (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Semigroup a ⇒ Semigroup (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Generic (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Associated Types

type Rep (StrictMaybe a) ∷ TypeType Source #

Methods

fromStrictMaybe a → Rep (StrictMaybe a) x Source #

toRep (StrictMaybe a) x → StrictMaybe a Source #

Show a ⇒ Show (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

FromCBOR a ⇒ FromCBOR (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

ToCBOR a ⇒ ToCBOR (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

toCBORStrictMaybe a → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size Source #

DecCBOR a ⇒ DecCBOR (StrictMaybe a) 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

EncCBOR a ⇒ EncCBOR (StrictMaybe a) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBORStrictMaybe a → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size Source #

Default (StrictMaybe t) 
Instance details

Defined in Data.Maybe.Strict

Methods

defStrictMaybe t Source #

NFData a ⇒ NFData (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

rnfStrictMaybe a → () Source #

Eq a ⇒ Eq (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Ord a ⇒ Ord (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

NoThunks a ⇒ NoThunks (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

(EraPParams era, PParamsHKD StrictMaybe era ~ ShelleyPParams StrictMaybe era, ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8) ⇒ ToJSON (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Show (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ FromCBOR (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ ToCBOR (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ DecCBOR (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ EncCBOR (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NFData (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

rnfShelleyPParams StrictMaybe era → () Source #

Eq (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Ord (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NoThunks (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Updatable (K1 t x a) (K1 t (StrictMaybe x) u) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

applyUpdateK1 t x a → K1 t (StrictMaybe x) u → K1 t x a

type Rep (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Data.Maybe.Strict" "cardano-strict-containers-0.1.3.0-2d510eb8052c98180f678f8e2d4ca4b58309945425b81c6185e0f32082f04288" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

data ValidityInterval Source #

ValidityInterval is a half open interval. Closed on the bottom, open on the top. A SNothing on the bottom is negative infinity, and a SNothing on the top is positive infinity

Instances

Instances details
ToJSON ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Generic ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Rep ValidityIntervalTypeType Source #

Show ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

DecCBOR ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

EncCBOR ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

NFData ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

rnfValidityInterval → () Source #

Eq ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Ord ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

NoThunks ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.5.0.1-inplace" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))

Orphan instances

Crypto c ⇒ EraTxBody (AllegraEra c) Source # 
Instance details

Associated Types

type TxBody (AllegraEra c) = (r ∷ Type) Source #

type TxBodyUpgradeError (AllegraEra c) Source #

Crypto c ⇒ ShelleyEraTxBody (AllegraEra c) Source # 
Instance details