envio 3.0.0-alpha.2 → 3.0.0-alpha.21

package/src/Internal.res

@@ -2,8 +2,262 @@ type eventParams
 type eventBlock
 type eventTransaction
 
+// Field name variants for type-safe field selection.
+// @unboxed compiles to plain strings at runtime, matching JS property names.
+@unboxed
+type evmBlockField =
+  | @as("number") Number
+  | @as("timestamp") Timestamp
+  | @as("hash") Hash
+  | @as("parentHash") ParentHash
+  | @as("nonce") Nonce
+  | @as("sha3Uncles") Sha3Uncles
+  | @as("logsBloom") LogsBloom
+  | @as("transactionsRoot") TransactionsRoot
+  | @as("stateRoot") StateRoot
+  | @as("receiptsRoot") ReceiptsRoot
+  | @as("miner") Miner
+  | @as("difficulty") Difficulty
+  | @as("totalDifficulty") TotalDifficulty
+  | @as("extraData") ExtraData
+  | @as("size") Size
+  | @as("gasLimit") GasLimit
+  | @as("gasUsed") GasUsed
+  | @as("uncles") Uncles
+  | @as("baseFeePerGas") BaseFeePerGas
+  | @as("blobGasUsed") BlobGasUsed
+  | @as("excessBlobGas") ExcessBlobGas
+  | @as("parentBeaconBlockRoot") ParentBeaconBlockRoot
+  | @as("withdrawalsRoot") WithdrawalsRoot
+  | @as("l1BlockNumber") L1BlockNumber
+  | @as("sendCount") SendCount
+  | @as("sendRoot") SendRoot
+  | @as("mixHash") MixHash
+
+@unboxed
+type evmTransactionField =
+  | @as("transactionIndex") TransactionIndex
+  | @as("hash") Hash
+  | @as("from") From
+  | @as("to") To
+  | @as("gas") Gas
+  | @as("gasPrice") GasPrice
+  | @as("maxPriorityFeePerGas") MaxPriorityFeePerGas
+  | @as("maxFeePerGas") MaxFeePerGas
+  | @as("cumulativeGasUsed") CumulativeGasUsed
+  | @as("effectiveGasPrice") EffectiveGasPrice
+  | @as("gasUsed") GasUsed
+  | @as("input") Input
+  | @as("nonce") Nonce
+  | @as("value") Value
+  | @as("v") V
+  | @as("r") R
+  | @as("s") S
+  | @as("contractAddress") ContractAddress
+  | @as("logsBloom") LogsBloom
+  | @as("root") Root
+  | @as("status") Status
+  | @as("yParity") YParity
+  | @as("accessList") AccessList
+  | @as("maxFeePerBlobGas") MaxFeePerBlobGas
+  | @as("blobVersionedHashes") BlobVersionedHashes
+  | @as("type") Type
+  | @as("l1Fee") L1Fee
+  | @as("l1GasPrice") L1GasPrice
+  | @as("l1GasUsed") L1GasUsed
+  | @as("l1FeeScalar") L1FeeScalar
+  | @as("gasUsedForL1") GasUsedForL1
+  | @as("authorizationList") AuthorizationList
+
+let allEvmBlockFields: array<evmBlockField> = [
+  Number,
+  Timestamp,
+  Hash,
+  ParentHash,
+  Nonce,
+  Sha3Uncles,
+  LogsBloom,
+  TransactionsRoot,
+  StateRoot,
+  ReceiptsRoot,
+  Miner,
+  Difficulty,
+  TotalDifficulty,
+  ExtraData,
+  Size,
+  GasLimit,
+  GasUsed,
+  Uncles,
+  BaseFeePerGas,
+  BlobGasUsed,
+  ExcessBlobGas,
+  ParentBeaconBlockRoot,
+  WithdrawalsRoot,
+  L1BlockNumber,
+  SendCount,
+  SendRoot,
+  MixHash,
+]
+let evmBlockFieldSchema = S.enum(allEvmBlockFields)
+
+let allEvmTransactionFields: array<evmTransactionField> = [
+  TransactionIndex,
+  Hash,
+  From,
+  To,
+  Gas,
+  GasPrice,
+  MaxPriorityFeePerGas,
+  MaxFeePerGas,
+  CumulativeGasUsed,
+  EffectiveGasPrice,
+  GasUsed,
+  Input,
+  Nonce,
+  Value,
+  V,
+  R,
+  S,
+  ContractAddress,
+  LogsBloom,
+  Root,
+  Status,
+  YParity,
+  AccessList,
+  MaxFeePerBlobGas,
+  BlobVersionedHashes,
+  Type,
+  L1Fee,
+  L1GasPrice,
+  L1GasUsed,
+  L1FeeScalar,
+  GasUsedForL1,
+  AuthorizationList,
+]
+let evmTransactionFieldSchema = S.enum(allEvmTransactionFields)
+
+// Static sets of nullable field names — used by RpcSource and HyperSyncSource to wrap schemas with S.nullable
+let evmNullableBlockFields = Utils.Set.fromArray(
+  (
+    [
+      Nonce,
+      Difficulty,
+      TotalDifficulty,
+      Uncles,
+      BaseFeePerGas,
+      BlobGasUsed,
+      ExcessBlobGas,
+      ParentBeaconBlockRoot,
+      WithdrawalsRoot,
+      L1BlockNumber,
+      SendCount,
+      SendRoot,
+      MixHash,
+    ]: array<evmBlockField>
+  ),
+)
+let evmNullableTransactionFields = Utils.Set.fromArray(
+  (
+    [
+      GasPrice,
+      V,
+      R,
+      S,
+      YParity,
+      MaxPriorityFeePerGas,
+      MaxFeePerGas,
+      MaxFeePerBlobGas,
+      BlobVersionedHashes,
+      ContractAddress,
+      Root,
+      Status,
+      L1Fee,
+      L1GasPrice,
+      L1GasUsed,
+      L1FeeScalar,
+      GasUsedForL1,
+      From,
+      To,
+      Type,
+    ]: array<evmTransactionField>
+  ),
+)
+
+type evmBlockInput = {
+  number?: int,
+  timestamp?: int,
+  hash?: string,
+  parentHash?: string,
+  nonce?: bigint,
+  sha3Uncles?: string,
+  logsBloom?: string,
+  transactionsRoot?: string,
+  stateRoot?: string,
+  receiptsRoot?: string,
+  miner?: Address.t,
+  difficulty?: bigint,
+  totalDifficulty?: bigint,
+  extraData?: string,
+  size?: bigint,
+  gasLimit?: bigint,
+  gasUsed?: bigint,
+  uncles?: array<string>,
+  baseFeePerGas?: bigint,
+  blobGasUsed?: bigint,
+  excessBlobGas?: bigint,
+  parentBeaconBlockRoot?: string,
+  withdrawalsRoot?: string,
+  l1BlockNumber?: int,
+  sendCount?: string,
+  sendRoot?: string,
+  mixHash?: string,
+}
+
+type evmTransactionInput = {
+  from?: Address.t,
+  to?: Address.t,
+  gas?: bigint,
+  gasPrice?: bigint,
+  hash?: string,
+  input?: string,
+  nonce?: bigint,
+  transactionIndex?: int,
+  value?: bigint,
+  // Signature fields - optional for ZKSync EIP-712 compatibility
+  v?: string,
+  r?: string,
+  s?: string,
+  yParity?: string,
+  // EIP-1559 fields
+  maxPriorityFeePerGas?: bigint,
+  maxFeePerGas?: bigint,
+  // EIP-4844 blob fields
+  maxFeePerBlobGas?: bigint,
+  blobVersionedHashes?: array<string>,
+  // Receipt fields (from joined transaction receipts)
+  cumulativeGasUsed?: bigint,
+  effectiveGasPrice?: bigint,
+  gasUsed?: bigint,
+  contractAddress?: string,
+  logsBloom?: string,
+  @as("type")
+  type_?: int,
+  root?: string,
+  status?: int,
+  accessList?: Js.Json.t,
+  // L2 specific fields (Optimism, Arbitrum, etc.)
+  l1Fee?: bigint,
+  l1GasPrice?: bigint,
+  l1GasUsed?: bigint,
+  l1FeeScalar?: float,
+  gasUsedForL1?: bigint,
+  authorizationList?: Js.Json.t,
+}
+
 @genType
 type genericEvent<'params, 'block, 'transaction> = {
