@no-witness-labs/midday-sdk 0.1.2 → 0.2.1

package/dist/devnet/errors.js

@@ -0,0 +1,40 @@
+/**
+ * Error types for DevNet operations.
+ *
+ * @since 0.2.0
+ * @module
+ */
+import { Data } from 'effect';
+/**
+ * Error thrown when cluster operations fail.
+ *
+ * @since 0.2.0
+ * @category errors
+ */
+export class ClusterError extends Data.TaggedError('ClusterError') {
+}
+/**
+ * Error thrown when container operations fail.
+ *
+ * @since 0.2.0
+ * @category errors
+ */
+export class ContainerError extends Data.TaggedError('ContainerError') {
+}
+/**
+ * Error thrown when health check fails.
+ *
+ * @since 0.2.0
+ * @category errors
+ */
+export class HealthCheckError extends Data.TaggedError('HealthCheckError') {
+}
+/**
+ * Error thrown when Docker is not running.
+ *
+ * @since 0.2.0
+ * @category errors
+ */
+export class DockerNotRunningError extends Data.TaggedError('DockerNotRunningError') {
+}
+//# sourceMappingURL=errors.js.map

package/dist/devnet/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/devnet/errors.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAE9B;;;;;GAKG;AACH,MAAM,OAAO,YAAa,SAAQ,IAAI,CAAC,WAAW,CAAC,cAAc,CAI/D;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,cAAe,SAAQ,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAInE;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAGvE;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,qBAAsB,SAAQ,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAEjF;CAAG"}

package/dist/devnet/index.d.ts

@@ -0,0 +1,72 @@
+/**
+ * DevNet module for local Midnight development and testing.
+ *
+ * Provides a complete local development environment with Docker containers
+ * for Midnight node, indexer, and proof server.
+ *
+ * @example Promise API (default)
+ * ```typescript
+ * import { Cluster } from '@no-witness-labs/midday-sdk/devnet';
+ * import { createClient } from '@no-witness-labs/midday-sdk';
+ *
+ * // Create and start a local devnet
+ * const cluster = await Cluster.make();
+ * await Cluster.start(cluster);
+ *
+ * // Use with midday-sdk
+ * const client = await createClient({
+ *   networkConfig: Cluster.toNetworkConfig(cluster),
+ *   seed: 'your-wallet-seed',
+ * });
+ *
+ * // ... run your tests or development ...
+ *
+ * // Cleanup
+ * await Cluster.remove(cluster);
+ * ```
+ *
+ * @example Effect API (composable)
+ * ```typescript
+ * import { Cluster } from '@no-witness-labs/midday-sdk/devnet';
+ * import { Effect } from 'effect';
+ *
+ * // Compose with Effect
+ * const program = Effect.gen(function* () {
+ *   const cluster = yield* Cluster.effect.make();
+ *   yield* Cluster.effect.start(cluster);
+ *   // ... your Effect-based code ...
+ *   yield* Cluster.effect.remove(cluster);
+ * });
+ *
+ * await Effect.runPromise(program);
+ * ```
+ *
+ * @example Effect DI (dependency injection)
+ * ```typescript
+ * import { Cluster, ClusterService } from '@no-witness-labs/midday-sdk/devnet';
+ * import { Effect } from 'effect';
+ *
+ * // Use with Effect's dependency injection
+ * const program = Effect.gen(function* () {
+ *   const svc = yield* ClusterService;
+ *   const cluster = yield* svc.make();
+ *   yield* svc.start(cluster);
+ *   return Cluster.toNetworkConfig(cluster);
+ * });
+ *
+ * await Effect.runPromise(program.pipe(Effect.provide(Cluster.Live)));
+ * ```
+ *
+ * @since 0.2.0
+ * @module
+ */
+export * as Cluster from './Cluster.js';
+export * as Config from './Config.js';
+export * as Container from './Container.js';
+export * as Health from './Health.js';
+export * as Images from './Images.js';
+export * from './errors.js';
+export { ClusterService } from './Cluster.js';
+export { ContainerService } from './Container.js';
+export { HealthService } from './Health.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/devnet/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/devnet/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AAEH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,cAAc,aAAa,CAAC;AAG5B,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}

package/dist/devnet/index.js

