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-byron-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" '
True
) (
C1
('
MetaCons
"UTxO" '
PrefixI
'
True
) (
S1
('
MetaSel
('
Just
"unUTxO") '
NoSourceUnpackedness
'
NoSourceStrictness
'
DecidedLazy
) (
Rec0
(
Map
CompactTxIn
CompactTxOut
))))
|
Constructors
UTxOMissingInput TxIn | |
UTxOOverlappingUnion |
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.
lookupCompact :: CompactTxIn -> UTxO -> Maybe CompactTxOut Source #
txOutputUTxO :: Tx -> UTxO Source #
isRedeemUTxO :: UTxO -> Bool Source #