BlockchainReaderTF
Read-only blockchain operations with generic effect type. (TF is for "tagless final" style, often term used in FP literature).
This trait provides read-only access to blockchain state. Use BlockchainProviderTF when you also need to submit transactions.
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait BlockchainProviderTF[F]trait BlockchainProviderclass BlockfrostProvidertrait EmulatorBaseclass Emulatortrait BlockchainReaderShow all
Members list
Value members
Abstract methods
Returns CardanoInfo for this provider.
Returns CardanoInfo for this provider.
Attributes
Check the status of a transaction on the blockchain.
Check the status of a transaction on the blockchain.
Value parameters
- txHash
-
the transaction hash to check
Attributes
- Returns
-
the current status of the transaction
Returns the current slot number.
Returns the current slot number.
Attributes
Fetches the latest protocol parameters from the network.
Fetches the latest protocol parameters from the network.
Attributes
Find UTxOs using a type-safe query.
Find UTxOs using a type-safe query.
Attributes
Concrete methods
Query UTxOs using a lambda DSL.
Query UTxOs using a lambda DSL.
Translates the lambda to a UtxoQuery at compile time and returns a builder that can be further configured before execution. Effect-polymorphic — the resulting .execute() returns the reader's own F[Either[UtxoQueryError, Utxos]], so the same call shape works on Future-typed providers (Blockfrost, JS) and direct-style providers (ox Id).
Example:
// Simple query — execute immediately
reader.queryUtxos { u =>
u.output.address == myAddress
}.execute()
// With pagination and minimum total
reader.queryUtxos { u =>
u.output.address == myAddress && u.output.value.hasAsset(policyId, assetName)
}.minTotal(Coin.ada(100)).limit(10).execute()
Supported expressions:
u.output.address == addr— query by addressu.input.transactionId == txId— query by transactionu.output.value.hasAsset(policyId, assetName)— query/filter by assetu.output.value.coin >= amount— filter by minimum lovelaceu.output.hasDatumHash(hash)— filter by datum hash&&— AND combination||— OR combination
Value parameters
- f
-
Lambda expression from Utxo to Boolean
Attributes
- Returns
-
A UtxoQueryWithReaderTF builder over this reader's effect type