@@ -0,0 +1,73 @@
+/**
+ * DevNet module for local Midnight development and testing.
+ *
+ * Provides a complete local development environment with Docker containers
+ * for Midnight node, indexer, and proof server.
+ *
+ * @example Promise API (default)
+ * ```typescript
+ * import { Cluster } from '@no-witness-labs/midday-sdk/devnet';
+ * import { createClient } from '@no-witness-labs/midday-sdk';
+ *
+ * // Create and start a local devnet
+ * const cluster = await Cluster.make();
+ * await Cluster.start(cluster);
+ *
+ * // Use with midday-sdk
+ * const client = await createClient({
+ *   networkConfig: Cluster.toNetworkConfig(cluster),
+ *   seed: 'your-wallet-seed',
+ * });
+ *
+ * // ... run your tests or development ...
+ *
+ * // Cleanup
+ * await Cluster.remove(cluster);
+ * ```
+ *
+ * @example Effect API (composable)
+ * ```typescript
+ * import { Cluster } from '@no-witness-labs/midday-sdk/devnet';
+ * import { Effect } from 'effect';
+ *
+ * // Compose with Effect
+ * const program = Effect.gen(function* () {
+ *   const cluster = yield* Cluster.effect.make();
+ *   yield* Cluster.effect.start(cluster);
+ *   // ... your Effect-based code ...
+ *   yield* Cluster.effect.remove(cluster);
+ * });
+ *
+ * await Effect.runPromise(program);
+ * ```
+ *
+ * @example Effect DI (dependency injection)
+ * ```typescript
+ * import { Cluster, ClusterService } from '@no-witness-labs/midday-sdk/devnet';
+ * import { Effect } from 'effect';
+ *
+ * // Use with Effect's dependency injection
+ * const program = Effect.gen(function* () {
+ *   const svc = yield* ClusterService;
+ *   const cluster = yield* svc.make();
+ *   yield* svc.start(cluster);
+ *   return Cluster.toNetworkConfig(cluster);
+ * });
+ *
+ * await Effect.runPromise(program.pipe(Effect.provide(Cluster.Live)));
+ * ```
+ *
+ * @since 0.2.0
+ * @module
+ */
+export * as Cluster from './Cluster.js';
+export * as Config from './Config.js';
+export * as Container from './Container.js';
+export * as Health from './Health.js';
+export * as Images from './Images.js';
+export * from './errors.js';
+// Re-export service tags for DI users
+export { ClusterService } from './Cluster.js';
+export { ContainerService } from './Container.js';
+export { HealthService } from './Health.js';
+//# sourceMappingURL=index.js.map

package/dist/devnet/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/devnet/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AAEH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,cAAc,aAAa,CAAC;AAE5B,sCAAsC;AACtC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}

package/dist/index.d.ts

@@ -1,26 +1,82 @@
 /**
  * Midday SDK - Developer-friendly SDK for building dapps on Midnight Network.
  *
+ * Provides dual API: Effect-based and Promise-based for flexibility.
+ *
+ * @example
+ * ```typescript
+ * // Browser with Lace wallet (Promise-based)
+ * import * as Midday from '@no-witness-labs/midday-sdk';
+ *
+ * const connection = await Midday.connectWallet('testnet');
+ * const client = await Midday.Client.fromWallet(connection, {
+ *   zkConfigProvider: new Midday.HttpZkConfigProvider('https://cdn.example.com/zk'),
+ *   privateStateProvider: Midday.indexedDBPrivateStateProvider({ privateStateStoreName: 'my-app' }),
+ * });
+ *
+ * const builder = await Midday.Client.contractFrom(client, {
+ *   module: await import('./contracts/counter/index.js'),
+ * });
+ * const contract = await Midday.ContractBuilder.deploy(builder);
+ * await Midday.Contract.call(contract, 'increment');
+ * ```
+ *
  * @example
  * ```typescript
+ * // Effect-based usage
  * import * as Midday from '@no-witness-labs/midday-sdk';
+ * import { Effect } from 'effect';
+ *
+ * const program = Effect.gen(function* () {
+ *   const client = yield* Midday.Client.effect.create({
+ *     seed: 'your-64-char-hex-seed',
+ *     networkConfig: Midday.Config.NETWORKS.local,
+ *     zkConfigProvider: new Midday.HttpZkConfigProvider('http://localhost:3000/zk'),
+ *     privateStateProvider: Midday.inMemoryPrivateStateProvider(),
+ *   });
+ *
+ *   const builder = yield* Midday.Client.effect.contractFrom(client, {
+ *     module: await import('./contracts/counter/index.js'),
+ *   });
+ *
+ *   const contract = yield* Midday.ContractBuilder.effect.deploy(builder);
+ *   const result = yield* Midday.Contract.effect.call(contract, 'increment');
+ *
+ *   return result;
+ * });
  *
- * const client = await Midday.Client.create();
- * const contract = await (await client.contractFrom('build/my-contract')).deploy();
- * await contract.call('myAction', arg1, arg2);
- * const state = await contract.ledgerState();
+ * const result = await Midday.runEffectPromise(program);
  * ```
  *
  * @since 0.1.0
  * @module
  */
