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

GeniusYield.TxBuilder.Run

Description

Synopsis

data Wallet = Wallet {
- walletPaymentSigningKey ∷ !GYPaymentSigningKey
- walletNetworkId ∷ !GYNetworkId
- walletName ∷ !WalletName
}
walletAddress ∷ Wallet → GYAddress
newtype GYTxRunState = GYTxRunState {
- walletExtraLovelace ∷ Map WalletName (FeesLovelace, MinAdaLovelace)
}
data GYTxMonadRun a
asRun ∷ StdGen → Wallet → GYTxMonadRun a → Run (Maybe a)
asRandRun ∷ Wallet → GYTxMonadRun a → RandT StdGen Run (Maybe a)
liftRun ∷ Run a → GYTxMonadRun a
ownAddress ∷ GYTxMonadRun GYAddress
sendSkeleton ∷ GYTxSkeleton v → GYTxMonadRun GYTxId
sendSkeleton' ∷ GYTxSkeleton v → [Wallet] → GYTxMonadRun (Tx, GYTxId)
sendSkeletonWithWallets ∷ GYTxSkeleton v → [Wallet] → GYTxMonadRun GYTxId
networkIdRun ∷ Run GYNetworkId

Documentation

data Wallet #

Testing Wallet representation.

Constructors

Wallet
Fields walletPaymentSigningKey ∷ !GYPaymentSigningKey walletNetworkId ∷ !GYNetworkId walletName ∷ !WalletName

Instances

Instances details

Show Wallet #
Instance details Defined in GeniusYield.TxBuilder.Run Methods showsPrec ∷ Int → Wallet → ShowS Source # show ∷ Wallet → String Source # showList ∷ [Wallet] → ShowS Source #
Eq Wallet #
Instance details Defined in GeniusYield.TxBuilder.Run Methods (==) ∷ Wallet → Wallet → Bool Source # (/=) ∷ Wallet → Wallet → Bool Source #
Ord Wallet #
Instance details Defined in GeniusYield.TxBuilder.Run Methods compare ∷ Wallet → Wallet → Ordering Source # (<) ∷ Wallet → Wallet → Bool Source # (<=) ∷ Wallet → Wallet → Bool Source # (>) ∷ Wallet → Wallet → Bool Source # (>=) ∷ Wallet → Wallet → Bool Source # max ∷ Wallet → Wallet → Wallet Source # min ∷ Wallet → Wallet → Wallet Source #
HasAddress Wallet #
Instance details Defined in GeniusYield.TxBuilder.Run Methods toAddress ∷ Wallet → Address Source #

walletAddress ∷ Wallet → GYAddress #

Gets a GYAddress of a testing wallet.

newtype GYTxRunState #

Constructors

GYTxRunState
Fields walletExtraLovelace ∷ Map WalletName (FeesLovelace, MinAdaLovelace)

Instances

Instances details

MonadState GYTxRunState GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods get ∷ GYTxMonadRun GYTxRunState Source # put ∷ GYTxRunState → GYTxMonadRun () Source # state ∷ (GYTxRunState → (a, GYTxRunState)) → GYTxMonadRun a Source #

data GYTxMonadRun a #

Instances

Instances details

