cardano-ledger-shelley-1.18.0.0: Shelley Ledger Executable Model
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Shelley.TxOut

Synopsis

Documentation

data ShelleyTxOut era Source #

Constructors

TxOutCompact !CompactAddr !(CompactForm (Value era)) 

Bundled Patterns

pattern ShelleyTxOut ∷ (HasCallStack, Era era, Val (Value era)) ⇒ Addr → Value era → ShelleyTxOut era 

Instances

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

toJSON ∷ ShelleyTxOut era → Value Source #

toEncoding ∷ ShelleyTxOut era → Encoding Source #

toJSONList ∷ [ShelleyTxOut era] → Value Source #

toEncodingList ∷ [ShelleyTxOut era] → Encoding Source #

omitField ∷ ShelleyTxOut era → Bool Source #

(Era era, DecCBOR (CompactForm (Value era))) ⇒ FromCBOR (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

fromCBOR ∷ Decoder s (ShelleyTxOut era) Source #

label ∷ Proxy (ShelleyTxOut era) → Text Source #

(Era era, EncCBOR (CompactForm (Value era))) ⇒ ToCBOR (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

toCBOR ∷ ShelleyTxOut era → Encoding Source #

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

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

(Era era, DecCBOR (CompactForm (Value era))) ⇒ DecCBOR (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

decCBOR ∷ Decoder s (ShelleyTxOut era) Source #

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

label ∷ Proxy (ShelleyTxOut era) → Text Source #

(Era era, MemPack (CompactForm (Value era)), DecCBOR (CompactForm (Value era))) ⇒ DecShareCBOR (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type Share (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

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

Methods

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

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

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

(Era era, EncCBOR (CompactForm (Value era))) ⇒ EncCBOR (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

encCBOR ∷ ShelleyTxOut era → Encoding Source #

(Era era, Val (Value era)) ⇒ ToKeyValuePairs (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyTxOut era → [kv] Source #

NFData (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

rnf ∷ ShelleyTxOut era → () #

Generic (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type Rep (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type Rep (ShelleyTxOut era) = D1 ('MetaData "ShelleyTxOut" "Cardano.Ledger.Shelley.TxOut" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "TxOutCompact" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutCompactAddr") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Just "txOutCompactValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))))

Methods

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

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

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

showsPrec ∷ Int → ShelleyTxOut era → ShowS #

show ∷ ShelleyTxOut era → String #

showList ∷ [ShelleyTxOut era] → ShowS #

Eq (CompactForm (Value era)) ⇒ Eq (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

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

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

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

This instance uses a zero Tag for forward compatibility in binary representation with TxOut instances for future eras

Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

typeName ∷ String Source #

packedByteCount ∷ ShelleyTxOut era → Int Source #

packM ∷ ShelleyTxOut era → Pack s () Source #

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

NoThunks (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

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

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

showTypeOf ∷ Proxy (ShelleyTxOut era) → String Source #

type Share (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

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

Defined in Cardano.Ledger.Shelley.TxOut

type Rep (ShelleyTxOut era) = D1 ('MetaData "ShelleyTxOut" "Cardano.Ledger.Shelley.TxOut" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "TxOutCompact" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutCompactAddr") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Just "txOutCompactValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))))

Helpers

addrEitherShelleyTxOutL ∷ ∀ era f. Functor f ⇒ (Either Addr CompactAddr → f (Either Addr CompactAddr)) → ShelleyTxOut era → f (ShelleyTxOut era) Source #

valueEitherShelleyTxOutL ∷ Val (Value era) ⇒ Lens' (ShelleyTxOut era) (Either (Value era) (CompactForm (Value era))) Source #

Orphan instances