+export { Effect, pipe, Context, Layer } from 'effect';
+export { LoggerService, NetworkConfigService, SdkConfigService, makeSdkLayer, type SdkConfig, } from './Config.js';
 export * as Client from './Client.js';
+export { Contract, ContractBuilder } from './Client.js';
 export * as Config from './Config.js';
 export * as Wallet from './Wallet.js';
 export * as Providers from './Providers.js';
+export { runEffect, runEffectPromise } from './utils/effect-runtime.js';
+export { ClientError, ContractError } from './Client.js';
+export { WalletError } from './wallet/errors.js';
+export { ProviderError, ZkConfigError, PrivateStateError } from './providers/errors.js';
+export type { EffectToPromise, EffectToPromiseAPI, SelectivePromiseAPI, SelectiveSyncAPI, } from './sdk/Type.js';
+export { hexToBytes, bytesToHex, base64ToBytes, bytesToBase64 } from './utils/hex.js';
+export { parseShieldedAddress, hexToPublicKey, type ParsedAddress } from './utils/address.js';
+export { createCoin, createCustomCoin, getNativeTokenColor, type CoinInfo } from './utils/coin.js';
+export { connectWallet, disconnectWallet, isWalletAvailable, getWalletProvingProvider, effect as WalletConnectorEffect, WalletConnectorService, WalletConnectorLive, type WalletConnection, type ShieldedAddresses, type InitialAPI, type ConnectedAPI, type Configuration, type ProvingProvider, type KeyMaterialProvider, type WalletConnectorServiceImpl, } from './wallet/connector.js';
+export { createWalletProviders, effect as WalletProviderEffect, WalletProviderService, WalletProviderLive, type WalletKeys, type WalletProviders, type WalletProviderServiceImpl, } from './wallet/provider.js';
+export { HttpZkConfigProvider, make as makeHttpZkConfigProvider, getZKIR, getProverKey, getVerifierKey, clearCache as clearZkConfigCache, effect as HttpZkConfigProviderEffect, ZkConfigService, ZkConfigLive, ZkConfigProviderService, type ZkConfig, type HttpZkConfigProviderData, type ZkConfigServiceImpl, } from './providers/HttpZkConfigProvider.js';
+export { FetchZkConfigProvider } from '@midnight-ntwrk/midnight-js-fetch-zk-config-provider';
+export { indexedDBPrivateStateProvider, inMemoryPrivateStateProvider, makeIndexedDB as makeIndexedDBPrivateState, makeInMemory as makeInMemoryPrivateState, get as getPrivateState, set as setPrivateState, remove as removePrivateState, clear as clearPrivateState, effect as PrivateStateEffect, PrivateStateService, PrivateStateLive, PrivateStateProviderService, type IndexedDBPrivateStateConfig, type PrivateStateProviderData, type PrivateStateServiceImpl, } from './providers/IndexedDBPrivateStateProvider.js';
 export { nativeToken } from '@midnight-ntwrk/ledger-v6';
-export type { ClientConfig, MidnightClient, ContractBuilder, ConnectedContract, CallResult, FinalizedTxData } from './Client.js';
+export type { ClientConfig, MidnightClient, CallResult, FinalizedTxData, ContractModule, ContractFromOptions, Logger, DeployOptions, JoinOptions, LoadedContractModule, ClientServiceImpl, ContractBuilderServiceImpl, ContractServiceImpl, } from './Client.js';
+export { ClientService, ClientLive, ContractBuilderService, ContractBuilderLive, ContractService, ContractLive, } from './Client.js';
 export type { NetworkConfig } from './Config.js';
