Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Chain.Backend

Synopsis

blockfrostProjectPath :: FilePath
class ChainBackend m where
- queryGenesisParameters :: m (GenesisParameters ShelleyEra)
- queryScriptRegistry :: [TxId] -> m ScriptRegistry
- queryNetworkId :: m NetworkId
- queryTip :: m ChainPoint
- queryUTxO :: [Address ShelleyAddr] -> m UTxO
- queryUTxOByTxIn :: [TxIn] -> m UTxO
- queryEraHistory :: QueryPoint -> m EraHistory
- querySystemStart :: QueryPoint -> m SystemStart
- queryProtocolParameters :: QueryPoint -> m (PParams LedgerEra)
- queryStakePools :: QueryPoint -> m (Set PoolId)
- queryUTxOFor :: QueryPoint -> VerificationKey PaymentKey -> m UTxO
- submitTransaction :: Tx -> m ()
- awaitTransaction :: Tx -> VerificationKey PaymentKey -> m UTxO
- getBlockTime :: m NominalDiffTime
buildTransaction :: ChainBackend m => MonadIO m => AddressInEra -> UTxO -> [TxIn] -> [TxOut CtxTx] -> m (Either (TxBodyErrorAutoBalance Era) Tx)
buildTransactionWithMintingScript :: ChainBackend m => MonadIO m => AddressInEra -> UTxO -> [TxIn] -> [TxOut CtxTx] -> Maybe PlutusScript -> m (Either (TxBodyErrorAutoBalance Era) Tx)
buildTransactionWithPParams :: ChainBackend m => MonadIO m => PParams LedgerEra -> AddressInEra -> UTxO -> [TxIn] -> [TxOut CtxTx] -> Maybe PlutusScript -> m (Either (TxBodyErrorAutoBalance Era) Tx)
buildTransactionWithPParams' :: PParams LedgerEra -> SystemStart -> EraHistory -> Set PoolId -> AddressInEra -> UTxO -> [TxIn] -> [TxOut CtxTx] -> Maybe PlutusScript -> Either (TxBodyErrorAutoBalance Era) Tx
buildTransactionWithBody :: PParams LedgerEra -> SystemStart -> EraHistory -> Set PoolId -> AddressInEra -> TxBodyContent BuildTx -> UTxO -> Either (TxBodyErrorAutoBalance Era) Tx

Documentation

blockfrostProjectPath :: FilePath Source #

class ChainBackend m where Source #

Methods

queryGenesisParameters :: m (GenesisParameters ShelleyEra) Source #

queryScriptRegistry :: [TxId] -> m ScriptRegistry Source #

queryNetworkId :: m NetworkId Source #

queryTip :: m ChainPoint Source #

queryUTxO :: [Address ShelleyAddr] -> m UTxO Source #

queryUTxOByTxIn :: [TxIn] -> m UTxO Source #

queryEraHistory :: QueryPoint -> m EraHistory Source #

querySystemStart :: QueryPoint -> m SystemStart Source #

queryProtocolParameters :: QueryPoint -> m (PParams LedgerEra) Source #

queryStakePools :: QueryPoint -> m (Set PoolId) Source #

queryUTxOFor :: QueryPoint -> VerificationKey PaymentKey -> m UTxO Source #

submitTransaction :: Tx -> m () Source #

awaitTransaction :: Tx -> VerificationKey PaymentKey -> m UTxO Source #

getBlockTime :: m NominalDiffTime Source #

Instances

Instances details