MonadRandom GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods getRandomR ∷ Random a ⇒ (a, a) → GYTxMonadRun a Source # getRandom ∷ Random a ⇒ GYTxMonadRun a Source # getRandomRs ∷ Random a ⇒ (a, a) → GYTxMonadRun [a] Source # getRandoms ∷ Random a ⇒ GYTxMonadRun [a] Source #
GYTxMonad GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods ownAddresses ∷ GYTxMonadRun [GYAddress] # availableUTxOs ∷ GYTxMonadRun GYUTxOs # someUTxO ∷ PlutusVersion → GYTxMonadRun GYTxOutRef # randSeed ∷ GYTxMonadRun Int #
GYTxQueryMonad GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods networkId ∷ GYTxMonadRun GYNetworkId # lookupDatum ∷ GYDatumHash → GYTxMonadRun (Maybe GYDatum) # utxoAtTxOutRef ∷ GYTxOutRef → GYTxMonadRun (Maybe GYUTxO) # utxoAtTxOutRefWithDatum ∷ GYTxOutRef → GYTxMonadRun (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs ∷ [GYTxOutRef] → GYTxMonadRun GYUTxOs # utxosAtTxOutRefsWithDatums ∷ [GYTxOutRef] → GYTxMonadRun [(GYUTxO, Maybe GYDatum)] # utxosAtAddress ∷ GYAddress → Maybe GYAssetClass → GYTxMonadRun GYUTxOs # utxosAtAddressWithDatums ∷ GYAddress → Maybe GYAssetClass → GYTxMonadRun [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses ∷ [GYAddress] → GYTxMonadRun GYUTxOs # utxosAtAddressesWithDatums ∷ [GYAddress] → GYTxMonadRun [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress ∷ GYAddress → GYTxMonadRun [GYTxOutRef] # utxosAtPaymentCredential ∷ GYPaymentCredential → Maybe GYAssetClass → GYTxMonadRun GYUTxOs # utxosAtPaymentCredentialWithDatums ∷ GYPaymentCredential → Maybe GYAssetClass → GYTxMonadRun [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials ∷ [GYPaymentCredential] → GYTxMonadRun GYUTxOs # utxosAtPaymentCredentialsWithDatums ∷ [GYPaymentCredential] → GYTxMonadRun [(GYUTxO, Maybe GYDatum)] # slotConfig ∷ GYTxMonadRun GYSlotConfig # slotOfCurrentBlock ∷ GYTxMonadRun GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → GYTxMonadRun () #
MonadFail GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods fail ∷ String → GYTxMonadRun a Source #
Applicative GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods pure ∷ a → GYTxMonadRun a Source # (<>) ∷ GYTxMonadRun (a → b) → GYTxMonadRun a → GYTxMonadRun b Source # liftA2 ∷ (a → b → c) → GYTxMonadRun a → GYTxMonadRun b → GYTxMonadRun c Source # (>) ∷ GYTxMonadRun a → GYTxMonadRun b → GYTxMonadRun b Source # (<*) ∷ GYTxMonadRun a → GYTxMonadRun b → GYTxMonadRun a Source #
Functor GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods fmap ∷ (a → b) → GYTxMonadRun a → GYTxMonadRun b Source # (<$) ∷ a → GYTxMonadRun b → GYTxMonadRun a Source #
Monad GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods (>>=) ∷ GYTxMonadRun a → (a → GYTxMonadRun b) → GYTxMonadRun b Source # (>>) ∷ GYTxMonadRun a → GYTxMonadRun b → GYTxMonadRun b Source # return ∷ a → GYTxMonadRun a Source #
MonadError GYTxMonadException GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods throwError ∷ GYTxMonadException → GYTxMonadRun a Source # catchError ∷ GYTxMonadRun a → (GYTxMonadException → GYTxMonadRun a) → GYTxMonadRun a Source #
MonadState GYTxRunState GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods get ∷ GYTxMonadRun GYTxRunState Source # put ∷ GYTxRunState → GYTxMonadRun () Source # state ∷ (GYTxRunState → (a, GYTxRunState)) → GYTxMonadRun a Source #

asRun ∷ StdGen → Wallet → GYTxMonadRun a → Run (Maybe a) #

asRandRun ∷ Wallet → GYTxMonadRun a → RandT StdGen Run (Maybe a) #

liftRun ∷ Run a → GYTxMonadRun a #

ownAddress ∷ GYTxMonadRun GYAddress #

sendSkeleton ∷ GYTxSkeleton v → GYTxMonadRun GYTxId #

sendSkeleton' ∷ GYTxSkeleton v → [Wallet] → GYTxMonadRun (Tx, GYTxId) #

sendSkeletonWithWallets ∷ GYTxSkeleton v → [Wallet] → GYTxMonadRun GYTxId #

networkIdRun ∷ Run GYNetworkId #