-export type { WalletContext } from './Wallet.js';
-export type { ContractProviders, StorageConfig } from './Providers.js';
+export type { WalletContext, WalletServiceImpl } from './Wallet.js';
+export { WalletService, WalletLive } from './Wallet.js';
+export type { ContractProviders, StorageConfig, CreateProvidersOptions, ContractProvidersEffect, ProvidersServiceImpl, } from './Providers.js';
+export { ProvidersService, ProvidersLive } from './Providers.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAG5C,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAGxD,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACjI,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,YAAY,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAGH,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAGtD,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,YAAY,EACZ,KAAK,SAAS,GACf,MAAM,aAAa,CAAC;AAGrB,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAG5C,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAGxE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAGxF,YAAY,EACV,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC9F,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,KAAK,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAGnG,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,wBAAwB,EACxB,MAAM,IAAI,qBAAqB,EAC/B,sBAAsB,EACtB,mBAAmB,EACnB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,mBAAmB,EACxB,KAAK,0BAA0B,GAChC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,qBAAqB,EACrB,MAAM,IAAI,oBAAoB,EAC9B,qBAAqB,EACrB,kBAAkB,EAClB,KAAK,UAAU,EACf,KAAK,eAAe,EACpB,KAAK,yBAAyB,GAC/B,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACL,oBAAoB,EACpB,IAAI,IAAI,wBAAwB,EAChC,OAAO,EACP,YAAY,EACZ,cAAc,EACd,UAAU,IAAI,kBAAkB,EAChC,MAAM,IAAI,0BAA0B,EACpC,eAAe,EACf,YAAY,EACZ,uBAAuB,EACvB,KAAK,QAAQ,EACb,KAAK,wBAAwB,EAC7B,KAAK,mBAAmB,GACzB,MAAM,qCAAqC,CAAC;AAG7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,sDAAsD,CAAC;AAC7F,OAAO,EACL,6BAA6B,EAC7B,4BAA4B,EAC5B,aAAa,IAAI,yBAAyB,EAC1C,YAAY,IAAI,wBAAwB,EACxC,GAAG,IAAI,eAAe,EACtB,GAAG,IAAI,eAAe,EACtB,MAAM,IAAI,kBAAkB,EAC5B,KAAK,IAAI,iBAAiB,EAC1B,MAAM,IAAI,kBAAkB,EAC5B,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,KAAK,2BAA2B,EAChC,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,GAC7B,MAAM,8CAA8C,CAAC;AAGtD,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAGxD,YAAY,EACV,YAAY,EACZ,cAAc,EACd,UAAU,EACV,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,MAAM,EACN,aAAa,EACb,WAAW,EACX,oBAAoB,EACpB,iBAAiB,EACjB,0BAA0B,EAC1B,mBAAmB,GACpB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,aAAa,EACb,UAAU,EACV,sBAAsB,EACtB,mBAAmB,EACnB,eAAe,EACf,YAAY,GACb,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACxD,YAAY,EACV,iBAAiB,EACjB,aAAa,EACb,sBAAsB,EACtB,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/index.js

@@ -1,23 +1,87 @@
 /**
  * Midday SDK - Developer-friendly SDK for building dapps on Midnight Network.
  *
+ * Provides dual API: Effect-based and Promise-based for flexibility.
+ *
+ * @example
+ * ```typescript
+ * // Browser with Lace wallet (Promise-based)
+ * import * as Midday from '@no-witness-labs/midday-sdk';
+ *
+ * const connection = await Midday.connectWallet('testnet');
+ * const client = await Midday.Client.fromWallet(connection, {
+ *   zkConfigProvider: new Midday.HttpZkConfigProvider('https://cdn.example.com/zk'),
+ *   privateStateProvider: Midday.indexedDBPrivateStateProvider({ privateStateStoreName: 'my-app' }),
+ * });
+ *
+ * const builder = await Midday.Client.contractFrom(client, {
+ *   module: await import('./contracts/counter/index.js'),
+ * });
+ * const contract = await Midday.ContractBuilder.deploy(builder);
+ * await Midday.Contract.call(contract, 'increment');
+ * ```
+ *
  * @example
  * ```typescript
+ * // Effect-based usage
  * import * as Midday from '@no-witness-labs/midday-sdk';
+ * import { Effect } from 'effect';
+ *
+ * const program = Effect.gen(function* () {
+ *   const client = yield* Midday.Client.effect.create({
+ *     seed: 'your-64-char-hex-seed',
+ *     networkConfig: Midday.Config.NETWORKS.local,
+ *     zkConfigProvider: new Midday.HttpZkConfigProvider('http://localhost:3000/zk'),
+ *     privateStateProvider: Midday.inMemoryPrivateStateProvider(),
+ *   });
+ *
+ *   const builder = yield* Midday.Client.effect.contractFrom(client, {
+ *     module: await import('./contracts/counter/index.js'),
+ *   });
+ *
+ *   const contract = yield* Midday.ContractBuilder.effect.deploy(builder);
+ *   const result = yield* Midday.Contract.effect.call(contract, 'increment');
+ *
+ *   return result;
+ * });
  *
- * const client = await Midday.Client.create();
- * const contract = await (await client.contractFrom('build/my-contract')).deploy();
- * await contract.call('myAction', arg1, arg2);
- * const state = await contract.ledgerState();
+ * const result = await Midday.runEffectPromise(program);
  * ```
  *
  * @since 0.1.0
  * @module
  */