ChainBackend BlockfrostBackend Source #
Instance details Defined in Hydra.Chain.Blockfrost Methods queryGenesisParameters :: BlockfrostBackend (GenesisParameters ShelleyEra) Source # queryScriptRegistry :: [TxId] -> BlockfrostBackend ScriptRegistry Source # queryNetworkId :: BlockfrostBackend NetworkId Source # queryTip :: BlockfrostBackend ChainPoint Source # queryUTxO :: [Address ShelleyAddr] -> BlockfrostBackend UTxO Source # queryUTxOByTxIn :: [TxIn] -> BlockfrostBackend UTxO Source # queryEraHistory :: QueryPoint -> BlockfrostBackend EraHistory Source # querySystemStart :: QueryPoint -> BlockfrostBackend SystemStart Source # queryProtocolParameters :: QueryPoint -> BlockfrostBackend (PParams LedgerEra) Source # queryStakePools :: QueryPoint -> BlockfrostBackend (Set PoolId) Source # queryUTxOFor :: QueryPoint -> VerificationKey PaymentKey -> BlockfrostBackend UTxO Source # submitTransaction :: Tx -> BlockfrostBackend () Source # awaitTransaction :: Tx -> VerificationKey PaymentKey -> BlockfrostBackend UTxO Source # getBlockTime :: BlockfrostBackend NominalDiffTime Source #
ChainBackend DirectBackend Source #
Instance details Defined in Hydra.Chain.Direct Methods queryGenesisParameters :: DirectBackend (GenesisParameters ShelleyEra) Source # queryScriptRegistry :: [TxId] -> DirectBackend ScriptRegistry Source # queryNetworkId :: DirectBackend NetworkId Source # queryTip :: DirectBackend ChainPoint Source # queryUTxO :: [Address ShelleyAddr] -> DirectBackend UTxO Source # queryUTxOByTxIn :: [TxIn] -> DirectBackend UTxO Source # queryEraHistory :: QueryPoint -> DirectBackend EraHistory Source # querySystemStart :: QueryPoint -> DirectBackend SystemStart Source # queryProtocolParameters :: QueryPoint -> DirectBackend (PParams LedgerEra) Source # queryStakePools :: QueryPoint -> DirectBackend (Set PoolId) Source # queryUTxOFor :: QueryPoint -> VerificationKey PaymentKey -> DirectBackend UTxO Source # submitTransaction :: Tx -> DirectBackend () Source # awaitTransaction :: Tx -> VerificationKey PaymentKey -> DirectBackend UTxO Source # getBlockTime :: DirectBackend NominalDiffTime Source #

buildTransaction Source #

Arguments

:: ChainBackend m
=> MonadIO m
=> AddressInEra	Change address to send
-> UTxO	Unspent transaction outputs to spend.
-> [TxIn]	Collateral inputs.
-> [TxOut CtxTx]	Outputs to create.
-> m (Either (TxBodyErrorAutoBalance Era) Tx)

buildTransactionWithMintingScript Source #

Arguments

:: ChainBackend m
=> MonadIO m
=> AddressInEra	Change address to send
-> UTxO	Unspent transaction outputs to spend.
-> [TxIn]	Collateral inputs.
-> [TxOut CtxTx]	Outputs to create.
-> Maybe PlutusScript
-> m (Either (TxBodyErrorAutoBalance Era) Tx)

buildTransactionWithPParams Source #

Arguments

:: ChainBackend m
=> MonadIO m
=> PParams LedgerEra	Protocol parameters
-> AddressInEra	Change address to send
-> UTxO	Unspent transaction outputs to spend.
-> [TxIn]	Collateral inputs.
-> [TxOut CtxTx]	Outputs to create.
-> Maybe PlutusScript
-> m (Either (TxBodyErrorAutoBalance Era) Tx)

Construct a simple payment consuming some inputs and producing some outputs (no certificates or withdrawals involved).

On success, the returned transaction is fully balanced. On error, return TxBodyErrorAutoBalance.

buildTransactionWithPParams' Source #

Arguments

:: PParams LedgerEra	Protocol parameters
-> SystemStart
-> EraHistory
-> Set PoolId
-> AddressInEra	Change address to send
-> UTxO	Unspent transaction outputs to spend.
-> [TxIn]	Collateral inputs.
-> [TxOut CtxTx]	Outputs to create.
-> Maybe PlutusScript
-> Either (TxBodyErrorAutoBalance Era) Tx

NOTE: If there are any non ADA assets present in the output Value and minting scrips is specified this function will mint them using provided script as the script witness.

buildTransactionWithBody Source #

Arguments

:: PParams LedgerEra	Protocol parameters
-> SystemStart	System start
-> EraHistory	Change address to send
-> Set PoolId
-> AddressInEra
-> TxBodyContent BuildTx	Body
-> UTxO	Unspent transaction outputs to spend.
-> Either (TxBodyErrorAutoBalance Era) Tx