Safe Haskell	Safe-Inferred
Language	GHC2021

Cardano.Api.UTxO

Contents

Type Conversions

Description

NOTE (1): This module is meant to be imported qualified as UTxO.

NOTE (2): This module is name-spaces slightly different from the rest because it is meant to be used as a replacement of the UTxO type of the cardano-api which is not convenient enough to work with. Having it as UTxO causes cyclic imports with other modules also relying on this newtype. So instead, we do 'as if' it was part of the cardano-api in the first palce.

Synopsis

type Era = BabbageEra
type UTxO = UTxO' (TxOut CtxUTxO Era)
newtype UTxO' out = UTxO {
- toMap :: Map TxIn out
}
fromPairs :: [(TxIn, out)] -> UTxO' out
singleton :: (TxIn, out) -> UTxO' out
resolve :: TxIn -> UTxO' out -> Maybe out
pairs :: UTxO' out -> [(TxIn, out)]
find :: (out -> Bool) -> UTxO' out -> Maybe (TxIn, out)
filter :: (out -> Bool) -> UTxO' out -> UTxO' out
inputSet :: UTxO' out -> Set TxIn
render :: (TxIn, TxOut ctx era) -> Text
min :: UTxO -> UTxO
fromApi :: UTxO era -> UTxO
toApi :: UTxO -> UTxO Era

Documentation

type Era = BabbageEra Source #

type UTxO = UTxO' (TxOut CtxUTxO Era) Source #

newtype UTxO' out Source #

Newtype with phantom types mostly required to work around the poor interface of UTXO and provide Monoid and Foldable instances to make utxo manipulation bareable.

Constructors

UTxO
Fields toMap :: Map TxIn out

Instances

Instances details

Foldable UTxO' Source #
Instance details Defined in Cardano.Api.UTxO Methods fold :: Monoid m => UTxO' m -> m Source # foldMap :: Monoid m => (a -> m) -> UTxO' a -> m Source # foldMap' :: Monoid m => (a -> m) -> UTxO' a -> m Source # foldr :: (a -> b -> b) -> b -> UTxO' a -> b Source # foldr' :: (a -> b -> b) -> b -> UTxO' a -> b Source # foldl :: (b -> a -> b) -> b -> UTxO' a -> b Source # foldl' :: (b -> a -> b) -> b -> UTxO' a -> b Source # foldr1 :: (a -> a -> a) -> UTxO' a -> a Source # foldl1 :: (a -> a -> a) -> UTxO' a -> a Source # toList :: UTxO' a -> [a] Source # null :: UTxO' a -> Bool Source # length :: UTxO' a -> Int Source # elem :: Eq a => a -> UTxO' a -> Bool Source # maximum :: Ord a => UTxO' a -> a Source # minimum :: Ord a => UTxO' a -> a Source # sum :: Num a => UTxO' a -> a Source # product :: Num a => UTxO' a -> a Source #
Traversable UTxO' Source #
Instance details Defined in Cardano.Api.UTxO Methods traverse :: Applicative f => (a -> f b) -> UTxO' a -> f (UTxO' b) Source # sequenceA :: Applicative f => UTxO' (f a) -> f (UTxO' a) Source # mapM :: Monad m => (a -> m b) -> UTxO' a -> m (UTxO' b) Source # sequence :: Monad m => UTxO' (m a) -> m (UTxO' a) Source #
Functor UTxO' Source #
Instance details Defined in Cardano.Api.UTxO Methods fmap :: (a -> b) -> UTxO' a -> UTxO' b Source # (<$) :: a -> UTxO' b -> UTxO' a Source #
FromJSON out => FromJSON (UTxO' out) Source #
Instance details Defined in Cardano.Api.UTxO Methods parseJSON :: Value -> Parser (UTxO' out) # parseJSONList :: Value -> Parser [UTxO' out] # omittedField :: Maybe (UTxO' out) #
ToJSON out => ToJSON (UTxO' out) Source #
Instance details Defined in Cardano.Api.UTxO Methods toJSON :: UTxO' out -> Value # toEncoding :: UTxO' out -> Encoding # toJSONList :: [UTxO' out] -> Value # toEncodingList :: [UTxO' out] -> Encoding # omitField :: UTxO' out -> Bool #
Monoid (UTxO' out) Source #
Instance details Defined in Cardano.Api.UTxO Methods mempty :: UTxO' out Source # mappend :: UTxO' out -> UTxO' out -> UTxO' out Source # mconcat :: [UTxO' out] -> UTxO' out Source #
Semigroup (UTxO' out) Source #
Instance details Defined in Cardano.Api.UTxO Methods (<>) :: UTxO' out -> UTxO' out -> UTxO' out Source # sconcat :: NonEmpty (UTxO' out) -> UTxO' out Source # stimes :: Integral b => b -> UTxO' out -> UTxO' out Source #
Show out => Show (UTxO' out) Source #
Instance details Defined in Cardano.Api.UTxO Methods showsPrec :: Int -> UTxO' out -> ShowS Source # show :: UTxO' out -> String Source # showList :: [UTxO' out] -> ShowS Source #
Eq out => Eq (UTxO' out) Source #
Instance details Defined in Cardano.Api.UTxO Methods (==) :: UTxO' out -> UTxO' out -> Bool Source # (/=) :: UTxO' out -> UTxO' out -> Bool Source #