+// Re-export Effect for consumer convenience
+export { Effect, pipe, Context, Layer } from 'effect';
+// Services for dependency injection (from Config module)
+export { LoggerService, NetworkConfigService, SdkConfigService, makeSdkLayer, } from './Config.js';
+// Core modules
 export * as Client from './Client.js';
+export { Contract, ContractBuilder } from './Client.js';
 export * as Config from './Config.js';
 export * as Wallet from './Wallet.js';
 export * as Providers from './Providers.js';
+// Effect utilities
+export { runEffect, runEffectPromise } from './utils/effect-runtime.js';
+// Error types (colocated with their modules)
+export { ClientError, ContractError } from './Client.js';
+export { WalletError } from './wallet/errors.js';
+export { ProviderError, ZkConfigError, PrivateStateError } from './providers/errors.js';
+// Utilities
+export { hexToBytes, bytesToHex, base64ToBytes, bytesToBase64 } from './utils/hex.js';
+export { parseShieldedAddress, hexToPublicKey } from './utils/address.js';
+export { createCoin, createCustomCoin, getNativeTokenColor } from './utils/coin.js';
+// Wallet connector (browser)
+export { connectWallet, disconnectWallet, isWalletAvailable, getWalletProvingProvider, effect as WalletConnectorEffect, WalletConnectorService, WalletConnectorLive, } from './wallet/connector.js';
+export { createWalletProviders, effect as WalletProviderEffect, WalletProviderService, WalletProviderLive, } from './wallet/provider.js';
+// Providers
+export { HttpZkConfigProvider, make as makeHttpZkConfigProvider, getZKIR, getProverKey, getVerifierKey, clearCache as clearZkConfigCache, effect as HttpZkConfigProviderEffect, ZkConfigService, ZkConfigLive, ZkConfigProviderService, } from './providers/HttpZkConfigProvider.js';
+// Re-export FetchZkConfigProvider for browser use
+export { FetchZkConfigProvider } from '@midnight-ntwrk/midnight-js-fetch-zk-config-provider';
+export { indexedDBPrivateStateProvider, inMemoryPrivateStateProvider, makeIndexedDB as makeIndexedDBPrivateState, makeInMemory as makeInMemoryPrivateState, get as getPrivateState, set as setPrivateState, remove as removePrivateState, clear as clearPrivateState, effect as PrivateStateEffect, PrivateStateService, PrivateStateLive, PrivateStateProviderService, } from './providers/IndexedDBPrivateStateProvider.js';
 // Re-export ledger utilities for balance checking
 export { nativeToken } from '@midnight-ntwrk/ledger-v6';
