Safe Haskell	None
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

Eq UTxO Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods (==) :: UTxO -> UTxO -> Bool Source # (/=) :: UTxO -> UTxO -> Bool 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 #
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 #
NFData UTxO Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods rnf :: UTxO -> () Source #
ToCBOR UTxO Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods toCBOR :: UTxO -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy UTxO -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ UTxO ] -> Size Source #
FromCBOR UTxO Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods fromCBOR :: Decoder s UTxO Source # label :: Proxy UTxO -> Text 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

Eq UTxOError Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods (==) :: UTxOError -> UTxOError -> Bool Source # (/=) :: UTxOError -> UTxOError -> Bool Source #
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 #
ToCBOR UTxOError Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods toCBOR :: UTxOError -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy UTxOError -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ UTxOError ] -> Size Source #
FromCBOR UTxOError Source #
Instance details Defined in Cardano.Chain.UTxO.UTxO Methods fromCBOR :: Decoder s UTxOError Source # label :: Proxy UTxOError -> Text 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 #