Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.UTxO.UTxO

Synopsis

newtype UTxO = UTxO {
- unUTxO ∷ Map CompactTxIn CompactTxOut
}
data UTxOError
- = UTxOMissingInput TxIn
- | UTxOOverlappingUnion
empty ∷ UTxO
fromList ∷ [(TxIn, TxOut)] → UTxO
fromBalances ∷ [(Address, Lovelace)] → UTxO
fromTxOut ∷ TxOut → UTxO
toList ∷ UTxO → [(TxIn, TxOut)]
member ∷ TxIn → UTxO → Bool
lookup ∷ TxIn → UTxO → Maybe TxOut
lookupCompact ∷ CompactTxIn → UTxO → Maybe CompactTxOut
lookupAddress ∷ TxIn → UTxO → Either UTxOError Address
union ∷ MonadError UTxOError m ⇒ UTxO → UTxO → m UTxO
concat ∷ MonadError UTxOError m ⇒ [UTxO] → m UTxO
balance ∷ UTxO → Either LovelaceError Lovelace
(<|) ∷ Set TxIn → UTxO → UTxO
(</|) ∷ Set TxIn → UTxO → UTxO
txOutputUTxO ∷ Tx → UTxO
isRedeemUTxO ∷ UTxO → Bool

Documentation

newtype UTxO Source #

Constructors

UTxO
Fields unUTxO ∷ Map CompactTxIn CompactTxOut

Instances

Instances details

Generic UTxO Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Associated Types type Rep UTxO ∷ Type → Type Source # Methods from ∷ UTxO → Rep UTxO x Source # to ∷ Rep UTxO x → UTxO Source #
Show UTxO Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods showsPrec ∷ Int → UTxO → ShowS Source # show ∷ UTxO → String Source # showList ∷ [UTxO] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy UTxO → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [UTxO] → Size Source #
NFData UTxO Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods rnf ∷ UTxO → () Source #
Eq UTxO Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods (==) ∷ UTxO → UTxO → Bool Source # (/=) ∷ UTxO → UTxO → Bool Source #
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.0.1.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 Source # show ∷ UTxOError → String Source # showList ∷ [UTxOError] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy UTxOError → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [UTxOError] → Size Source #
Eq UTxOError Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods (==) ∷ UTxOError → UTxOError → Bool Source # (/=) ∷ UTxOError → UTxOError → Bool Source #

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 #