+export { ClientService, ClientLive, ContractBuilderService, ContractBuilderLive, ContractService, ContractLive, } from './Client.js';
+export { WalletService, WalletLive } from './Wallet.js';
+export { ProvidersService, ProvidersLive } from './Providers.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAE5C,kDAAkD;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAEH,4CAA4C;AAC5C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAEtD,yDAAyD;AACzD,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,YAAY,GAEb,MAAM,aAAa,CAAC;AAErB,eAAe;AACf,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAE5C,mBAAmB;AACnB,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAExE,6CAA6C;AAC7C,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAUxF,YAAY;AACZ,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAsB,MAAM,oBAAoB,CAAC;AAC9F,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,mBAAmB,EAAiB,MAAM,iBAAiB,CAAC;AAEnG,6BAA6B;AAC7B,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,wBAAwB,EACxB,MAAM,IAAI,qBAAqB,EAC/B,sBAAsB,EACtB,mBAAmB,GASpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,qBAAqB,EACrB,MAAM,IAAI,oBAAoB,EAC9B,qBAAqB,EACrB,kBAAkB,GAInB,MAAM,sBAAsB,CAAC;AAE9B,YAAY;AACZ,OAAO,EACL,oBAAoB,EACpB,IAAI,IAAI,wBAAwB,EAChC,OAAO,EACP,YAAY,EACZ,cAAc,EACd,UAAU,IAAI,kBAAkB,EAChC,MAAM,IAAI,0BAA0B,EACpC,eAAe,EACf,YAAY,EACZ,uBAAuB,GAIxB,MAAM,qCAAqC,CAAC;AAE7C,kDAAkD;AAClD,OAAO,EAAE,qBAAqB,EAAE,MAAM,sDAAsD,CAAC;AAC7F,OAAO,EACL,6BAA6B,EAC7B,4BAA4B,EAC5B,aAAa,IAAI,yBAAyB,EAC1C,YAAY,IAAI,wBAAwB,EACxC,GAAG,IAAI,eAAe,EACtB,GAAG,IAAI,eAAe,EACtB,MAAM,IAAI,kBAAkB,EAC5B,KAAK,IAAI,iBAAiB,EAC1B,MAAM,IAAI,kBAAkB,EAC5B,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,GAI5B,MAAM,8CAA8C,CAAC;AAEtD,kDAAkD;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAkBxD,OAAO,EACL,aAAa,EACb,UAAU,EACV,sBAAsB,EACtB,mBAAmB,EACnB,eAAe,EACf,YAAY,GACb,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAQxD,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/providers/HttpZkConfigProvider.d.ts

