type Rep UTxO
Instance details Defined in Cardano.Chain.UTxO.UTxO type Rep UTxO = D1 ('MetaData "UTxO" "Cardano.Chain.UTxO.UTxO" "cardano-ledger-byron-1.3.0.1-inplace" 'True) (C1 ('MetaCons "UTxO" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CompactTxIn CompactTxOut))))

Methods

from ∷ UTxO → Rep UTxO x #

to ∷ Rep UTxO x → UTxO #

Show UTxO Source #

Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

showsPrec ∷ Int → UTxO → ShowS #

show ∷ UTxO → String #

showList ∷ [UTxO] → ShowS #

Eq UTxO Source #

Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

(==) ∷ UTxO → UTxO → Bool #

(/=) ∷ UTxO → UTxO → Bool #

HeapWords UTxO Source #

Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

heapWords ∷ UTxO → Int Source #

NoThunks UTxO Source #

Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

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

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

showTypeOf ∷ Proxy UTxO → String Source #

type Rep UTxO Source #

Instance details

Defined in Cardano.Chain.UTxO.UTxO

type Rep UTxO = D1 ('MetaData "UTxO" "Cardano.Chain.UTxO.UTxO" "cardano-ledger-byron-1.3.0.1-inplace" 'True) (C1 ('MetaCons "UTxO" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CompactTxIn CompactTxOut))))

data UTxOError Source #

Constructors

UTxOMissingInput TxIn
UTxOOverlappingUnion

Instances

Instances details

FromCBOR UTxOError Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods fromCBOR ∷ Decoder s UTxOError Source # label ∷ Proxy UTxOError → Text Source #
ToCBOR UTxOError Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods toCBOR ∷ UTxOError → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy UTxOError → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UTxOError] → Size Source #
DecCBOR UTxOError Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods decCBOR ∷ Decoder s UTxOError Source # dropCBOR ∷ Proxy UTxOError → Decoder s () Source # label ∷ Proxy UTxOError → Text Source #
EncCBOR UTxOError Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods encCBOR ∷ UTxOError → Encoding Source #
Show UTxOError Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods showsPrec ∷ Int → UTxOError → ShowS # show ∷ UTxOError → String # showList ∷ [UTxOError] → ShowS #
Eq UTxOError Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods (==) ∷ UTxOError → UTxOError → Bool # (/=) ∷ UTxOError → UTxOError → Bool #

empty ∷ UTxO Source #

fromList ∷ [(TxIn, TxOut)] → UTxO Source #

fromBalances ∷ [(Address, Lovelace)] → UTxO Source #

Create a UTxO from a list of initial balances

fromTxOut ∷ TxOut → UTxO Source #

Construct a UTxO from a TxOut. This UTxO is a singleton with a TxIn that references an address constructed by hashing the TxOut address. This means it is not guaranteed (or likely) to be a real address.

toList ∷ UTxO → [(TxIn, TxOut)] Source #

member ∷ TxIn → UTxO → Bool Source #

lookup ∷ TxIn → UTxO → Maybe TxOut Source #

lookupCompact ∷ CompactTxIn → UTxO → Maybe CompactTxOut Source #

lookupAddress ∷ TxIn → UTxO → Either UTxOError Address Source #

union ∷ MonadError UTxOError m ⇒ UTxO → UTxO → m UTxO Source #

concat ∷ MonadError UTxOError m ⇒ [UTxO] → m UTxO Source #

balance ∷ UTxO → Either LovelaceError Lovelace Source #

(<|) ∷ Set TxIn → UTxO → UTxO Source #

(</|) ∷ Set TxIn → UTxO → UTxO Source #

txOutputUTxO ∷ Tx → UTxO Source #

isRedeemUTxO ∷ UTxO → Bool Source #