functype 1.19.0 → 1.21.0
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-bfnGXuum.d.ts → Brand-C7Hd33JX.d.ts} +0 -2
- package/dist/{CompanionTypes-Cc90cQ4P.d.ts → CompanionTypes-DMzcby8K.d.ts} +0 -4
- package/dist/{Invariant-DEan-SxV.d.ts → Invariant-6Y75Psb0.d.ts} +0 -2
- package/dist/{Logger-BmprRS8v.d.ts → Logger-D6LMspN7.d.ts} +0 -2
- package/dist/{Tuple-B8KM-H8Y.d.ts → Tuple-dvvPo5g7.d.ts} +0 -12
- package/dist/{Wire-3hvw0Ogg.d.ts → Wire-BNcqYOqO.d.ts} +0 -2
- package/dist/branded/index.d.ts +1 -1
- package/dist/cli/exports.d.ts +0 -4
- 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-bd0ouDlO.js → full-interfaces-DvFrMxoM.js} +2 -2
- package/dist/functype/index.d.ts +1 -1
- package/dist/{index-CI_eMcy9.d.ts → index-6yQMHjyH.d.ts} +11 -128
- 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 +4 -0
- package/dist/set/index.d.ts +1 -1
- package/dist/set/index.js +1 -1
- package/dist/src-D0Zwzyk1.js +17 -0
- 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 +1 -3
- package/dist/wire/index.d.ts +1 -1
- package/package.json +5 -5
- package/dist/serialization-WH9MifUy.js +0 -4
- package/dist/src-BM_1Oo7o.js +0 -17
|
@@ -1,6 +1,5 @@
|
|
|
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-
|
|
3
|
-
//#region src/conditional/Cond.d.ts
|
|
1
|
+
import { t as Brand } from "./Brand-C7Hd33JX.js";
|
|
2
|
+
import { d as Type, l as Pipe, o as Serializable, r as Typeable, t as Tuple, u as Foldable } from "./Tuple-dvvPo5g7.js";
|
|
4
3
|
/**
|
|
5
4
|
* Conditional expression that enforces exhaustive returns without early returns.
|
|
6
5
|
* Similar to Scala's if/else expressions that always return a value.
|
|
@@ -132,8 +131,6 @@ declare const Cond: (<T extends Type>() => Cond<T>) & {
|
|
|
132
131
|
*/
|
|
133
132
|
lazy: <T extends Type>() => LazyCondChain<T>;
|
|
134
133
|
};
|
|
135
|
-
//#endregion
|
|
136
|
-
//#region src/do/protocol.d.ts
|
|
137
134
|
/**
|
|
138
135
|
* Protocol definitions for Do-notation
|
|
139
136
|
* Separated from main Do module to avoid circular dependencies
|
|
@@ -163,8 +160,6 @@ type DoResult<T> = {
|
|
|
163
160
|
interface Doable<out T> {
|
|
164
161
|
doUnwrap(): DoResult<T>;
|
|
165
162
|
}
|
|
166
|
-
//#endregion
|
|
167
|
-
//#region src/internal/concurrency.d.ts
|
|
168
163
|
/**
|
|
169
164
|
* Bounded-concurrency traversal shared by the async collection methods and `Either.traverseAsync`.
|
|
170
165
|
*/
|
|
@@ -176,16 +171,12 @@ type Concurrency = number | "unbounded";
|
|
|
176
171
|
type ConcurrencyOptions = {
|
|
177
172
|
readonly concurrency?: Concurrency;
|
|
178
173
|
};
|
|
179
|
-
//#endregion
|
|
180
|
-
//#region src/error/ParseError.d.ts
|
|
181
174
|
declare const ParseError: (message?: string) => Error & {
|
|
182
175
|
name: "ParseError";
|
|
183
176
|
};
|
|
184
177
|
type ParseError = Error & {
|
|
185
178
|
name: "ParseError";
|
|
186
179
|
};
|
|
187
|
-
//#endregion
|
|
188
|
-
//#region src/extractable/Extractable.d.ts
|
|
189
180
|
/**
|
|
190
181
|
* Interface for operations that can fail with exceptions.
|
|
191
182
|
* These methods should be used with care as they can throw at runtime.
|
|
@@ -245,8 +236,6 @@ interface Extractable<out T extends Type> extends Unsafe<T> {
|
|
|
245
236
|
* Type guard to check if a value implements Extractable
|
|
246
237
|
*/
|
|
247
238
|
declare function isExtractable<T extends Type>(value: unknown): value is Extractable<T>;
|
|
248
|
-
//#endregion
|
|
249
|
-
//#region src/typeclass/ContainerOps.d.ts
|
|
250
239
|
/**
|
|
251
240
|
* Universal operations that work on any container (single-value or collection).
|
|
252
241
|
* These operations make sense for Option, Either, Try, List, Set, etc.
|
|
@@ -369,8 +358,6 @@ interface CollectionOps<out A extends Type, Self> {
|
|
|
369
358
|
*/
|
|
370
359
|
toArray<B = A>(): B[];
|
|
371
360
|
}
|
|
372
|
-
//#endregion
|
|
373
|
-
//#region src/typeclass/Functor.d.ts
|
|
374
361
|
/**
|
|
375
362
|
* Functor type class - supports mapping over wrapped values
|
|
376
363
|
*
|
|
@@ -411,8 +398,6 @@ interface Monad<out A extends Type> extends Applicative<A> {
|
|
|
411
398
|
interface AsyncMonad<out A extends Type> extends Monad<A> {
|
|
412
399
|
flatMapAsync<B extends Type>(f: (value: A) => PromiseLike<AsyncMonad<B>>): PromiseLike<AsyncMonad<B>>;
|
|
413
400
|
}
|
|
414
|
-
//#endregion
|
|
415
|
-
//#region src/typeclass/Promisable.d.ts
|
|
416
401
|
/**
|
|
417
402
|
* Promisable trait - supports conversion to Promise
|
|
418
403
|
*
|
|
@@ -445,8 +430,6 @@ interface Promisable<out A extends Type> {
|
|
|
445
430
|
*/
|
|
446
431
|
toPromise(): Promise<A>;
|
|
447
432
|
}
|
|
448
|
-
//#endregion
|
|
449
|
-
//#region src/typeclass/variance.d.ts
|
|
450
433
|
/**
|
|
451
434
|
* Variance helpers — small utilities for expressing covariance-safe signatures
|
|
452
435
|
* when TypeScript's type system doesn't offer the exact constraint we need.
|
|
@@ -501,8 +484,6 @@ declare const reduceWiden: <A, B>(arr: readonly A[], op: (b: B, a: B) => B) => B
|
|
|
501
484
|
* Right-associative variant of {@link reduceWiden}. Same safety argument.
|
|
502
485
|
*/
|
|
503
486
|
declare const reduceRightWiden: <A, B>(arr: readonly A[], op: (b: B, a: B) => B) => B;
|
|
504
|
-
//#endregion
|
|
505
|
-
//#region src/either/Either.d.ts
|
|
506
487
|
/**
|
|
507
488
|
* Either type module
|
|
508
489
|
* @module Either
|
|
@@ -757,8 +738,6 @@ declare const Either: (<L extends Type, R extends Type>(value: R | L, isRight: b
|
|
|
757
738
|
*/
|
|
758
739
|
fromBinary: <L extends Type, R extends Type>(binary: string) => Either<L, R>;
|
|
759
740
|
};
|
|
760
|
-
//#endregion
|
|
761
|
-
//#region src/list/LazyList.d.ts
|
|
762
741
|
/**
|
|
763
742
|
* LazyList provides lazy evaluation for list operations.
|
|
764
743
|
* Operations are deferred until the list is materialized.
|
|
@@ -846,13 +825,14 @@ declare const LazyList: (<A extends Type>(iterable: Iterable<A>) => LazyList<A>)
|
|
|
846
825
|
*/
|
|
847
826
|
empty: <A extends Type>() => LazyList<A>;
|
|
848
827
|
/**
|
|
849
|
-
* Create a LazyList from
|
|
828
|
+
* Create a LazyList from values (one or more)
|
|
850
829
|
* @example
|
|
851
830
|
* const single = LazyList.of(42)
|
|
852
831
|
* .map(x => x * 2)
|
|
853
832
|
* .toArray() // [84]
|
|
833
|
+
* LazyList.of(1, 2, 3).toArray() // [1, 2, 3], same as LazyList.from(1, 2, 3)
|
|
854
834
|
*/
|
|
855
|
-
of: <A extends Type>(
|
|
835
|
+
of: <A extends Type>(...values: A[]) => LazyList<A>;
|
|
856
836
|
/**
|
|
857
837
|
* Create a LazyList from multiple values
|
|
858
838
|
*/
|
|
@@ -907,8 +887,6 @@ declare const LazyList: (<A extends Type>(iterable: Iterable<A>) => LazyList<A>)
|
|
|
907
887
|
*/
|
|
908
888
|
cycle: <A extends Type>(iterable: Iterable<A>) => LazyList<A>;
|
|
909
889
|
};
|
|
910
|
-
//#endregion
|
|
911
|
-
//#region src/serialization/error-envelope.d.ts
|
|
912
890
|
/**
|
|
913
891
|
* Canonical projection of `Error` to JSON, shared by every Serializable type
|
|
914
892
|
* that carries an `Error` in its failure branch (`Try.Failure`, `Task.Err`,
|
|
@@ -953,8 +931,6 @@ declare const serializeError: (err: unknown) => SerializedError;
|
|
|
953
931
|
* matching what `serializeCause` emits when a `cause` was a bare string.
|
|
954
932
|
*/
|
|
955
933
|
declare const deserializeError: (s: SerializedError | string) => Error;
|
|
956
|
-
//#endregion
|
|
957
|
-
//#region src/serialization/SerializationCompanion.d.ts
|
|
958
934
|
/**
|
|
959
935
|
* Serialization result containing methods for different formats
|
|
960
936
|
*/
|
|
@@ -1213,8 +1189,6 @@ declare const fromEnvelope: (envelope: unknown) => Try<unknown>;
|
|
|
1213
1189
|
* (e.g. `isApplicable` in a DBOS recipe).
|
|
1214
1190
|
*/
|
|
1215
1191
|
declare const isFunctypeValue: (v: unknown) => v is Serializable<unknown>;
|
|
1216
|
-
//#endregion
|
|
1217
|
-
//#region src/try/Try.d.ts
|
|
1218
1192
|
/**
|
|
1219
1193
|
* Possible types of Try instances
|
|
1220
1194
|
*/
|
|
@@ -1421,8 +1395,6 @@ declare const Try: (<T>(f: () => T) => Try<T>) & {
|
|
|
1421
1395
|
*/
|
|
1422
1396
|
traverse: <T, U>(arr: ReadonlyArray<T>, f: (value: T, index: number) => Try<U>) => Try<U[]>;
|
|
1423
1397
|
};
|
|
1424
|
-
//#endregion
|
|
1425
|
-
//#region src/reshapeable/Reshapeable.d.ts
|
|
1426
1398
|
/**
|
|
1427
1399
|
* Interface for types that can be reshaped (converted) between different monadic containers.
|
|
1428
1400
|
* Provides standard conversion methods to transform between Option, Either, List, and Try types.
|
|
@@ -1508,8 +1480,6 @@ interface Reshapeable<out T extends Type> {
|
|
|
1508
1480
|
*/
|
|
1509
1481
|
toTry(): Try<T>;
|
|
1510
1482
|
}
|
|
1511
|
-
//#endregion
|
|
1512
|
-
//#region src/list/List.d.ts
|
|
1513
1483
|
/**
|
|
1514
1484
|
* Immutable List. Covariant in A (`<out A>`) — mirrors Scala's `List[+A]`.
|
|
1515
1485
|
*
|
|
@@ -1622,8 +1592,6 @@ declare const List: (<A>(values?: Iterable<A>) => List<A>) & {
|
|
|
1622
1592
|
*/
|
|
1623
1593
|
fromBinary: <A>(binary: string) => List<A>;
|
|
1624
1594
|
};
|
|
1625
|
-
//#endregion
|
|
1626
|
-
//#region src/set/Set.d.ts
|
|
1627
1595
|
/**
|
|
1628
1596
|
* Immutable Set. Covariant in A (`<out A>`) — while Scala's `Set[A]` is nominally invariant,
|
|
1629
1597
|
* functype's Set follows the same pragmatic covariance pattern as List: element-query methods
|
|
@@ -1705,8 +1673,6 @@ declare const Set: (<A>(iterable?: Iterable<A>) => Set<A>) & {
|
|
|
1705
1673
|
*/
|
|
1706
1674
|
fromBinary: <A>(binary: string) => Set<A>;
|
|
1707
1675
|
};
|
|
1708
|
-
//#endregion
|
|
1709
|
-
//#region src/collections/index.d.ts
|
|
1710
1676
|
/**
|
|
1711
1677
|
* Represents a collection with conversion capabilities
|
|
1712
1678
|
* @interface
|
|
@@ -1718,8 +1684,6 @@ interface Collection<A> {
|
|
|
1718
1684
|
toSet(): Set<A>;
|
|
1719
1685
|
toString(): string;
|
|
1720
1686
|
}
|
|
1721
|
-
//#endregion
|
|
1722
|
-
//#region src/matchable/Matchable.d.ts
|
|
1723
1687
|
/**
|
|
1724
1688
|
* Pattern matching interface for functional data types.
|
|
1725
1689
|
*
|
|
@@ -1758,8 +1722,6 @@ declare const MatchableUtils: {
|
|
|
1758
1722
|
*/
|
|
1759
1723
|
when: <A, R>(predicate: (value: A) => boolean, handler: (value: A) => R) => (value: A) => R | undefined;
|
|
1760
1724
|
};
|
|
1761
|
-
//#endregion
|
|
1762
|
-
//#region src/traversable/Traversable.d.ts
|
|
1763
1725
|
/**
|
|
1764
1726
|
* Traversable typeclass for data structures that can be traversed through.
|
|
1765
1727
|
*
|
|
@@ -1780,8 +1742,6 @@ interface Traversable<out A extends Type> extends AsyncMonad<A> {
|
|
|
1780
1742
|
reduce<B = A>(op: (b: Widen<A, B>, a: Widen<A, B>) => Widen<A, B>): Widen<A, B>;
|
|
1781
1743
|
reduceRight<B = A>(op: (b: Widen<A, B>, a: Widen<A, B>) => Widen<A, B>): Widen<A, B>;
|
|
1782
1744
|
}
|
|
1783
|
-
//#endregion
|
|
1784
|
-
//#region src/functype/Functype.d.ts
|
|
1785
1745
|
/**
|
|
1786
1746
|
* Base interface for all functype data structures.
|
|
1787
1747
|
* This provides a standard contract with core functional programming traits.
|
|
@@ -1834,8 +1794,6 @@ interface FunctypeCollection<A, Tag extends string = string> extends Omit<Functy
|
|
|
1834
1794
|
*/
|
|
1835
1795
|
flatMapAsync<B extends Type>(f: (value: A) => PromiseLike<Iterable<B>>, options?: ConcurrencyOptions): PromiseLike<FunctypeCollection<B, Tag>>;
|
|
1836
1796
|
}
|
|
1837
|
-
//#endregion
|
|
1838
|
-
//#region src/functype/FunctypeSum.d.ts
|
|
1839
1797
|
/**
|
|
1840
1798
|
* Base interface for sum-type containers (Either, Try, etc.) that are NOT iterables.
|
|
1841
1799
|
*
|
|
@@ -1865,8 +1823,6 @@ interface FunctypeSum<A extends Type, Tag extends string = string> extends Async
|
|
|
1865
1823
|
exists(p: (a: A) => boolean): boolean;
|
|
1866
1824
|
forEach(f: (a: A) => void): void;
|
|
1867
1825
|
}
|
|
1868
|
-
//#endregion
|
|
1869
|
-
//#region src/branded/ValidatedBrand.d.ts
|
|
1870
1826
|
type ValidatedBrand<K extends string, T> = Brand<K, T> & {
|
|
1871
1827
|
readonly __validated: true;
|
|
1872
1828
|
};
|
|
@@ -1986,8 +1942,6 @@ declare function BoundedString(brand: string, minLength: number, maxLength: numb
|
|
|
1986
1942
|
* .orElse("Invalid phone number")
|
|
1987
1943
|
*/
|
|
1988
1944
|
declare function PatternString(brand: string, pattern: RegExp): ValidatedBrandCompanion<string, string>;
|
|
1989
|
-
//#endregion
|
|
1990
|
-
//#region src/core/base/Base.d.ts
|
|
1991
1945
|
/**
|
|
1992
1946
|
* Base Object from which most other objects inherit
|
|
1993
1947
|
* Now includes automatic Do-notation support via doUnwrap method
|
|
@@ -1999,8 +1953,6 @@ declare function Base<T extends Record<string, unknown>>(type: string, body: T):
|
|
|
1999
1953
|
doUnwrap(): DoResult<unknown>;
|
|
2000
1954
|
_tag: string;
|
|
2001
1955
|
};
|
|
2002
|
-
//#endregion
|
|
2003
|
-
//#region src/core/throwable/Throwable.d.ts
|
|
2004
1956
|
/**
|
|
2005
1957
|
* The identifier name for Throwable type
|
|
2006
1958
|
*/
|
|
@@ -2038,8 +1990,6 @@ declare class Throwable extends Error implements ThrowableType {
|
|
|
2038
1990
|
description: string;
|
|
2039
1991
|
}): ThrowableType;
|
|
2040
1992
|
}
|
|
2041
|
-
//#endregion
|
|
2042
|
-
//#region src/core/task/Task.d.ts
|
|
2043
1993
|
/**
|
|
2044
1994
|
* Type definition for errors with a _tag property that identifies them as Throwables
|
|
2045
1995
|
*/
|
|
@@ -2313,8 +2263,6 @@ declare const Task$1: (<T = unknown>(params?: TaskParams) => {
|
|
|
2313
2263
|
};
|
|
2314
2264
|
};
|
|
2315
2265
|
type Task$1 = ReturnType<typeof Task$1>;
|
|
2316
|
-
//#endregion
|
|
2317
|
-
//#region src/decoder/DecoderError.d.ts
|
|
2318
2266
|
/**
|
|
2319
2267
|
* Recursive decoder error.
|
|
2320
2268
|
*
|
|
@@ -2365,8 +2313,6 @@ declare const DecoderError: {
|
|
|
2365
2313
|
}>;
|
|
2366
2314
|
format: (e: DecoderError) => string;
|
|
2367
2315
|
};
|
|
2368
|
-
//#endregion
|
|
2369
|
-
//#region src/decoder/Decoder.d.ts
|
|
2370
2316
|
/**
|
|
2371
2317
|
* A `Decoder<A>` converts an `unknown` value into either a typed `A` or a
|
|
2372
2318
|
* structural `DecoderError`. The shape `(raw) => Either<DecoderError, A>` is
|
|
@@ -2380,8 +2326,6 @@ declare const DecoderError: {
|
|
|
2380
2326
|
* library cannot express.
|
|
2381
2327
|
*/
|
|
2382
2328
|
type Decoder$1<A> = (raw: unknown) => Either<DecoderError, A>;
|
|
2383
|
-
//#endregion
|
|
2384
|
-
//#region src/decoder/Encoder.d.ts
|
|
2385
2329
|
/**
|
|
2386
2330
|
* An `Encoder<A>` turns a typed value into the JSON that goes on the wire — the request-side
|
|
2387
2331
|
* counterpart of {@link Decoder}. Any function with this shape is an encoder.
|
|
@@ -2396,8 +2340,6 @@ type Decoder$1<A> = (raw: unknown) => Either<DecoderError, A>;
|
|
|
2396
2340
|
* ```
|
|
2397
2341
|
*/
|
|
2398
2342
|
type Encoder<A> = (value: A) => JSONValue;
|
|
2399
|
-
//#endregion
|
|
2400
|
-
//#region src/decoder/index.d.ts
|
|
2401
2343
|
/**
|
|
2402
2344
|
* A `Decoder<A>` converts an `unknown` value into either a typed `A` or a
|
|
2403
2345
|
* structural `DecoderError`. The shape `(raw) => Either<DecoderError, A>` is
|
|
@@ -2456,8 +2398,6 @@ declare const Decoder: {
|
|
|
2456
2398
|
map: <V>(inner: Decoder$1<V>) => Decoder$1<Map$1<string, V>>;
|
|
2457
2399
|
object: <T extends Record<string, unknown>>(shape: { [K in keyof T]: Decoder$1<T[K]>; }) => Decoder$1<T>;
|
|
2458
2400
|
};
|
|
2459
|
-
//#endregion
|
|
2460
|
-
//#region src/do/index.d.ts
|
|
2461
2401
|
type OptionLike = {
|
|
2462
2402
|
_tag: "Some" | "None";
|
|
2463
2403
|
isSome(): boolean;
|
|
@@ -2637,8 +2577,6 @@ interface FailureErrorType extends Error {
|
|
|
2637
2577
|
cause: Error;
|
|
2638
2578
|
}
|
|
2639
2579
|
declare const FailureError: (cause: Error, message?: string) => FailureErrorType;
|
|
2640
|
-
//#endregion
|
|
2641
|
-
//#region src/error/ErrorFormatter.d.ts
|
|
2642
2580
|
/**
|
|
2643
2581
|
* Type definition for task information that may be attached to errors
|
|
2644
2582
|
*/
|
|
@@ -2706,8 +2644,6 @@ declare function formatError(error: unknown, options?: ErrorFormatterOptions): s
|
|
|
2706
2644
|
* to better represent errors with their full context
|
|
2707
2645
|
*/
|
|
2708
2646
|
declare function createErrorSerializer(): (err: unknown) => unknown;
|
|
2709
|
-
//#endregion
|
|
2710
|
-
//#region src/error/typed/TypedError.d.ts
|
|
2711
2647
|
/**
|
|
2712
2648
|
* Type-safe error codes using template literal types
|
|
2713
2649
|
*/
|
|
@@ -2853,8 +2789,6 @@ declare const TypedError: (<T extends ErrorCode>(code: T, message: ErrorMessage<
|
|
|
2853
2789
|
*/
|
|
2854
2790
|
hasCode: <T extends ErrorCode>(error: TypedError<ErrorCode>, code: T) => error is TypedError<T>;
|
|
2855
2791
|
};
|
|
2856
|
-
//#endregion
|
|
2857
|
-
//#region src/error/typed/Validation.d.ts
|
|
2858
2792
|
/**
|
|
2859
2793
|
* Validation rule types using template literal types
|
|
2860
2794
|
*/
|
|
@@ -2927,8 +2861,6 @@ declare const Validation: (<T extends Type>(rule: ValidationRule) => Validator<T
|
|
|
2927
2861
|
*/
|
|
2928
2862
|
form: <T extends Record<string, Type>>(schema: { [K in keyof T]: Validator<T[K]>; }, data: Record<string, unknown>) => FormValidation<T>;
|
|
2929
2863
|
};
|
|
2930
|
-
//#endregion
|
|
2931
|
-
//#region src/io/Tag.d.ts
|
|
2932
2864
|
/**
|
|
2933
2865
|
* Tag module - service identifiers for dependency injection.
|
|
2934
2866
|
* @module Tag
|
|
@@ -3003,8 +2935,6 @@ declare const Tag: <S extends Type>(id: string) => Tag<S>;
|
|
|
3003
2935
|
* Type helper to extract the service type from a Tag
|
|
3004
2936
|
*/
|
|
3005
2937
|
type TagService<T> = T extends Tag<infer S> ? S : never;
|
|
3006
|
-
//#endregion
|
|
3007
|
-
//#region src/io/Context.d.ts
|
|
3008
2938
|
/**
|
|
3009
2939
|
* Context module - service container for dependency injection.
|
|
3010
2940
|
* @module Context
|
|
@@ -3114,8 +3044,6 @@ type ContextServices<C> = C extends Context<infer R> ? R : never;
|
|
|
3114
3044
|
* Type helper to check if a context provides a service
|
|
3115
3045
|
*/
|
|
3116
3046
|
type HasService<C, S> = S extends ContextServices<C> ? true : false;
|
|
3117
|
-
//#endregion
|
|
3118
|
-
//#region src/io/Exit.d.ts
|
|
3119
3047
|
/**
|
|
3120
3048
|
* Exit type module - represents the outcome of running an IO effect.
|
|
3121
3049
|
* @module Exit
|
|
@@ -3347,8 +3275,6 @@ declare const Exit: (<E extends Type, A extends Type>(value: A) => Exit<E, A>) &
|
|
|
3347
3275
|
*/
|
|
3348
3276
|
all: <E extends Type, A extends Type>(exits: readonly Exit<E, A>[]) => Exit<E, readonly A[]>;
|
|
3349
3277
|
};
|
|
3350
|
-
//#endregion
|
|
3351
|
-
//#region src/io/Layer.d.ts
|
|
3352
3278
|
/**
|
|
3353
3279
|
* Layer module - service construction recipes.
|
|
3354
3280
|
* @module Layer
|
|
@@ -3477,8 +3403,6 @@ type LayerError<L> = L extends Layer<Type, infer E, Type> ? E : never;
|
|
|
3477
3403
|
* Type helper to extract output services from a Layer
|
|
3478
3404
|
*/
|
|
3479
3405
|
type LayerOutput<L> = L extends Layer<Type, Type, infer ROut> ? ROut : never;
|
|
3480
|
-
//#endregion
|
|
3481
|
-
//#region src/io/IO.d.ts
|
|
3482
3406
|
/**
|
|
3483
3407
|
* Error thrown when an effect times out.
|
|
3484
3408
|
*/
|
|
@@ -4574,8 +4498,6 @@ type Task<E extends Type, A extends Type> = IO<never, E, A>;
|
|
|
4574
4498
|
* An IO with no error
|
|
4575
4499
|
*/
|
|
4576
4500
|
type RIO<R extends Type, A extends Type> = IO<R, never, A>;
|
|
4577
|
-
//#endregion
|
|
4578
|
-
//#region src/io/TestClock.d.ts
|
|
4579
4501
|
/**
|
|
4580
4502
|
* TestClock interface for controlling time in tests
|
|
4581
4503
|
*/
|
|
@@ -4705,8 +4627,6 @@ declare const TestContext: {
|
|
|
4705
4627
|
*/
|
|
4706
4628
|
withClock: () => TestContext<TestClock>;
|
|
4707
4629
|
};
|
|
4708
|
-
//#endregion
|
|
4709
|
-
//#region src/fetch/HttpError.d.ts
|
|
4710
4630
|
type HttpMethod = "GET" | "POST" | "PUT" | "PATCH" | "DELETE" | "HEAD" | "OPTIONS";
|
|
4711
4631
|
type NetworkError = {
|
|
4712
4632
|
readonly _tag: "NetworkError";
|
|
@@ -4760,8 +4680,6 @@ declare const HttpError: {
|
|
|
4760
4680
|
readonly DecodeError: (e: DecodeError) => T;
|
|
4761
4681
|
}) => T;
|
|
4762
4682
|
};
|
|
4763
|
-
//#endregion
|
|
4764
|
-
//#region src/fetch/HttpRequest.d.ts
|
|
4765
4683
|
type ParseMode = "json" | "text" | "blob" | "arrayBuffer" | "raw";
|
|
4766
4684
|
/**
|
|
4767
4685
|
* Typed query-parameter record. Scalar values (string | number | boolean) are
|
|
@@ -4873,8 +4791,6 @@ interface HttpRequestView {
|
|
|
4873
4791
|
readonly parseAs?: ParseMode;
|
|
4874
4792
|
readonly flatten?: boolean;
|
|
4875
4793
|
}
|
|
4876
|
-
//#endregion
|
|
4877
|
-
//#region src/fetch/HttpClient.d.ts
|
|
4878
4794
|
interface HttpClientConfig {
|
|
4879
4795
|
readonly baseUrl?: string;
|
|
4880
4796
|
readonly defaultHeaders?: Record<string, string>;
|
|
@@ -4951,8 +4867,6 @@ interface HttpClientConfig {
|
|
|
4951
4867
|
readonly afterResponse?: (response: HttpResponse<unknown>) => IO<never, HttpError, HttpResponse<unknown>>;
|
|
4952
4868
|
}
|
|
4953
4869
|
declare const HttpClient: Tag<HttpClientConfig>;
|
|
4954
|
-
//#endregion
|
|
4955
|
-
//#region src/fetch/Http.d.ts
|
|
4956
4870
|
type HttpMethods = {
|
|
4957
4871
|
readonly request: <T = unknown, TReq = unknown>(options: HttpRequestOptions<T, TReq>) => IO<never, HttpError, HttpResponse<T>>;
|
|
4958
4872
|
readonly get: <T = unknown>(url: string, options?: HttpMethodOptions<T>) => IO<never, HttpError, HttpResponse<T>>;
|
|
@@ -4976,8 +4890,6 @@ declare const Http: {
|
|
|
4976
4890
|
options: (url: string, options?: HttpMethodOptions<void>) => IO<never, HttpError, HttpResponse<void>>;
|
|
4977
4891
|
client: (config: HttpClientConfig) => HttpMethods;
|
|
4978
4892
|
};
|
|
4979
|
-
//#endregion
|
|
4980
|
-
//#region src/foldable/index.d.ts
|
|
4981
4893
|
/**
|
|
4982
4894
|
* Structural type for sum types that support pattern-match fold (Option, Either, Try, etc.).
|
|
4983
4895
|
* Uses duck typing so any type with the right fold signature works, without requiring a shared interface.
|
|
@@ -5028,8 +4940,6 @@ declare const FoldableUtils: {
|
|
|
5028
4940
|
*/
|
|
5029
4941
|
size: <A extends Type>(foldable: PatternFoldable<A>) => number;
|
|
5030
4942
|
};
|
|
5031
|
-
//#endregion
|
|
5032
|
-
//#region src/hkt/index.d.ts
|
|
5033
4943
|
/**
|
|
5034
4944
|
* Type function for representing higher-kinded types
|
|
5035
4945
|
*/
|
|
@@ -5092,8 +5002,6 @@ declare const HKT: {
|
|
|
5092
5002
|
isEither: <E extends Type, A extends Type>(value: unknown) => value is Either<E, A> & Mappable<A> & FlatMappable<A>;
|
|
5093
5003
|
isTry: <T extends Type>(value: unknown) => value is Try<T> & Mappable<T> & FlatMappable<T>;
|
|
5094
5004
|
};
|
|
5095
|
-
//#endregion
|
|
5096
|
-
//#region src/identity/Identity.d.ts
|
|
5097
5005
|
/**
|
|
5098
5006
|
* Identity — a trivial container carrying a single tagged value.
|
|
5099
5007
|
* Covariant in T (`<out T>`). `isSame` takes `Identity<unknown>` so that
|
|
@@ -5119,8 +5027,6 @@ declare const Identity: (<T>(value: T) => Identity<T>) & {
|
|
|
5119
5027
|
*/
|
|
5120
5028
|
pure: <T>(value: T) => Identity<T>;
|
|
5121
5029
|
};
|
|
5122
|
-
//#endregion
|
|
5123
|
-
//#region src/lazy/Lazy.d.ts
|
|
5124
5030
|
/**
|
|
5125
5031
|
* Lazy type module
|
|
5126
5032
|
* @module Lazy
|
|
@@ -5415,8 +5321,6 @@ declare const Lazy: (<T extends Type>(thunk: () => T) => Lazy<T>) & {
|
|
|
5415
5321
|
*/
|
|
5416
5322
|
fromJSON: <T extends Type>(json: string) => Lazy<T>;
|
|
5417
5323
|
};
|
|
5418
|
-
//#endregion
|
|
5419
|
-
//#region src/traversable/KVTraversable.d.ts
|
|
5420
5324
|
/**
|
|
5421
5325
|
* A traversable interface for key-value containers that excludes map, flatMap,
|
|
5422
5326
|
* flatMapAsync, and ap operations.
|
|
@@ -5429,8 +5333,6 @@ declare const Lazy: (<T extends Type>(thunk: () => T) => Lazy<T>) & {
|
|
|
5429
5333
|
* @typeParam A - The element type of the traversable
|
|
5430
5334
|
*/
|
|
5431
5335
|
type KVTraversable<A> = Omit<Traversable<A>, "map" | "flatMap" | "flatMapAsync" | "ap">;
|
|
5432
|
-
//#endregion
|
|
5433
|
-
//#region src/map/Map.d.ts
|
|
5434
5336
|
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]> {
|
|
5435
5337
|
readonly [Symbol.toStringTag]: string;
|
|
5436
5338
|
readonly _tag: "Map";
|
|
@@ -5513,8 +5415,6 @@ declare const Map$1: (<K, V>(entries?: readonly (readonly [K, V])[] | IterableIt
|
|
|
5513
5415
|
*/
|
|
5514
5416
|
fromBinary: <K, V>(binary: string) => Map$1<K, V>;
|
|
5515
5417
|
};
|
|
5516
|
-
//#endregion
|
|
5517
|
-
//#region src/map/shim.d.ts
|
|
5518
5418
|
/**
|
|
5519
5419
|
* Type alias for the native JavaScript Map
|
|
5520
5420
|
* @interface
|
|
@@ -5528,8 +5428,6 @@ type ESMapType<K, V> = Map<K, V>;
|
|
|
5528
5428
|
* @category Collections
|
|
5529
5429
|
*/
|
|
5530
5430
|
declare const ESMap: MapConstructor;
|
|
5531
|
-
//#endregion
|
|
5532
|
-
//#region src/obj/Obj.d.ts
|
|
5533
5431
|
/**
|
|
5534
5432
|
* Obj type module
|
|
5535
5433
|
* @module Obj
|
|
@@ -5713,8 +5611,6 @@ declare const Obj: (<T extends Record<string, Type>>(data: T) => Obj<T>) & {
|
|
|
5713
5611
|
*/
|
|
5714
5612
|
fromBinary: <T extends Record<string, Type>>(binary: string) => Obj<T>;
|
|
5715
5613
|
};
|
|
5716
|
-
//#endregion
|
|
5717
|
-
//#region src/ref/Ref.d.ts
|
|
5718
5614
|
/**
|
|
5719
5615
|
* A mutable reference container that holds a value of type A.
|
|
5720
5616
|
* This provides controlled mutability in a functional context.
|
|
@@ -5777,8 +5673,6 @@ declare const Ref: (<A extends Type>(initial: A) => Ref<A>) & {
|
|
|
5777
5673
|
*/
|
|
5778
5674
|
of: <A extends Type>(initial: A) => Ref<A>;
|
|
5779
5675
|
};
|
|
5780
|
-
//#endregion
|
|
5781
|
-
//#region src/valuable/Valuable.d.ts
|
|
5782
5676
|
/**
|
|
5783
5677
|
* Parameters for creating a Valuable instance
|
|
5784
5678
|
*/
|
|
@@ -5806,8 +5700,6 @@ type Valuable<Tag extends string, V, T = object> = Typeable<Tag, T> & {
|
|
|
5806
5700
|
value: V;
|
|
5807
5701
|
};
|
|
5808
5702
|
};
|
|
5809
|
-
//#endregion
|
|
5810
|
-
//#region src/stack/Stack.d.ts
|
|
5811
5703
|
/**
|
|
5812
5704
|
* Stack data structure - Last In, First Out (LIFO)
|
|
5813
5705
|
* Implements the Traversable interface for working with ordered collections
|
|
@@ -5891,11 +5783,13 @@ declare const Stack: (<A extends Type>(values?: A[]) => Stack<A>) & {
|
|
|
5891
5783
|
*/
|
|
5892
5784
|
empty: <A extends Type>() => Stack<A>;
|
|
5893
5785
|
/**
|
|
5894
|
-
* Creates a Stack from
|
|
5895
|
-
* @
|
|
5896
|
-
*
|
|
5786
|
+
* Creates a Stack from values, like `Stack([...values])`
|
|
5787
|
+
* @example
|
|
5788
|
+
* Stack.of(1, 2, 3) // same as Stack([1, 2, 3])
|
|
5789
|
+
* @param values - The values to create the stack with
|
|
5790
|
+
* @returns A Stack holding the values
|
|
5897
5791
|
*/
|
|
5898
|
-
of: <A extends Type>(
|
|
5792
|
+
of: <A extends Type>(...values: A[]) => Stack<A>;
|
|
5899
5793
|
/**
|
|
5900
5794
|
* Creates a Stack from JSON string
|
|
5901
5795
|
* @param json - The JSON string
|
|
@@ -5915,8 +5809,6 @@ declare const Stack: (<A extends Type>(values?: A[]) => Stack<A>) & {
|
|
|
5915
5809
|
*/
|
|
5916
5810
|
fromBinary: <A>(binary: string) => Stack<A>;
|
|
5917
5811
|
};
|
|
5918
|
-
//#endregion
|
|
5919
|
-
//#region src/traced/TraceEvent.d.ts
|
|
5920
5812
|
/**
|
|
5921
5813
|
* Identifies which combinator emitted this event.
|
|
5922
5814
|
* String union is open so callers can extend with custom ops.
|
|
@@ -5944,8 +5836,6 @@ type TraceEvent = {
|
|
|
5944
5836
|
readonly label?: string;
|
|
5945
5837
|
readonly meta?: Record<string, unknown>;
|
|
5946
5838
|
};
|
|
5947
|
-
//#endregion
|
|
5948
|
-
//#region src/traced/Tracer.d.ts
|
|
5949
5839
|
/**
|
|
5950
5840
|
* A sink for structured trace events emitted by `TracedOption` chains.
|
|
5951
5841
|
*
|
|
@@ -5971,8 +5861,6 @@ type TraceEvent = {
|
|
|
5971
5861
|
interface Tracer {
|
|
5972
5862
|
emit(event: TraceEvent): void;
|
|
5973
5863
|
}
|
|
5974
|
-
//#endregion
|
|
5975
|
-
//#region src/traced/TracedOption.d.ts
|
|
5976
5864
|
/**
|
|
5977
5865
|
* A wrapper around `Option<A>` that emits a `TraceEvent` to the
|
|
5978
5866
|
* injected `Tracer` on every combinator call.
|
|
@@ -6014,8 +5902,6 @@ type TracedOption<A> = {
|
|
|
6014
5902
|
* @param seq - Starting sequence number. Defaults to 0. Increments on each op.
|
|
6015
5903
|
*/
|
|
6016
5904
|
declare function TracedOption<A>(inner: Option<A>, tracer: Tracer, spanId: string, seq?: number): TracedOption<A>;
|
|
6017
|
-
//#endregion
|
|
6018
|
-
//#region src/option/Option.d.ts
|
|
6019
5905
|
/**
|
|
6020
5906
|
* Option type module
|
|
6021
5907
|
* @module Option
|
|
@@ -6291,8 +6177,6 @@ declare const Option: (<T extends Type>(value: T | null | undefined) => Option<T
|
|
|
6291
6177
|
*/
|
|
6292
6178
|
traverse: <T extends Type, U extends Type>(arr: ReadonlyArray<T>, f: (value: T, index: number) => Option<U>) => Option<U[]>;
|
|
6293
6179
|
};
|
|
6294
|
-
//#endregion
|
|
6295
|
-
//#region src/conditional/Match.d.ts
|
|
6296
6180
|
/**
|
|
6297
6181
|
* Type-level utilities for exhaustiveness checking
|
|
6298
6182
|
* @internal
|
|
@@ -6570,5 +6454,4 @@ declare const Match: (<T extends Type>(value: T) => UntypedMatch<T>) & {
|
|
|
6570
6454
|
};
|
|
6571
6455
|
};
|
|
6572
6456
|
};
|
|
6573
|
-
//#endregion
|
|
6574
6457
|
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-C7Hd33JX.js";
|
|
2
|
+
import { i as Companion, n as InstanceType, r as isCompanion, t as CompanionMethods } from "./CompanionTypes-DMzcby8K.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-dvvPo5g7.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-6yQMHjyH.js";
|
|
5
|
+
import { n as invariant, t as InvariantViolation } from "./Invariant-6Y75Psb0.js";
|
|
6
|
+
import { t as Logger } from "./Logger-D6LMspN7.js";
|
|
7
|
+
import { n as WireMark, t as Wire } from "./Wire-BNcqYOqO.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-D0Zwzyk1.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-BorPartm.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-6Y75Psb0.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-6yQMHjyH.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
|
+
export{T as Context,w as Exit,y as IO,b as InterruptedError,v as Layer,x as RepeatExhausted,_ as Tag,m as TestClock,h as TestClockTag,g as TestContext,S as TimeoutError,C as UnsupportedSyncOperationError}from"../src-D0Zwzyk1.js";
|
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-6yQMHjyH.js";
|
|
2
2
|
export { Lazy, type Lazy as LazyType };
|
package/dist/lazy/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
export{s as Lazy}from"../src-D0Zwzyk1.js";
|
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-6yQMHjyH.js";
|
|
2
2
|
export { List };
|
package/dist/list/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
export{wt as List}from"../src-D0Zwzyk1.js";
|
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-D6LMspN7.js";
|
|
2
2
|
export { Logger };
|