Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	support@geniusyield.co
Stability	develop
Safe Haskell	None
Language	Haskell2010

GeniusYield.Types.UTxO

Contents

UTxO datums
Filter and map
List conversions
Folds
Extract refs

Description

Synopsis

data GYUTxO = GYUTxO {
- utxoRef ∷ !GYTxOutRef
- utxoAddress ∷ !GYAddress
- utxoValue ∷ !GYValue
- utxoOutDatum ∷ !GYOutDatum
- utxoRefScript ∷ !(Maybe (Some GYScript))
}
utxoFromApi ∷ TxIn → TxOut CtxTx BabbageEra → GYUTxO
utxoFromApi' ∷ TxIn → TxOut CtxUTxO era → GYUTxO
utxoToPlutus ∷ GYUTxO → TxOut
data GYUTxOs
utxosSize ∷ GYUTxOs → Int
utxosFromApi ∷ UTxO era → GYUTxOs
utxosToApi ∷ GYUTxOs → UTxO BabbageEra
utxosRemoveTxOutRef ∷ GYTxOutRef → GYUTxOs → GYUTxOs
utxosRemoveTxOutRefs ∷ Set GYTxOutRef → GYUTxOs → GYUTxOs
utxosRemoveRefScripts ∷ GYUTxOs → GYUTxOs
utxosLookup ∷ GYTxOutRef → GYUTxOs → Maybe GYUTxO
someTxOutRef ∷ GYUTxOs → Maybe (GYTxOutRef, GYUTxOs)
randomTxOutRef ∷ MonadRandom m ⇒ GYUTxOs → m (Maybe (GYTxOutRef, GYUTxOs))
data GYOutDatum
- = GYOutDatumNone
- | GYOutDatumHash !GYDatumHash
- | GYOutDatumInline !GYDatum
isInlineDatum ∷ GYOutDatum → Bool
outDatumToPlutus ∷ GYOutDatum → OutputDatum
filterUTxOs ∷ (GYUTxO → Bool) → GYUTxOs → GYUTxOs
mapMaybeUTxOs ∷ (GYUTxO → Maybe a) → GYUTxOs → Map GYTxOutRef a
mapUTxOs ∷ (GYUTxO → a) → GYUTxOs → Map GYTxOutRef a
witherUTxOs ∷ Applicative f ⇒ (GYUTxO → f (Maybe a)) → GYUTxOs → f (Map GYTxOutRef a)
utxosFromList ∷ [GYUTxO] → GYUTxOs
utxosFromUTxO ∷ GYUTxO → GYUTxOs
utxosToList ∷ GYUTxOs → [GYUTxO]
foldlUTxOs' ∷ ∀ a. (a → GYUTxO → a) → a → GYUTxOs → a
foldMapUTxOs ∷ Monoid m ⇒ (GYUTxO → m) → GYUTxOs → m
forUTxOs_ ∷ ∀ f a. Applicative f ⇒ GYUTxOs → (GYUTxO → f a) → f ()
foldMUTxOs ∷ ∀ m a. Monad m ⇒ (a → GYUTxO → m a) → a → GYUTxOs → m a
utxosRefs ∷ GYUTxOs → [GYTxOutRef]

Documentation

data GYUTxO #

An unspent transaction output.

Constructors

GYUTxO
Fields utxoRef ∷ !GYTxOutRef utxoAddress ∷ !GYAddress utxoValue ∷ !GYValue utxoOutDatum ∷ !GYOutDatum utxoRefScript ∷ !(Maybe (Some GYScript))

Instances

Instances details

Eq GYUTxO #
Instance details Defined in GeniusYield.Types.UTxO Methods (==) ∷ GYUTxO → GYUTxO → Bool # (/=) ∷ GYUTxO → GYUTxO → Bool #
Show GYUTxO #
Instance details Defined in GeniusYield.Types.UTxO Methods showsPrec ∷ Int → GYUTxO → ShowS # show ∷ GYUTxO → String # showList ∷ [GYUTxO] → ShowS #