@@ -0,0 +1,229 @@
+/**
+ * HTTP-based ZK configuration provider.
+ *
+ * ## API Design
+ *
+ * This module uses a **module-function pattern**:
+ *
+ * - **Stateless**: Functions operate on HttpZkConfigProvider data
+ * - **Module functions**: `HttpZkConfigProvider.getZKIR(provider, circuitId)`
+ * - **Data-oriented**: Provider is plain data, not an instance with methods
+ *
+ * ### Usage Patterns
+ *
+ * ```typescript
+ * // Promise user
+ * const provider = HttpZkConfigProvider.make('https://cdn.example.com/zk');
+ * const zkir = await HttpZkConfigProvider.getZKIR(provider, 'increment');
+ *
+ * // Effect user
+ * const provider = HttpZkConfigProvider.make('https://cdn.example.com/zk');
+ * const zkir = yield* HttpZkConfigProvider.effect.getZKIR(provider, 'increment');
+ * ```
+ *
+ * @since 0.2.0
+ * @module
+ */
+import { Context, Effect, Layer } from 'effect';
+import { ZKConfigProvider, type ProverKey, type VerifierKey, type ZKIR } from '@midnight-ntwrk/midnight-js-types';
+import { ZkConfigError } from './errors.js';
+/**
+ * ZK configuration loaded from HTTP endpoints.
+ *
+ * @since 0.2.0
+ * @category model
+ */
+export interface ZkConfig {
+    /** Zero-knowledge intermediate representation */
+    zkir: ZKIR;
+    /** Prover key bytes */
+    proverKey: ProverKey;
+    /** Verifier key bytes */
+    verifierKey: VerifierKey;
+}
+/**
+ * Represents an HTTP ZK config provider.
+ *
+ * This is plain data - use module functions to operate on it.
+ *
+ * @since 0.2.0
+ * @category model
+ */
+export interface HttpZkConfigProviderData {
+    /** Base URL for ZK artifacts */
+    readonly baseUrl: string;
+    /** Fetch function to use */
+    readonly fetchFn: typeof fetch;
+    /** Internal cache for loaded configs */
+    readonly cache: Map<string, ZkConfig>;
+}
+declare function getZKIREffect(provider: HttpZkConfigProviderData, circuitId: string): Effect.Effect<ZKIR, ZkConfigError>;
+declare function getProverKeyEffect(provider: HttpZkConfigProviderData, circuitId: string): Effect.Effect<ProverKey, ZkConfigError>;
+declare function getVerifierKeyEffect(provider: HttpZkConfigProviderData, circuitId: string): Effect.Effect<VerifierKey, ZkConfigError>;
+/**
+ * Create a new HTTP ZK config provider.
+ *
+ * @param baseUrl - Base URL for ZK artifacts (without trailing slash)
+ * @param fetchFn - Optional custom fetch function (defaults to global fetch)
+ * @returns HttpZkConfigProviderData
+ *
+ * @example
+ * ```typescript
+ * const provider = HttpZkConfigProvider.make('https://cdn.example.com/contracts/counter');
+ * ```
+ *
+ * @since 0.2.0
+ * @category constructors
+ */
+export declare function make(baseUrl: string, fetchFn?: typeof fetch): HttpZkConfigProviderData;
+/**
+ * Get the ZKIR for a circuit.
+ *
+ * @param provider - The provider data
+ * @param circuitId - Circuit identifier
+ * @returns ZKIR bytes
+ *
+ * @since 0.2.0
+ * @category operations
+ */
+export declare function getZKIR(provider: HttpZkConfigProviderData, circuitId: string): Promise<ZKIR>;
+/**
+ * Get the prover key for a circuit.
+ *
+ * @param provider - The provider data
+ * @param circuitId - Circuit identifier
+ * @returns Prover key bytes
+ *
+ * @since 0.2.0
+ * @category operations
+ */
+export declare function getProverKey(provider: HttpZkConfigProviderData, circuitId: string): Promise<ProverKey>;
+/**
+ * Get the verifier key for a circuit.
+ *
+ * @param provider - The provider data
+ * @param circuitId - Circuit identifier
+ * @returns Verifier key bytes
+ *
+ * @since 0.2.0
+ * @category operations
+ */
+export declare function getVerifierKey(provider: HttpZkConfigProviderData, circuitId: string): Promise<VerifierKey>;
+/**
+ * Clear the cache for a specific circuit or all circuits.
+ *
+ * @param provider - The provider data
+ * @param circuitId - Optional circuit ID to clear (clears all if not provided)
+ *
+ * @since 0.2.0
+ * @category utilities
+ */
+export declare function clearCache(provider: HttpZkConfigProviderData, circuitId?: string): void;
+/**
+ * Raw Effect APIs for advanced users.
+ *
+ * @since 0.2.0
+ * @category effect
+ */
+export declare const effect: {
+    getZKIR: typeof getZKIREffect;
+    getProverKey: typeof getProverKeyEffect;
+    getVerifierKey: typeof getVerifierKeyEffect;
+};
+/**
+ * HTTP-based ZK configuration provider class.
+ *
+ * This class wraps the module functions to provide compatibility with
+ * the midnight-js ZKConfigProvider interface.
+ *
+ * @example
+ * ```typescript
+ * const zkConfig = new HttpZkConfigProvider('https://cdn.example.com/contracts/counter');
+ *
+ * // Use with midnight-js
+ * const client = await Client.create({
+ *   zkConfigProvider: zkConfig,
+ *   // ...
+ * });
+ * ```
+ *
+ * @since 0.2.0
+ * @category constructors
+ */
+export declare class HttpZkConfigProvider<K extends string = string> extends ZKConfigProvider<K> {
+    private readonly data;
+    /**
+     * Create a new HTTP ZK config provider.
+     *
+     * @param baseUrl - Base URL for ZK artifacts (without trailing slash)
+     * @param fetchFn - Optional custom fetch function (defaults to global fetch)
+     */
+    constructor(baseUrl: string, fetchFn?: typeof fetch);
+    /**
+     * Get the ZKIR for a circuit.
+     */
+    getZKIR(circuitId: K): Promise<ZKIR>;
+    /**
+     * Get the prover key for a circuit.
+     */
+    getProverKey(circuitId: K): Promise<ProverKey>;
+    /**
+     * Get the verifier key for a circuit.
+     */
+    getVerifierKey(circuitId: K): Promise<VerifierKey>;
+    /**
+     * Clear the cache for a specific circuit or all circuits.
+     */
+    clearCache(circuitId?: K): void;
+    /**
+     * Raw Effect APIs for advanced users.
+     *
+     * @since 0.2.0
+     * @category effect
+     */
+    readonly effect: {
+        getZKIR: (circuitId: K) => Effect.Effect<ZKIR, ZkConfigError, never>;
+        getProverKey: (circuitId: K) => Effect.Effect<ProverKey, ZkConfigError, never>;
+        getVerifierKey: (circuitId: K) => Effect.Effect<VerifierKey, ZkConfigError, never>;
+    };
+}
+/**
+ * Service interface for ZkConfig operations.
+ *
+ * @since 0.2.0
+ * @category service
+ */
+export interface ZkConfigServiceImpl {
+    readonly getZKIR: (provider: HttpZkConfigProviderData, circuitId: string) => Effect.Effect<ZKIR, ZkConfigError>;
+    readonly getProverKey: (provider: HttpZkConfigProviderData, circuitId: string) => Effect.Effect<ProverKey, ZkConfigError>;
+    readonly getVerifierKey: (provider: HttpZkConfigProviderData, circuitId: string) => Effect.Effect<VerifierKey, ZkConfigError>;
+}
+declare const ZkConfigService_base: Context.TagClass<ZkConfigService, "ZkConfigService", ZkConfigServiceImpl>;
+/**
+ * Context.Tag for ZkConfigService dependency injection.
+ *
+ * @since 0.2.0
+ * @category service
+ */
+export declare class ZkConfigService extends ZkConfigService_base {
+}
+/**
+ * Live Layer for ZkConfigService.
+ *
+ * @since 0.2.0
+ * @category layer
+ */
+export declare const ZkConfigLive: Layer.Layer<ZkConfigService>;
+declare const ZkConfigProviderService_base: Context.TagClass<ZkConfigProviderService, "ZkConfigProviderService", ZKConfigProvider<string>>;
+/**
+ * ZK configuration provider service for dependency injection.
+ *
+ * This tag allows injecting a ZKConfigProvider instance.
+ *
+ * @since 0.3.0
+ * @category services
+ */
+export declare class ZkConfigProviderService extends ZkConfigProviderService_base {
+}
+export {};
+//# sourceMappingURL=HttpZkConfigProvider.d.ts.map

