cardano-ledger-alonzo-1.15.0.0: Cardano ledger introducing Plutus Core
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Alonzo.TxBody

Synopsis

Documentation

data AlonzoTxOut era Source #

Constructors

TxOutCompact' !CompactAddr !(CompactForm (Value era)) 
TxOutCompactDH' !CompactAddr !(CompactForm (Value era)) !DataHash 
TxOut_AddrHash28_AdaOnly !(Credential 'Staking) !Addr28Extra !(CompactForm Coin) 
TxOut_AddrHash28_AdaOnly_DataHash32 !(Credential 'Staking) !Addr28Extra !(CompactForm Coin) !DataHash32 

Bundled Patterns

pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → AlonzoTxOut era 
pattern AlonzoTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → StrictMaybe DataHash → AlonzoTxOut era 
pattern TxOutCompactDH ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → AlonzoTxOut era 

Instances

Instances details
(Era era, Val (Value era)) ⇒ ToJSON (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

toJSON ∷ AlonzoTxOut era → Value Source #

toEncoding ∷ AlonzoTxOut era → Encoding Source #

toJSONList ∷ [AlonzoTxOut era] → Value Source #

toEncodingList ∷ [AlonzoTxOut era] → Encoding Source #

omitField ∷ AlonzoTxOut era → Bool Source #

(Era era, Val (Value era)) ⇒ FromCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

fromCBOR ∷ Decoder s (AlonzoTxOut era) Source #

label ∷ Proxy (AlonzoTxOut era) → Text Source #

(Era era, Val (Value era)) ⇒ ToCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

toCBOR ∷ AlonzoTxOut era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxOut era) → Size Source #

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

(Era era, Val (Value era)) ⇒ DecCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

decCBOR ∷ Decoder s (AlonzoTxOut era) Source #

dropCBOR ∷ Proxy (AlonzoTxOut era) → Decoder s () Source #

label ∷ Proxy (AlonzoTxOut era) → Text Source #

(Era era, Val (Value era), MemPack (CompactForm (Value era))) ⇒ DecShareCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Share (AlonzoTxOut era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Share (AlonzoTxOut era) = Interns (Credential 'Staking)

Methods

getShare ∷ AlonzoTxOut era → Share (AlonzoTxOut era) Source #

decShareCBOR ∷ Share (AlonzoTxOut era) → Decoder s (AlonzoTxOut era) Source #

decSharePlusCBOR ∷ StateT (Share (AlonzoTxOut era)) (Decoder s) (AlonzoTxOut era) Source #

(Era era, Val (Value era)) ⇒ EncCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

encCBOR ∷ AlonzoTxOut era → Encoding Source #

NFData (AlonzoTxOut era) Source #

Already in NF

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

rnf ∷ AlonzoTxOut era → () #

Generic (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep (AlonzoTxOut era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep (AlonzoTxOut era) = D1 ('MetaData "AlonzoTxOut" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32)))))

Methods

from ∷ AlonzoTxOut era → Rep (AlonzoTxOut era) x #

to ∷ Rep (AlonzoTxOut era) x → AlonzoTxOut era #

(Era era, Val (Value era)) ⇒ Show (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

showsPrec ∷ Int → AlonzoTxOut era → ShowS #

show ∷ AlonzoTxOut era → String #

showList ∷ [AlonzoTxOut era] → ShowS #

(Eq (Value era), Compactible (Value era)) ⇒ Eq (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

(==) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool #

(/=) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool #

(Era era, MemPack (CompactForm (Value era))) ⇒ MemPack (AlonzoTxOut era) Source #

This instance is backwards compatible in binary representation with TxOut instances for all previous era

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

typeName ∷ String Source #

packedByteCount ∷ AlonzoTxOut era → Int Source #

packM ∷ AlonzoTxOut era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (AlonzoTxOut era) Source #

NoThunks (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

noThunks ∷ Context → AlonzoTxOut era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoTxOut era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoTxOut era) → String Source #

type Share (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Share (AlonzoTxOut era) = Interns (Credential 'Staking)
type Rep (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep (AlonzoTxOut era) = D1 ('MetaData "AlonzoTxOut" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32)))))

class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where Source #

Methods

dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era) Source #

Instances

Instances details
AlonzoEraTxOut AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source #

data Addr28Extra Source #

Instances

Instances details
Generic Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep Addr28Extra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep Addr28Extra = D1 ('MetaData "Addr28Extra" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "Addr28Extra" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

Methods

from ∷ Addr28Extra → Rep Addr28Extra x #

to ∷ Rep Addr28Extra x → Addr28Extra #

Show Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

showsPrec ∷ Int → Addr28Extra → ShowS #

show ∷ Addr28Extra → String #

showList ∷ [Addr28Extra] → ShowS #

Eq Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

(==) ∷ Addr28Extra → Addr28Extra → Bool #

(/=) ∷ Addr28Extra → Addr28Extra → Bool #

MemPack Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

typeName ∷ String Source #

packedByteCount ∷ Addr28Extra → Int Source #

packM ∷ Addr28Extra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b Addr28Extra Source #

NoThunks Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

noThunks ∷ Context → Addr28Extra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Addr28Extra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Addr28Extra → String Source #

type Rep Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep Addr28Extra = D1 ('MetaData "Addr28Extra" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "Addr28Extra" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

data DataHash32 Source #

Instances

Instances details
Generic DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep DataHash32 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep DataHash32 = D1 ('MetaData "DataHash32" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

Methods

from ∷ DataHash32 → Rep DataHash32 x #

to ∷ Rep DataHash32 x → DataHash32 #

Show DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

showsPrec ∷ Int → DataHash32 → ShowS #

show ∷ DataHash32 → String #

showList ∷ [DataHash32] → ShowS #

Eq DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

(==) ∷ DataHash32 → DataHash32 → Bool #

(/=) ∷ DataHash32 → DataHash32 → Bool #

MemPack DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

typeName ∷ String Source #

packedByteCount ∷ DataHash32 → Int Source #

packM ∷ DataHash32 → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b DataHash32 Source #

NoThunks DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

noThunks ∷ Context → DataHash32 → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DataHash32 → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy DataHash32 → String Source #

type Rep DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep DataHash32 = D1 ('MetaData "DataHash32" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

data family TxBody (l ∷ TxLevel) era Source #

The body of a transaction.

Instances

Instances details
HasEraTxLevel TxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AllegraEra → STxLevel l AllegraEra Source #

HasEraTxLevel TxBody AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → STxLevel l AlonzoEra Source #

HasEraTxLevel TxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l MaryEra → STxLevel l MaryEra Source #

HasEraTxLevel TxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → STxLevel l ShelleyEra Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AllegraEra)) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AllegraEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AlonzoEra)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AlonzoEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l MaryEra)) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l MaryEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra)) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Text Source #

Typeable l ⇒ ToCBOR (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toCBOR ∷ TxBody l AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AllegraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l AllegraEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

toCBOR ∷ TxBody l AlonzoEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AlonzoEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l AlonzoEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

toCBOR ∷ TxBody l MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l MaryEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l ShelleyEra] → Size Source #

EncCBOR (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

encCBOR ∷ TxBody l AllegraEra → Encoding Source #

EncCBOR (TxBody l AlonzoEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

encCBOR ∷ TxBody l AlonzoEra → Encoding Source #

EncCBOR (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

encCBOR ∷ TxBody l MaryEra → Encoding Source #

EncCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

originalBytes ∷ TxBody l AllegraEra → ByteString Source #

originalBytesSize ∷ TxBody l AllegraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AllegraEra → SafeHash i Source #

SafeToHash (TxBody l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

originalBytes ∷ TxBody l AlonzoEra → ByteString Source #

originalBytesSize ∷ TxBody l AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AlonzoEra → SafeHash i Source #

SafeToHash (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

originalBytes ∷ TxBody l MaryEra → ByteString Source #

originalBytesSize ∷ TxBody l MaryEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l MaryEra → SafeHash i Source #

SafeToHash (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source #

EqRaw (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

eqRaw ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool Source #

EqRaw (TxBody l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

eqRaw ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool Source #

EqRaw (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

eqRaw ∷ TxBody l MaryEra → TxBody l MaryEra → Bool Source #

EqRaw (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

eqRaw ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool Source #

Memoized (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type RawType (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

Methods

getMemoBytes ∷ TxBody l AllegraEra → MemoBytes (RawType (TxBody l AllegraEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AllegraEra)) → TxBody l AllegraEra

Memoized (TxBody l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

type RawType (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

Methods

getMemoBytes ∷ TxBody l AlonzoEra → MemoBytes (RawType (TxBody l AlonzoEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AlonzoEra)) → TxBody l AlonzoEra

Memoized (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type RawType (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

Methods

getMemoBytes ∷ TxBody l MaryEra → MemoBytes (RawType (TxBody l MaryEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l MaryEra)) → TxBody l MaryEra

Memoized (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

rnf ∷ TxBody l AllegraEra → () #

NFData (TxBody l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

rnf ∷ TxBody l AlonzoEra → () #

NFData (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

rnf ∷ TxBody l MaryEra → () #

NFData (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type Rep (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

Methods

from ∷ TxBody l AllegraEra → Rep (TxBody l AllegraEra) x #

to ∷ Rep (TxBody l AllegraEra) x → TxBody l AllegraEra #

Generic (TxBody l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

type Rep (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

Methods

from ∷ TxBody l AlonzoEra → Rep (TxBody l AlonzoEra) x #

to ∷ Rep (TxBody l AlonzoEra) x → TxBody l AlonzoEra #

Generic (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type Rep (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

Methods

from ∷ TxBody l MaryEra → Rep (TxBody l MaryEra) x #

to ∷ Rep (TxBody l MaryEra) x → TxBody l MaryEra #

Generic (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

from ∷ TxBody l ShelleyEra → Rep (TxBody l ShelleyEra) x #

to ∷ Rep (TxBody l ShelleyEra) x → TxBody l ShelleyEra #

Show (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

showsPrec ∷ Int → TxBody l AllegraEra → ShowS #

show ∷ TxBody l AllegraEra → String #

showList ∷ [TxBody l AllegraEra] → ShowS #

Show (TxBody l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

showsPrec ∷ Int → TxBody l AlonzoEra → ShowS #

show ∷ TxBody l AlonzoEra → String #

showList ∷ [TxBody l AlonzoEra] → ShowS #

Show (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

showsPrec ∷ Int → TxBody l MaryEra → ShowS #

show ∷ TxBody l MaryEra → String #

showList ∷ [TxBody l MaryEra] → ShowS #

Show (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

(==) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

(/=) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

Eq (TxBody l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

(==) ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool #

(/=) ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool #

Eq (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

(==) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

(/=) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

Eq (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

(/=) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

noThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AllegraEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

noThunks ∷ Context → TxBody l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AlonzoEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

noThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l MaryEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

noThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l ShelleyEra) → String Source #

HashAnnotated (TxBody l AllegraEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

hashAnnotated ∷ TxBody l AllegraEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

hashAnnotated ∷ TxBody l AlonzoEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

hashAnnotated ∷ TxBody l MaryEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))
newtype TxBody l AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))
newtype TxBody l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))
newtype TxBody l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
type RawType (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra
type RawType (TxBody l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra
type RawType (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra
type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra
type Rep (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

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

Defined in Cardano.Ledger.Alonzo.TxBody

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

Defined in Cardano.Ledger.Mary.TxBody

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

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

data AlonzoTxBodyRaw (l ∷ TxLevel) era where Source #

Constructors

AlonzoTxBodyRaw 

Fields

Instances

Instances details
HasEraTxLevel AlonzoTxBodyRaw AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). AlonzoTxBodyRaw l AlonzoEra → STxLevel l AlonzoEra Source #

Typeable l ⇒ DecCBOR (Annotator (AlonzoTxBodyRaw l AlonzoEra)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoTxBodyRaw l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoTxBodyRaw l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoTxBodyRaw l AlonzoEra)) → Text Source #

Typeable l ⇒ DecCBOR (AlonzoTxBodyRaw l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

decCBOR ∷ Decoder s (AlonzoTxBodyRaw l AlonzoEra) Source #

dropCBOR ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → Decoder s () Source #

label ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → Text Source #

EncCBOR (AlonzoTxBodyRaw l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

encCBOR ∷ AlonzoTxBodyRaw l AlonzoEra → Encoding Source #

(NFData (TxOut era), NFData (TxCert era), NFData (PParamsHKD StrictMaybe era)) ⇒ NFData (AlonzoTxBodyRaw l era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

rnf ∷ AlonzoTxBodyRaw l era → () #

Show (AlonzoTxBodyRaw l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

showsPrec ∷ Int → AlonzoTxBodyRaw l AlonzoEra → ShowS #

show ∷ AlonzoTxBodyRaw l AlonzoEra → String #

showList ∷ [AlonzoTxBodyRaw l AlonzoEra] → ShowS #

Eq (AlonzoTxBodyRaw l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

(==) ∷ AlonzoTxBodyRaw l AlonzoEra → AlonzoTxBodyRaw l AlonzoEra → Bool #

(/=) ∷ AlonzoTxBodyRaw l AlonzoEra → AlonzoTxBodyRaw l AlonzoEra → Bool #

Typeable l ⇒ NoThunks (AlonzoTxBodyRaw l AlonzoEra) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

noThunks ∷ Context → AlonzoTxBodyRaw l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoTxBodyRaw l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → String Source #

type MemoHashIndex (AlonzoTxBodyRaw l era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type MemoHashIndex (AlonzoTxBodyRaw l era) = EraIndependentTxBody

class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era where Source #

Minimal complete definition

collateralInputsTxBodyL, reqSignerHashesTxBodyL, scriptIntegrityHashTxBodyL, networkIdTxBodyL, redeemerPointer, redeemerPointerInverse

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx era) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" era ⇒ Lens' (TxBody l era) (Set (KeyHash 'Guard)) Source #

reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Set (KeyHash 'Guard)) Source #

default reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" era ⇒ SimpleGetter (TxBody l era) (Set (KeyHash 'Guard)) Source #

scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (StrictMaybe Network) Source #

redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era) Source #

This function is called rdptr in the spec. Given a TxBody and a plutus purpose with an item, we should be able to find the plutus purpose as in index

redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era) Source #

This is an inverse of redeemerPointer. Given purpose as an index return it as an item.

Instances

Instances details
AlonzoEraTxBody AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" AlonzoEra ⇒ Lens' (TxBody l AlonzoEra) (Set (KeyHash 'Guard)) Source #

reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set (KeyHash 'Guard)) Source #

scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe Network) Source #

redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → PlutusPurpose AsItem AlonzoEra → StrictMaybe (PlutusPurpose AsIx AlonzoEra) Source #

redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → PlutusPurpose AsIx AlonzoEra → StrictMaybe (PlutusPurpose AsIxItem AlonzoEra) Source #

class (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) ⇒ ShelleyEraTxBody era where Source #

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx era) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx era) (StrictMaybe (Update era)) Source #

Instances

Instances details
ShelleyEraTxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) (StrictMaybe (Update AllegraEra)) Source #

ShelleyEraTxBody AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) (StrictMaybe (Update AlonzoEra)) Source #

ShelleyEraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx MaryEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx MaryEra) (StrictMaybe (Update MaryEra)) Source #

ShelleyEraTxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source #

class EraTxBody era ⇒ AllegraEraTxBody era where Source #

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) ValidityInterval Source #

Instances

Instances details
AllegraEraTxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) ValidityInterval Source #

AllegraEraTxBody AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) ValidityInterval Source #

AllegraEraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) ValidityInterval Source #

class AllegraEraTxBody era ⇒ MaryEraTxBody era where Source #

Minimal complete definition

mintTxBodyL

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Value era) Source #

default mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). Value era ~ MaryValue ⇒ SimpleGetter (TxBody l era) (Value era) Source #

Instances

Instances details
MaryEraTxBody AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Value AlonzoEra) Source #

MaryEraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Value MaryEra) Source #

class Indexable elem container where Source #

Methods

indexOf ∷ AsItem Word32 elem → container → StrictMaybe (AsIx Word32 elem) Source #

fromIndex ∷ AsIx Word32 elem → container → StrictMaybe (AsIxItem Word32 elem) Source #

Instances

Instances details
Ord k ⇒ Indexable k (OSet k) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

indexOf ∷ AsItem Word32 k → OSet k → StrictMaybe (AsIx Word32 k) Source #

fromIndex ∷ AsIx Word32 k → OSet k → StrictMaybe (AsIxItem Word32 k) Source #

Eq k ⇒ Indexable k (StrictSeq k) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

indexOf ∷ AsItem Word32 k → StrictSeq k → StrictMaybe (AsIx Word32 k) Source #

fromIndex ∷ AsIx Word32 k → StrictSeq k → StrictMaybe (AsIxItem Word32 k) Source #

Ord k ⇒ Indexable k (Set k) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

indexOf ∷ AsItem Word32 k → Set k → StrictMaybe (AsIx Word32 k) Source #

fromIndex ∷ AsIx Word32 k → Set k → StrictMaybe (AsIxItem Word32 k) Source #

Ord k ⇒ Indexable k (Map k v) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

indexOf ∷ AsItem Word32 k → Map k v → StrictMaybe (AsIx Word32 k) Source #

fromIndex ∷ AsIx Word32 k → Map k v → StrictMaybe (AsIxItem Word32 k) Source #

getAdaOnly ∷ Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin) Source #

decodeDataHash32 ∷ DataHash32 → DataHash Source #

encodeDataHash32 ∷ DataHash → DataHash32 Source #

encodeAddress28 ∷ Network → PaymentCredential → Addr28Extra Source #

decodeAddress28 ∷ Credential 'Staking → Addr28Extra → Addr Source #

viewCompactTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (CompactAddr, CompactForm (Value era), StrictMaybe DataHash) Source #

viewTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (Addr, Value era, StrictMaybe DataHash) Source #

data EraIndependentScriptIntegrity Source #

Instances

Instances details
Era era ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

hashAnnotated ∷ ScriptIntegrity era → SafeHash EraIndependentScriptIntegrity Source #

type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity Source #

getAlonzoTxOutEitherAddr ∷ AlonzoTxOut era → Either Addr CompactAddr Source #

utxoEntrySize ∷ AlonzoEraTxOut era ⇒ TxOut era → Integer Source #

Compute an estimate of the size of storing one UTxO entry. This function implements the UTxO entry size estimate done by scaledMinDeposit in the ShelleyMA era

alonzoRedeemerPointer ∷ ∀ era (l ∷ TxLevel). MaryEraTxBody era ⇒ TxBody l era → AlonzoPlutusPurpose AsItem era → StrictMaybe (AlonzoPlutusPurpose AsIx era) Source #

alonzoRedeemerPointerInverse ∷ ∀ era (l ∷ TxLevel). MaryEraTxBody era ⇒ TxBody l era → AlonzoPlutusPurpose AsIx era → StrictMaybe (AlonzoPlutusPurpose AsIxItem era) Source #

Orphan instances

AllegraEraTxBody AlonzoEra Source # 
Instance details

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) ValidityInterval Source #

EraTxBody AlonzoEra Source # 
Instance details

Associated Types

newtype TxBody l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l AlonzoEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictSeq (TxOut AlonzoEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx AlonzoEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictSeq (TxCert AlonzoEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams AlonzoEra → (KeyHash 'StakePool → Bool) → TxBody l AlonzoEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams AlonzoEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l AlonzoEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx AlonzoEra → Int Source #

MaryEraTxBody AlonzoEra Source # 
Instance details

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Value AlonzoEra) Source #

ShelleyEraTxBody AlonzoEra Source # 
Instance details

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) (StrictMaybe (Update AlonzoEra)) Source #

HasEraTxLevel TxBody AlonzoEra Source # 
Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → STxLevel l AlonzoEra Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AlonzoEra)) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AlonzoEra)) → Text Source #

Typeable l ⇒ ToCBOR (TxBody l AlonzoEra) Source # 
Instance details

Methods

toCBOR ∷ TxBody l AlonzoEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AlonzoEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l AlonzoEra] → Size Source #

EncCBOR (TxBody l AlonzoEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l AlonzoEra → Encoding Source #

SafeToHash (TxBody l AlonzoEra) Source # 
Instance details

Methods

originalBytes ∷ TxBody l AlonzoEra → ByteString Source #

originalBytesSize ∷ TxBody l AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AlonzoEra → SafeHash i Source #

EqRaw (TxBody l AlonzoEra) Source # 
Instance details

Methods

eqRaw ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool Source #

Memoized (TxBody l AlonzoEra) Source # 
Instance details

Associated Types

type RawType (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

Methods

getMemoBytes ∷ TxBody l AlonzoEra → MemoBytes (RawType (TxBody l AlonzoEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AlonzoEra)) → TxBody l AlonzoEra

NFData (TxBody l AlonzoEra) Source # 
Instance details

Methods

rnf ∷ TxBody l AlonzoEra → () #

Generic (TxBody l AlonzoEra) Source # 
Instance details

Associated Types

type Rep (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

Methods

from ∷ TxBody l AlonzoEra → Rep (TxBody l AlonzoEra) x #

to ∷ Rep (TxBody l AlonzoEra) x → TxBody l AlonzoEra #

Show (TxBody l AlonzoEra) Source # 
Instance details

Methods

showsPrec ∷ Int → TxBody l AlonzoEra → ShowS #

show ∷ TxBody l AlonzoEra → String #

showList ∷ [TxBody l AlonzoEra] → ShowS #

Eq (TxBody l AlonzoEra) Source # 
Instance details

Methods

(==) ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool #

(/=) ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool #

Typeable l ⇒ NoThunks (TxBody l AlonzoEra) Source # 
Instance details

Methods

noThunks ∷ Context → TxBody l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AlonzoEra) → String Source #

HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBody Source # 
Instance details

Methods

hashAnnotated ∷ TxBody l AlonzoEra → SafeHash EraIndependentTxBody Source #