utxoFromApi ∷ TxIn → TxOut CtxTx BabbageEra → GYUTxO #

utxoFromApi' ∷ TxIn → TxOut CtxUTxO era → GYUTxO #

utxoToPlutus ∷ GYUTxO → TxOut #

data GYUTxOs #

A set of unspent transaction outputs.

Actually a map from unspent transaction outputs to address, value and datum hash.

Instances

Instances details

Eq GYUTxOs #
Instance details Defined in GeniusYield.Types.UTxO Methods (==) ∷ GYUTxOs → GYUTxOs → Bool # (/=) ∷ GYUTxOs → GYUTxOs → Bool #
Show GYUTxOs #
Instance details Defined in GeniusYield.Types.UTxO Methods showsPrec ∷ Int → GYUTxOs → ShowS # show ∷ GYUTxOs → String # showList ∷ [GYUTxOs] → ShowS #
Semigroup GYUTxOs #
Instance details Defined in GeniusYield.Types.UTxO Methods (<>) ∷ GYUTxOs → GYUTxOs → GYUTxOs # sconcat ∷ NonEmpty GYUTxOs → GYUTxOs # stimes ∷ Integral b ⇒ b → GYUTxOs → GYUTxOs #
Monoid GYUTxOs #
Instance details Defined in GeniusYield.Types.UTxO Methods mempty ∷ GYUTxOs # mappend ∷ GYUTxOs → GYUTxOs → GYUTxOs # mconcat ∷ [GYUTxOs] → GYUTxOs #
PrintfArg GYUTxOs #
Instance details Defined in GeniusYield.Types.UTxO Methods formatArg ∷ GYUTxOs → FieldFormatter # parseFormat ∷ GYUTxOs → ModifierParser #

utxosSize ∷ GYUTxOs → Int #

Number of UTxOs within given GYUTxOs.

utxosFromApi ∷ UTxO era → GYUTxOs #

utxosToApi ∷ GYUTxOs → UTxO BabbageEra #

utxosRemoveTxOutRef ∷ GYTxOutRef → GYUTxOs → GYUTxOs #

Remove particular GYTxOutRef from GYUTxOs.

Used to remove collateral, so we don't use it in transactions.

utxosRemoveTxOutRefs ∷ Set GYTxOutRef → GYUTxOs → GYUTxOs #

Remove several GYTxOutRefs from GYUTxOs.

utxosRemoveRefScripts ∷ GYUTxOs → GYUTxOs #

Remove UTxOs containing reference scripts inside them from GYUTxOs.

utxosLookup ∷ GYTxOutRef → GYUTxOs → Maybe GYUTxO #

Lookup a UTxO given a ref.

someTxOutRef ∷ GYUTxOs → Maybe (GYTxOutRef, GYUTxOs) #

Get some output reference from GYUTxOs.

Used to pick an input for minting, or selecting collateral (in tests).

randomTxOutRef ∷ MonadRandom m ⇒ GYUTxOs → m (Maybe (GYTxOutRef, GYUTxOs)) #

Get a random output reference from GYUTxOs.

UTxO datums

data GYOutDatum #

The datum contained within a transaction output.

Constructors

GYOutDatumNone	The output has no datum.
GYOutDatumHash !GYDatumHash	The output contains a datum hash, the associated datum may or may not be included in the tx.
GYOutDatumInline !GYDatum	The output contains an inline datum (i.e datum within the output itself).

Instances

Instances details

Eq GYOutDatum #
Instance details Defined in GeniusYield.Types.UTxO Methods (==) ∷ GYOutDatum → GYOutDatum → Bool # (/=) ∷ GYOutDatum → GYOutDatum → Bool #
Show GYOutDatum #
Instance details Defined in GeniusYield.Types.UTxO Methods showsPrec ∷ Int → GYOutDatum → ShowS # show ∷ GYOutDatum → String # showList ∷ [GYOutDatum] → ShowS #