Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype UTxO = UTxO {}
- data UTxOError
- 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
Instances
Generic UTxO Source # | |
Show UTxO Source # | |
FromCBOR UTxO Source # | |
ToCBOR UTxO Source # | |
DecCBOR UTxO Source # | |
EncCBOR UTxO Source # | |
NFData UTxO Source # | |
Defined in Cardano.Chain.UTxO.UTxO | |
Eq UTxO Source # | |
HeapWords UTxO Source # | |
NoThunks UTxO Source # | |
type Rep UTxO Source # | |
Defined in Cardano.Chain.UTxO.UTxO type Rep UTxO = D1 ('MetaData "UTxO" "Cardano.Chain.UTxO.UTxO" "cardano-ledger-byron-1.0.3.0-inplace" 'True) (C1 ('MetaCons "UTxO" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CompactTxIn CompactTxOut)))) |
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.
txOutputUTxO ∷ Tx → UTxO Source #
isRedeemUTxO ∷ UTxO → Bool Source #