cardano-ledger-byron-1.3.0.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Chain.UTxO.UTxO

Synopsis

Documentation

newtype UTxO Source #

Constructors

UTxO 

Fields

Instances

Instances details
Generic UTxO Source # 
Instance details

Defined in Cardano.Chain.UTxO.UTxO

Associated Types

type Rep UTxO ∷ Type → Type #

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 #

FromCBOR UTxO Source # 
Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

fromCBOR ∷ Decoder s UTxO Source #

label ∷ Proxy UTxO → Text Source #

ToCBOR UTxO Source # 
Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

toCBOR ∷ UTxO → Encoding Source #

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

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

DecCBOR UTxO Source # 
Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

decCBOR ∷ Decoder s UTxO Source #

dropCBOR ∷ Proxy UTxO → Decoder s () Source #

label ∷ Proxy UTxO → Text Source #

EncCBOR UTxO Source # 
Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

encCBOR ∷ UTxO → Encoding Source #

NFData UTxO Source # 
Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

rnf ∷ UTxO → () #

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.0-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
Show UTxOError Source # 
Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

showsPrec ∷ Int → UTxOError → ShowS #

show ∷ UTxOError → String #

showList ∷ [UTxOError] → ShowS #

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 #

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 #