package/dist/providers/HttpZkConfigProvider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"HttpZkConfigProvider.d.ts","sourceRoot":"","sources":["../../src/providers/HttpZkConfigProvider.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EACL,gBAAgB,EAChB,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,IAAI,EAIV,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAG5C;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,iDAAiD;IACjD,IAAI,EAAE,IAAI,CAAC;IACX,uBAAuB;IACvB,SAAS,EAAE,SAAS,CAAC;IACrB,yBAAyB;IACzB,WAAW,EAAE,WAAW,CAAC;CAC1B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,wBAAwB;IACvC,gCAAgC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4BAA4B;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,KAAK,CAAC;IAC/B,wCAAwC;IACxC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CACvC;AA2BD,iBAAS,aAAa,CACpB,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAChB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAUpC;AAED,iBAAS,kBAAkB,CACzB,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAChB,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,CAUzC;AAED,iBAAS,oBAAoB,CAC3B,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAChB,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC,CAU3C;AAMD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,KAAK,GAAG,wBAAwB,CAMtF;AAED;;;;;;;;;GASG;AACH,wBAAsB,OAAO,CAC3B,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,IAAI,CAAC,CAEf;AAED;;;;;;;;;GASG;AACH,wBAAsB,YAAY,CAChC,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,SAAS,CAAC,CAEpB;AAED;;;;;;;;;GASG;AACH,wBAAsB,cAAc,CAClC,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,WAAW,CAAC,CAEtB;AAED;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,wBAAwB,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAMvF;AAED;;;;;GAKG;AACH,eAAO,MAAM,MAAM;;;;CAIlB,CAAC;AAMF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,qBAAa,oBAAoB,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,CAAE,SAAQ,gBAAgB,CAAC,CAAC,CAAC;IACtF,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA2B;IAEhD;;;;;OAKG;gBACS,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,KAAK;IAKnD;;OAEG;IACG,OAAO,CAAC,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAI1C;;OAEG;IACG,YAAY,CAAC,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC;IAIpD;;OAEG;IACG,cAAc,CAAC,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC;IAIxD;;OAEG;IACH,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,IAAI;IAI/B;;;;;OAKG;IACH,QAAQ,CAAC,MAAM;6BACQ,CAAC;kCACI,CAAC;oCACC,CAAC;MAC7B;CACH;AAMD;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,CAChB,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACxC,QAAQ,CAAC,YAAY,EAAE,CACrB,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IAC7C,QAAQ,CAAC,cAAc,EAAE,CACvB,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;CAChD;;AAED;;;;;GAKG;AACH,qBAAa,eAAgB,SAAQ,oBAGlC;CAAG;AAMN;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,eAAe,CAIpD,CAAC;;AAEH;;;;;;;GAOG;AACH,qBAAa,uBAAwB,SAAQ,4BAG1C;CAAG"}