Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	Safe-Inferred
Language	GHC2021

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
utxoHasInlineDatum ∷ GYUTxO → Bool
utxoHasReferenceScript ∷ GYUTxO → Bool
utxoTranslatableToV1 ∷ GYUTxO → Bool
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
utxosRemoveUTxO ∷ GYUTxO → GYUTxOs → GYUTxOs
utxosRemoveUTxOs ∷ GYUTxOs → 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

Show GYUTxO #
Instance details Defined in GeniusYield.Types.UTxO Methods showsPrec ∷ Int → GYUTxO → ShowS Source # show ∷ GYUTxO → String Source # showList ∷ [GYUTxO] → ShowS Source #
Eq GYUTxO #
Instance details Defined in GeniusYield.Types.UTxO Methods (==) ∷ GYUTxO → GYUTxO → Bool Source # (/=) ∷ GYUTxO → GYUTxO → Bool Source #
Ord GYUTxO #
Instance details Defined in GeniusYield.Types.UTxO Methods compare ∷ GYUTxO → GYUTxO → Ordering Source # (<) ∷ GYUTxO → GYUTxO → Bool Source # (<=) ∷ GYUTxO → GYUTxO → Bool Source # (>) ∷ GYUTxO → GYUTxO → Bool Source # (>=) ∷ GYUTxO → GYUTxO → Bool Source # max ∷ GYUTxO → GYUTxO → GYUTxO Source # min ∷ GYUTxO → GYUTxO → GYUTxO Source #

utxoFromApi ∷ TxIn → TxOut CtxTx BabbageEra → GYUTxO #

utxoFromApi' ∷ TxIn → TxOut CtxUTxO era → GYUTxO #

utxoToPlutus ∷ GYUTxO → TxOut #

utxoHasInlineDatum ∷ GYUTxO → Bool #

Whether the UTxO has it's datum inlined?

utxoHasReferenceScript ∷ GYUTxO → Bool #

Whether the UTxO has script to refer?

utxoTranslatableToV1 ∷ GYUTxO → Bool #

Is a UTxO translatable to language PlutusV1 output?

data GYUTxOs #

A set of unspent transaction outputs.

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

Instances

Instances details

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

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.

utxosRemoveUTxO ∷ GYUTxO → GYUTxOs → GYUTxOs #

Remove particular GYUTxO from GYUTxOs.

utxosRemoveUTxOs ∷ GYUTxOs → GYUTxOs → GYUTxOs #

Given two GYUTxOs, returns elements from the first one, not present in the second one.

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

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