Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.CanonicalState.Namespace.UTxO.V0

Contents

Orphan instances

Synopsis

newtype UtxoIn = UtxoKeyIn TxIn
newtype UtxoOut era = UtxoOut (OnChain (TxOut era))
mkUtxo ∷ EraTxOut era ⇒ TxOut era → UtxoOut era

Documentation

newtype UtxoIn Source #

Key for the UTxO entry.

Constructors

UtxoKeyIn TxIn

Instances

Instances details

Generic UtxoIn Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0

Associated Types

type Rep UtxoIn
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0 type Rep UtxoIn = D1 ('MetaData "UtxoIn" "Cardano.Ledger.CanonicalState.Namespace.UTxO.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'True) (C1 ('MetaCons "UtxoKeyIn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIn)))

Methods

from ∷ UtxoIn → Rep UtxoIn x #

to ∷ Rep UtxoIn x → UtxoIn #

Show UtxoIn Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0

Methods

showsPrec ∷ Int → UtxoIn → ShowS #

show ∷ UtxoIn → String #

showList ∷ [UtxoIn] → ShowS #

Eq UtxoIn Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0

Methods

(==) ∷ UtxoIn → UtxoIn → Bool #

(/=) ∷ UtxoIn → UtxoIn → Bool #

Ord UtxoIn Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0

Methods

compare ∷ UtxoIn → UtxoIn → Ordering #

(<) ∷ UtxoIn → UtxoIn → Bool #

(<=) ∷ UtxoIn → UtxoIn → Bool #

(>) ∷ UtxoIn → UtxoIn → Bool #

(>=) ∷ UtxoIn → UtxoIn → Bool #

max ∷ UtxoIn → UtxoIn → UtxoIn #

min ∷ UtxoIn → UtxoIn → UtxoIn #

IsKey UtxoIn Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0

Methods

keySize ∷ Int Source #

packKeyM ∷ UtxoIn → Pack b () Source #

unpackKeyM ∷ Buffer b ⇒ Unpack' s b UtxoIn Source #

type Rep UtxoIn Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0

type Rep UtxoIn = D1 ('MetaData "UtxoIn" "Cardano.Ledger.CanonicalState.Namespace.UTxO.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'True) (C1 ('MetaCons "UtxoKeyIn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIn)))

newtype UtxoOut era Source #

As Utxo should represent an on chain data it's encoding should be extactly the same as on the wire protocol. But because the structure and types may not be the same in different eras we just keep a final encoding here.

Constructors

UtxoOut (OnChain (TxOut era))

Instances

Instances details

CanonicalCBOREntryEncoder "utxo/v0" (UtxoOut era) Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0 Methods encodeEntry ∷ UtxoOut era → CanonicalEncoding Source #
DecodeOnChain "utxo/v0" (TxOut era) ⇒ FromCanonicalCBOR "utxo/v0" (UtxoOut era) Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0 Methods fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned "utxo/v0" (UtxoOut era)) Source #
ToCanonicalCBOR "utxo/v0" (UtxoOut era) Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0 Methods toCanonicalCBOR ∷ proxy "utxo/v0" → UtxoOut era → CanonicalEncoding Source #
DecodeOnChain "utxo/v0" (TxOut era) ⇒ CanonicalCBOREntryDecoder "utxo/v0" (UtxoOut era) Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0 Methods decodeEntry ∷ CanonicalDecoder s (Versioned "utxo/v0" (UtxoOut era)) Source #
Show (TxOut era) ⇒ Show (UtxoOut era) Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0 Methods showsPrec ∷ Int → UtxoOut era → ShowS # show ∷ UtxoOut era → String # showList ∷ [UtxoOut era] → ShowS #
Eq (TxOut era) ⇒ Eq (UtxoOut era) Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.UTxO.V0 Methods (==) ∷ UtxoOut era → UtxoOut era → Bool # (/=) ∷ UtxoOut era → UtxoOut era → Bool #

mkUtxo ∷ EraTxOut era ⇒ TxOut era → UtxoOut era Source #

Orphan instances

(EraTxOut era, EraScript era, TxOut era ~ x) ⇒ DecodeOnChain "utxo/v0" x Source #
Instance details Methods decodeOnChain ∷ ByteString → CanonicalDecoder s x Source #