functype 1.21.0 → 1.21.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/{Brand-C7Hd33JX.d.ts → Brand-bfnGXuum.d.ts} +2 -0
- package/dist/{CompanionTypes-DMzcby8K.d.ts → CompanionTypes-Cc90cQ4P.d.ts} +4 -0
- package/dist/{Invariant-6Y75Psb0.d.ts → Invariant-DEan-SxV.d.ts} +2 -0
- package/dist/{Logger-D6LMspN7.d.ts → Logger-BmprRS8v.d.ts} +2 -0
- package/dist/{Tuple-dvvPo5g7.d.ts → Tuple-B8KM-H8Y.d.ts} +12 -0
- package/dist/{Wire-BNcqYOqO.d.ts → Wire-3hvw0Ogg.d.ts} +2 -0
- package/dist/branded/index.d.ts +1 -1
- package/dist/cli/exports.d.ts +4 -0
- package/dist/cli/exports.js +1 -1
- package/dist/cli/index.js +1 -1
- package/dist/companion/index.d.ts +1 -1
- package/dist/conditional/index.d.ts +1 -1
- package/dist/conditional/index.js +1 -1
- package/dist/core/task/index.d.ts +1 -1
- package/dist/core/task/index.js +1 -1
- package/dist/decoder/index.d.ts +1 -1
- package/dist/decoder/index.js +1 -1
- package/dist/do/index.d.ts +1 -1
- package/dist/do/index.js +1 -1
- package/dist/either/index.d.ts +1 -1
- package/dist/either/index.js +1 -1
- package/dist/fetch/index.d.ts +1 -1
- package/dist/fetch/index.js +1 -1
- package/dist/{full-interfaces-DvFrMxoM.js → full-interfaces-CYZ4fDsx.js} +1 -1
- package/dist/functype/index.d.ts +1 -1
- package/dist/{index-6yQMHjyH.d.ts → index-C5IrHYtk.d.ts} +122 -2
- package/dist/index.d.ts +7 -7
- package/dist/index.js +1 -1
- package/dist/invariant/index.d.ts +1 -1
- package/dist/io/index.d.ts +1 -1
- package/dist/io/index.js +1 -1
- package/dist/lazy/index.d.ts +1 -1
- package/dist/lazy/index.js +1 -1
- package/dist/list/index.d.ts +1 -1
- package/dist/list/index.js +1 -1
- package/dist/logger/index.d.ts +1 -1
- package/dist/map/index.d.ts +1 -1
- package/dist/map/index.js +1 -1
- package/dist/obj/index.d.ts +1 -1
- package/dist/obj/index.js +1 -1
- package/dist/option/index.d.ts +1 -1
- package/dist/option/index.js +1 -1
- package/dist/serialization/index.d.ts +1 -1
- package/dist/serialization/index.js +1 -1
- package/dist/{serialization-BorPartm.js → serialization-BThDTD74.js} +1 -1
- package/dist/set/index.d.ts +1 -1
- package/dist/set/index.js +1 -1
- package/dist/{src-D0Zwzyk1.js → src-DskkjCdD.js} +3 -3
- package/dist/try/index.d.ts +1 -1
- package/dist/try/index.js +1 -1
- package/dist/tuple/index.d.ts +1 -1
- package/dist/tuple/index.js +1 -1
- package/dist/typeclass/index.d.ts +1 -1
- package/dist/typeclass/index.js +1 -1
- package/dist/util/index.d.ts +3 -1
- package/dist/wire/index.d.ts +1 -1
- package/package.json +5 -5
|
@@ -1,5 +1,6 @@
|
|
|
1
|
-
import { t as Brand } from "./Brand-
|
|
2
|
-
import { d as Type, l as Pipe, o as Serializable, r as Typeable, t as Tuple, u as Foldable } from "./Tuple-
|
|
1
|
+
import { t as Brand } from "./Brand-bfnGXuum.js";
|
|
2
|
+
import { d as Type, l as Pipe, o as Serializable, r as Typeable, t as Tuple, u as Foldable } from "./Tuple-B8KM-H8Y.js";
|
|
3
|
+
//#region src/conditional/Cond.d.ts
|
|
3
4
|
/**
|
|
4
5
|
* Conditional expression that enforces exhaustive returns without early returns.
|
|
5
6
|
* Similar to Scala's if/else expressions that always return a value.
|
|
@@ -131,6 +132,8 @@ declare const Cond: (<T extends Type>() => Cond<T>) & {
|
|
|
131
132
|
*/
|
|
132
133
|
lazy: <T extends Type>() => LazyCondChain<T>;
|
|
133
134
|
};
|
|
135
|
+
//#endregion
|
|
136
|
+
//#region src/do/protocol.d.ts
|
|
134
137
|
/**
|
|
135
138
|
* Protocol definitions for Do-notation
|
|
136
139
|
* Separated from main Do module to avoid circular dependencies
|
|
@@ -160,6 +163,8 @@ type DoResult<T> = {
|
|
|
160
163
|
interface Doable<out T> {
|
|
161
164
|
doUnwrap(): DoResult<T>;
|
|
162
165
|
}
|
|
166
|
+
//#endregion
|
|
167
|
+
//#region src/internal/concurrency.d.ts
|
|
163
168
|
/**
|
|
164
169
|
* Bounded-concurrency traversal shared by the async collection methods and `Either.traverseAsync`.
|
|
165
170
|
*/
|
|
@@ -171,12 +176,16 @@ type Concurrency = number | "unbounded";
|
|
|
171
176
|
type ConcurrencyOptions = {
|
|
172
177
|
readonly concurrency?: Concurrency;
|
|
173
178
|
};
|
|
179
|
+
//#endregion
|
|
180
|
+
//#region src/error/ParseError.d.ts
|
|
174
181
|
declare const ParseError: (message?: string) => Error & {
|
|
175
182
|
name: "ParseError";
|
|
176
183
|
};
|
|
177
184
|
type ParseError = Error & {
|
|
178
185
|
name: "ParseError";
|
|
179
186
|
};
|
|
187
|
+
//#endregion
|
|
188
|
+
//#region src/extractable/Extractable.d.ts
|
|
180
189
|
/**
|
|
181
190
|
* Interface for operations that can fail with exceptions.
|
|
182
191
|
* These methods should be used with care as they can throw at runtime.
|
|
@@ -236,6 +245,8 @@ interface Extractable<out T extends Type> extends Unsafe<T> {
|
|
|
236
245
|
* Type guard to check if a value implements Extractable
|
|
237
246
|
*/
|
|
238
247
|
declare function isExtractable<T extends Type>(value: unknown): value is Extractable<T>;
|
|
248
|
+
//#endregion
|
|
249
|
+
//#region src/typeclass/ContainerOps.d.ts
|
|
239
250
|
/**
|
|
240
251
|
* Universal operations that work on any container (single-value or collection).
|
|
241
252
|
* These operations make sense for Option, Either, Try, List, Set, etc.
|
|
@@ -358,6 +369,8 @@ interface CollectionOps<out A extends Type, Self> {
|
|
|
358
369
|
*/
|
|
359
370
|
toArray<B = A>(): B[];
|
|
360
371
|
}
|
|
372
|
+
//#endregion
|
|
373
|
+
//#region src/typeclass/Functor.d.ts
|
|
361
374
|
/**
|
|
362
375
|
* Functor type class - supports mapping over wrapped values
|
|
363
376
|
*
|
|
@@ -398,6 +411,8 @@ interface Monad<out A extends Type> extends Applicative<A> {
|
|
|
398
411
|
interface AsyncMonad<out A extends Type> extends Monad<A> {
|
|
399
412
|
flatMapAsync<B extends Type>(f: (value: A) => PromiseLike<AsyncMonad<B>>): PromiseLike<AsyncMonad<B>>;
|
|
400
413
|
}
|
|
414
|
+
//#endregion
|
|
415
|
+
//#region src/typeclass/Promisable.d.ts
|
|
401
416
|
/**
|
|
402
417
|
* Promisable trait - supports conversion to Promise
|
|
403
418
|
*
|
|
@@ -430,6 +445,8 @@ interface Promisable<out A extends Type> {
|
|
|
430
445
|
*/
|
|
431
446
|
toPromise(): Promise<A>;
|
|
432
447
|
}
|
|
448
|
+
//#endregion
|
|
449
|
+
//#region src/typeclass/variance.d.ts
|
|
433
450
|
/**
|
|
434
451
|
* Variance helpers — small utilities for expressing covariance-safe signatures
|
|
435
452
|
* when TypeScript's type system doesn't offer the exact constraint we need.
|
|
@@ -484,6 +501,8 @@ declare const reduceWiden: <A, B>(arr: readonly A[], op: (b: B, a: B) => B) => B
|
|
|
484
501
|
* Right-associative variant of {@link reduceWiden}. Same safety argument.
|
|
485
502
|
*/
|
|
486
503
|
declare const reduceRightWiden: <A, B>(arr: readonly A[], op: (b: B, a: B) => B) => B;
|
|
504
|
+
//#endregion
|
|
505
|
+
//#region src/either/Either.d.ts
|
|
487
506
|
/**
|
|
488
507
|
* Either type module
|
|
489
508
|
* @module Either
|
|
@@ -738,6 +757,8 @@ declare const Either: (<L extends Type, R extends Type>(value: R | L, isRight: b
|
|
|
738
757
|
*/
|
|
739
758
|
fromBinary: <L extends Type, R extends Type>(binary: string) => Either<L, R>;
|
|
740
759
|
};
|
|
760
|
+
//#endregion
|
|
761
|
+
//#region src/list/LazyList.d.ts
|
|
741
762
|
/**
|
|
742
763
|
* LazyList provides lazy evaluation for list operations.
|
|
743
764
|
* Operations are deferred until the list is materialized.
|
|
@@ -887,6 +908,8 @@ declare const LazyList: (<A extends Type>(iterable: Iterable<A>) => LazyList<A>)
|
|
|
887
908
|
*/
|
|
888
909
|
cycle: <A extends Type>(iterable: Iterable<A>) => LazyList<A>;
|
|
889
910
|
};
|
|
911
|
+
//#endregion
|
|
912
|
+
//#region src/serialization/error-envelope.d.ts
|
|
890
913
|
/**
|
|
891
914
|
* Canonical projection of `Error` to JSON, shared by every Serializable type
|
|
892
915
|
* that carries an `Error` in its failure branch (`Try.Failure`, `Task.Err`,
|
|
@@ -931,6 +954,8 @@ declare const serializeError: (err: unknown) => SerializedError;
|
|
|
931
954
|
* matching what `serializeCause` emits when a `cause` was a bare string.
|
|
932
955
|
*/
|
|
933
956
|
declare const deserializeError: (s: SerializedError | string) => Error;
|
|
957
|
+
//#endregion
|
|
958
|
+
//#region src/serialization/SerializationCompanion.d.ts
|
|
934
959
|
/**
|
|
935
960
|
* Serialization result containing methods for different formats
|
|
936
961
|
*/
|
|
@@ -1189,6 +1214,8 @@ declare const fromEnvelope: (envelope: unknown) => Try<unknown>;
|
|
|
1189
1214
|
* (e.g. `isApplicable` in a DBOS recipe).
|
|
1190
1215
|
*/
|
|
1191
1216
|
declare const isFunctypeValue: (v: unknown) => v is Serializable<unknown>;
|
|
1217
|
+
//#endregion
|
|
1218
|
+
//#region src/try/Try.d.ts
|
|
1192
1219
|
/**
|
|
1193
1220
|
* Possible types of Try instances
|
|
1194
1221
|
*/
|
|
@@ -1395,6 +1422,8 @@ declare const Try: (<T>(f: () => T) => Try<T>) & {
|
|
|
1395
1422
|
*/
|
|
1396
1423
|
traverse: <T, U>(arr: ReadonlyArray<T>, f: (value: T, index: number) => Try<U>) => Try<U[]>;
|
|
1397
1424
|
};
|
|
1425
|
+
//#endregion
|
|
1426
|
+
//#region src/reshapeable/Reshapeable.d.ts
|
|
1398
1427
|
/**
|
|
1399
1428
|
* Interface for types that can be reshaped (converted) between different monadic containers.
|
|
1400
1429
|
* Provides standard conversion methods to transform between Option, Either, List, and Try types.
|
|
@@ -1480,6 +1509,8 @@ interface Reshapeable<out T extends Type> {
|
|
|
1480
1509
|
*/
|
|
1481
1510
|
toTry(): Try<T>;
|
|
1482
1511
|
}
|
|
1512
|
+
//#endregion
|
|
1513
|
+
//#region src/list/List.d.ts
|
|
1483
1514
|
/**
|
|
1484
1515
|
* Immutable List. Covariant in A (`<out A>`) — mirrors Scala's `List[+A]`.
|
|
1485
1516
|
*
|
|
@@ -1592,6 +1623,8 @@ declare const List: (<A>(values?: Iterable<A>) => List<A>) & {
|
|
|
1592
1623
|
*/
|
|
1593
1624
|
fromBinary: <A>(binary: string) => List<A>;
|
|
1594
1625
|
};
|
|
1626
|
+
//#endregion
|
|
1627
|
+
//#region src/set/Set.d.ts
|
|
1595
1628
|
/**
|
|
1596
1629
|
* Immutable Set. Covariant in A (`<out A>`) — while Scala's `Set[A]` is nominally invariant,
|
|
1597
1630
|
* functype's Set follows the same pragmatic covariance pattern as List: element-query methods
|
|
@@ -1673,6 +1706,8 @@ declare const Set: (<A>(iterable?: Iterable<A>) => Set<A>) & {
|
|
|
1673
1706
|
*/
|
|
1674
1707
|
fromBinary: <A>(binary: string) => Set<A>;
|
|
1675
1708
|
};
|
|
1709
|
+
//#endregion
|
|
1710
|
+
//#region src/collections/index.d.ts
|
|
1676
1711
|
/**
|
|
1677
1712
|
* Represents a collection with conversion capabilities
|
|
1678
1713
|
* @interface
|
|
@@ -1684,6 +1719,8 @@ interface Collection<A> {
|
|
|
1684
1719
|
toSet(): Set<A>;
|
|
1685
1720
|
toString(): string;
|
|
1686
1721
|
}
|
|
1722
|
+
//#endregion
|
|
1723
|
+
//#region src/matchable/Matchable.d.ts
|
|
1687
1724
|
/**
|
|
1688
1725
|
* Pattern matching interface for functional data types.
|
|
1689
1726
|
*
|
|
@@ -1722,6 +1759,8 @@ declare const MatchableUtils: {
|
|
|
1722
1759
|
*/
|
|
1723
1760
|
when: <A, R>(predicate: (value: A) => boolean, handler: (value: A) => R) => (value: A) => R | undefined;
|
|
1724
1761
|
};
|
|
1762
|
+
//#endregion
|
|
1763
|
+
//#region src/traversable/Traversable.d.ts
|
|
1725
1764
|
/**
|
|
1726
1765
|
* Traversable typeclass for data structures that can be traversed through.
|
|
1727
1766
|
*
|
|
@@ -1742,6 +1781,8 @@ interface Traversable<out A extends Type> extends AsyncMonad<A> {
|
|
|
1742
1781
|
reduce<B = A>(op: (b: Widen<A, B>, a: Widen<A, B>) => Widen<A, B>): Widen<A, B>;
|
|
1743
1782
|
reduceRight<B = A>(op: (b: Widen<A, B>, a: Widen<A, B>) => Widen<A, B>): Widen<A, B>;
|
|
1744
1783
|
}
|
|
1784
|
+
//#endregion
|
|
1785
|
+
//#region src/functype/Functype.d.ts
|
|
1745
1786
|
/**
|
|
1746
1787
|
* Base interface for all functype data structures.
|
|
1747
1788
|
* This provides a standard contract with core functional programming traits.
|
|
@@ -1794,6 +1835,8 @@ interface FunctypeCollection<A, Tag extends string = string> extends Omit<Functy
|
|
|
1794
1835
|
*/
|
|
1795
1836
|
flatMapAsync<B extends Type>(f: (value: A) => PromiseLike<Iterable<B>>, options?: ConcurrencyOptions): PromiseLike<FunctypeCollection<B, Tag>>;
|
|
1796
1837
|
}
|
|
1838
|
+
//#endregion
|
|
1839
|
+
//#region src/functype/FunctypeSum.d.ts
|
|
1797
1840
|
/**
|
|
1798
1841
|
* Base interface for sum-type containers (Either, Try, etc.) that are NOT iterables.
|
|
1799
1842
|
*
|
|
@@ -1823,6 +1866,8 @@ interface FunctypeSum<A extends Type, Tag extends string = string> extends Async
|
|
|
1823
1866
|
exists(p: (a: A) => boolean): boolean;
|
|
1824
1867
|
forEach(f: (a: A) => void): void;
|
|
1825
1868
|
}
|
|
1869
|
+
//#endregion
|
|
1870
|
+
//#region src/branded/ValidatedBrand.d.ts
|
|
1826
1871
|
type ValidatedBrand<K extends string, T> = Brand<K, T> & {
|
|
1827
1872
|
readonly __validated: true;
|
|
1828
1873
|
};
|
|
@@ -1942,6 +1987,8 @@ declare function BoundedString(brand: string, minLength: number, maxLength: numb
|
|
|
1942
1987
|
* .orElse("Invalid phone number")
|
|
1943
1988
|
*/
|
|
1944
1989
|
declare function PatternString(brand: string, pattern: RegExp): ValidatedBrandCompanion<string, string>;
|
|
1990
|
+
//#endregion
|
|
1991
|
+
//#region src/core/base/Base.d.ts
|
|
1945
1992
|
/**
|
|
1946
1993
|
* Base Object from which most other objects inherit
|
|
1947
1994
|
* Now includes automatic Do-notation support via doUnwrap method
|
|
@@ -1953,6 +2000,8 @@ declare function Base<T extends Record<string, unknown>>(type: string, body: T):
|
|
|
1953
2000
|
doUnwrap(): DoResult<unknown>;
|
|
1954
2001
|
_tag: string;
|
|
1955
2002
|
};
|
|
2003
|
+
//#endregion
|
|
2004
|
+
//#region src/core/throwable/Throwable.d.ts
|
|
1956
2005
|
/**
|
|
1957
2006
|
* The identifier name for Throwable type
|
|
1958
2007
|
*/
|
|
@@ -1990,6 +2039,8 @@ declare class Throwable extends Error implements ThrowableType {
|
|
|
1990
2039
|
description: string;
|
|
1991
2040
|
}): ThrowableType;
|
|
1992
2041
|
}
|
|
2042
|
+
//#endregion
|
|
2043
|
+
//#region src/core/task/Task.d.ts
|
|
1993
2044
|
/**
|
|
1994
2045
|
* Type definition for errors with a _tag property that identifies them as Throwables
|
|
1995
2046
|
*/
|
|
@@ -2263,6 +2314,8 @@ declare const Task$1: (<T = unknown>(params?: TaskParams) => {
|
|
|
2263
2314
|
};
|
|
2264
2315
|
};
|
|
2265
2316
|
type Task$1 = ReturnType<typeof Task$1>;
|
|
2317
|
+
//#endregion
|
|
2318
|
+
//#region src/decoder/DecoderError.d.ts
|
|
2266
2319
|
/**
|
|
2267
2320
|
* Recursive decoder error.
|
|
2268
2321
|
*
|
|
@@ -2313,6 +2366,8 @@ declare const DecoderError: {
|
|
|
2313
2366
|
}>;
|
|
2314
2367
|
format: (e: DecoderError) => string;
|
|
2315
2368
|
};
|
|
2369
|
+
//#endregion
|
|
2370
|
+
//#region src/decoder/Decoder.d.ts
|
|
2316
2371
|
/**
|
|
2317
2372
|
* A `Decoder<A>` converts an `unknown` value into either a typed `A` or a
|
|
2318
2373
|
* structural `DecoderError`. The shape `(raw) => Either<DecoderError, A>` is
|
|
@@ -2326,6 +2381,8 @@ declare const DecoderError: {
|
|
|
2326
2381
|
* library cannot express.
|
|
2327
2382
|
*/
|
|
2328
2383
|
type Decoder$1<A> = (raw: unknown) => Either<DecoderError, A>;
|
|
2384
|
+
//#endregion
|
|
2385
|
+
//#region src/decoder/Encoder.d.ts
|
|
2329
2386
|
/**
|
|
2330
2387
|
* An `Encoder<A>` turns a typed value into the JSON that goes on the wire — the request-side
|
|
2331
2388
|
* counterpart of {@link Decoder}. Any function with this shape is an encoder.
|
|
@@ -2340,6 +2397,8 @@ type Decoder$1<A> = (raw: unknown) => Either<DecoderError, A>;
|
|
|
2340
2397
|
* ```
|
|
2341
2398
|
*/
|
|
2342
2399
|
type Encoder<A> = (value: A) => JSONValue;
|
|
2400
|
+
//#endregion
|
|
2401
|
+
//#region src/decoder/index.d.ts
|
|
2343
2402
|
/**
|
|
2344
2403
|
* A `Decoder<A>` converts an `unknown` value into either a typed `A` or a
|
|
2345
2404
|
* structural `DecoderError`. The shape `(raw) => Either<DecoderError, A>` is
|
|
@@ -2398,6 +2457,8 @@ declare const Decoder: {
|
|
|
2398
2457
|
map: <V>(inner: Decoder$1<V>) => Decoder$1<Map$1<string, V>>;
|
|
2399
2458
|
object: <T extends Record<string, unknown>>(shape: { [K in keyof T]: Decoder$1<T[K]>; }) => Decoder$1<T>;
|
|
2400
2459
|
};
|
|
2460
|
+
//#endregion
|
|
2461
|
+
//#region src/do/index.d.ts
|
|
2401
2462
|
type OptionLike = {
|
|
2402
2463
|
_tag: "Some" | "None";
|
|
2403
2464
|
isSome(): boolean;
|
|
@@ -2577,6 +2638,8 @@ interface FailureErrorType extends Error {
|
|
|
2577
2638
|
cause: Error;
|
|
2578
2639
|
}
|
|
2579
2640
|
declare const FailureError: (cause: Error, message?: string) => FailureErrorType;
|
|
2641
|
+
//#endregion
|
|
2642
|
+
//#region src/error/ErrorFormatter.d.ts
|
|
2580
2643
|
/**
|
|
2581
2644
|
* Type definition for task information that may be attached to errors
|
|
2582
2645
|
*/
|
|
@@ -2644,6 +2707,8 @@ declare function formatError(error: unknown, options?: ErrorFormatterOptions): s
|
|
|
2644
2707
|
* to better represent errors with their full context
|
|
2645
2708
|
*/
|
|
2646
2709
|
declare function createErrorSerializer(): (err: unknown) => unknown;
|
|
2710
|
+
//#endregion
|
|
2711
|
+
//#region src/error/typed/TypedError.d.ts
|
|
2647
2712
|
/**
|
|
2648
2713
|
* Type-safe error codes using template literal types
|
|
2649
2714
|
*/
|
|
@@ -2789,6 +2854,8 @@ declare const TypedError: (<T extends ErrorCode>(code: T, message: ErrorMessage<
|
|
|
2789
2854
|
*/
|
|
2790
2855
|
hasCode: <T extends ErrorCode>(error: TypedError<ErrorCode>, code: T) => error is TypedError<T>;
|
|
2791
2856
|
};
|
|
2857
|
+
//#endregion
|
|
2858
|
+
//#region src/error/typed/Validation.d.ts
|
|
2792
2859
|
/**
|
|
2793
2860
|
* Validation rule types using template literal types
|
|
2794
2861
|
*/
|
|
@@ -2861,6 +2928,8 @@ declare const Validation: (<T extends Type>(rule: ValidationRule) => Validator<T
|
|
|
2861
2928
|
*/
|
|
2862
2929
|
form: <T extends Record<string, Type>>(schema: { [K in keyof T]: Validator<T[K]>; }, data: Record<string, unknown>) => FormValidation<T>;
|
|
2863
2930
|
};
|
|
2931
|
+
//#endregion
|
|
2932
|
+
//#region src/io/Tag.d.ts
|
|
2864
2933
|
/**
|
|
2865
2934
|
* Tag module - service identifiers for dependency injection.
|
|
2866
2935
|
* @module Tag
|
|
@@ -2935,6 +3004,8 @@ declare const Tag: <S extends Type>(id: string) => Tag<S>;
|
|
|
2935
3004
|
* Type helper to extract the service type from a Tag
|
|
2936
3005
|
*/
|
|
2937
3006
|
type TagService<T> = T extends Tag<infer S> ? S : never;
|
|
3007
|
+
//#endregion
|
|
3008
|
+
//#region src/io/Context.d.ts
|
|
2938
3009
|
/**
|
|
2939
3010
|
* Context module - service container for dependency injection.
|
|
2940
3011
|
* @module Context
|
|
@@ -3044,6 +3115,8 @@ type ContextServices<C> = C extends Context<infer R> ? R : never;
|
|
|
3044
3115
|
* Type helper to check if a context provides a service
|
|
3045
3116
|
*/
|
|
3046
3117
|
type HasService<C, S> = S extends ContextServices<C> ? true : false;
|
|
3118
|
+
//#endregion
|
|
3119
|
+
//#region src/io/Exit.d.ts
|
|
3047
3120
|
/**
|
|
3048
3121
|
* Exit type module - represents the outcome of running an IO effect.
|
|
3049
3122
|
* @module Exit
|
|
@@ -3275,6 +3348,8 @@ declare const Exit: (<E extends Type, A extends Type>(value: A) => Exit<E, A>) &
|
|
|
3275
3348
|
*/
|
|
3276
3349
|
all: <E extends Type, A extends Type>(exits: readonly Exit<E, A>[]) => Exit<E, readonly A[]>;
|
|
3277
3350
|
};
|
|
3351
|
+
//#endregion
|
|
3352
|
+
//#region src/io/Layer.d.ts
|
|
3278
3353
|
/**
|
|
3279
3354
|
* Layer module - service construction recipes.
|
|
3280
3355
|
* @module Layer
|
|
@@ -3403,6 +3478,8 @@ type LayerError<L> = L extends Layer<Type, infer E, Type> ? E : never;
|
|
|
3403
3478
|
* Type helper to extract output services from a Layer
|
|
3404
3479
|
*/
|
|
3405
3480
|
type LayerOutput<L> = L extends Layer<Type, Type, infer ROut> ? ROut : never;
|
|
3481
|
+
//#endregion
|
|
3482
|
+
//#region src/io/IO.d.ts
|
|
3406
3483
|
/**
|
|
3407
3484
|
* Error thrown when an effect times out.
|
|
3408
3485
|
*/
|
|
@@ -4498,6 +4575,8 @@ type Task<E extends Type, A extends Type> = IO<never, E, A>;
|
|
|
4498
4575
|
* An IO with no error
|
|
4499
4576
|
*/
|
|
4500
4577
|
type RIO<R extends Type, A extends Type> = IO<R, never, A>;
|
|
4578
|
+
//#endregion
|
|
4579
|
+
//#region src/io/TestClock.d.ts
|
|
4501
4580
|
/**
|
|
4502
4581
|
* TestClock interface for controlling time in tests
|
|
4503
4582
|
*/
|
|
@@ -4627,6 +4706,8 @@ declare const TestContext: {
|
|
|
4627
4706
|
*/
|
|
4628
4707
|
withClock: () => TestContext<TestClock>;
|
|
4629
4708
|
};
|
|
4709
|
+
//#endregion
|
|
4710
|
+
//#region src/fetch/HttpError.d.ts
|
|
4630
4711
|
type HttpMethod = "GET" | "POST" | "PUT" | "PATCH" | "DELETE" | "HEAD" | "OPTIONS";
|
|
4631
4712
|
type NetworkError = {
|
|
4632
4713
|
readonly _tag: "NetworkError";
|
|
@@ -4680,6 +4761,8 @@ declare const HttpError: {
|
|
|
4680
4761
|
readonly DecodeError: (e: DecodeError) => T;
|
|
4681
4762
|
}) => T;
|
|
4682
4763
|
};
|
|
4764
|
+
//#endregion
|
|
4765
|
+
//#region src/fetch/HttpRequest.d.ts
|
|
4683
4766
|
type ParseMode = "json" | "text" | "blob" | "arrayBuffer" | "raw";
|
|
4684
4767
|
/**
|
|
4685
4768
|
* Typed query-parameter record. Scalar values (string | number | boolean) are
|
|
@@ -4791,6 +4874,8 @@ interface HttpRequestView {
|
|
|
4791
4874
|
readonly parseAs?: ParseMode;
|
|
4792
4875
|
readonly flatten?: boolean;
|
|
4793
4876
|
}
|
|
4877
|
+
//#endregion
|
|
4878
|
+
//#region src/fetch/HttpClient.d.ts
|
|
4794
4879
|
interface HttpClientConfig {
|
|
4795
4880
|
readonly baseUrl?: string;
|
|
4796
4881
|
readonly defaultHeaders?: Record<string, string>;
|
|
@@ -4867,6 +4952,8 @@ interface HttpClientConfig {
|
|
|
4867
4952
|
readonly afterResponse?: (response: HttpResponse<unknown>) => IO<never, HttpError, HttpResponse<unknown>>;
|
|
4868
4953
|
}
|
|
4869
4954
|
declare const HttpClient: Tag<HttpClientConfig>;
|
|
4955
|
+
//#endregion
|
|
4956
|
+
//#region src/fetch/Http.d.ts
|
|
4870
4957
|
type HttpMethods = {
|
|
4871
4958
|
readonly request: <T = unknown, TReq = unknown>(options: HttpRequestOptions<T, TReq>) => IO<never, HttpError, HttpResponse<T>>;
|
|
4872
4959
|
readonly get: <T = unknown>(url: string, options?: HttpMethodOptions<T>) => IO<never, HttpError, HttpResponse<T>>;
|
|
@@ -4890,6 +4977,8 @@ declare const Http: {
|
|
|
4890
4977
|
options: (url: string, options?: HttpMethodOptions<void>) => IO<never, HttpError, HttpResponse<void>>;
|
|
4891
4978
|
client: (config: HttpClientConfig) => HttpMethods;
|
|
4892
4979
|
};
|
|
4980
|
+
//#endregion
|
|
4981
|
+
//#region src/foldable/index.d.ts
|
|
4893
4982
|
/**
|
|
4894
4983
|
* Structural type for sum types that support pattern-match fold (Option, Either, Try, etc.).
|
|
4895
4984
|
* Uses duck typing so any type with the right fold signature works, without requiring a shared interface.
|
|
@@ -4940,6 +5029,8 @@ declare const FoldableUtils: {
|
|
|
4940
5029
|
*/
|
|
4941
5030
|
size: <A extends Type>(foldable: PatternFoldable<A>) => number;
|
|
4942
5031
|
};
|
|
5032
|
+
//#endregion
|
|
5033
|
+
//#region src/hkt/index.d.ts
|
|
4943
5034
|
/**
|
|
4944
5035
|
* Type function for representing higher-kinded types
|
|
4945
5036
|
*/
|
|
@@ -5002,6 +5093,8 @@ declare const HKT: {
|
|
|
5002
5093
|
isEither: <E extends Type, A extends Type>(value: unknown) => value is Either<E, A> & Mappable<A> & FlatMappable<A>;
|
|
5003
5094
|
isTry: <T extends Type>(value: unknown) => value is Try<T> & Mappable<T> & FlatMappable<T>;
|
|
5004
5095
|
};
|
|
5096
|
+
//#endregion
|
|
5097
|
+
//#region src/identity/Identity.d.ts
|
|
5005
5098
|
/**
|
|
5006
5099
|
* Identity — a trivial container carrying a single tagged value.
|
|
5007
5100
|
* Covariant in T (`<out T>`). `isSame` takes `Identity<unknown>` so that
|
|
@@ -5027,6 +5120,8 @@ declare const Identity: (<T>(value: T) => Identity<T>) & {
|
|
|
5027
5120
|
*/
|
|
5028
5121
|
pure: <T>(value: T) => Identity<T>;
|
|
5029
5122
|
};
|
|
5123
|
+
//#endregion
|
|
5124
|
+
//#region src/lazy/Lazy.d.ts
|
|
5030
5125
|
/**
|
|
5031
5126
|
* Lazy type module
|
|
5032
5127
|
* @module Lazy
|
|
@@ -5321,6 +5416,8 @@ declare const Lazy: (<T extends Type>(thunk: () => T) => Lazy<T>) & {
|
|
|
5321
5416
|
*/
|
|
5322
5417
|
fromJSON: <T extends Type>(json: string) => Lazy<T>;
|
|
5323
5418
|
};
|
|
5419
|
+
//#endregion
|
|
5420
|
+
//#region src/traversable/KVTraversable.d.ts
|
|
5324
5421
|
/**
|
|
5325
5422
|
* A traversable interface for key-value containers that excludes map, flatMap,
|
|
5326
5423
|
* flatMapAsync, and ap operations.
|
|
@@ -5333,6 +5430,8 @@ declare const Lazy: (<T extends Type>(thunk: () => T) => Lazy<T>) & {
|
|
|
5333
5430
|
* @typeParam A - The element type of the traversable
|
|
5334
5431
|
*/
|
|
5335
5432
|
type KVTraversable<A> = Omit<Traversable<A>, "map" | "flatMap" | "flatMapAsync" | "ap">;
|
|
5433
|
+
//#endregion
|
|
5434
|
+
//#region src/map/Map.d.ts
|
|
5336
5435
|
interface Map$1<K, out V> extends KVTraversable<Tuple<[K, V]>>, Collection<Tuple<[K, V]>>, Typeable<"Map">, Serializable<[K, V][]>, Pipe<[K, V][]>, Foldable<Tuple<[K, V]>>, Iterable<[K, V]> {
|
|
5337
5436
|
readonly [Symbol.toStringTag]: string;
|
|
5338
5437
|
readonly _tag: "Map";
|
|
@@ -5415,6 +5514,8 @@ declare const Map$1: (<K, V>(entries?: readonly (readonly [K, V])[] | IterableIt
|
|
|
5415
5514
|
*/
|
|
5416
5515
|
fromBinary: <K, V>(binary: string) => Map$1<K, V>;
|
|
5417
5516
|
};
|
|
5517
|
+
//#endregion
|
|
5518
|
+
//#region src/map/shim.d.ts
|
|
5418
5519
|
/**
|
|
5419
5520
|
* Type alias for the native JavaScript Map
|
|
5420
5521
|
* @interface
|
|
@@ -5428,6 +5529,8 @@ type ESMapType<K, V> = Map<K, V>;
|
|
|
5428
5529
|
* @category Collections
|
|
5429
5530
|
*/
|
|
5430
5531
|
declare const ESMap: MapConstructor;
|
|
5532
|
+
//#endregion
|
|
5533
|
+
//#region src/obj/Obj.d.ts
|
|
5431
5534
|
/**
|
|
5432
5535
|
* Obj type module
|
|
5433
5536
|
* @module Obj
|
|
@@ -5611,6 +5714,8 @@ declare const Obj: (<T extends Record<string, Type>>(data: T) => Obj<T>) & {
|
|
|
5611
5714
|
*/
|
|
5612
5715
|
fromBinary: <T extends Record<string, Type>>(binary: string) => Obj<T>;
|
|
5613
5716
|
};
|
|
5717
|
+
//#endregion
|
|
5718
|
+
//#region src/ref/Ref.d.ts
|
|
5614
5719
|
/**
|
|
5615
5720
|
* A mutable reference container that holds a value of type A.
|
|
5616
5721
|
* This provides controlled mutability in a functional context.
|
|
@@ -5673,6 +5778,8 @@ declare const Ref: (<A extends Type>(initial: A) => Ref<A>) & {
|
|
|
5673
5778
|
*/
|
|
5674
5779
|
of: <A extends Type>(initial: A) => Ref<A>;
|
|
5675
5780
|
};
|
|
5781
|
+
//#endregion
|
|
5782
|
+
//#region src/valuable/Valuable.d.ts
|
|
5676
5783
|
/**
|
|
5677
5784
|
* Parameters for creating a Valuable instance
|
|
5678
5785
|
*/
|
|
@@ -5700,6 +5807,8 @@ type Valuable<Tag extends string, V, T = object> = Typeable<Tag, T> & {
|
|
|
5700
5807
|
value: V;
|
|
5701
5808
|
};
|
|
5702
5809
|
};
|
|
5810
|
+
//#endregion
|
|
5811
|
+
//#region src/stack/Stack.d.ts
|
|
5703
5812
|
/**
|
|
5704
5813
|
* Stack data structure - Last In, First Out (LIFO)
|
|
5705
5814
|
* Implements the Traversable interface for working with ordered collections
|
|
@@ -5809,6 +5918,8 @@ declare const Stack: (<A extends Type>(values?: A[]) => Stack<A>) & {
|
|
|
5809
5918
|
*/
|
|
5810
5919
|
fromBinary: <A>(binary: string) => Stack<A>;
|
|
5811
5920
|
};
|
|
5921
|
+
//#endregion
|
|
5922
|
+
//#region src/traced/TraceEvent.d.ts
|
|
5812
5923
|
/**
|
|
5813
5924
|
* Identifies which combinator emitted this event.
|
|
5814
5925
|
* String union is open so callers can extend with custom ops.
|
|
@@ -5836,6 +5947,8 @@ type TraceEvent = {
|
|
|
5836
5947
|
readonly label?: string;
|
|
5837
5948
|
readonly meta?: Record<string, unknown>;
|
|
5838
5949
|
};
|
|
5950
|
+
//#endregion
|
|
5951
|
+
//#region src/traced/Tracer.d.ts
|
|
5839
5952
|
/**
|
|
5840
5953
|
* A sink for structured trace events emitted by `TracedOption` chains.
|
|
5841
5954
|
*
|
|
@@ -5861,6 +5974,8 @@ type TraceEvent = {
|
|
|
5861
5974
|
interface Tracer {
|
|
5862
5975
|
emit(event: TraceEvent): void;
|
|
5863
5976
|
}
|
|
5977
|
+
//#endregion
|
|
5978
|
+
//#region src/traced/TracedOption.d.ts
|
|
5864
5979
|
/**
|
|
5865
5980
|
* A wrapper around `Option<A>` that emits a `TraceEvent` to the
|
|
5866
5981
|
* injected `Tracer` on every combinator call.
|
|
@@ -5902,6 +6017,8 @@ type TracedOption<A> = {
|
|
|
5902
6017
|
* @param seq - Starting sequence number. Defaults to 0. Increments on each op.
|
|
5903
6018
|
*/
|
|
5904
6019
|
declare function TracedOption<A>(inner: Option<A>, tracer: Tracer, spanId: string, seq?: number): TracedOption<A>;
|
|
6020
|
+
//#endregion
|
|
6021
|
+
//#region src/option/Option.d.ts
|
|
5905
6022
|
/**
|
|
5906
6023
|
* Option type module
|
|
5907
6024
|
* @module Option
|
|
@@ -6177,6 +6294,8 @@ declare const Option: (<T extends Type>(value: T | null | undefined) => Option<T
|
|
|
6177
6294
|
*/
|
|
6178
6295
|
traverse: <T extends Type, U extends Type>(arr: ReadonlyArray<T>, f: (value: T, index: number) => Option<U>) => Option<U[]>;
|
|
6179
6296
|
};
|
|
6297
|
+
//#endregion
|
|
6298
|
+
//#region src/conditional/Match.d.ts
|
|
6180
6299
|
/**
|
|
6181
6300
|
* Type-level utilities for exhaustiveness checking
|
|
6182
6301
|
* @internal
|
|
@@ -6454,4 +6573,5 @@ declare const Match: (<T extends Type>(value: T) => UntypedMatch<T>) & {
|
|
|
6454
6573
|
};
|
|
6455
6574
|
};
|
|
6456
6575
|
};
|
|
6576
|
+
//#endregion
|
|
6457
6577
|
export { TimeoutError as $, fromYAML as $n, Sync as $t, Http as A, FunctypeBase as An, ParseError as Ar, safeStringify as At, HttpError as B, TypeNames as Bn, NoneError as Bt, HKT as C, PositiveNumber as Cn, AsyncMonad as Cr, ErrorChainElement as Ct, TryKind as D, ValidatedBrandCompanion as Dn, ContainerOps as Dr, createErrorSerializer as Dt, OptionKind as E, ValidatedBrand as En, CollectionOps as Er, TaskErrorInfo as Et, HttpRequestOptions as F, Collection as Fn, Cond as Fr, EmptyListError as Ft, TestClock as G, SerializationResult as Gn, DecoderError as Gt, HttpStatusError as H, Serialization_d_exports as Hn, unwrap as Ht, HttpRequestView as I, Set as In, FailureError as It, IO as J, createSerializer as Jn, Async as Jt, TestClockTag as K, createCustomSerializer as Kn, DecoderErrorComposite as Kt, HttpResponse as L, List as Ln, FailureErrorType as Lt, HttpClientConfig as M, Traversable as Mn, ConcurrencyOptions as Mr, Do as Mt, HttpMethodOptions as N, Matchable as Nn, DoResult as Nr, DoAsync as Nt, UniversalContainer as O, FunctypeSum as On, Extractable as Or, formatError as Ot, HttpQueryParams as P, MatchableUtils as Pn, Doable as Pr, DoGenerator as Pt, Task as Q, fromJSON as Qn, Ok as Qt, ParseMode as R, Reshapeable as Rn, LeftError as Rt, EitherKind as S, PositiveInteger as Sn, Applicative as Sr, TypedErrorContext as St, ListKind as T, UrlString as Tn, Monad as Tr, ErrorWithTaskInfo as Tt, NetworkError as U, FUNCTYPE_MARKER as Un, Decoder as Ut, HttpMethod as V, JSONValue as Vn, isDoCapable as Vt, ResponseDecodeError as W, FunctypeEnvelope as Wn, Encoder as Wt, RIO as X, envelope as Xn, CancellationTokenSource as Xt, InterruptedError as Y, createTaggedSerializer as Yn, CancellationToken as Yt, RepeatExhausted as Z, fromBinary as Zn, Err as Zt, ESMapType as _, ISO8601Date as _n, tryCatchAsync as _r, Validator as _t, OptionConstructor as a, TaskParams as an, Either as ar, LayerOutput as at, Lazy as b, NonNegativeNumber as bn, reduceWiden as br, ErrorStatus as bt, Tracer as c, createCancellationTokenSource as cn, LeftOf as cr, Context as ct, Stack as d, Throwable as dn, TestEither as dr, Tag as dt, TaggedThrowable as en, taggedEnvelope as er, UIO as et, Valuable as f, ThrowableType as fn, TypeCheckLeft as fr, TagService as ft, ESMap as g, EmailAddress as gn, tryCatch as gr, ValidationRule as gt, Obj as h, BoundedString as hn, isRight as hr, Validation as ht, Option as i, TaskOutcome as in, LazyList as ir, LayerInput as it, HttpClient as j, FunctypeCollection as jn, Concurrency as jr, $ as jt, FoldableUtils as k, Functype as kn, isExtractable as kr, formatStackTrace as kt, TraceEvent as l, isTaggedThrowable as ln, Right as lr, ContextServices as lt, Ref as m, BoundedNumber as mn, isLeft as mr, FormValidation as mt, UntypedMatch as n, TaskFailure as nn, deserializeError as nr, Layer as nt, Some as o, TaskResult as on, EitherBase as or, Exit as ot, ValuableParams as p, Base as pn, TypeCheckRight as pr, FieldValidation as pt, TestContext as q, createSerializationCompanion as qn, DecoderErrorLeaf as qt, None as r, TaskMetadata as rn, serializeError as rr, LayerError as rt, TracedOption as s, TaskSuccess as sn, Left as sr, ExitTag as st, Match as t, Task$1 as tn, SerializedError as tr, UnsupportedSyncOperationError as tt, TraceOp as u, NAME as un, RightOf as ur, HasService as ut, Map$1 as v, IntegerNumber as vn, Widen as vr, ErrorCode as vt, Kind as w, UUID as wn, Functor as wr, ErrorFormatterOptions as wt, Identity as x, PatternString as xn, Promisable as xr, TypedError as xt, KVTraversable as y, NonEmptyString as yn, reduceRightWiden as yr, ErrorMessage as yt, DecodeError as z, Try as zn, LeftErrorType as zt };
|
package/dist/index.d.ts
CHANGED
|
@@ -1,8 +1,8 @@
|
|
|
1
|
-
import { a as ExtractBrand, c as hasBrand, i as BrandedString, l as unwrapBrand, n as BrandedBoolean, o as Unwrap, r as BrandedNumber, s as createBrander, t as Brand } from "./Brand-
|
|
2
|
-
import { i as Companion, n as InstanceType, r as isCompanion, t as CompanionMethods } from "./CompanionTypes-
|
|
3
|
-
import { a as isTypeable, c as SerializationMethods, d as Type, i as TypeableParams, l as Pipe, n as ExtractTag, o as Serializable, r as Typeable, s as SerializableEnvelope, t as Tuple, u as Foldable } from "./Tuple-
|
|
4
|
-
import { $ as TimeoutError, $n as fromYAML, $t as Sync, A as Http, An as FunctypeBase, Ar as ParseError, At as safeStringify, B as HttpError, Bn as TypeNames, Bt as NoneError, C as HKT, Cn as PositiveNumber, Cr as AsyncMonad, Ct as ErrorChainElement, D as TryKind, Dn as ValidatedBrandCompanion, Dr as ContainerOps, Dt as createErrorSerializer, E as OptionKind, En as ValidatedBrand, Er as CollectionOps, Et as TaskErrorInfo, F as HttpRequestOptions, Fn as Collection, Fr as Cond, Ft as EmptyListError, G as TestClock, Gn as SerializationResult, Gt as DecoderError, H as HttpStatusError, Hn as Serialization_d_exports, Ht as unwrap, I as HttpRequestView, In as Set, It as FailureError, J as IO, Jn as createSerializer, Jt as Async, K as TestClockTag, Kn as createCustomSerializer, Kt as DecoderErrorComposite, L as HttpResponse, Ln as List, Lt as FailureErrorType, M as HttpClientConfig, Mn as Traversable, Mr as ConcurrencyOptions, Mt as Do, N as HttpMethodOptions, Nn as Matchable, Nr as DoResult, Nt as DoAsync, O as UniversalContainer, On as FunctypeSum, Or as Extractable, Ot as formatError, P as HttpQueryParams, Pn as MatchableUtils, Pr as Doable, Pt as DoGenerator, Q as Task, Qn as fromJSON, Qt as Ok, R as ParseMode, Rn as Reshapeable, Rt as LeftError, S as EitherKind, Sn as PositiveInteger, Sr as Applicative, St as TypedErrorContext, T as ListKind, Tn as UrlString, Tr as Monad, Tt as ErrorWithTaskInfo, U as NetworkError, Un as FUNCTYPE_MARKER, Ut as Decoder, V as HttpMethod, Vn as JSONValue, Vt as isDoCapable, W as ResponseDecodeError, Wn as FunctypeEnvelope, Wt as Encoder, X as RIO, Xn as envelope, Xt as CancellationTokenSource, Y as InterruptedError, Yn as createTaggedSerializer, Yt as CancellationToken, Z as RepeatExhausted, Zn as fromBinary, Zt as Err, _ as ESMapType, _n as ISO8601Date, _r as tryCatchAsync, _t as Validator, a as OptionConstructor, an as TaskParams, ar as Either, at as LayerOutput, b as Lazy, bn as NonNegativeNumber, br as reduceWiden, bt as ErrorStatus, c as Tracer, cn as createCancellationTokenSource, cr as LeftOf, ct as Context, d as Stack, dn as Throwable, dr as TestEither, dt as Tag, en as TaggedThrowable, er as taggedEnvelope, et as UIO, f as Valuable, fn as ThrowableType, fr as TypeCheckLeft, ft as TagService, g as ESMap, gn as EmailAddress, gr as tryCatch, gt as ValidationRule, h as Obj, hn as BoundedString, hr as isRight, ht as Validation, i as Option, in as TaskOutcome, ir as LazyList, it as LayerInput, j as HttpClient, jn as FunctypeCollection, jr as Concurrency, jt as $, k as FoldableUtils, kn as Functype, kr as isExtractable, kt as formatStackTrace, l as TraceEvent, ln as isTaggedThrowable, lr as Right, lt as ContextServices, m as Ref, mn as BoundedNumber, mr as isLeft, mt as FormValidation, n as UntypedMatch, nn as TaskFailure, nr as deserializeError, nt as Layer, o as Some, on as TaskResult, or as EitherBase, ot as Exit, p as ValuableParams, pn as Base, pr as TypeCheckRight, pt as FieldValidation, q as TestContext, qn as createSerializationCompanion, qt as DecoderErrorLeaf, r as None, rn as TaskMetadata, rr as serializeError, rt as LayerError, s as TracedOption, sn as TaskSuccess, sr as Left, st as ExitTag, t as Match, tn as Task$1, tr as SerializedError, tt as UnsupportedSyncOperationError, u as TraceOp, un as NAME, ur as RightOf, ut as HasService, v as Map, vn as IntegerNumber, vr as Widen, vt as ErrorCode, w as Kind, wn as UUID, wr as Functor, wt as ErrorFormatterOptions, x as Identity, xn as PatternString, xr as Promisable, xt as TypedError, y as KVTraversable, yn as NonEmptyString, yr as reduceRightWiden, yt as ErrorMessage, z as DecodeError, zn as Try, zt as LeftErrorType } from "./index-
|
|
5
|
-
import { n as invariant, t as InvariantViolation } from "./Invariant-
|
|
6
|
-
import { t as Logger } from "./Logger-
|
|
7
|
-
import { n as WireMark, t as Wire } from "./Wire-
|
|
1
|
+
import { a as ExtractBrand, c as hasBrand, i as BrandedString, l as unwrapBrand, n as BrandedBoolean, o as Unwrap, r as BrandedNumber, s as createBrander, t as Brand } from "./Brand-bfnGXuum.js";
|
|
2
|
+
import { i as Companion, n as InstanceType, r as isCompanion, t as CompanionMethods } from "./CompanionTypes-Cc90cQ4P.js";
|
|
3
|
+
import { a as isTypeable, c as SerializationMethods, d as Type, i as TypeableParams, l as Pipe, n as ExtractTag, o as Serializable, r as Typeable, s as SerializableEnvelope, t as Tuple, u as Foldable } from "./Tuple-B8KM-H8Y.js";
|
|
4
|
+
import { $ as TimeoutError, $n as fromYAML, $t as Sync, A as Http, An as FunctypeBase, Ar as ParseError, At as safeStringify, B as HttpError, Bn as TypeNames, Bt as NoneError, C as HKT, Cn as PositiveNumber, Cr as AsyncMonad, Ct as ErrorChainElement, D as TryKind, Dn as ValidatedBrandCompanion, Dr as ContainerOps, Dt as createErrorSerializer, E as OptionKind, En as ValidatedBrand, Er as CollectionOps, Et as TaskErrorInfo, F as HttpRequestOptions, Fn as Collection, Fr as Cond, Ft as EmptyListError, G as TestClock, Gn as SerializationResult, Gt as DecoderError, H as HttpStatusError, Hn as Serialization_d_exports, Ht as unwrap, I as HttpRequestView, In as Set, It as FailureError, J as IO, Jn as createSerializer, Jt as Async, K as TestClockTag, Kn as createCustomSerializer, Kt as DecoderErrorComposite, L as HttpResponse, Ln as List, Lt as FailureErrorType, M as HttpClientConfig, Mn as Traversable, Mr as ConcurrencyOptions, Mt as Do, N as HttpMethodOptions, Nn as Matchable, Nr as DoResult, Nt as DoAsync, O as UniversalContainer, On as FunctypeSum, Or as Extractable, Ot as formatError, P as HttpQueryParams, Pn as MatchableUtils, Pr as Doable, Pt as DoGenerator, Q as Task, Qn as fromJSON, Qt as Ok, R as ParseMode, Rn as Reshapeable, Rt as LeftError, S as EitherKind, Sn as PositiveInteger, Sr as Applicative, St as TypedErrorContext, T as ListKind, Tn as UrlString, Tr as Monad, Tt as ErrorWithTaskInfo, U as NetworkError, Un as FUNCTYPE_MARKER, Ut as Decoder, V as HttpMethod, Vn as JSONValue, Vt as isDoCapable, W as ResponseDecodeError, Wn as FunctypeEnvelope, Wt as Encoder, X as RIO, Xn as envelope, Xt as CancellationTokenSource, Y as InterruptedError, Yn as createTaggedSerializer, Yt as CancellationToken, Z as RepeatExhausted, Zn as fromBinary, Zt as Err, _ as ESMapType, _n as ISO8601Date, _r as tryCatchAsync, _t as Validator, a as OptionConstructor, an as TaskParams, ar as Either, at as LayerOutput, b as Lazy, bn as NonNegativeNumber, br as reduceWiden, bt as ErrorStatus, c as Tracer, cn as createCancellationTokenSource, cr as LeftOf, ct as Context, d as Stack, dn as Throwable, dr as TestEither, dt as Tag, en as TaggedThrowable, er as taggedEnvelope, et as UIO, f as Valuable, fn as ThrowableType, fr as TypeCheckLeft, ft as TagService, g as ESMap, gn as EmailAddress, gr as tryCatch, gt as ValidationRule, h as Obj, hn as BoundedString, hr as isRight, ht as Validation, i as Option, in as TaskOutcome, ir as LazyList, it as LayerInput, j as HttpClient, jn as FunctypeCollection, jr as Concurrency, jt as $, k as FoldableUtils, kn as Functype, kr as isExtractable, kt as formatStackTrace, l as TraceEvent, ln as isTaggedThrowable, lr as Right, lt as ContextServices, m as Ref, mn as BoundedNumber, mr as isLeft, mt as FormValidation, n as UntypedMatch, nn as TaskFailure, nr as deserializeError, nt as Layer, o as Some, on as TaskResult, or as EitherBase, ot as Exit, p as ValuableParams, pn as Base, pr as TypeCheckRight, pt as FieldValidation, q as TestContext, qn as createSerializationCompanion, qt as DecoderErrorLeaf, r as None, rn as TaskMetadata, rr as serializeError, rt as LayerError, s as TracedOption, sn as TaskSuccess, sr as Left, st as ExitTag, t as Match, tn as Task$1, tr as SerializedError, tt as UnsupportedSyncOperationError, u as TraceOp, un as NAME, ur as RightOf, ut as HasService, v as Map, vn as IntegerNumber, vr as Widen, vt as ErrorCode, w as Kind, wn as UUID, wr as Functor, wt as ErrorFormatterOptions, x as Identity, xn as PatternString, xr as Promisable, xt as TypedError, y as KVTraversable, yn as NonEmptyString, yr as reduceRightWiden, yt as ErrorMessage, z as DecodeError, zn as Try, zt as LeftErrorType } from "./index-C5IrHYtk.js";
|
|
5
|
+
import { n as invariant, t as InvariantViolation } from "./Invariant-DEan-SxV.js";
|
|
6
|
+
import { t as Logger } from "./Logger-BmprRS8v.js";
|
|
7
|
+
import { n as WireMark, t as Wire } from "./Wire-3hvw0Ogg.js";
|
|
8
8
|
export { $, type Applicative, Async, type AsyncMonad, Base, BoundedNumber, BoundedString, Brand, BrandedBoolean, type BrandedBoolean as BrandedBooleanType, BrandedNumber, type BrandedNumber as BrandedNumberType, BrandedString, type BrandedString as BrandedStringType, CancellationToken, CancellationTokenSource, Collection, type CollectionOps, Companion, CompanionMethods, type Concurrency, type ConcurrencyOptions, Cond, type ContainerOps, Context, type Context as ContextType, type ContextServices, type DecodeError, Decoder, DecoderError, type DecoderErrorComposite, type DecoderErrorLeaf, Do, DoAsync, DoGenerator, type DoResult, type Doable, ESMap, ESMapType, Either, EitherBase, EitherKind, EmailAddress, EmptyListError, type Encoder, Err, ErrorChainElement, ErrorCode, ErrorFormatterOptions, ErrorMessage, ErrorStatus, ErrorWithTaskInfo, Exit, type Exit as ExitType, type ExitTag, type ExtractBrand, ExtractTag, type Extractable, FUNCTYPE_MARKER, FailureError, FailureErrorType, FieldValidation, Foldable, FoldableUtils, FormValidation, type Functor, Functype, FunctypeBase, FunctypeCollection, FunctypeEnvelope, FunctypeSum, HKT, type HasService, Http, HttpClient, type HttpClientConfig, HttpError, HttpError as HttpErrors, type HttpMethod, type HttpMethodOptions, type HttpQueryParams, type HttpRequestOptions, type HttpRequestView, type HttpResponse, type HttpStatusError, IO, type IO as IOType, type Task as IOTask, ISO8601Date, Identity, InstanceType, IntegerNumber, InterruptedError, InvariantViolation, type JSONValue, KVTraversable, Kind, Layer, type Layer as LayerType, type LayerError, type LayerInput, type LayerOutput, Lazy, type Lazy as LazyType, LazyList, Left, LeftError, LeftErrorType, LeftOf, List, ListKind, type Logger, Map, Match, type Matchable, MatchableUtils, type Monad, NAME, type NetworkError, NonEmptyString, NonNegativeNumber, None, NoneError, Obj, Ok, Option, OptionConstructor, OptionKind, ParseError, type ParseMode, PatternString, Pipe, PositiveInteger, PositiveNumber, type Promisable, type RIO, Ref, type Ref as RefType, RepeatExhausted, type Reshapeable, type ResponseDecodeError, Right, RightOf, Serializable, SerializableEnvelope, Serialization_d_exports as Serialization, SerializationMethods, SerializationResult, SerializedError, Set, Some, Stack, Sync, Tag, type Tag as TagType, type TagService, TaggedThrowable, Task$1 as Task, TaskErrorInfo, TaskFailure, TaskMetadata, TaskOutcome, TaskParams, TaskResult, TaskSuccess, TestClock, type TestClock as TestClockType, TestClockTag, TestContext, type TestContext as TestContextType, TestEither, Throwable, ThrowableType, TimeoutError, type TraceEvent, type TraceOp, TracedOption, type Tracer, Traversable, Try, TryKind, Tuple, Type, TypeCheckLeft, TypeCheckRight, TypeNames, Typeable, TypeableParams, TypedError, TypedErrorContext, type UIO, UUID, UniversalContainer, UnsupportedSyncOperationError, UntypedMatch, type Unwrap, UrlString, ValidatedBrand, type ValidatedBrand as ValidatedBrandType, type ValidatedBrandCompanion, Validation, ValidationRule, Validator, Valuable, ValuableParams, type Widen, type Wire, type WireMark, createBrander, createCancellationTokenSource, createCustomSerializer, createErrorSerializer, createSerializationCompanion, createSerializer, createTaggedSerializer, deserializeError, envelope, formatError, formatStackTrace, fromBinary, fromJSON, fromYAML, hasBrand, invariant, isCompanion, isDoCapable, isExtractable, isLeft, isRight, isTaggedThrowable, isTypeable, reduceRightWiden, reduceWiden, safeStringify, serializeError, taggedEnvelope, tryCatch, tryCatchAsync, unwrap, unwrapBrand };
|
package/dist/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
import{Brand as ee,BrandedBoolean as te,BrandedNumber as ne,BrandedString as e,createBrander as t,hasBrand as n,unwrap as r}from"./branded/index.js";import{$ as i,A as a,At as o,B as s,C as c,Ct as l,D as u,Dt as d,E as f,Et as p,F as m,Ft as h,G as g,H as _,I as v,J as y,K as b,L as x,M as S,Mt as C,N as w,Nt as T,O as E,Ot as D,P as O,Pt as k,Q as A,R as j,S as M,St as N,T as P,Tt as F,U as I,V as L,W as R,X as z,Y as B,Z as V,_ as H,_t as U,a as W,at as G,b as K,bt as q,c as J,ct as Y,d as X,dt as Z,et as re,f as Q,ft as ie,g as ae,gt as oe,h as se,ht as ce,i as le,it as $,j as ue,jt as de,k as fe,kt as pe,l as me,lt as he,m as ge,mt as _e,n as ve,nt as ye,o as be,ot as xe,p as Se,pt as Ce,q as we,r as Te,rt as Ee,s as De,st as Oe,t as ke,tt as Ae,u as je,ut as Me,v as Ne,vt as Pe,w as Fe,wt as Ie,x as Le,xt as Re,y as ze,yt as Be,z as Ve}from"./src-
|
|
1
|
+
import{Brand as ee,BrandedBoolean as te,BrandedNumber as ne,BrandedString as e,createBrander as t,hasBrand as n,unwrap as r}from"./branded/index.js";import{$ as i,A as a,At as o,B as s,C as c,Ct as l,D as u,Dt as d,E as f,Et as p,F as m,Ft as h,G as g,H as _,I as v,J as y,K as b,L as x,M as S,Mt as C,N as w,Nt as T,O as E,Ot as D,P as O,Pt as k,Q as A,R as j,S as M,St as N,T as P,Tt as F,U as I,V as L,W as R,X as z,Y as B,Z as V,_ as H,_t as U,a as W,at as G,b as K,bt as q,c as J,ct as Y,d as X,dt as Z,et as re,f as Q,ft as ie,g as ae,gt as oe,h as se,ht as ce,i as le,it as $,j as ue,jt as de,k as fe,kt as pe,l as me,lt as he,m as ge,mt as _e,n as ve,nt as ye,o as be,ot as xe,p as Se,pt as Ce,q as we,r as Te,rt as Ee,s as De,st as Oe,t as ke,tt as Ae,u as je,ut as Me,v as Ne,vt as Pe,w as Fe,wt as Ie,x as Le,xt as Re,y as ze,yt as Be,z as Ve}from"./src-DskkjCdD.js";import{t as He}from"./Companion-DiOMBHDG.js";import{a as Ue,c as We,d as Ge,f as Ke,i as qe,l as Je,n as Ye,o as Xe,r as Ze,s as Qe,t as $e,u as et}from"./serialization-BThDTD74.js";import{n as tt,t as nt}from"./typeclass-C61yDVYd.js";import{t as rt}from"./CompanionTypes-BVqO7Kc2.js";import{Tuple as it}from"./tuple/index.js";import{InvariantViolation as at,invariant as ot}from"./invariant/index.js";export{w as $,i as Base,ye as BoundedNumber,Ee as BoundedString,ee as Brand,te as BrandedBoolean,ne as BrandedNumber,e as BrandedString,He as Companion,Ae as Cond,P as Context,_ as Decoder,I as DecoderError,O as Do,m as DoAsync,g as ESMap,ce as Either,$ as EmailAddress,v as EmptyListError,b as Err,Fe as Exit,$e as FUNCTYPE_MARKER,x as FailureError,je as FoldableUtils,me as HKT,X as Http,Se as HttpClient,Q as HttpError,Q as HttpErrors,ze as IO,G as ISO8601Date,J as Identity,xe as IntegerNumber,K as InterruptedError,at as InvariantViolation,Ne as Layer,De as Lazy,D as LazyList,oe as Left,j as LeftError,Ie as List,R as Map,re as Match,be as MatchableUtils,V as NAME,Oe as NonEmptyString,Y as NonNegativeNumber,de as None,Ve as NoneError,W as Obj,we as Ok,C as Option,T as OptionConstructor,h as ParseError,he as PatternString,Me as PositiveInteger,Z as PositiveNumber,pe as Ref,Le as RepeatExhausted,U as Right,Te as Serialization,o as Set,k as Some,le as Stack,H as Tag,y as Task,ge as TestClock,se as TestClockTag,ae as TestContext,A as Throwable,M as TimeoutError,ve as TracedOption,d as Try,it as Tuple,Pe as TypeCheckLeft,Be as TypeCheckRight,F as Typeable,E as TypedError,ie as UUID,c as UnsupportedSyncOperationError,Ce as UrlString,_e as ValidatedBrand,u as Validation,ke as Valuable,t as createBrander,B as createCancellationTokenSource,Ye as createCustomSerializer,fe as createErrorSerializer,Ze as createSerializationCompanion,qe as createSerializer,Ue as createTaggedSerializer,Ge as deserializeError,Xe as envelope,a as formatError,ue as formatStackTrace,Qe as fromBinary,We as fromJSON,Je as fromYAML,n as hasBrand,ot as invariant,rt as isCompanion,s as isDoCapable,f as isExtractable,q as isLeft,Re as isRight,z as isTaggedThrowable,p as isTypeable,nt as reduceRightWiden,tt as reduceWiden,S as safeStringify,Ke as serializeError,et as taggedEnvelope,N as tryCatch,l as tryCatchAsync,L as unwrap,r as unwrapBrand};
|
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { n as invariant, t as InvariantViolation } from "../Invariant-
|
|
1
|
+
import { n as invariant, t as InvariantViolation } from "../Invariant-DEan-SxV.js";
|
|
2
2
|
export { InvariantViolation, invariant };
|
package/dist/io/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { $ as TimeoutError, G as TestClock, J as IO, K as TestClockTag, Q as Task, X as RIO, Y as InterruptedError, Z as RepeatExhausted, at as LayerOutput, ct as Context, dt as Tag, et as UIO, ft as TagService, it as LayerInput, lt as ContextServices, nt as Layer, ot as Exit, q as TestContext, rt as LayerError, st as ExitTag, tt as UnsupportedSyncOperationError, ut as HasService } from "../index-
|
|
1
|
+
import { $ as TimeoutError, G as TestClock, J as IO, K as TestClockTag, Q as Task, X as RIO, Y as InterruptedError, Z as RepeatExhausted, at as LayerOutput, ct as Context, dt as Tag, et as UIO, ft as TagService, it as LayerInput, lt as ContextServices, nt as Layer, ot as Exit, q as TestContext, rt as LayerError, st as ExitTag, tt as UnsupportedSyncOperationError, ut as HasService } from "../index-C5IrHYtk.js";
|
|
2
2
|
export { Context, type Context as ContextType, type ContextServices, Exit, type Exit as ExitType, type ExitTag, type HasService, IO, type IO as IOType, type Task as IOTask, InterruptedError, Layer, type Layer as LayerType, type LayerError, type LayerInput, type LayerOutput, type RIO, RepeatExhausted, Tag, type Tag as TagType, type TagService, TestClock, type TestClock as TestClockType, TestClockTag, TestContext, type TestContext as TestContextType, TimeoutError, type UIO, UnsupportedSyncOperationError };
|
package/dist/io/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
import{C as e,S as t,T as n,_ as r,b as i,g as a,h as o,m as s,v as c,w as l,x as u,y as d}from"../src-DskkjCdD.js";export{n as Context,l as Exit,d as IO,i as InterruptedError,c as Layer,u as RepeatExhausted,r as Tag,s as TestClock,o as TestClockTag,a as TestContext,t as TimeoutError,e as UnsupportedSyncOperationError};
|
package/dist/lazy/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { b as Lazy } from "../index-
|
|
1
|
+
import { b as Lazy } from "../index-C5IrHYtk.js";
|
|
2
2
|
export { Lazy, type Lazy as LazyType };
|
package/dist/lazy/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
import{s as e}from"../src-DskkjCdD.js";export{e as Lazy};
|
package/dist/list/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { Ln as List } from "../index-
|
|
1
|
+
import { Ln as List } from "../index-C5IrHYtk.js";
|
|
2
2
|
export { List };
|
package/dist/list/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
import{wt as e}from"../src-DskkjCdD.js";export{e as List};
|
package/dist/logger/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { t as Logger } from "../Logger-
|
|
1
|
+
import { t as Logger } from "../Logger-BmprRS8v.js";
|
|
2
2
|
export { Logger };
|
package/dist/map/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { v as Map } from "../index-
|
|
1
|
+
import { v as Map } from "../index-C5IrHYtk.js";
|
|
2
2
|
export { Map };
|
package/dist/map/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
import{W as e}from"../src-DskkjCdD.js";export{e as Map};
|
package/dist/obj/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { h as Obj } from "../index-
|
|
1
|
+
import { h as Obj } from "../index-C5IrHYtk.js";
|
|
2
2
|
export { Obj };
|
package/dist/obj/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
import{a as e}from"../src-DskkjCdD.js";export{e as Obj};
|
package/dist/option/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { a as OptionConstructor, i as Option, o as Some, r as None } from "../index-
|
|
1
|
+
import { a as OptionConstructor, i as Option, o as Some, r as None } from "../index-C5IrHYtk.js";
|
|
2
2
|
export { None, Option, OptionConstructor, Some };
|
package/dist/option/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
import{Mt as e,Nt as t,Pt as n,jt as r}from"../src-DskkjCdD.js";export{r as None,e as Option,t as OptionConstructor,n as Some};
|