Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Chain.UTxO.UTxO
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
Constructors
UTxO | |
Fields |
Instances
Eq UTxO Source # | |
Show UTxO Source # | |
Generic UTxO Source # | |
NFData UTxO Source # | |
Defined in Cardano.Chain.UTxO.UTxO | |
ToCBOR UTxO Source # | |
FromCBOR 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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" 'True) (C1 ('MetaCons "UTxO" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CompactTxIn CompactTxOut)))) |
Constructors
UTxOMissingInput TxIn | |
UTxOOverlappingUnion |
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.
lookupCompact :: CompactTxIn -> UTxO -> Maybe CompactTxOut Source #
txOutputUTxO :: Tx -> UTxO Source #
isRedeemUTxO :: UTxO -> Bool Source #