+  contractName: string,
+  eventName: string,
   params: 'params,
   chainId: int,
   srcAddress: Address.t,
@@ -65,7 +319,6 @@ type chains = dict<chainInfo>
 type loaderReturn
 type handlerContext = private {
   isPreload: bool,
-  chains: chains,
   chain: chainInfo,
 }
 type handlerArgs = {
@@ -99,6 +352,7 @@ type eventConfig = private {
   handler: option<handler>,
   contractRegister: option<contractRegister>,
   paramsRawEventSchema: S.schema<eventParams>,
+  simulateParamsSchema: S.schema<eventParams>,
 }
 
 type fuelEventKind =
@@ -107,6 +361,7 @@ type fuelEventKind =
   | Burn
   | Transfer
   | Call
+@genType.opaque
 type fuelEventConfig = {
   ...eventConfig,
   kind: fuelEventKind,
@@ -128,12 +383,13 @@ type eventFiltersArgs = {chainId: int, addresses: array<Address.t>}
 type eventFilters =
   Static(array<topicSelection>) | Dynamic(array<Address.t> => array<topicSelection>)
 
+@genType.opaque
 type evmEventConfig = {
   ...eventConfig,
   getEventFiltersOrThrow: ChainMap.Chain.t => eventFilters,
-  blockSchema: S.schema<eventBlock>,
-  transactionSchema: S.schema<eventTransaction>,
   convertHyperSyncEventArgs: HyperSyncClient.Decoder.decodedEvent => eventParams,
+  selectedBlockFields: Utils.Set.t<evmBlockField>,
+  selectedTransactionFields: Utils.Set.t<evmTransactionField>,
 }
 type evmContractConfig = {
   name: string,
@@ -169,7 +425,8 @@ type eventItem = private {
 type blockEvent
 
 type onBlockArgs = {
-  block: blockEvent,
+  slot?: int,
+  block?: blockEvent,
   context: handlerContext,
 }
 
@@ -243,19 +500,15 @@ let fuelTransferParamsSchema = S.schema(s => {
   amount: s.matches(BigInt.schema),
 })
 
+type multichain = | @as("ordered") Ordered | @as("unordered") Unordered
+
 type entity = private {id: string}
-type clickHouseSetUpdatesCache = {
-  tableName: string,
-  convertOrThrow: Change.t<entity> => Js.Json.t,
-}
 type genericEntityConfig<'entity> = {
   name: string,
   index: int,
   schema: S.t<'entity>,
   rowsSchema: S.t<array<'entity>>,
   table: Table.table,
-  mutable clickHouseSetUpdatesCache?: clickHouseSetUpdatesCache,
-  mutable pgEntityHistoryCache?: EntityHistory.pgEntityHistory<'entity>,
 }
 type entityConfig = genericEntityConfig<entity>
 external fromGenericEntityConfig: genericEntityConfig<'entity> => entityConfig = "%identity"
@@ -312,11 +565,11 @@ let makeCacheTable = (~effectName) => {
 @genType.import(("./Types.ts", "Invalid"))
 type noEventFilters
 
-type checkpointId = float
+type checkpointId = bigint
 
 type reorgCheckpoint = {
   @as("id")
-  checkpointId: float,
+  checkpointId: bigint,
   @as("chain_id")
   chainId: int,
   @as("block_number")

package/src/Internal.res.mjs

@@ -5,6 +5,114 @@ import * as $$BigInt from "./bindings/BigInt.res.mjs";
 import * as Address from "./Address.res.mjs";
 import * as S$RescriptSchema from "rescript-schema/src/S.res.mjs";
 
+var allEvmBlockFields = [
+  "number",
+  "timestamp",
+  "hash",
+  "parentHash",
+  "nonce",
+  "sha3Uncles",
+  "logsBloom",
+  "transactionsRoot",
+  "stateRoot",
+  "receiptsRoot",
+  "miner",
+  "difficulty",
+  "totalDifficulty",
+  "extraData",
+  "size",
+  "gasLimit",
+  "gasUsed",
+  "uncles",
+  "baseFeePerGas",
+  "blobGasUsed",
+  "excessBlobGas",
+  "parentBeaconBlockRoot",
+  "withdrawalsRoot",
+  "l1BlockNumber",
+  "sendCount",
+  "sendRoot",
+  "mixHash"
+];
+
+var evmBlockFieldSchema = S$RescriptSchema.$$enum(allEvmBlockFields);
+
+var allEvmTransactionFields = [
+  "transactionIndex",
+  "hash",
+  "from",
+  "to",
+  "gas",
+  "gasPrice",
+  "maxPriorityFeePerGas",
+  "maxFeePerGas",
+  "cumulativeGasUsed",
+  "effectiveGasPrice",
+  "gasUsed",
+  "input",
+  "nonce",
+  "value",
+  "v",
+  "r",
+  "s",
+  "contractAddress",
+  "logsBloom",
+  "root",
+  "status",
+  "yParity",
+  "accessList",
+  "maxFeePerBlobGas",
+  "blobVersionedHashes",
+  "type",
+  "l1Fee",
+  "l1GasPrice",
+  "l1GasUsed",
+  "l1FeeScalar",
+  "gasUsedForL1",
+  "authorizationList"
+];
+
+var evmTransactionFieldSchema = S$RescriptSchema.$$enum(allEvmTransactionFields);
+
+var evmNullableBlockFields = new Set([
+      "nonce",
+      "difficulty",
+      "totalDifficulty",
+      "uncles",
+      "baseFeePerGas",
+      "blobGasUsed",
+      "excessBlobGas",
+      "parentBeaconBlockRoot",
+      "withdrawalsRoot",
+      "l1BlockNumber",
+      "sendCount",
+      "sendRoot",
+      "mixHash"
+    ]);
+
+var evmNullableTransactionFields = new Set([
+      "gasPrice",
+      "v",
+      "r",
+      "s",
+      "yParity",
+      "maxPriorityFeePerGas",
+      "maxFeePerGas",
+      "maxFeePerBlobGas",
+      "blobVersionedHashes",
+      "contractAddress",
+      "root",
+      "status",
+      "l1Fee",
+      "l1GasPrice",
+      "l1GasUsed",
+      "l1FeeScalar",
+      "gasUsedForL1",
+      "from",
+      "to",
+      "type"
+    ]);
+
 function getItemChainId(item) {
   if (item.kind === 0) {
     return item.chain;
@@ -47,6 +155,12 @@ function makeCacheTable(effectName) {
 }
 
 export {
+  allEvmBlockFields ,
+  evmBlockFieldSchema ,
+  allEvmTransactionFields ,
+  evmTransactionFieldSchema ,
+  evmNullableBlockFields ,
+  evmNullableTransactionFields ,
   getItemChainId ,
   fuelSupplyParamsSchema ,
   fuelTransferParamsSchema ,
@@ -55,4 +169,4 @@ export {
   effectCacheItemRowsSchema ,
   makeCacheTable ,
 }
-/* fuelSupplyParamsSchema Not a pure module */
+/* evmBlockFieldSchema Not a pure module */