Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.TxOut

Contents

Helpers
Orphan instances

Synopsis

data ShelleyTxOut era where
- TxOutCompact !(CompactAddr (EraCrypto era)) !(CompactForm (Value era))
- pattern ShelleyTxOut ∷ (HasCallStack, Era era, Val (Value era)) ⇒ Addr (EraCrypto era) → Value era → ShelleyTxOut era
addrEitherShelleyTxOutL ∷ Lens' (ShelleyTxOut era) (Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era)))
valueEitherShelleyTxOutL ∷ Val (Value era) ⇒ Lens' (ShelleyTxOut era) (Either (Value era) (CompactForm (Value era)))

Documentation

data ShelleyTxOut era Source #

Constructors

TxOutCompact !(CompactAddr (EraCrypto era)) !(CompactForm (Value era))

Bundled Patterns

pattern ShelleyTxOut ∷ (HasCallStack, Era era, Val (Value era)) ⇒ Addr (EraCrypto era) → 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, Val (Value era)) ⇒ Show (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods showsPrec ∷ Int → ShelleyTxOut era → ShowS Source # show ∷ ShelleyTxOut era → String Source # showList ∷ [ShelleyTxOut era] → ShowS 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, DecCBOR (CompactForm (Value era))) ⇒ DecShareCBOR (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Associated Types type Share (ShelleyTxOut era) Source # 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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxOut era] → Size Source #
NFData (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods rnf ∷ ShelleyTxOut era → () Source #
Eq (CompactForm (Value era)) ⇒ Eq (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods (==) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool Source # (/=) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool Source #
(Era era, HeapWords (CompactForm (Value era))) ⇒ HeapWords (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods heapWords ∷ ShelleyTxOut era → Int 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 (EraCrypto era))