functype 1.20.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-CAORzL-T.js → full-interfaces-DvFrMxoM.js} +1 -1
- package/dist/functype/index.d.ts +1 -1
- package/dist/{index-C5IrHYtk.d.ts → index-6yQMHjyH.d.ts} +2 -122
- 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-BThDTD74.js → serialization-BorPartm.js} +1 -1
- package/dist/set/index.d.ts +1 -1
- package/dist/set/index.js +1 -1
- package/dist/{src-DskkjCdD.js → src-D0Zwzyk1.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 +1 -3
- package/dist/wire/index.d.ts +1 -1
- package/package.json +5 -5
|
@@ -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.
|
|
@@ -908,8 +887,6 @@ declare const LazyList: (<A extends Type>(iterable: Iterable<A>) => LazyList<A>)
|
|
|
908
887
|
*/
|
|
909
888
|
cycle: <A extends Type>(iterable: Iterable<A>) => LazyList<A>;
|
|
910
889
|
};
|
|
911
|
-
//#endregion
|
|
912
|
-
//#region src/serialization/error-envelope.d.ts
|
|
913
890
|
/**
|
|
914
891
|
* Canonical projection of `Error` to JSON, shared by every Serializable type
|
|
915
892
|
* that carries an `Error` in its failure branch (`Try.Failure`, `Task.Err`,
|
|
@@ -954,8 +931,6 @@ declare const serializeError: (err: unknown) => SerializedError;
|
|
|
954
931
|
* matching what `serializeCause` emits when a `cause` was a bare string.
|
|
955
932
|
*/
|
|
956
933
|
declare const deserializeError: (s: SerializedError | string) => Error;
|
|
957
|
-
//#endregion
|
|
958
|
-
//#region src/serialization/SerializationCompanion.d.ts
|
|
959
934
|
/**
|
|
960
935
|
* Serialization result containing methods for different formats
|
|
961
936
|
*/
|
|
@@ -1214,8 +1189,6 @@ declare const fromEnvelope: (envelope: unknown) => Try<unknown>;
|
|
|
1214
1189
|
* (e.g. `isApplicable` in a DBOS recipe).
|
|
1215
1190
|
*/
|
|
1216
1191
|
declare const isFunctypeValue: (v: unknown) => v is Serializable<unknown>;
|
|
1217
|
-
//#endregion
|
|
1218
|
-
//#region src/try/Try.d.ts
|
|
1219
1192
|
/**
|
|
1220
1193
|
* Possible types of Try instances
|
|
1221
1194
|
*/
|
|
@@ -1422,8 +1395,6 @@ declare const Try: (<T>(f: () => T) => Try<T>) & {
|
|
|
1422
1395
|
*/
|
|
1423
1396
|
traverse: <T, U>(arr: ReadonlyArray<T>, f: (value: T, index: number) => Try<U>) => Try<U[]>;
|
|
1424
1397
|
};
|
|
1425
|
-
//#endregion
|
|
1426
|
-
//#region src/reshapeable/Reshapeable.d.ts
|
|
1427
1398
|
/**
|
|
1428
1399
|
* Interface for types that can be reshaped (converted) between different monadic containers.
|
|
1429
1400
|
* Provides standard conversion methods to transform between Option, Either, List, and Try types.
|
|
@@ -1509,8 +1480,6 @@ interface Reshapeable<out T extends Type> {
|
|
|
1509
1480
|
*/
|
|
1510
1481
|
toTry(): Try<T>;
|
|
1511
1482
|
}
|
|
1512
|
-
//#endregion
|
|
1513
|
-
//#region src/list/List.d.ts
|
|
1514
1483
|
/**
|
|
1515
1484
|
* Immutable List. Covariant in A (`<out A>`) — mirrors Scala's `List[+A]`.
|
|
1516
1485
|
*
|
|
@@ -1623,8 +1592,6 @@ declare const List: (<A>(values?: Iterable<A>) => List<A>) & {
|
|
|
1623
1592
|
*/
|
|
1624
1593
|
fromBinary: <A>(binary: string) => List<A>;
|
|
1625
1594
|
};
|
|
1626
|
-
//#endregion
|
|
1627
|
-
//#region src/set/Set.d.ts
|
|
1628
1595
|
/**
|
|
1629
1596
|
* Immutable Set. Covariant in A (`<out A>`) — while Scala's `Set[A]` is nominally invariant,
|
|
1630
1597
|
* functype's Set follows the same pragmatic covariance pattern as List: element-query methods
|
|
@@ -1706,8 +1673,6 @@ declare const Set: (<A>(iterable?: Iterable<A>) => Set<A>) & {
|
|
|
1706
1673
|
*/
|
|
1707
1674
|
fromBinary: <A>(binary: string) => Set<A>;
|
|
1708
1675
|
};
|
|
1709
|
-
//#endregion
|
|
1710
|
-
//#region src/collections/index.d.ts
|
|
1711
1676
|
/**
|
|
1712
1677
|
* Represents a collection with conversion capabilities
|
|
1713
1678
|
* @interface
|
|
@@ -1719,8 +1684,6 @@ interface Collection<A> {
|
|
|
1719
1684
|
toSet(): Set<A>;
|
|
1720
1685
|
toString(): string;
|
|
1721
1686
|
}
|
|
1722
|
-
//#endregion
|
|
1723
|
-
//#region src/matchable/Matchable.d.ts
|
|
1724
1687
|
/**
|
|
1725
1688
|
* Pattern matching interface for functional data types.
|
|
1726
1689
|
*
|
|
@@ -1759,8 +1722,6 @@ declare const MatchableUtils: {
|
|
|
1759
1722
|
*/
|
|
1760
1723
|
when: <A, R>(predicate: (value: A) => boolean, handler: (value: A) => R) => (value: A) => R | undefined;
|
|
1761
1724
|
};
|
|
1762
|
-
//#endregion
|
|
1763
|
-
//#region src/traversable/Traversable.d.ts
|
|
1764
1725
|
/**
|
|
1765
1726
|
* Traversable typeclass for data structures that can be traversed through.
|
|
1766
1727
|
*
|
|
@@ -1781,8 +1742,6 @@ interface Traversable<out A extends Type> extends AsyncMonad<A> {
|
|
|
1781
1742
|
reduce<B = A>(op: (b: Widen<A, B>, a: Widen<A, B>) => Widen<A, B>): Widen<A, B>;
|
|
1782
1743
|
reduceRight<B = A>(op: (b: Widen<A, B>, a: Widen<A, B>) => Widen<A, B>): Widen<A, B>;
|
|
1783
1744
|
}
|
|
1784
|
-
//#endregion
|
|
1785
|
-
//#region src/functype/Functype.d.ts
|
|
1786
1745
|
/**
|
|
1787
1746
|
* Base interface for all functype data structures.
|
|
1788
1747
|
* This provides a standard contract with core functional programming traits.
|
|
@@ -1835,8 +1794,6 @@ interface FunctypeCollection<A, Tag extends string = string> extends Omit<Functy
|
|
|
1835
1794
|
*/
|
|
1836
1795
|
flatMapAsync<B extends Type>(f: (value: A) => PromiseLike<Iterable<B>>, options?: ConcurrencyOptions): PromiseLike<FunctypeCollection<B, Tag>>;
|
|
1837
1796
|
}
|
|
1838
|
-
//#endregion
|
|
1839
|
-
//#region src/functype/FunctypeSum.d.ts
|
|
1840
1797
|
/**
|
|
1841
1798
|
* Base interface for sum-type containers (Either, Try, etc.) that are NOT iterables.
|
|
1842
1799
|
*
|
|
@@ -1866,8 +1823,6 @@ interface FunctypeSum<A extends Type, Tag extends string = string> extends Async
|
|
|
1866
1823
|
exists(p: (a: A) => boolean): boolean;
|
|
1867
1824
|
forEach(f: (a: A) => void): void;
|
|
1868
1825
|
}
|
|
1869
|
-
//#endregion
|
|
1870
|
-
//#region src/branded/ValidatedBrand.d.ts
|
|
1871
1826
|
type ValidatedBrand<K extends string, T> = Brand<K, T> & {
|
|
1872
1827
|
readonly __validated: true;
|
|
1873
1828
|
};
|
|
@@ -1987,8 +1942,6 @@ declare function BoundedString(brand: string, minLength: number, maxLength: numb
|
|
|
1987
1942
|
* .orElse("Invalid phone number")
|
|
1988
1943
|
*/
|
|
1989
1944
|
declare function PatternString(brand: string, pattern: RegExp): ValidatedBrandCompanion<string, string>;
|
|
1990
|
-
//#endregion
|
|
1991
|
-
//#region src/core/base/Base.d.ts
|
|
1992
1945
|
/**
|
|
1993
1946
|
* Base Object from which most other objects inherit
|
|
1994
1947
|
* Now includes automatic Do-notation support via doUnwrap method
|
|
@@ -2000,8 +1953,6 @@ declare function Base<T extends Record<string, unknown>>(type: string, body: T):
|
|
|
2000
1953
|
doUnwrap(): DoResult<unknown>;
|
|
2001
1954
|
_tag: string;
|
|
2002
1955
|
};
|
|
2003
|
-
//#endregion
|
|
2004
|
-
//#region src/core/throwable/Throwable.d.ts
|
|
2005
1956
|
/**
|
|
2006
1957
|
* The identifier name for Throwable type
|
|
2007
1958
|
*/
|
|
@@ -2039,8 +1990,6 @@ declare class Throwable extends Error implements ThrowableType {
|
|
|
2039
1990
|
description: string;
|
|
2040
1991
|
}): ThrowableType;
|
|
2041
1992
|
}
|
|
2042
|
-
//#endregion
|
|
2043
|
-
//#region src/core/task/Task.d.ts
|
|
2044
1993
|
/**
|
|
2045
1994
|
* Type definition for errors with a _tag property that identifies them as Throwables
|
|
2046
1995
|
*/
|
|
@@ -2314,8 +2263,6 @@ declare const Task$1: (<T = unknown>(params?: TaskParams) => {
|
|
|
2314
2263
|
};
|
|
2315
2264
|
};
|
|
2316
2265
|
type Task$1 = ReturnType<typeof Task$1>;
|
|
2317
|
-
//#endregion
|
|
2318
|
-
//#region src/decoder/DecoderError.d.ts
|
|
2319
2266
|
/**
|
|
2320
2267
|
* Recursive decoder error.
|
|
2321
2268
|
*
|
|
@@ -2366,8 +2313,6 @@ declare const DecoderError: {
|
|
|
2366
2313
|
}>;
|
|
2367
2314
|
format: (e: DecoderError) => string;
|
|
2368
2315
|
};
|
|
2369
|
-
//#endregion
|
|
2370
|
-
//#region src/decoder/Decoder.d.ts
|
|
2371
2316
|
/**
|
|
2372
2317
|
* A `Decoder<A>` converts an `unknown` value into either a typed `A` or a
|
|
2373
2318
|
* structural `DecoderError`. The shape `(raw) => Either<DecoderError, A>` is
|
|
@@ -2381,8 +2326,6 @@ declare const DecoderError: {
|
|
|
2381
2326
|
* library cannot express.
|
|
2382
2327
|
*/
|
|
2383
2328
|
type Decoder$1<A> = (raw: unknown) => Either<DecoderError, A>;
|
|
2384
|
-
//#endregion
|
|
2385
|
-
//#region src/decoder/Encoder.d.ts
|
|
2386
2329
|
/**
|
|
2387
2330
|
* An `Encoder<A>` turns a typed value into the JSON that goes on the wire — the request-side
|
|
2388
2331
|
* counterpart of {@link Decoder}. Any function with this shape is an encoder.
|
|
@@ -2397,8 +2340,6 @@ type Decoder$1<A> = (raw: unknown) => Either<DecoderError, A>;
|
|
|
2397
2340
|
* ```
|
|
2398
2341
|
*/
|
|
2399
2342
|
type Encoder<A> = (value: A) => JSONValue;
|
|
2400
|
-
//#endregion
|
|
2401
|
-
//#region src/decoder/index.d.ts
|
|
2402
2343
|
/**
|
|
2403
2344
|
* A `Decoder<A>` converts an `unknown` value into either a typed `A` or a
|
|
2404
2345
|
* structural `DecoderError`. The shape `(raw) => Either<DecoderError, A>` is
|
|
@@ -2457,8 +2398,6 @@ declare const Decoder: {
|
|
|
2457
2398
|
map: <V>(inner: Decoder$1<V>) => Decoder$1<Map$1<string, V>>;
|
|
2458
2399
|
object: <T extends Record<string, unknown>>(shape: { [K in keyof T]: Decoder$1<T[K]>; }) => Decoder$1<T>;
|
|
2459
2400
|
};
|
|
2460
|
-
//#endregion
|
|
2461
|
-
//#region src/do/index.d.ts
|
|
2462
2401
|
type OptionLike = {
|
|
2463
2402
|
_tag: "Some" | "None";
|
|
2464
2403
|
isSome(): boolean;
|
|
@@ -2638,8 +2577,6 @@ interface FailureErrorType extends Error {
|
|
|
2638
2577
|
cause: Error;
|
|
2639
2578
|
}
|
|
2640
2579
|
declare const FailureError: (cause: Error, message?: string) => FailureErrorType;
|
|
2641
|
-
//#endregion
|
|
2642
|
-
//#region src/error/ErrorFormatter.d.ts
|
|
2643
2580
|
/**
|
|
2644
2581
|
* Type definition for task information that may be attached to errors
|
|
2645
2582
|
*/
|
|
@@ -2707,8 +2644,6 @@ declare function formatError(error: unknown, options?: ErrorFormatterOptions): s
|
|
|
2707
2644
|
* to better represent errors with their full context
|
|
2708
2645
|
*/
|
|
2709
2646
|
declare function createErrorSerializer(): (err: unknown) => unknown;
|
|
2710
|
-
//#endregion
|
|
2711
|
-
//#region src/error/typed/TypedError.d.ts
|
|
2712
2647
|
/**
|
|
2713
2648
|
* Type-safe error codes using template literal types
|
|
2714
2649
|
*/
|
|
@@ -2854,8 +2789,6 @@ declare const TypedError: (<T extends ErrorCode>(code: T, message: ErrorMessage<
|
|
|
2854
2789
|
*/
|
|
2855
2790
|
hasCode: <T extends ErrorCode>(error: TypedError<ErrorCode>, code: T) => error is TypedError<T>;
|
|
2856
2791
|
};
|
|
2857
|
-
//#endregion
|
|
2858
|
-
//#region src/error/typed/Validation.d.ts
|
|
2859
2792
|
/**
|
|
2860
2793
|
* Validation rule types using template literal types
|
|
2861
2794
|
*/
|
|
@@ -2928,8 +2861,6 @@ declare const Validation: (<T extends Type>(rule: ValidationRule) => Validator<T
|
|
|
2928
2861
|
*/
|
|
2929
2862
|
form: <T extends Record<string, Type>>(schema: { [K in keyof T]: Validator<T[K]>; }, data: Record<string, unknown>) => FormValidation<T>;
|
|
2930
2863
|
};
|
|
2931
|
-
//#endregion
|
|
2932
|
-
//#region src/io/Tag.d.ts
|
|
2933
2864
|
/**
|
|
2934
2865
|
* Tag module - service identifiers for dependency injection.
|
|
2935
2866
|
* @module Tag
|
|
@@ -3004,8 +2935,6 @@ declare const Tag: <S extends Type>(id: string) => Tag<S>;
|
|
|
3004
2935
|
* Type helper to extract the service type from a Tag
|
|
3005
2936
|
*/
|
|
3006
2937
|
type TagService<T> = T extends Tag<infer S> ? S : never;
|
|
3007
|
-
//#endregion
|
|
3008
|
-
//#region src/io/Context.d.ts
|
|
3009
2938
|
/**
|
|
3010
2939
|
* Context module - service container for dependency injection.
|
|
3011
2940
|
* @module Context
|
|
@@ -3115,8 +3044,6 @@ type ContextServices<C> = C extends Context<infer R> ? R : never;
|
|
|
3115
3044
|
* Type helper to check if a context provides a service
|
|
3116
3045
|
*/
|
|
3117
3046
|
type HasService<C, S> = S extends ContextServices<C> ? true : false;
|
|
3118
|
-
//#endregion
|
|
3119
|
-
//#region src/io/Exit.d.ts
|
|
3120
3047
|
/**
|
|
3121
3048
|
* Exit type module - represents the outcome of running an IO effect.
|
|
3122
3049
|
* @module Exit
|
|
@@ -3348,8 +3275,6 @@ declare const Exit: (<E extends Type, A extends Type>(value: A) => Exit<E, A>) &
|
|
|
3348
3275
|
*/
|
|
3349
3276
|
all: <E extends Type, A extends Type>(exits: readonly Exit<E, A>[]) => Exit<E, readonly A[]>;
|
|
3350
3277
|
};
|
|
3351
|
-
//#endregion
|
|
3352
|
-
//#region src/io/Layer.d.ts
|
|
3353
3278
|
/**
|
|
3354
3279
|
* Layer module - service construction recipes.
|
|
3355
3280
|
* @module Layer
|
|
@@ -3478,8 +3403,6 @@ type LayerError<L> = L extends Layer<Type, infer E, Type> ? E : never;
|
|
|
3478
3403
|
* Type helper to extract output services from a Layer
|
|
3479
3404
|
*/
|
|
3480
3405
|
type LayerOutput<L> = L extends Layer<Type, Type, infer ROut> ? ROut : never;
|
|
3481
|
-
//#endregion
|
|
3482
|
-
//#region src/io/IO.d.ts
|
|
3483
3406
|
/**
|
|
3484
3407
|
* Error thrown when an effect times out.
|
|
3485
3408
|
*/
|
|
@@ -4575,8 +4498,6 @@ type Task<E extends Type, A extends Type> = IO<never, E, A>;
|
|
|
4575
4498
|
* An IO with no error
|
|
4576
4499
|
*/
|
|
4577
4500
|
type RIO<R extends Type, A extends Type> = IO<R, never, A>;
|
|
4578
|
-
//#endregion
|
|
4579
|
-
//#region src/io/TestClock.d.ts
|
|
4580
4501
|
/**
|
|
4581
4502
|
* TestClock interface for controlling time in tests
|
|
4582
4503
|
*/
|
|
@@ -4706,8 +4627,6 @@ declare const TestContext: {
|
|
|
4706
4627
|
*/
|
|
4707
4628
|
withClock: () => TestContext<TestClock>;
|
|
4708
4629
|
};
|
|
4709
|
-
//#endregion
|
|
4710
|
-
//#region src/fetch/HttpError.d.ts
|
|
4711
4630
|
type HttpMethod = "GET" | "POST" | "PUT" | "PATCH" | "DELETE" | "HEAD" | "OPTIONS";
|
|
4712
4631
|
type NetworkError = {
|
|
4713
4632
|
readonly _tag: "NetworkError";
|
|
@@ -4761,8 +4680,6 @@ declare const HttpError: {
|
|
|
4761
4680
|
readonly DecodeError: (e: DecodeError) => T;
|
|
4762
4681
|
}) => T;
|
|
4763
4682
|
};
|
|
4764
|
-
//#endregion
|
|
4765
|
-
//#region src/fetch/HttpRequest.d.ts
|
|
4766
4683
|
type ParseMode = "json" | "text" | "blob" | "arrayBuffer" | "raw";
|
|
4767
4684
|
/**
|
|
4768
4685
|
* Typed query-parameter record. Scalar values (string | number | boolean) are
|
|
@@ -4874,8 +4791,6 @@ interface HttpRequestView {
|
|
|
4874
4791
|
readonly parseAs?: ParseMode;
|
|
4875
4792
|
readonly flatten?: boolean;
|
|
4876
4793
|
}
|
|
4877
|
-
//#endregion
|
|
4878
|
-
//#region src/fetch/HttpClient.d.ts
|
|
4879
4794
|
interface HttpClientConfig {
|
|
4880
4795
|
readonly baseUrl?: string;
|
|
4881
4796
|
readonly defaultHeaders?: Record<string, string>;
|
|
@@ -4952,8 +4867,6 @@ interface HttpClientConfig {
|
|
|
4952
4867
|
readonly afterResponse?: (response: HttpResponse<unknown>) => IO<never, HttpError, HttpResponse<unknown>>;
|
|
4953
4868
|
}
|
|
4954
4869
|
declare const HttpClient: Tag<HttpClientConfig>;
|
|
4955
|
-
//#endregion
|
|
4956
|
-
//#region src/fetch/Http.d.ts
|
|
4957
4870
|
type HttpMethods = {
|
|
4958
4871
|
readonly request: <T = unknown, TReq = unknown>(options: HttpRequestOptions<T, TReq>) => IO<never, HttpError, HttpResponse<T>>;
|
|
4959
4872
|
readonly get: <T = unknown>(url: string, options?: HttpMethodOptions<T>) => IO<never, HttpError, HttpResponse<T>>;
|
|
@@ -4977,8 +4890,6 @@ declare const Http: {
|
|
|
4977
4890
|
options: (url: string, options?: HttpMethodOptions<void>) => IO<never, HttpError, HttpResponse<void>>;
|
|
4978
4891
|
client: (config: HttpClientConfig) => HttpMethods;
|
|
4979
4892
|
};
|
|
4980
|
-
//#endregion
|
|
4981
|
-
//#region src/foldable/index.d.ts
|
|
4982
4893
|
/**
|
|
4983
4894
|
* Structural type for sum types that support pattern-match fold (Option, Either, Try, etc.).
|
|
4984
4895
|
* Uses duck typing so any type with the right fold signature works, without requiring a shared interface.
|
|
@@ -5029,8 +4940,6 @@ declare const FoldableUtils: {
|
|
|
5029
4940
|
*/
|
|
5030
4941
|
size: <A extends Type>(foldable: PatternFoldable<A>) => number;
|
|
5031
4942
|
};
|
|
5032
|
-
//#endregion
|
|
5033
|
-
//#region src/hkt/index.d.ts
|
|
5034
4943
|
/**
|
|
5035
4944
|
* Type function for representing higher-kinded types
|
|
5036
4945
|
*/
|
|
@@ -5093,8 +5002,6 @@ declare const HKT: {
|
|
|
5093
5002
|
isEither: <E extends Type, A extends Type>(value: unknown) => value is Either<E, A> & Mappable<A> & FlatMappable<A>;
|
|
5094
5003
|
isTry: <T extends Type>(value: unknown) => value is Try<T> & Mappable<T> & FlatMappable<T>;
|
|
5095
5004
|
};
|
|
5096
|
-
//#endregion
|
|
5097
|
-
//#region src/identity/Identity.d.ts
|
|
5098
5005
|
/**
|
|
5099
5006
|
* Identity — a trivial container carrying a single tagged value.
|
|
5100
5007
|
* Covariant in T (`<out T>`). `isSame` takes `Identity<unknown>` so that
|
|
@@ -5120,8 +5027,6 @@ declare const Identity: (<T>(value: T) => Identity<T>) & {
|
|
|
5120
5027
|
*/
|
|
5121
5028
|
pure: <T>(value: T) => Identity<T>;
|
|
5122
5029
|
};
|
|
5123
|
-
//#endregion
|
|
5124
|
-
//#region src/lazy/Lazy.d.ts
|
|
5125
5030
|
/**
|
|
5126
5031
|
* Lazy type module
|
|
5127
5032
|
* @module Lazy
|
|
@@ -5416,8 +5321,6 @@ declare const Lazy: (<T extends Type>(thunk: () => T) => Lazy<T>) & {
|
|
|
5416
5321
|
*/
|
|
5417
5322
|
fromJSON: <T extends Type>(json: string) => Lazy<T>;
|
|
5418
5323
|
};
|
|
5419
|
-
//#endregion
|
|
5420
|
-
//#region src/traversable/KVTraversable.d.ts
|
|
5421
5324
|
/**
|
|
5422
5325
|
* A traversable interface for key-value containers that excludes map, flatMap,
|
|
5423
5326
|
* flatMapAsync, and ap operations.
|
|
@@ -5430,8 +5333,6 @@ declare const Lazy: (<T extends Type>(thunk: () => T) => Lazy<T>) & {
|
|
|
5430
5333
|
* @typeParam A - The element type of the traversable
|
|
5431
5334
|
*/
|
|
5432
5335
|
type KVTraversable<A> = Omit<Traversable<A>, "map" | "flatMap" | "flatMapAsync" | "ap">;
|
|
5433
|
-
//#endregion
|
|
5434
|
-
//#region src/map/Map.d.ts
|
|
5435
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]> {
|
|
5436
5337
|
readonly [Symbol.toStringTag]: string;
|
|
5437
5338
|
readonly _tag: "Map";
|
|
@@ -5514,8 +5415,6 @@ declare const Map$1: (<K, V>(entries?: readonly (readonly [K, V])[] | IterableIt
|
|
|
5514
5415
|
*/
|
|
5515
5416
|
fromBinary: <K, V>(binary: string) => Map$1<K, V>;
|
|
5516
5417
|
};
|
|
5517
|
-
//#endregion
|
|
5518
|
-
//#region src/map/shim.d.ts
|
|
5519
5418
|
/**
|
|
5520
5419
|
* Type alias for the native JavaScript Map
|
|
5521
5420
|
* @interface
|
|
@@ -5529,8 +5428,6 @@ type ESMapType<K, V> = Map<K, V>;
|
|
|
5529
5428
|
* @category Collections
|
|
5530
5429
|
*/
|
|
5531
5430
|
declare const ESMap: MapConstructor;
|
|
5532
|
-
//#endregion
|
|
5533
|
-
//#region src/obj/Obj.d.ts
|
|
5534
5431
|
/**
|
|
5535
5432
|
* Obj type module
|
|
5536
5433
|
* @module Obj
|
|
@@ -5714,8 +5611,6 @@ declare const Obj: (<T extends Record<string, Type>>(data: T) => Obj<T>) & {
|
|
|
5714
5611
|
*/
|
|
5715
5612
|
fromBinary: <T extends Record<string, Type>>(binary: string) => Obj<T>;
|
|
5716
5613
|
};
|
|
5717
|
-
//#endregion
|
|
5718
|
-
//#region src/ref/Ref.d.ts
|
|
5719
5614
|
/**
|
|
5720
5615
|
* A mutable reference container that holds a value of type A.
|
|
5721
5616
|
* This provides controlled mutability in a functional context.
|
|
@@ -5778,8 +5673,6 @@ declare const Ref: (<A extends Type>(initial: A) => Ref<A>) & {
|
|
|
5778
5673
|
*/
|
|
5779
5674
|
of: <A extends Type>(initial: A) => Ref<A>;
|
|
5780
5675
|
};
|
|
5781
|
-
//#endregion
|
|
5782
|
-
//#region src/valuable/Valuable.d.ts
|
|
5783
5676
|
/**
|
|
5784
5677
|
* Parameters for creating a Valuable instance
|
|
5785
5678
|
*/
|
|
@@ -5807,8 +5700,6 @@ type Valuable<Tag extends string, V, T = object> = Typeable<Tag, T> & {
|
|
|
5807
5700
|
value: V;
|
|
5808
5701
|
};
|
|
5809
5702
|
};
|
|
5810
|
-
//#endregion
|
|
5811
|
-
//#region src/stack/Stack.d.ts
|
|
5812
5703
|
/**
|
|
5813
5704
|
* Stack data structure - Last In, First Out (LIFO)
|
|
5814
5705
|
* Implements the Traversable interface for working with ordered collections
|
|
@@ -5918,8 +5809,6 @@ declare const Stack: (<A extends Type>(values?: A[]) => Stack<A>) & {
|
|
|
5918
5809
|
*/
|
|
5919
5810
|
fromBinary: <A>(binary: string) => Stack<A>;
|
|
5920
5811
|
};
|
|
5921
|
-
//#endregion
|
|
5922
|
-
//#region src/traced/TraceEvent.d.ts
|
|
5923
5812
|
/**
|
|
5924
5813
|
* Identifies which combinator emitted this event.
|
|
5925
5814
|
* String union is open so callers can extend with custom ops.
|
|
@@ -5947,8 +5836,6 @@ type TraceEvent = {
|
|
|
5947
5836
|
readonly label?: string;
|
|
5948
5837
|
readonly meta?: Record<string, unknown>;
|
|
5949
5838
|
};
|
|
5950
|
-
//#endregion
|
|
5951
|
-
//#region src/traced/Tracer.d.ts
|
|
5952
5839
|
/**
|
|
5953
5840
|
* A sink for structured trace events emitted by `TracedOption` chains.
|
|
5954
5841
|
*
|
|
@@ -5974,8 +5861,6 @@ type TraceEvent = {
|
|
|
5974
5861
|
interface Tracer {
|
|
5975
5862
|
emit(event: TraceEvent): void;
|
|
5976
5863
|
}
|
|
5977
|
-
//#endregion
|
|
5978
|
-
//#region src/traced/TracedOption.d.ts
|
|
5979
5864
|
/**
|
|
5980
5865
|
* A wrapper around `Option<A>` that emits a `TraceEvent` to the
|
|
5981
5866
|
* injected `Tracer` on every combinator call.
|
|
@@ -6017,8 +5902,6 @@ type TracedOption<A> = {
|
|
|
6017
5902
|
* @param seq - Starting sequence number. Defaults to 0. Increments on each op.
|
|
6018
5903
|
*/
|
|
6019
5904
|
declare function TracedOption<A>(inner: Option<A>, tracer: Tracer, spanId: string, seq?: number): TracedOption<A>;
|
|
6020
|
-
//#endregion
|
|
6021
|
-
//#region src/option/Option.d.ts
|
|
6022
5905
|
/**
|
|
6023
5906
|
* Option type module
|
|
6024
5907
|
* @module Option
|
|
@@ -6294,8 +6177,6 @@ declare const Option: (<T extends Type>(value: T | null | undefined) => Option<T
|
|
|
6294
6177
|
*/
|
|
6295
6178
|
traverse: <T extends Type, U extends Type>(arr: ReadonlyArray<T>, f: (value: T, index: number) => Option<U>) => Option<U[]>;
|
|
6296
6179
|
};
|
|
6297
|
-
//#endregion
|
|
6298
|
-
//#region src/conditional/Match.d.ts
|
|
6299
6180
|
/**
|
|
6300
6181
|
* Type-level utilities for exhaustiveness checking
|
|
6301
6182
|
* @internal
|
|
@@ -6573,5 +6454,4 @@ declare const Match: (<T extends Type>(value: T) => UntypedMatch<T>) & {
|
|
|
6573
6454
|
};
|
|
6574
6455
|
};
|
|
6575
6456
|
};
|
|
6576
|
-
//#endregion
|
|
6577
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 };
|
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-6yQMHjyH.js";
|
|
2
2
|
export { Map };
|
package/dist/map/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
export{W as Map}from"../src-D0Zwzyk1.js";
|
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-6yQMHjyH.js";
|
|
2
2
|
export { Obj };
|
package/dist/obj/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
export{a as Obj}from"../src-D0Zwzyk1.js";
|
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-6yQMHjyH.js";
|
|
2
2
|
export { None, Option, OptionConstructor, Some };
|
package/dist/option/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
export{jt as None,Mt as Option,Nt as OptionConstructor,Pt as Some}from"../src-D0Zwzyk1.js";
|