diff --git a/components/blockfrost/Effectful/Zoo/Blockfrost.hs b/components/blockfrost/Effectful/Zoo/Blockfrost.hs --- a/components/blockfrost/Effectful/Zoo/Blockfrost.hs +++ b/components/blockfrost/Effectful/Zoo/Blockfrost.hs @@ -118,6 +118,9 @@ -- * Client.Cardano.Ledger getLedgerGenesis, + -- * Client.Cardano.Mempool + getMempoolTransactions, + -- * Client.Cardano.Accounts getAccount, getAccountRewards', diff --git a/components/blockfrost/Effectful/Zoo/Blockfrost/Api.hs b/components/blockfrost/Effectful/Zoo/Blockfrost/Api.hs --- a/components/blockfrost/Effectful/Zoo/Blockfrost/Api.hs +++ b/components/blockfrost/Effectful/Zoo/Blockfrost/Api.hs @@ -86,7 +86,7 @@ ScriptHashList(..), ScriptJSON(..), ScriptRedeemer(..), - ScriptType (..), + ScriptType(..), ServerTime(..), Slot(..), SortOrder(..), @@ -114,7 +114,6 @@ UtxoInput(..), UtxoOutput(..), ValidationPurpose(..), - mkAddress, unAddress, mkAssetId, @@ -131,172 +130,158 @@ posixToMilliseconds, unQuantity, unSlot, - runBlockfrost, - -- Client - getRoot , - getHealth , - getClock , - getMetrics , - getMetricsEndpoints , - + getRoot, + getHealth, + getClock, + getMetrics, + getMetricsEndpoints, -- Client.NutLink - nutlinkListAddress , - nutlinkListAddressTickers' , - nutlinkListAddressTickers , - nutlinkAddressTickers' , - nutlinkAddressTickers , - nutlinkTickers' , - nutlinkTickers , - + nutlinkListAddress, + nutlinkListAddressTickers', + nutlinkListAddressTickers, + nutlinkAddressTickers', + nutlinkAddressTickers, + nutlinkTickers', + nutlinkTickers, -- Client.IPFS - ipfsGateway , - ipfsPin , - ipfsListPins' , - ipfsListPins , - ipfsGetPin , - ipfsRemovePin , - + ipfsGateway, + ipfsPin, + ipfsListPins', + ipfsListPins, + ipfsGetPin, + ipfsRemovePin, -- Client.Cardano.Blocks - getLatestBlock , - getLatestBlockTxs' , - getLatestBlockTxs , - getBlock , - getBlockSlot , - getBlockEpochSlot , - getNextBlocks' , - getNextBlocks , - getPreviousBlocks' , - getPreviousBlocks , - getBlockTxs' , - getBlockTxs , - getBlockAffectedAddresses' , - getBlockAffectedAddresses , - + getLatestBlock, + getLatestBlockTxs', + getLatestBlockTxs, + getBlock, + getBlockSlot, + getBlockEpochSlot, + getNextBlocks', + getNextBlocks, + getPreviousBlocks', + getPreviousBlocks, + getBlockTxs', + getBlockTxs, + getBlockAffectedAddresses', + getBlockAffectedAddresses, -- Client.Cardano.Network - getNetworkInfo , - getNetworkEras , - + getNetworkInfo, + getNetworkEras, -- Client.Cardano.Addresses - getAddressInfo , - getAddressInfoExtended , - getAddressDetails , - getAddressUtxos' , - getAddressUtxos , - getAddressUtxosAsset' , - getAddressUtxosAsset , - getAddressTransactions' , - getAddressTransactions , - + getAddressInfo, + getAddressInfoExtended, + getAddressDetails, + getAddressUtxos', + getAddressUtxos, + getAddressUtxosAsset', + getAddressUtxosAsset, + getAddressTransactions', + getAddressTransactions, -- Client.Cardano.Assets - getAssets' , - getAssets , - getAssetDetails , - getAssetHistory' , - getAssetHistory , - getAssetTransactions' , - getAssetTransactions , - getAssetAddresses' , - getAssetAddresses , - getAssetsByPolicy' , - getAssetsByPolicy , - + getAssets', + getAssets, + getAssetDetails, + getAssetHistory', + getAssetHistory, + getAssetTransactions', + getAssetTransactions, + getAssetAddresses', + getAssetAddresses, + getAssetsByPolicy', + getAssetsByPolicy, -- Client.Cardano.Scripts - listScripts' , - listScripts , - getScript , - getScriptRedeemers' , - getScriptRedeemers , - getScriptDatum , - getScriptDatumCBOR , - getScriptJSON , - getScriptCBOR , - + listScripts', + listScripts, + getScript, + getScriptRedeemers', + getScriptRedeemers, + getScriptDatum, + getScriptDatumCBOR, + getScriptJSON, + getScriptCBOR, -- Client.Cardano.Epochs - getLatestEpoch , - getLatestEpochProtocolParams , - getEpoch , - getNextEpochs' , - getNextEpochs , - getPreviousEpochs' , - getPreviousEpochs , - getEpochStake' , - getEpochStake , - getEpochStakeByPool' , - getEpochStakeByPool , - getEpochBlocks' , - getEpochBlocks , - getEpochBlocksByPool' , - getEpochBlocksByPool , - getEpochProtocolParams , - + getLatestEpoch, + getLatestEpochProtocolParams, + getEpoch, + getNextEpochs', + getNextEpochs, + getPreviousEpochs', + getPreviousEpochs, + getEpochStake', + getEpochStake, + getEpochStakeByPool', + getEpochStakeByPool, + getEpochBlocks', + getEpochBlocks, + getEpochBlocksByPool', + getEpochBlocksByPool, + getEpochProtocolParams, -- Client.Cardano.Transactions - getTx , - getTxUtxos , - getTxRedeemers , - getTxStakes , - getTxDelegations , - getTxWithdrawals , - getTxMirs , - getTxPoolUpdates , - getTxPoolRetiring , - getTxMetadataJSON , - getTxMetadataCBOR , - submitTx , - + getTx, + getTxUtxos, + getTxRedeemers, + getTxStakes, + getTxDelegations, + getTxWithdrawals, + getTxMirs, + getTxPoolUpdates, + getTxPoolRetiring, + getTxMetadataJSON, + getTxMetadataCBOR, + submitTx, -- Client.Cardano.Ledger - getLedgerGenesis , - + getLedgerGenesis, + -- Client.Cardano.Mempool + getMempoolTransactions, -- Client.Cardano.Accounts - getAccount , - getAccountRewards' , - getAccountRewards , - getAccountHistory' , - getAccountHistory , - getAccountDelegations' , - getAccountDelegations , - getAccountRegistrations' , - getAccountRegistrations , - getAccountWithdrawals' , - getAccountWithdrawals , - getAccountMirs' , - getAccountMirs , - getAccountAssociatedAddresses' , - getAccountAssociatedAddresses , + getAccount, + getAccountRewards', + getAccountRewards, + getAccountHistory', + getAccountHistory, + getAccountDelegations', + getAccountDelegations, + getAccountRegistrations', + getAccountRegistrations, + getAccountWithdrawals', + getAccountWithdrawals, + getAccountMirs', + getAccountMirs, + getAccountAssociatedAddresses', + getAccountAssociatedAddresses, getAccountAssociatedAddressesTotal , - getAccountAssociatedAssets' , - getAccountAssociatedAssets , - + getAccountAssociatedAssets', + getAccountAssociatedAssets, -- Client.Cardano.Pools - listPools' , - listPools , - listPoolsExtended' , - listPoolsExtended , - listRetiredPools' , - listRetiredPools , - listRetiringPools' , - listRetiringPools , - getPool , - getPoolHistory' , - getPoolHistory , - getPoolMetadata , - getPoolRelays , - getPoolDelegators' , - getPoolDelegators , - getPoolBlocks' , - getPoolBlocks , - getPoolUpdates' , - getPoolUpdates , - + listPools', + listPools, + listPoolsExtended', + listPoolsExtended, + listRetiredPools', + listRetiredPools, + listRetiringPools', + listRetiringPools, + getPool, + getPoolHistory', + getPoolHistory, + getPoolMetadata, + getPoolRelays, + getPoolDelegators', + getPoolDelegators, + getPoolBlocks', + getPoolBlocks, + getPoolUpdates', + getPoolUpdates, -- Client.Cardano.Metadata - getTxMetadataLabels' , - getTxMetadataLabels , - getTxMetadataByLabelJSON' , - getTxMetadataByLabelJSON , - getTxMetadataByLabelCBOR' , - getTxMetadataByLabelCBOR , - + getTxMetadataLabels', + getTxMetadataLabels, + getTxMetadataByLabelJSON', + getTxMetadataByLabelJSON, + getTxMetadataByLabelCBOR', + getTxMetadataByLabelCBOR, ) where import Blockfrost.Client (BlockfrostError (..), Paged (..), Project (..), SortOrder (..)) @@ -325,9 +310,9 @@ import Blockfrost.Types.Shared.DatumHash import Blockfrost.Types.Shared.Epoch import Blockfrost.Types.Shared.Opts +import Blockfrost.Types.Shared.POSIXMillis import Blockfrost.Types.Shared.PolicyId import Blockfrost.Types.Shared.PoolId -import Blockfrost.Types.Shared.POSIXMillis import Blockfrost.Types.Shared.Quantity import Blockfrost.Types.Shared.ScriptHash import Blockfrost.Types.Shared.Slot @@ -351,7 +336,6 @@ getClock :: r <: Blockfrost => r <: Error BlockfrostError => Eff r ServerTime getMetrics :: r <: Blockfrost => r <: Error BlockfrostError => Eff r [Metric] getMetricsEndpoints :: r <: Blockfrost => r <: Error BlockfrostError => Eff r [(Text, Metric)] - -- Client.NutLink nutlinkListAddress :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Eff r NutlinkAddress nutlinkListAddressTickers' :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Paged -> SortOrder -> Eff r [NutlinkAddressTicker] @@ -360,7 +344,6 @@ nutlinkAddressTickers :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Text -> Eff r [NutlinkTicker] nutlinkTickers' :: r <: Blockfrost => r <: Error BlockfrostError => Text -> Paged -> SortOrder -> Eff r [(Address, NutlinkTicker)] nutlinkTickers :: r <: Blockfrost => r <: Error BlockfrostError => Text -> Eff r [(Address, NutlinkTicker)] - -- Client.IPFS ipfsGateway :: r <: Blockfrost => r <: Error BlockfrostError => Text -> Eff r IPFSData ipfsPin :: r <: Blockfrost => r <: Error BlockfrostError => Text -> Eff r IPFSPinChange @@ -368,7 +351,6 @@ ipfsListPins :: r <: Blockfrost => r <: Error BlockfrostError => Eff r [IPFSPin] ipfsGetPin :: r <: Blockfrost => r <: Error BlockfrostError => Text -> Eff r IPFSPin ipfsRemovePin :: r <: Blockfrost => r <: Error BlockfrostError => Text -> Eff r IPFSPinChange - -- Client.Cardano.Blocks getLatestBlock :: r <: Blockfrost => r <: Error BlockfrostError => Eff r Block getLatestBlockTxs' :: r <: Blockfrost => r <: Error BlockfrostError => Paged -> SortOrder -> Eff r [TxHash] @@ -384,22 +366,19 @@ getBlockTxs :: r <: Blockfrost => r <: Error BlockfrostError => Either Integer BlockHash -> Eff r [TxHash] getBlockAffectedAddresses' :: r <: Blockfrost => r <: Error BlockfrostError => Either Integer BlockHash -> Paged -> Eff r [(Address, [TxHash])] getBlockAffectedAddresses :: r <: Blockfrost => r <: Error BlockfrostError => Either Integer BlockHash -> Eff r [(Address, [TxHash])] - -- Client.Cardano.Network getNetworkInfo :: r <: Blockfrost => r <: Error BlockfrostError => Eff r Network getNetworkEras :: r <: Blockfrost => r <: Error BlockfrostError => Eff r [NetworkEraSummary] - -- Client.Cardano.Addresses getAddressInfo :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Eff r AddressInfo getAddressInfoExtended :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Eff r AddressInfoExtended getAddressDetails :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Eff r AddressDetails getAddressUtxos' :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Paged -> SortOrder -> Eff r [AddressUtxo] getAddressUtxos :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Eff r [AddressUtxo] -getAddressUtxosAsset' :: r <: Blockfrost => r <: Error BlockfrostError => Address -> AssetId-> Paged -> SortOrder -> Eff r [AddressUtxo] +getAddressUtxosAsset' :: r <: Blockfrost => r <: Error BlockfrostError => Address -> AssetId -> Paged -> SortOrder -> Eff r [AddressUtxo] getAddressUtxosAsset :: r <: Blockfrost => r <: Error BlockfrostError => Address -> AssetId -> Eff r [AddressUtxo] getAddressTransactions' :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Paged -> SortOrder -> Maybe BlockIndex -> Maybe BlockIndex -> Eff r [AddressTransaction] getAddressTransactions :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Eff r [AddressTransaction] - -- Client.Cardano.Assets getAssets' :: r <: Blockfrost => r <: Error BlockfrostError => Paged -> SortOrder -> Eff r [AssetInfo] getAssets :: r <: Blockfrost => r <: Error BlockfrostError => Eff r [AssetInfo] @@ -412,7 +391,6 @@ getAssetAddresses :: r <: Blockfrost => r <: Error BlockfrostError => AssetId -> Eff r [AssetAddress] getAssetsByPolicy' :: r <: Blockfrost => r <: Error BlockfrostError => PolicyId -> Paged -> SortOrder -> Eff r [AssetInfo] getAssetsByPolicy :: r <: Blockfrost => r <: Error BlockfrostError => PolicyId -> Eff r [AssetInfo] - -- Client.Cardano.Scripts listScripts' :: r <: Blockfrost => r <: Error BlockfrostError => Paged -> SortOrder -> Eff r ScriptHashList listScripts :: r <: Blockfrost => r <: Error BlockfrostError => Eff r ScriptHashList @@ -423,7 +401,6 @@ getScriptDatumCBOR :: r <: Blockfrost => r <: Error BlockfrostError => DatumHash -> Eff r ScriptDatumCBOR getScriptJSON :: r <: Blockfrost => r <: Error BlockfrostError => ScriptHash -> Eff r ScriptJSON getScriptCBOR :: r <: Blockfrost => r <: Error BlockfrostError => ScriptHash -> Eff r ScriptCBOR - -- Client.Cardano.Epochs getLatestEpoch :: r <: Blockfrost => r <: Error BlockfrostError => Eff r EpochInfo getLatestEpochProtocolParams :: r <: Blockfrost => r <: Error BlockfrostError => Eff r ProtocolParams @@ -441,7 +418,6 @@ getEpochBlocksByPool' :: r <: Blockfrost => r <: Error BlockfrostError => Epoch -> PoolId -> Paged -> SortOrder -> Eff r [BlockHash] getEpochBlocksByPool :: r <: Blockfrost => r <: Error BlockfrostError => Epoch -> PoolId -> Eff r [BlockHash] getEpochProtocolParams :: r <: Blockfrost => r <: Error BlockfrostError => Epoch -> Eff r ProtocolParams - -- Client.Cardano.Transactions getTx :: r <: Blockfrost => r <: Error BlockfrostError => TxHash -> Eff r Transaction getTxUtxos :: r <: Blockfrost => r <: Error BlockfrostError => TxHash -> Eff r TransactionUtxos @@ -455,10 +431,10 @@ getTxMetadataJSON :: r <: Blockfrost => r <: Error BlockfrostError => TxHash -> Eff r [TransactionMetaJSON] getTxMetadataCBOR :: r <: Blockfrost => r <: Error BlockfrostError => TxHash -> Eff r [TransactionMetaCBOR] submitTx :: r <: Blockfrost => r <: Error BlockfrostError => CBORString -> Eff r TxHash - -- Client.Cardano.Ledger getLedgerGenesis :: r <: Blockfrost => r <: Error BlockfrostError => Eff r Genesis - +-- Client.Cardano.Mempool +getMempoolTransactions :: r <: Blockfrost => r <: Error BlockfrostError => Paged -> SortOrder -> Eff r [TxHashObject] -- Client.Cardano.Accounts getAccount :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Eff r AccountInfo getAccountRewards' :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Paged -> SortOrder -> Eff r [AccountReward] @@ -478,7 +454,6 @@ getAccountAssociatedAddressesTotal :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Eff r AddressAssociatedTotal getAccountAssociatedAssets' :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Paged -> SortOrder -> Eff r [Amount] getAccountAssociatedAssets :: r <: Blockfrost => r <: Error BlockfrostError => Address -> Eff r [Amount] - -- Client.Cardano.Pools listPools' :: r <: Blockfrost => r <: Error BlockfrostError => Paged -> SortOrder -> Eff r [PoolId] listPools :: r <: Blockfrost => r <: Error BlockfrostError => Eff r [PoolId] @@ -499,7 +474,6 @@ getPoolBlocks :: r <: Blockfrost => r <: Error BlockfrostError => PoolId -> Eff r [BlockHash] getPoolUpdates' :: r <: Blockfrost => r <: Error BlockfrostError => PoolId -> Paged -> SortOrder -> Eff r [PoolUpdate] getPoolUpdates :: r <: Blockfrost => r <: Error BlockfrostError => PoolId -> Eff r [PoolUpdate] - -- Client.Cardano.Metadata getTxMetadataLabels' :: r <: Blockfrost => r <: Error BlockfrostError => Paged -> SortOrder -> Eff r [TxMeta] getTxMetadataLabels :: r <: Blockfrost => r <: Error BlockfrostError => Eff r [TxMeta] @@ -507,166 +481,168 @@ getTxMetadataByLabelJSON :: r <: Blockfrost => r <: Error BlockfrostError => Text -> Eff r [TxMetaJSON] getTxMetadataByLabelCBOR' :: r <: Blockfrost => r <: Error BlockfrostError => Text -> Paged -> SortOrder -> Eff r [TxMetaCBOR] getTxMetadataByLabelCBOR :: r <: Blockfrost => r <: Error BlockfrostError => Text -> Eff r [TxMetaCBOR] - -- Client -getRoot = fromEither =<< send do BF.GetRoot -getHealth = fromEither =<< send do BF.GetHealth -getClock = fromEither =<< send do BF.GetClock -getMetrics = fromEither =<< send do BF.GetMetrics -getMetricsEndpoints = fromEither =<< send do BF.GetMetricsEndpoints +getRoot = fromEither =<< send do BF.GetRoot +getHealth = fromEither =<< send do BF.GetHealth +getClock = fromEither =<< send do BF.GetClock +getMetrics = fromEither =<< send do BF.GetMetrics +getMetricsEndpoints = fromEither =<< send do BF.GetMetricsEndpoints -- Client.NutLink -nutlinkListAddress a = fromEither =<< send do BF.NutlinkListAddress a -nutlinkListAddressTickers' a b c = fromEither =<< send do BF.NutlinkListAddressTickers' a b c -nutlinkListAddressTickers a = fromEither =<< send do BF.NutlinkListAddressTickers a -nutlinkAddressTickers' a b c d = fromEither =<< send do BF.NutlinkAddressTickers' a b c d -nutlinkAddressTickers a b = fromEither =<< send do BF.NutlinkAddressTickers a b -nutlinkTickers' a b c = fromEither =<< send do BF.NutlinkTickers' a b c -nutlinkTickers a = fromEither =<< send do BF.NutlinkTickers a +nutlinkListAddress a = fromEither =<< send do BF.NutlinkListAddress a +nutlinkListAddressTickers' a b c = fromEither =<< send do BF.NutlinkListAddressTickers' a b c +nutlinkListAddressTickers a = fromEither =<< send do BF.NutlinkListAddressTickers a +nutlinkAddressTickers' a b c d = fromEither =<< send do BF.NutlinkAddressTickers' a b c d +nutlinkAddressTickers a b = fromEither =<< send do BF.NutlinkAddressTickers a b +nutlinkTickers' a b c = fromEither =<< send do BF.NutlinkTickers' a b c +nutlinkTickers a = fromEither =<< send do BF.NutlinkTickers a -- -- Client.IPFS -ipfsGateway a = fromEither =<< send do BF.IpfsGateway a -ipfsPin a = fromEither =<< send do BF.IpfsPin a -ipfsListPins' a b = fromEither =<< send do BF.IpfsListPins' a b -ipfsListPins = fromEither =<< send do BF.IpfsListPins -ipfsGetPin a = fromEither =<< send do BF.IpfsGetPin a -ipfsRemovePin a = fromEither =<< send do BF.IpfsRemovePin a +ipfsGateway a = fromEither =<< send do BF.IpfsGateway a +ipfsPin a = fromEither =<< send do BF.IpfsPin a +ipfsListPins' a b = fromEither =<< send do BF.IpfsListPins' a b +ipfsListPins = fromEither =<< send do BF.IpfsListPins +ipfsGetPin a = fromEither =<< send do BF.IpfsGetPin a +ipfsRemovePin a = fromEither =<< send do BF.IpfsRemovePin a -- Client.Cardano.Blocks -getLatestBlock = fromEither =<< send do BF.GetLatestBlock -getLatestBlockTxs' a b = fromEither =<< send do BF.GetLatestBlockTxs' a b -getLatestBlockTxs = fromEither =<< send do BF.GetLatestBlockTxs -getBlock a = fromEither =<< send do BF.GetBlock a -getBlockSlot a = fromEither =<< send do BF.GetBlockSlot a -getBlockEpochSlot a b = fromEither =<< send do BF.GetBlockEpochSlot a b -getNextBlocks' a b = fromEither =<< send do BF.GetNextBlocks' a b -getNextBlocks a = fromEither =<< send do BF.GetNextBlocks a -getPreviousBlocks' a b = fromEither =<< send do BF.GetPreviousBlocks' a b -getPreviousBlocks a = fromEither =<< send do BF.GetPreviousBlocks a -getBlockTxs' a b c = fromEither =<< send do BF.GetBlockTxs' a b c -getBlockTxs a = fromEither =<< send do BF.GetBlockTxs a -getBlockAffectedAddresses' a b = fromEither =<< send do BF.GetBlockAffectedAddresses' a b -getBlockAffectedAddresses a = fromEither =<< send do BF.GetBlockAffectedAddresses a +getLatestBlock = fromEither =<< send do BF.GetLatestBlock +getLatestBlockTxs' a b = fromEither =<< send do BF.GetLatestBlockTxs' a b +getLatestBlockTxs = fromEither =<< send do BF.GetLatestBlockTxs +getBlock a = fromEither =<< send do BF.GetBlock a +getBlockSlot a = fromEither =<< send do BF.GetBlockSlot a +getBlockEpochSlot a b = fromEither =<< send do BF.GetBlockEpochSlot a b +getNextBlocks' a b = fromEither =<< send do BF.GetNextBlocks' a b +getNextBlocks a = fromEither =<< send do BF.GetNextBlocks a +getPreviousBlocks' a b = fromEither =<< send do BF.GetPreviousBlocks' a b +getPreviousBlocks a = fromEither =<< send do BF.GetPreviousBlocks a +getBlockTxs' a b c = fromEither =<< send do BF.GetBlockTxs' a b c +getBlockTxs a = fromEither =<< send do BF.GetBlockTxs a +getBlockAffectedAddresses' a b = fromEither =<< send do BF.GetBlockAffectedAddresses' a b +getBlockAffectedAddresses a = fromEither =<< send do BF.GetBlockAffectedAddresses a -- -- Client.Cardano.Network -getNetworkInfo = fromEither =<< send do BF.GetNetworkInfo -getNetworkEras = fromEither =<< send do BF.GetNetworkEras +getNetworkInfo = fromEither =<< send do BF.GetNetworkInfo +getNetworkEras = fromEither =<< send do BF.GetNetworkEras -- Client.Cardano.Addresses -getAddressInfo a = fromEither =<< send do BF.GetAddressInfo a -getAddressInfoExtended a = fromEither =<< send do BF.GetAddressInfoExtended a -getAddressDetails a = fromEither =<< send do BF.GetAddressDetails a -getAddressUtxos' a b c = fromEither =<< send do BF.GetAddressUtxos' a b c -getAddressUtxos a = fromEither =<< send do BF.GetAddressUtxos a -getAddressUtxosAsset' a b c d = fromEither =<< send do BF.GetAddressUtxosAsset' a b c d -getAddressUtxosAsset a b = fromEither =<< send do BF.GetAddressUtxosAsset a b -getAddressTransactions a = fromEither =<< send do BF.GetAddressTransactions a -getAddressTransactions' a b c d e = fromEither =<< send do BF.GetAddressTransactions' a b c d e +getAddressInfo a = fromEither =<< send do BF.GetAddressInfo a +getAddressInfoExtended a = fromEither =<< send do BF.GetAddressInfoExtended a +getAddressDetails a = fromEither =<< send do BF.GetAddressDetails a +getAddressUtxos' a b c = fromEither =<< send do BF.GetAddressUtxos' a b c +getAddressUtxos a = fromEither =<< send do BF.GetAddressUtxos a +getAddressUtxosAsset' a b c d = fromEither =<< send do BF.GetAddressUtxosAsset' a b c d +getAddressUtxosAsset a b = fromEither =<< send do BF.GetAddressUtxosAsset a b +getAddressTransactions a = fromEither =<< send do BF.GetAddressTransactions a +getAddressTransactions' a b c d e = fromEither =<< send do BF.GetAddressTransactions' a b c d e -- Client.Cardano.Assets -getAssets' a b = fromEither =<< send do BF.GetAssets' a b -getAssets = fromEither =<< send do BF.GetAssets -getAssetDetails a = fromEither =<< send do BF.GetAssetDetails a -getAssetHistory' a b c = fromEither =<< send do BF.GetAssetHistory' a b c -getAssetHistory a = fromEither =<< send do BF.GetAssetHistory a -getAssetTransactions' a b c = fromEither =<< send do BF.GetAssetTransactions' a b c -getAssetTransactions a = fromEither =<< send do BF.GetAssetTransactions a -getAssetAddresses' a b c = fromEither =<< send do BF.GetAssetAddresses' a b c -getAssetAddresses a = fromEither =<< send do BF.GetAssetAddresses a -getAssetsByPolicy' a b c = fromEither =<< send do BF.GetAssetsByPolicy' a b c -getAssetsByPolicy a = fromEither =<< send do BF.GetAssetsByPolicy a +getAssets' a b = fromEither =<< send do BF.GetAssets' a b +getAssets = fromEither =<< send do BF.GetAssets +getAssetDetails a = fromEither =<< send do BF.GetAssetDetails a +getAssetHistory' a b c = fromEither =<< send do BF.GetAssetHistory' a b c +getAssetHistory a = fromEither =<< send do BF.GetAssetHistory a +getAssetTransactions' a b c = fromEither =<< send do BF.GetAssetTransactions' a b c +getAssetTransactions a = fromEither =<< send do BF.GetAssetTransactions a +getAssetAddresses' a b c = fromEither =<< send do BF.GetAssetAddresses' a b c +getAssetAddresses a = fromEither =<< send do BF.GetAssetAddresses a +getAssetsByPolicy' a b c = fromEither =<< send do BF.GetAssetsByPolicy' a b c +getAssetsByPolicy a = fromEither =<< send do BF.GetAssetsByPolicy a -- Client.Cardano.Scripts -listScripts' a b = fromEither =<< send do BF.ListScripts' a b -listScripts = fromEither =<< send do BF.ListScripts -getScript a = fromEither =<< send do BF.GetScript a -getScriptRedeemers' a b c = fromEither =<< send do BF.GetScriptRedeemers' a b c -getScriptRedeemers a = fromEither =<< send do BF.GetScriptRedeemers a -getScriptDatum a = fromEither =<< send do BF.GetScriptDatum a -getScriptDatumCBOR a = fromEither =<< send do BF.GetScriptDatumCBOR a -getScriptJSON a = fromEither =<< send do BF.GetScriptJSON a -getScriptCBOR a = fromEither =<< send do BF.GetScriptCBOR a +listScripts' a b = fromEither =<< send do BF.ListScripts' a b +listScripts = fromEither =<< send do BF.ListScripts +getScript a = fromEither =<< send do BF.GetScript a +getScriptRedeemers' a b c = fromEither =<< send do BF.GetScriptRedeemers' a b c +getScriptRedeemers a = fromEither =<< send do BF.GetScriptRedeemers a +getScriptDatum a = fromEither =<< send do BF.GetScriptDatum a +getScriptDatumCBOR a = fromEither =<< send do BF.GetScriptDatumCBOR a +getScriptJSON a = fromEither =<< send do BF.GetScriptJSON a +getScriptCBOR a = fromEither =<< send do BF.GetScriptCBOR a -- Client.Cardano.Epochs -getLatestEpoch = fromEither =<< send do BF.GetLatestEpoch -getLatestEpochProtocolParams = fromEither =<< send do BF.GetLatestEpochProtocolParams -getEpoch a = fromEither =<< send do BF.GetEpoch a -getNextEpochs' a b = fromEither =<< send do BF.GetNextEpochs' a b -getNextEpochs a = fromEither =<< send do BF.GetNextEpochs a -getPreviousEpochs' a b = fromEither =<< send do BF.GetPreviousEpochs' a b -getPreviousEpochs a = fromEither =<< send do BF.GetPreviousEpochs a -getEpochStake' a b = fromEither =<< send do BF.GetEpochStake' a b -getEpochStake a = fromEither =<< send do BF.GetEpochStake a -getEpochStakeByPool' a b c = fromEither =<< send do BF.GetEpochStakeByPool' a b c -getEpochStakeByPool a b = fromEither =<< send do BF.GetEpochStakeByPool a b -getEpochBlocks' a b c = fromEither =<< send do BF.GetEpochBlocks' a b c -getEpochBlocks a = fromEither =<< send do BF.GetEpochBlocks a -getEpochBlocksByPool' a b c d = fromEither =<< send do BF.GetEpochBlocksByPool' a b c d -getEpochBlocksByPool a b = fromEither =<< send do BF.GetEpochBlocksByPool a b -getEpochProtocolParams a = fromEither =<< send do BF.GetEpochProtocolParams a +getLatestEpoch = fromEither =<< send do BF.GetLatestEpoch +getLatestEpochProtocolParams = fromEither =<< send do BF.GetLatestEpochProtocolParams +getEpoch a = fromEither =<< send do BF.GetEpoch a +getNextEpochs' a b = fromEither =<< send do BF.GetNextEpochs' a b +getNextEpochs a = fromEither =<< send do BF.GetNextEpochs a +getPreviousEpochs' a b = fromEither =<< send do BF.GetPreviousEpochs' a b +getPreviousEpochs a = fromEither =<< send do BF.GetPreviousEpochs a +getEpochStake' a b = fromEither =<< send do BF.GetEpochStake' a b +getEpochStake a = fromEither =<< send do BF.GetEpochStake a +getEpochStakeByPool' a b c = fromEither =<< send do BF.GetEpochStakeByPool' a b c +getEpochStakeByPool a b = fromEither =<< send do BF.GetEpochStakeByPool a b +getEpochBlocks' a b c = fromEither =<< send do BF.GetEpochBlocks' a b c +getEpochBlocks a = fromEither =<< send do BF.GetEpochBlocks a +getEpochBlocksByPool' a b c d = fromEither =<< send do BF.GetEpochBlocksByPool' a b c d +getEpochBlocksByPool a b = fromEither =<< send do BF.GetEpochBlocksByPool a b +getEpochProtocolParams a = fromEither =<< send do BF.GetEpochProtocolParams a -- Client.Cardano.Transactions -getTx a = fromEither =<< send do BF.GetTx a -getTxUtxos a = fromEither =<< send do BF.GetTxUtxos a -getTxRedeemers a = fromEither =<< send do BF.GetTxRedeemers a -getTxStakes a = fromEither =<< send do BF.GetTxStakes a -getTxDelegations a = fromEither =<< send do BF.GetTxDelegations a -getTxWithdrawals a = fromEither =<< send do BF.GetTxWithdrawals a -getTxMirs a = fromEither =<< send do BF.GetTxMirs a -getTxPoolUpdates a = fromEither =<< send do BF.GetTxPoolUpdates a -getTxPoolRetiring a = fromEither =<< send do BF.GetTxPoolRetiring a -getTxMetadataJSON a = fromEither =<< send do BF.GetTxMetadataJSON a -getTxMetadataCBOR a = fromEither =<< send do BF.GetTxMetadataCBOR a -submitTx a = fromEither =<< send do BF.SubmitTx a +getTx a = fromEither =<< send do BF.GetTx a +getTxUtxos a = fromEither =<< send do BF.GetTxUtxos a +getTxRedeemers a = fromEither =<< send do BF.GetTxRedeemers a +getTxStakes a = fromEither =<< send do BF.GetTxStakes a +getTxDelegations a = fromEither =<< send do BF.GetTxDelegations a +getTxWithdrawals a = fromEither =<< send do BF.GetTxWithdrawals a +getTxMirs a = fromEither =<< send do BF.GetTxMirs a +getTxPoolUpdates a = fromEither =<< send do BF.GetTxPoolUpdates a +getTxPoolRetiring a = fromEither =<< send do BF.GetTxPoolRetiring a +getTxMetadataJSON a = fromEither =<< send do BF.GetTxMetadataJSON a +getTxMetadataCBOR a = fromEither =<< send do BF.GetTxMetadataCBOR a +submitTx a = fromEither =<< send do BF.SubmitTx a -- Client.Cardano.Ledger -getLedgerGenesis = fromEither =<< send do BF.GetLedgerGenesis +getLedgerGenesis = fromEither =<< send do BF.GetLedgerGenesis +-- Client.Cardano.Mempool +getMempoolTransactions a b = fromEither =<< send do BF.GetMempoolTransactions a b + -- Client.Cardano.Accounts -getAccount a = fromEither =<< send do BF.GetAccount a -getAccountRewards' a b c = fromEither =<< send do BF.GetAccountRewards' a b c -getAccountRewards a = fromEither =<< send do BF.GetAccountRewards a -getAccountHistory' a b c = fromEither =<< send do BF.GetAccountHistory' a b c -getAccountHistory a = fromEither =<< send do BF.GetAccountHistory a -getAccountDelegations' a b c = fromEither =<< send do BF.GetAccountDelegations' a b c -getAccountDelegations a = fromEither =<< send do BF.GetAccountDelegations a -getAccountRegistrations' a b c = fromEither =<< send do BF.GetAccountRegistrations' a b c -getAccountRegistrations a = fromEither =<< send do BF.GetAccountRegistrations a -getAccountWithdrawals' a b c = fromEither =<< send do BF.GetAccountWithdrawals' a b c -getAccountWithdrawals a = fromEither =<< send do BF.GetAccountWithdrawals a -getAccountMirs' a b c = fromEither =<< send do BF.GetAccountMirs' a b c -getAccountMirs a = fromEither =<< send do BF.GetAccountMirs a -getAccountAssociatedAddresses' a b c = fromEither =<< send do BF.GetAccountAssociatedAddresses' a b c -getAccountAssociatedAddresses a = fromEither =<< send do BF.GetAccountAssociatedAddresses a -getAccountAssociatedAddressesTotal a = fromEither =<< send do BF.GetAccountAssociatedAddressesTotal a -getAccountAssociatedAssets' a b c = fromEither =<< send do BF.GetAccountAssociatedAssets' a b c -getAccountAssociatedAssets a = fromEither =<< send do BF.GetAccountAssociatedAssets a +getAccount a = fromEither =<< send do BF.GetAccount a +getAccountRewards' a b c = fromEither =<< send do BF.GetAccountRewards' a b c +getAccountRewards a = fromEither =<< send do BF.GetAccountRewards a +getAccountHistory' a b c = fromEither =<< send do BF.GetAccountHistory' a b c +getAccountHistory a = fromEither =<< send do BF.GetAccountHistory a +getAccountDelegations' a b c = fromEither =<< send do BF.GetAccountDelegations' a b c +getAccountDelegations a = fromEither =<< send do BF.GetAccountDelegations a +getAccountRegistrations' a b c = fromEither =<< send do BF.GetAccountRegistrations' a b c +getAccountRegistrations a = fromEither =<< send do BF.GetAccountRegistrations a +getAccountWithdrawals' a b c = fromEither =<< send do BF.GetAccountWithdrawals' a b c +getAccountWithdrawals a = fromEither =<< send do BF.GetAccountWithdrawals a +getAccountMirs' a b c = fromEither =<< send do BF.GetAccountMirs' a b c +getAccountMirs a = fromEither =<< send do BF.GetAccountMirs a +getAccountAssociatedAddresses' a b c = fromEither =<< send do BF.GetAccountAssociatedAddresses' a b c +getAccountAssociatedAddresses a = fromEither =<< send do BF.GetAccountAssociatedAddresses a +getAccountAssociatedAddressesTotal a = fromEither =<< send do BF.GetAccountAssociatedAddressesTotal a +getAccountAssociatedAssets' a b c = fromEither =<< send do BF.GetAccountAssociatedAssets' a b c +getAccountAssociatedAssets a = fromEither =<< send do BF.GetAccountAssociatedAssets a -- Client.Cardano.Pools -listPools' a b = fromEither =<< send do BF.ListPools' a b -listPools = fromEither =<< send do BF.ListPools -listPoolsExtended' a b = fromEither =<< send do BF.ListPoolsExtended' a b -listPoolsExtended = fromEither =<< send do BF.ListPoolsExtended -listRetiredPools' a b = fromEither =<< send do BF.ListRetiredPools' a b -listRetiredPools = fromEither =<< send do BF.ListRetiredPools -listRetiringPools' a b = fromEither =<< send do BF.ListRetiringPools' a b -listRetiringPools = fromEither =<< send do BF.ListRetiringPools -getPool a = fromEither =<< send do BF.GetPool a -getPoolHistory' a b c = fromEither =<< send do BF.GetPoolHistory' a b c -getPoolHistory a = fromEither =<< send do BF.GetPoolHistory a -getPoolMetadata a = fromEither =<< send do BF.GetPoolMetadata a -getPoolRelays a = fromEither =<< send do BF.GetPoolRelays a -getPoolDelegators' a b c = fromEither =<< send do BF.GetPoolDelegators' a b c -getPoolDelegators a = fromEither =<< send do BF.GetPoolDelegators a -getPoolBlocks' a b c = fromEither =<< send do BF.GetPoolBlocks' a b c -getPoolBlocks a = fromEither =<< send do BF.GetPoolBlocks a -getPoolUpdates' a b c = fromEither =<< send do BF.GetPoolUpdates' a b c -getPoolUpdates a = fromEither =<< send do BF.GetPoolUpdates a +listPools' a b = fromEither =<< send do BF.ListPools' a b +listPools = fromEither =<< send do BF.ListPools +listPoolsExtended' a b = fromEither =<< send do BF.ListPoolsExtended' a b +listPoolsExtended = fromEither =<< send do BF.ListPoolsExtended +listRetiredPools' a b = fromEither =<< send do BF.ListRetiredPools' a b +listRetiredPools = fromEither =<< send do BF.ListRetiredPools +listRetiringPools' a b = fromEither =<< send do BF.ListRetiringPools' a b +listRetiringPools = fromEither =<< send do BF.ListRetiringPools +getPool a = fromEither =<< send do BF.GetPool a +getPoolHistory' a b c = fromEither =<< send do BF.GetPoolHistory' a b c +getPoolHistory a = fromEither =<< send do BF.GetPoolHistory a +getPoolMetadata a = fromEither =<< send do BF.GetPoolMetadata a +getPoolRelays a = fromEither =<< send do BF.GetPoolRelays a +getPoolDelegators' a b c = fromEither =<< send do BF.GetPoolDelegators' a b c +getPoolDelegators a = fromEither =<< send do BF.GetPoolDelegators a +getPoolBlocks' a b c = fromEither =<< send do BF.GetPoolBlocks' a b c +getPoolBlocks a = fromEither =<< send do BF.GetPoolBlocks a +getPoolUpdates' a b c = fromEither =<< send do BF.GetPoolUpdates' a b c +getPoolUpdates a = fromEither =<< send do BF.GetPoolUpdates a -- Client.Cardano.Metadata -getTxMetadataLabels' a b = fromEither =<< send do BF.GetTxMetadataLabels' a b -getTxMetadataLabels = fromEither =<< send do BF.GetTxMetadataLabels -getTxMetadataByLabelJSON' a b c = fromEither =<< send do BF.GetTxMetadataByLabelJSON' a b c -getTxMetadataByLabelJSON a = fromEither =<< send do BF.GetTxMetadataByLabelJSON a -getTxMetadataByLabelCBOR' a b c = fromEither =<< send do BF.GetTxMetadataByLabelCBOR' a b c -getTxMetadataByLabelCBOR a = fromEither =<< send do BF.GetTxMetadataByLabelCBOR a +getTxMetadataLabels' a b = fromEither =<< send do BF.GetTxMetadataLabels' a b +getTxMetadataLabels = fromEither =<< send do BF.GetTxMetadataLabels +getTxMetadataByLabelJSON' a b c = fromEither =<< send do BF.GetTxMetadataByLabelJSON' a b c +getTxMetadataByLabelJSON a = fromEither =<< send do BF.GetTxMetadataByLabelJSON a +getTxMetadataByLabelCBOR' a b c = fromEither =<< send do BF.GetTxMetadataByLabelCBOR' a b c +getTxMetadataByLabelCBOR a = fromEither =<< send do BF.GetTxMetadataByLabelCBOR a diff --git a/components/blockfrost/Effectful/Zoo/Blockfrost/Dynamic.hs b/components/blockfrost/Effectful/Zoo/Blockfrost/Dynamic.hs --- a/components/blockfrost/Effectful/Zoo/Blockfrost/Dynamic.hs +++ b/components/blockfrost/Effectful/Zoo/Blockfrost/Dynamic.hs @@ -16,171 +16,159 @@ import HaskellWorks.Prelude data Blockfrost :: Effect where - -- Client - GetRoot :: Blockfrost m (Either BlockfrostError URLVersion) - GetHealth :: Blockfrost m (Either BlockfrostError Healthy) - GetClock :: Blockfrost m (Either BlockfrostError ServerTime) - GetMetrics :: Blockfrost m (Either BlockfrostError [Metric]) - GetMetricsEndpoints :: Blockfrost m (Either BlockfrostError [(Text, Metric)]) - + GetRoot :: Blockfrost m (Either BlockfrostError URLVersion) + GetHealth :: Blockfrost m (Either BlockfrostError Healthy) + GetClock :: Blockfrost m (Either BlockfrostError ServerTime) + GetMetrics :: Blockfrost m (Either BlockfrostError [Metric]) + GetMetricsEndpoints :: Blockfrost m (Either BlockfrostError [(Text, Metric)]) -- Client.NutLink - NutlinkListAddress :: Address -> Blockfrost m (Either BlockfrostError NutlinkAddress) - NutlinkListAddressTickers' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [NutlinkAddressTicker]) - NutlinkListAddressTickers :: Address -> Blockfrost m (Either BlockfrostError [NutlinkAddressTicker]) - NutlinkAddressTickers' :: Address -> Text -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [NutlinkTicker]) - NutlinkAddressTickers :: Address -> Text -> Blockfrost m (Either BlockfrostError [NutlinkTicker]) - NutlinkTickers' :: Text -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [(Address, NutlinkTicker)]) - NutlinkTickers :: Text -> Blockfrost m (Either BlockfrostError [(Address, NutlinkTicker)]) - + NutlinkListAddress :: Address -> Blockfrost m (Either BlockfrostError NutlinkAddress) + NutlinkListAddressTickers' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [NutlinkAddressTicker]) + NutlinkListAddressTickers :: Address -> Blockfrost m (Either BlockfrostError [NutlinkAddressTicker]) + NutlinkAddressTickers' :: Address -> Text -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [NutlinkTicker]) + NutlinkAddressTickers :: Address -> Text -> Blockfrost m (Either BlockfrostError [NutlinkTicker]) + NutlinkTickers' :: Text -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [(Address, NutlinkTicker)]) + NutlinkTickers :: Text -> Blockfrost m (Either BlockfrostError [(Address, NutlinkTicker)]) -- Client.IPFS - IpfsGateway :: Text -> Blockfrost m (Either BlockfrostError IPFSData) - IpfsPin :: Text -> Blockfrost m (Either BlockfrostError IPFSPinChange) - IpfsListPins' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [IPFSPin]) - IpfsListPins :: Blockfrost m (Either BlockfrostError [IPFSPin]) - IpfsGetPin :: Text -> Blockfrost m (Either BlockfrostError IPFSPin) - IpfsRemovePin :: Text -> Blockfrost m (Either BlockfrostError IPFSPinChange) - + IpfsGateway :: Text -> Blockfrost m (Either BlockfrostError IPFSData) + IpfsPin :: Text -> Blockfrost m (Either BlockfrostError IPFSPinChange) + IpfsListPins' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [IPFSPin]) + IpfsListPins :: Blockfrost m (Either BlockfrostError [IPFSPin]) + IpfsGetPin :: Text -> Blockfrost m (Either BlockfrostError IPFSPin) + IpfsRemovePin :: Text -> Blockfrost m (Either BlockfrostError IPFSPinChange) -- Client.Cardano.Blocks - GetLatestBlock :: Blockfrost m (Either BlockfrostError Block) - GetLatestBlockTxs' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [TxHash]) - GetLatestBlockTxs :: Blockfrost m (Either BlockfrostError [TxHash]) - GetBlock :: Either Integer BlockHash -> Blockfrost m (Either BlockfrostError Block) - GetBlockSlot :: Slot -> Blockfrost m (Either BlockfrostError Block) - GetBlockEpochSlot :: Epoch -> Slot -> Blockfrost m (Either BlockfrostError Block) - GetNextBlocks' :: Either Integer BlockHash -> Paged -> Blockfrost m (Either BlockfrostError [Block]) - GetNextBlocks :: Either Integer BlockHash -> Blockfrost m (Either BlockfrostError [Block]) - GetPreviousBlocks' :: Either Integer BlockHash -> Paged -> Blockfrost m (Either BlockfrostError [Block]) - GetPreviousBlocks :: Either Integer BlockHash -> Blockfrost m (Either BlockfrostError [Block]) - GetBlockTxs' :: Either Integer BlockHash -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [TxHash]) - GetBlockTxs :: Either Integer BlockHash -> Blockfrost m (Either BlockfrostError [TxHash]) - GetBlockAffectedAddresses' :: Either Integer BlockHash -> Paged -> Blockfrost m (Either BlockfrostError [(Address, [TxHash])]) - GetBlockAffectedAddresses :: Either Integer BlockHash -> Blockfrost m (Either BlockfrostError [(Address, [TxHash])]) - + GetLatestBlock :: Blockfrost m (Either BlockfrostError Block) + GetLatestBlockTxs' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [TxHash]) + GetLatestBlockTxs :: Blockfrost m (Either BlockfrostError [TxHash]) + GetBlock :: Either Integer BlockHash -> Blockfrost m (Either BlockfrostError Block) + GetBlockSlot :: Slot -> Blockfrost m (Either BlockfrostError Block) + GetBlockEpochSlot :: Epoch -> Slot -> Blockfrost m (Either BlockfrostError Block) + GetNextBlocks' :: Either Integer BlockHash -> Paged -> Blockfrost m (Either BlockfrostError [Block]) + GetNextBlocks :: Either Integer BlockHash -> Blockfrost m (Either BlockfrostError [Block]) + GetPreviousBlocks' :: Either Integer BlockHash -> Paged -> Blockfrost m (Either BlockfrostError [Block]) + GetPreviousBlocks :: Either Integer BlockHash -> Blockfrost m (Either BlockfrostError [Block]) + GetBlockTxs' :: Either Integer BlockHash -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [TxHash]) + GetBlockTxs :: Either Integer BlockHash -> Blockfrost m (Either BlockfrostError [TxHash]) + GetBlockAffectedAddresses' :: Either Integer BlockHash -> Paged -> Blockfrost m (Either BlockfrostError [(Address, [TxHash])]) + GetBlockAffectedAddresses :: Either Integer BlockHash -> Blockfrost m (Either BlockfrostError [(Address, [TxHash])]) -- Client.Cardano.Network - GetNetworkInfo :: Blockfrost m (Either BlockfrostError Network) - GetNetworkEras :: Blockfrost m (Either BlockfrostError [NetworkEraSummary]) - + GetNetworkInfo :: Blockfrost m (Either BlockfrostError Network) + GetNetworkEras :: Blockfrost m (Either BlockfrostError [NetworkEraSummary]) -- Client.Cardano.Addresses - GetAddressInfo :: Address -> Blockfrost m (Either BlockfrostError AddressInfo) - GetAddressInfoExtended :: Address -> Blockfrost m (Either BlockfrostError AddressInfoExtended) - GetAddressDetails :: Address -> Blockfrost m (Either BlockfrostError AddressDetails) - GetAddressUtxos' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AddressUtxo]) - GetAddressUtxos :: Address -> Blockfrost m (Either BlockfrostError [AddressUtxo]) - GetAddressUtxosAsset' :: Address -> AssetId-> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AddressUtxo]) - GetAddressUtxosAsset :: Address -> AssetId -> Blockfrost m (Either BlockfrostError [AddressUtxo]) - GetAddressTransactions' :: Address -> Paged -> SortOrder -> Maybe BlockIndex -> Maybe BlockIndex -> Blockfrost m (Either BlockfrostError [AddressTransaction]) - GetAddressTransactions :: Address -> Blockfrost m (Either BlockfrostError [AddressTransaction]) - + GetAddressInfo :: Address -> Blockfrost m (Either BlockfrostError AddressInfo) + GetAddressInfoExtended :: Address -> Blockfrost m (Either BlockfrostError AddressInfoExtended) + GetAddressDetails :: Address -> Blockfrost m (Either BlockfrostError AddressDetails) + GetAddressUtxos' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AddressUtxo]) + GetAddressUtxos :: Address -> Blockfrost m (Either BlockfrostError [AddressUtxo]) + GetAddressUtxosAsset' :: Address -> AssetId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AddressUtxo]) + GetAddressUtxosAsset :: Address -> AssetId -> Blockfrost m (Either BlockfrostError [AddressUtxo]) + GetAddressTransactions' :: Address -> Paged -> SortOrder -> Maybe BlockIndex -> Maybe BlockIndex -> Blockfrost m (Either BlockfrostError [AddressTransaction]) + GetAddressTransactions :: Address -> Blockfrost m (Either BlockfrostError [AddressTransaction]) -- Client.Cardano.Assets - GetAssets' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AssetInfo]) - GetAssets :: Blockfrost m (Either BlockfrostError [AssetInfo]) - GetAssetDetails :: AssetId -> Blockfrost m (Either BlockfrostError AssetDetails) - GetAssetHistory' :: AssetId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AssetHistory]) - GetAssetHistory :: AssetId -> Blockfrost m (Either BlockfrostError [AssetHistory]) - GetAssetTransactions' :: AssetId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AssetTransaction]) - GetAssetTransactions :: AssetId -> Blockfrost m (Either BlockfrostError [AssetTransaction]) - GetAssetAddresses' :: AssetId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AssetAddress]) - GetAssetAddresses :: AssetId -> Blockfrost m (Either BlockfrostError [AssetAddress]) - GetAssetsByPolicy' :: PolicyId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AssetInfo]) - GetAssetsByPolicy :: PolicyId -> Blockfrost m (Either BlockfrostError [AssetInfo]) - + GetAssets' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AssetInfo]) + GetAssets :: Blockfrost m (Either BlockfrostError [AssetInfo]) + GetAssetDetails :: AssetId -> Blockfrost m (Either BlockfrostError AssetDetails) + GetAssetHistory' :: AssetId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AssetHistory]) + GetAssetHistory :: AssetId -> Blockfrost m (Either BlockfrostError [AssetHistory]) + GetAssetTransactions' :: AssetId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AssetTransaction]) + GetAssetTransactions :: AssetId -> Blockfrost m (Either BlockfrostError [AssetTransaction]) + GetAssetAddresses' :: AssetId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AssetAddress]) + GetAssetAddresses :: AssetId -> Blockfrost m (Either BlockfrostError [AssetAddress]) + GetAssetsByPolicy' :: PolicyId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AssetInfo]) + GetAssetsByPolicy :: PolicyId -> Blockfrost m (Either BlockfrostError [AssetInfo]) -- Client.Cardano.Scripts - ListScripts' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError ScriptHashList) - ListScripts :: Blockfrost m (Either BlockfrostError ScriptHashList) - GetScript :: ScriptHash -> Blockfrost m (Either BlockfrostError Script) - GetScriptRedeemers' :: ScriptHash -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [ScriptRedeemer]) - GetScriptRedeemers :: ScriptHash -> Blockfrost m (Either BlockfrostError [ScriptRedeemer]) - GetScriptDatum :: DatumHash -> Blockfrost m (Either BlockfrostError ScriptDatum) - GetScriptDatumCBOR :: DatumHash -> Blockfrost m (Either BlockfrostError ScriptDatumCBOR) - GetScriptJSON :: ScriptHash -> Blockfrost m (Either BlockfrostError ScriptJSON) - GetScriptCBOR :: ScriptHash -> Blockfrost m (Either BlockfrostError ScriptCBOR) - + ListScripts' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError ScriptHashList) + ListScripts :: Blockfrost m (Either BlockfrostError ScriptHashList) + GetScript :: ScriptHash -> Blockfrost m (Either BlockfrostError Script) + GetScriptRedeemers' :: ScriptHash -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [ScriptRedeemer]) + GetScriptRedeemers :: ScriptHash -> Blockfrost m (Either BlockfrostError [ScriptRedeemer]) + GetScriptDatum :: DatumHash -> Blockfrost m (Either BlockfrostError ScriptDatum) + GetScriptDatumCBOR :: DatumHash -> Blockfrost m (Either BlockfrostError ScriptDatumCBOR) + GetScriptJSON :: ScriptHash -> Blockfrost m (Either BlockfrostError ScriptJSON) + GetScriptCBOR :: ScriptHash -> Blockfrost m (Either BlockfrostError ScriptCBOR) -- Client.Cardano.Epochs - GetLatestEpoch :: Blockfrost m (Either BlockfrostError EpochInfo) - GetLatestEpochProtocolParams :: Blockfrost m (Either BlockfrostError ProtocolParams) - GetEpoch :: Epoch -> Blockfrost m (Either BlockfrostError EpochInfo) - GetNextEpochs' :: Epoch -> Paged -> Blockfrost m (Either BlockfrostError [EpochInfo]) - GetNextEpochs :: Epoch -> Blockfrost m (Either BlockfrostError [EpochInfo]) - GetPreviousEpochs' :: Epoch -> Paged -> Blockfrost m (Either BlockfrostError [EpochInfo]) - GetPreviousEpochs :: Epoch -> Blockfrost m (Either BlockfrostError [EpochInfo]) - GetEpochStake' :: Epoch -> Paged -> Blockfrost m (Either BlockfrostError [StakeDistribution]) - GetEpochStake :: Epoch -> Blockfrost m (Either BlockfrostError [StakeDistribution]) - GetEpochStakeByPool' :: Epoch -> PoolId -> Paged -> Blockfrost m (Either BlockfrostError [PoolStakeDistribution]) - GetEpochStakeByPool :: Epoch -> PoolId -> Blockfrost m (Either BlockfrostError [PoolStakeDistribution]) - GetEpochBlocks' :: Epoch -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [BlockHash]) - GetEpochBlocks :: Epoch -> Blockfrost m (Either BlockfrostError [BlockHash]) - GetEpochBlocksByPool' :: Epoch -> PoolId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [BlockHash]) - GetEpochBlocksByPool :: Epoch -> PoolId -> Blockfrost m (Either BlockfrostError [BlockHash]) - GetEpochProtocolParams :: Epoch -> Blockfrost m (Either BlockfrostError ProtocolParams) - + GetLatestEpoch :: Blockfrost m (Either BlockfrostError EpochInfo) + GetLatestEpochProtocolParams :: Blockfrost m (Either BlockfrostError ProtocolParams) + GetEpoch :: Epoch -> Blockfrost m (Either BlockfrostError EpochInfo) + GetNextEpochs' :: Epoch -> Paged -> Blockfrost m (Either BlockfrostError [EpochInfo]) + GetNextEpochs :: Epoch -> Blockfrost m (Either BlockfrostError [EpochInfo]) + GetPreviousEpochs' :: Epoch -> Paged -> Blockfrost m (Either BlockfrostError [EpochInfo]) + GetPreviousEpochs :: Epoch -> Blockfrost m (Either BlockfrostError [EpochInfo]) + GetEpochStake' :: Epoch -> Paged -> Blockfrost m (Either BlockfrostError [StakeDistribution]) + GetEpochStake :: Epoch -> Blockfrost m (Either BlockfrostError [StakeDistribution]) + GetEpochStakeByPool' :: Epoch -> PoolId -> Paged -> Blockfrost m (Either BlockfrostError [PoolStakeDistribution]) + GetEpochStakeByPool :: Epoch -> PoolId -> Blockfrost m (Either BlockfrostError [PoolStakeDistribution]) + GetEpochBlocks' :: Epoch -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [BlockHash]) + GetEpochBlocks :: Epoch -> Blockfrost m (Either BlockfrostError [BlockHash]) + GetEpochBlocksByPool' :: Epoch -> PoolId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [BlockHash]) + GetEpochBlocksByPool :: Epoch -> PoolId -> Blockfrost m (Either BlockfrostError [BlockHash]) + GetEpochProtocolParams :: Epoch -> Blockfrost m (Either BlockfrostError ProtocolParams) -- Client.Cardano.Transactions - GetTx :: TxHash -> Blockfrost m (Either BlockfrostError Transaction) - GetTxUtxos :: TxHash -> Blockfrost m (Either BlockfrostError TransactionUtxos) - GetTxRedeemers :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionRedeemer]) - GetTxStakes :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionStake]) - GetTxDelegations :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionDelegation]) - GetTxWithdrawals :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionWithdrawal]) - GetTxMirs :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionMir]) - GetTxPoolUpdates :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionPoolUpdate]) - GetTxPoolRetiring :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionPoolRetiring]) - GetTxMetadataJSON :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionMetaJSON]) - GetTxMetadataCBOR :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionMetaCBOR]) - SubmitTx :: CBORString -> Blockfrost m (Either BlockfrostError TxHash) - + GetTx :: TxHash -> Blockfrost m (Either BlockfrostError Transaction) + GetTxUtxos :: TxHash -> Blockfrost m (Either BlockfrostError TransactionUtxos) + GetTxRedeemers :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionRedeemer]) + GetTxStakes :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionStake]) + GetTxDelegations :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionDelegation]) + GetTxWithdrawals :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionWithdrawal]) + GetTxMirs :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionMir]) + GetTxPoolUpdates :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionPoolUpdate]) + GetTxPoolRetiring :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionPoolRetiring]) + GetTxMetadataJSON :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionMetaJSON]) + GetTxMetadataCBOR :: TxHash -> Blockfrost m (Either BlockfrostError [TransactionMetaCBOR]) + SubmitTx :: CBORString -> Blockfrost m (Either BlockfrostError TxHash) -- Client.Cardano.Ledger - GetLedgerGenesis :: Blockfrost m (Either BlockfrostError Genesis) - + GetLedgerGenesis :: Blockfrost m (Either BlockfrostError Genesis) + -- Client.Cardano.Mempool + GetMempoolTransactions :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [TxHashObject]) -- Client.Cardano.Accounts - GetAccount :: Address -> Blockfrost m (Either BlockfrostError AccountInfo) - GetAccountRewards' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountReward]) - GetAccountRewards :: Address -> Blockfrost m (Either BlockfrostError [AccountReward]) - GetAccountHistory' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountHistory]) - GetAccountHistory :: Address -> Blockfrost m (Either BlockfrostError [AccountHistory]) - GetAccountDelegations' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountDelegation]) - GetAccountDelegations :: Address -> Blockfrost m (Either BlockfrostError [AccountDelegation]) - GetAccountRegistrations' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountRegistration]) - GetAccountRegistrations :: Address -> Blockfrost m (Either BlockfrostError [AccountRegistration]) - GetAccountWithdrawals' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountWithdrawal]) - GetAccountWithdrawals :: Address -> Blockfrost m (Either BlockfrostError [AccountWithdrawal]) - GetAccountMirs' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountMir]) - GetAccountMirs :: Address -> Blockfrost m (Either BlockfrostError [AccountMir]) - GetAccountAssociatedAddresses' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AddressAssociated]) - GetAccountAssociatedAddresses :: Address -> Blockfrost m (Either BlockfrostError [AddressAssociated]) - GetAccountAssociatedAddressesTotal :: Address -> Blockfrost m (Either BlockfrostError AddressAssociatedTotal) - GetAccountAssociatedAssets' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [Amount]) - GetAccountAssociatedAssets :: Address -> Blockfrost m (Either BlockfrostError [Amount]) - + GetAccount :: Address -> Blockfrost m (Either BlockfrostError AccountInfo) + GetAccountRewards' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountReward]) + GetAccountRewards :: Address -> Blockfrost m (Either BlockfrostError [AccountReward]) + GetAccountHistory' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountHistory]) + GetAccountHistory :: Address -> Blockfrost m (Either BlockfrostError [AccountHistory]) + GetAccountDelegations' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountDelegation]) + GetAccountDelegations :: Address -> Blockfrost m (Either BlockfrostError [AccountDelegation]) + GetAccountRegistrations' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountRegistration]) + GetAccountRegistrations :: Address -> Blockfrost m (Either BlockfrostError [AccountRegistration]) + GetAccountWithdrawals' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountWithdrawal]) + GetAccountWithdrawals :: Address -> Blockfrost m (Either BlockfrostError [AccountWithdrawal]) + GetAccountMirs' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AccountMir]) + GetAccountMirs :: Address -> Blockfrost m (Either BlockfrostError [AccountMir]) + GetAccountAssociatedAddresses' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [AddressAssociated]) + GetAccountAssociatedAddresses :: Address -> Blockfrost m (Either BlockfrostError [AddressAssociated]) + GetAccountAssociatedAddressesTotal :: Address -> Blockfrost m (Either BlockfrostError AddressAssociatedTotal) + GetAccountAssociatedAssets' :: Address -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [Amount]) + GetAccountAssociatedAssets :: Address -> Blockfrost m (Either BlockfrostError [Amount]) -- Client.Cardano.Pools - ListPools' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolId]) - ListPools :: Blockfrost m (Either BlockfrostError [PoolId]) - ListPoolsExtended' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [Pool]) - ListPoolsExtended :: Blockfrost m (Either BlockfrostError [Pool]) - ListRetiredPools' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolEpoch]) - ListRetiredPools :: Blockfrost m (Either BlockfrostError [PoolEpoch]) - ListRetiringPools' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolEpoch]) - ListRetiringPools :: Blockfrost m (Either BlockfrostError [PoolEpoch]) - GetPool :: PoolId -> Blockfrost m (Either BlockfrostError PoolInfo) - GetPoolHistory' :: PoolId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolHistory]) - GetPoolHistory :: PoolId -> Blockfrost m (Either BlockfrostError [PoolHistory]) - GetPoolMetadata :: PoolId -> Blockfrost m (Either BlockfrostError (Maybe PoolMetadata)) - GetPoolRelays :: PoolId -> Blockfrost m (Either BlockfrostError [PoolRelay]) - GetPoolDelegators' :: PoolId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolDelegator]) - GetPoolDelegators :: PoolId -> Blockfrost m (Either BlockfrostError [PoolDelegator]) - GetPoolBlocks' :: PoolId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [BlockHash]) - GetPoolBlocks :: PoolId -> Blockfrost m (Either BlockfrostError [BlockHash]) - GetPoolUpdates' :: PoolId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolUpdate]) - GetPoolUpdates :: PoolId -> Blockfrost m (Either BlockfrostError [PoolUpdate]) - + ListPools' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolId]) + ListPools :: Blockfrost m (Either BlockfrostError [PoolId]) + ListPoolsExtended' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [Pool]) + ListPoolsExtended :: Blockfrost m (Either BlockfrostError [Pool]) + ListRetiredPools' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolEpoch]) + ListRetiredPools :: Blockfrost m (Either BlockfrostError [PoolEpoch]) + ListRetiringPools' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolEpoch]) + ListRetiringPools :: Blockfrost m (Either BlockfrostError [PoolEpoch]) + GetPool :: PoolId -> Blockfrost m (Either BlockfrostError PoolInfo) + GetPoolHistory' :: PoolId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolHistory]) + GetPoolHistory :: PoolId -> Blockfrost m (Either BlockfrostError [PoolHistory]) + GetPoolMetadata :: PoolId -> Blockfrost m (Either BlockfrostError (Maybe PoolMetadata)) + GetPoolRelays :: PoolId -> Blockfrost m (Either BlockfrostError [PoolRelay]) + GetPoolDelegators' :: PoolId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolDelegator]) + GetPoolDelegators :: PoolId -> Blockfrost m (Either BlockfrostError [PoolDelegator]) + GetPoolBlocks' :: PoolId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [BlockHash]) + GetPoolBlocks :: PoolId -> Blockfrost m (Either BlockfrostError [BlockHash]) + GetPoolUpdates' :: PoolId -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [PoolUpdate]) + GetPoolUpdates :: PoolId -> Blockfrost m (Either BlockfrostError [PoolUpdate]) -- Client.Cardano.Metadata - GetTxMetadataLabels' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [TxMeta]) - GetTxMetadataLabels :: Blockfrost m (Either BlockfrostError [TxMeta]) - GetTxMetadataByLabelJSON' :: Text -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [TxMetaJSON]) - GetTxMetadataByLabelJSON :: Text -> Blockfrost m (Either BlockfrostError [TxMetaJSON]) - GetTxMetadataByLabelCBOR' :: Text -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [TxMetaCBOR]) - GetTxMetadataByLabelCBOR :: Text -> Blockfrost m (Either BlockfrostError [TxMetaCBOR]) + GetTxMetadataLabels' :: Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [TxMeta]) + GetTxMetadataLabels :: Blockfrost m (Either BlockfrostError [TxMeta]) + GetTxMetadataByLabelJSON' :: Text -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [TxMetaJSON]) + GetTxMetadataByLabelJSON :: Text -> Blockfrost m (Either BlockfrostError [TxMetaJSON]) + GetTxMetadataByLabelCBOR' :: Text -> Paged -> SortOrder -> Blockfrost m (Either BlockfrostError [TxMetaCBOR]) + GetTxMetadataByLabelCBOR :: Text -> Blockfrost m (Either BlockfrostError [TxMetaCBOR]) -type instance DispatchOf (Blockfrost) = Dynamic +type instance DispatchOf Blockfrost = Dynamic callBlockfrost :: () => r <: Reader Project @@ -205,7 +193,6 @@ GetClock -> callBlockfrost $ BF.getClock GetMetrics -> callBlockfrost $ BF.getMetrics GetMetricsEndpoints -> callBlockfrost $ BF.getMetricsEndpoints - -- Client.NutLink NutlinkListAddress a -> callBlockfrost $ BF.nutlinkListAddress a NutlinkListAddressTickers' a b c -> callBlockfrost $ BF.nutlinkListAddressTickers' a b c @@ -214,7 +201,6 @@ NutlinkAddressTickers a b -> callBlockfrost $ BF.nutlinkAddressTickers a b NutlinkTickers' a b c -> callBlockfrost $ BF.nutlinkTickers' a b c NutlinkTickers a -> callBlockfrost $ BF.nutlinkTickers a - -- -- Client.IPFS IpfsGateway a -> callBlockfrost $ BF.ipfsGateway a IpfsPin a -> callBlockfrost $ BF.ipfsPin a @@ -222,12 +208,11 @@ IpfsListPins -> callBlockfrost $ BF.ipfsListPins IpfsGetPin a -> callBlockfrost $ BF.ipfsGetPin a IpfsRemovePin a -> callBlockfrost $ BF.ipfsRemovePin a - -- Client.Cardano.Blocks GetLatestBlock -> callBlockfrost $ BF.getLatestBlock GetLatestBlockTxs' a b -> callBlockfrost $ BF.getLatestBlockTxs' a b GetLatestBlockTxs -> callBlockfrost $ BF.getLatestBlockTxs - GetBlock a -> callBlockfrost $ BF.getBlock a + GetBlock a -> callBlockfrost $ BF.getBlock a GetBlockSlot a -> callBlockfrost $ BF.getBlockSlot a GetBlockEpochSlot a b -> callBlockfrost $ BF.getBlockEpochSlot a b GetNextBlocks' a b -> callBlockfrost $ BF.getNextBlocks' a b @@ -238,35 +223,31 @@ GetBlockTxs a -> callBlockfrost $ BF.getBlockTxs a GetBlockAffectedAddresses' a b -> callBlockfrost $ BF.getBlockAffectedAddresses' a b GetBlockAffectedAddresses a -> callBlockfrost $ BF.getBlockAffectedAddresses a - -- -- Client.Cardano.Network GetNetworkInfo -> callBlockfrost $ BF.getNetworkInfo GetNetworkEras -> callBlockfrost $ BF.getNetworkEras - -- Client.Cardano.Addresses - GetAddressInfo a -> callBlockfrost $ BF.getAddressInfo a - GetAddressInfoExtended a -> callBlockfrost $ BF.getAddressInfoExtended a - GetAddressDetails a -> callBlockfrost $ BF.getAddressDetails a - GetAddressUtxos' a b c -> callBlockfrost $ BF.getAddressUtxos' a b c - GetAddressUtxos a -> callBlockfrost $ BF.getAddressUtxos a - GetAddressUtxosAsset' a b c d -> callBlockfrost $ BF.getAddressUtxosAsset' a b c d - GetAddressUtxosAsset a b -> callBlockfrost $ BF.getAddressUtxosAsset a b - GetAddressTransactions a -> callBlockfrost $ BF.getAddressTransactions a - GetAddressTransactions' a b c d e -> callBlockfrost $ BF.getAddressTransactions' a b c d e - + GetAddressInfo a -> callBlockfrost $ BF.getAddressInfo a + GetAddressInfoExtended a -> callBlockfrost $ BF.getAddressInfoExtended a + GetAddressDetails a -> callBlockfrost $ BF.getAddressDetails a + GetAddressUtxos' a b c -> callBlockfrost $ BF.getAddressUtxos' a b c + GetAddressUtxos a -> callBlockfrost $ BF.getAddressUtxos a + GetAddressUtxosAsset' a b c d -> callBlockfrost $ BF.getAddressUtxosAsset' a b c d + GetAddressUtxosAsset a b -> callBlockfrost $ BF.getAddressUtxosAsset a b + GetAddressTransactions a -> callBlockfrost $ BF.getAddressTransactions a + GetAddressTransactions' a b c d e -> callBlockfrost $ BF.getAddressTransactions' a b c d e -- Client.Cardano.Assets - GetAssets' a b -> callBlockfrost $ BF.getAssets' a b + GetAssets' a b -> callBlockfrost $ BF.getAssets' a b GetAssets -> callBlockfrost $ BF.getAssets - GetAssetDetails a -> callBlockfrost $ BF.getAssetDetails a - GetAssetHistory' a b c -> callBlockfrost $ BF.getAssetHistory' a b c - GetAssetHistory a -> callBlockfrost $ BF.getAssetHistory a - GetAssetTransactions' a b c -> callBlockfrost $ BF.getAssetTransactions' a b c - GetAssetTransactions a -> callBlockfrost $ BF.getAssetTransactions a - GetAssetAddresses' a b c -> callBlockfrost $ BF.getAssetAddresses' a b c - GetAssetAddresses a -> callBlockfrost $ BF.getAssetAddresses a - GetAssetsByPolicy' a b c -> callBlockfrost $ BF.getAssetsByPolicy' a b c - GetAssetsByPolicy a -> callBlockfrost $ BF.getAssetsByPolicy a - + GetAssetDetails a -> callBlockfrost $ BF.getAssetDetails a + GetAssetHistory' a b c -> callBlockfrost $ BF.getAssetHistory' a b c + GetAssetHistory a -> callBlockfrost $ BF.getAssetHistory a + GetAssetTransactions' a b c -> callBlockfrost $ BF.getAssetTransactions' a b c + GetAssetTransactions a -> callBlockfrost $ BF.getAssetTransactions a + GetAssetAddresses' a b c -> callBlockfrost $ BF.getAssetAddresses' a b c + GetAssetAddresses a -> callBlockfrost $ BF.getAssetAddresses a + GetAssetsByPolicy' a b c -> callBlockfrost $ BF.getAssetsByPolicy' a b c + GetAssetsByPolicy a -> callBlockfrost $ BF.getAssetsByPolicy a -- Client.Cardano.Scripts ListScripts' a b -> callBlockfrost $ BF.listScripts' a b ListScripts -> callBlockfrost $ BF.listScripts @@ -277,7 +258,6 @@ GetScriptDatumCBOR a -> callBlockfrost $ BF.getScriptDatumCBOR a GetScriptJSON a -> callBlockfrost $ BF.getScriptJSON a GetScriptCBOR a -> callBlockfrost $ BF.getScriptCBOR a - -- Client.Cardano.Epochs GetLatestEpoch -> callBlockfrost $ BF.getLatestEpoch GetLatestEpochProtocolParams -> callBlockfrost $ BF.getLatestEpochProtocolParams @@ -295,7 +275,6 @@ GetEpochBlocksByPool' a b c d -> callBlockfrost $ BF.getEpochBlocksByPool' a b c d GetEpochBlocksByPool a b -> callBlockfrost $ BF.getEpochBlocksByPool a b GetEpochProtocolParams a -> callBlockfrost $ BF.getEpochProtocolParams a - -- Client.Cardano.Transactions GetTx a -> callBlockfrost $ BF.getTx a GetTxUtxos a -> callBlockfrost $ BF.getTxUtxos a @@ -309,10 +288,10 @@ GetTxMetadataJSON a -> callBlockfrost $ BF.getTxMetadataJSON a GetTxMetadataCBOR a -> callBlockfrost $ BF.getTxMetadataCBOR a SubmitTx a -> callBlockfrost $ BF.submitTx a - -- Client.Cardano.Ledger GetLedgerGenesis -> callBlockfrost $ BF.getLedgerGenesis - + -- Client.Cardano.Mempool + GetMempoolTransactions a b -> callBlockfrost $ BF.go (\p -> BF.getMempoolTransactions p a b) -- Client.Cardano.Accounts GetAccount a -> callBlockfrost $ BF.getAccount a GetAccountRewards' a b c -> callBlockfrost $ BF.getAccountRewards' a b c @@ -332,7 +311,6 @@ GetAccountAssociatedAddressesTotal a -> callBlockfrost $ BF.getAccountAssociatedAddressesTotal a GetAccountAssociatedAssets' a b c -> callBlockfrost $ BF.getAccountAssociatedAssets' a b c GetAccountAssociatedAssets a -> callBlockfrost $ BF.getAccountAssociatedAssets a - -- Client.Cardano.Pools ListPools' a b -> callBlockfrost $ BF.listPools' a b ListPools -> callBlockfrost $ BF.listPools @@ -353,7 +331,6 @@ GetPoolBlocks a -> callBlockfrost $ BF.getPoolBlocks a GetPoolUpdates' a b c -> callBlockfrost $ BF.getPoolUpdates' a b c GetPoolUpdates a -> callBlockfrost $ BF.getPoolUpdates a - -- Client.Cardano.Metadata GetTxMetadataLabels' a b -> callBlockfrost $ BF.getTxMetadataLabels' a b GetTxMetadataLabels -> callBlockfrost $ BF.getTxMetadataLabels diff --git a/effectful-zoo.cabal b/effectful-zoo.cabal --- a/effectful-zoo.cabal +++ b/effectful-zoo.cabal @@ -1,7 +1,7 @@ cabal-version: 3.4 name: effectful-zoo -version: 0.0.4.1 +version: 0.0.5.0 synopsis: Effectful effects for testing description: See https://hackage.haskell.org/package/effectful-zoo/docs/effectful-zoo.html category: Development @@ -36,8 +36,8 @@ common amazonka-secretsmanager { build-depends: amazonka-secretsmanager >= 2 && < 3 } common base64-bytestring { build-depends: base64-bytestring >= 1.2.1 && < 2 } common binary { build-depends: binary >= 0.8.9 && < 0.9 } -common blockfrost-api { build-depends: blockfrost-api >= 0.11 && < 0.12 } -common blockfrost-client { build-depends: blockfrost-client >= 0.8 && < 0.9 } +common blockfrost-api { build-depends: blockfrost-api >= 0.11 && < 0.13 } +common blockfrost-client { build-depends: blockfrost-client >= 0.8 && < 0.10 } common bytestring { build-depends: bytestring >= 0.11 && < 1 } common directory { build-depends: directory >= 1.2 && < 2 } common effectful { build-depends: effectful >= 2.5 && < 3 }