functype 0.58.0 → 0.59.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/{Tuple-DwyoW0ZP.d.ts → Tuple-CPZd_XgN.d.ts} +3 -3
- package/dist/cli/exports.js +1 -1
- package/dist/cli/index.js +5 -5
- 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/{full-interfaces-CiSsM7TZ.js → full-interfaces-B2NCRIHu.js} +31 -46
- package/dist/{index-nHF45wRc.d.ts → index-DeOx26aF.d.ts} +150 -68
- package/dist/index.d.ts +3 -3
- package/dist/index.js +1 -1
- package/dist/list/index.d.ts +1 -1
- package/dist/list/index.js +1 -1
- package/dist/map/index.d.ts +1 -1
- package/dist/map/index.js +1 -1
- package/dist/option/index.d.ts +1 -1
- package/dist/option/index.js +1 -1
- package/dist/set/index.d.ts +1 -1
- package/dist/set/index.js +1 -1
- package/dist/src-Co3npRp-.js +19 -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/package.json +1 -1
- package/dist/src-Dfm6mrTr.js +0 -19
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { t as Brand } from "./Brand-BJIRbUKB.js";
|
|
2
|
-
import { c as Pipe, l as Foldable, o as Serializable, r as Typeable, t as Tuple, u as Type } from "./Tuple-
|
|
2
|
+
import { c as Pipe, l as Foldable, o as Serializable, r as Typeable, t as Tuple, u as Type } from "./Tuple-CPZd_XgN.js";
|
|
3
3
|
|
|
4
4
|
//#region src/error/ParseError.d.ts
|
|
5
5
|
declare const ParseError: (message?: string) => Error & {
|
|
@@ -36,7 +36,7 @@ type DoResult<T> = {
|
|
|
36
36
|
* The doUnwrap method should return a DoResult indicating success/failure
|
|
37
37
|
* and the contained value or error information
|
|
38
38
|
*/
|
|
39
|
-
interface Doable<T> {
|
|
39
|
+
interface Doable<out T> {
|
|
40
40
|
doUnwrap(): DoResult<T>;
|
|
41
41
|
}
|
|
42
42
|
//#endregion
|
|
@@ -48,7 +48,7 @@ interface Doable<T> {
|
|
|
48
48
|
* @interface Unsafe
|
|
49
49
|
* @template T The type of value that can be extracted
|
|
50
50
|
*/
|
|
51
|
-
interface Unsafe<T extends Type> {
|
|
51
|
+
interface Unsafe<out T extends Type> {
|
|
52
52
|
/**
|
|
53
53
|
* Extract the value or throw an error
|
|
54
54
|
* @param error Optional custom error to throw. If not provided, uses type-appropriate default error
|
|
@@ -61,24 +61,30 @@ interface Unsafe<T extends Type> {
|
|
|
61
61
|
* Extractable type class for data structures that can extract their values
|
|
62
62
|
* with various fallback strategies.
|
|
63
63
|
*
|
|
64
|
-
*
|
|
65
|
-
*
|
|
64
|
+
* Covariance: T is declared `<out T>`. The fallback methods `orElse` and `or`
|
|
65
|
+
* widen the result via `<T2>`, matching Scala's `getOrElse[B1 >: B](default: => B1): B1`
|
|
66
|
+
* shape — when the caller passes a T-typed default the result is just T, and when
|
|
67
|
+
* they pass a wider T2 the result union widens accordingly.
|
|
66
68
|
*
|
|
67
|
-
*
|
|
69
|
+
* Implementers that previously overrode `or`/`orElse` with widened signatures
|
|
70
|
+
* (Option, Either, Try) can inherit from this base directly; their 0.58-era
|
|
71
|
+
* `Omit<Extractable<T>, "or" | "orElse">` workarounds are no longer needed.
|
|
68
72
|
*/
|
|
69
|
-
interface Extractable<T extends Type> extends Unsafe<T> {
|
|
73
|
+
interface Extractable<out T extends Type> extends Unsafe<T> {
|
|
70
74
|
/**
|
|
71
|
-
* Returns the contained value or a default value
|
|
75
|
+
* Returns the contained value or a default value. The default may be of a
|
|
76
|
+
* different type; the result widens to `T | T2`.
|
|
72
77
|
* @param defaultValue - The value to return if extraction fails
|
|
73
78
|
* @returns The contained value or defaultValue
|
|
74
79
|
*/
|
|
75
|
-
orElse(defaultValue:
|
|
80
|
+
orElse<T2 extends Type>(defaultValue: T2): T | T2;
|
|
76
81
|
/**
|
|
77
|
-
* Returns this container if it has a value, otherwise returns the alternative container
|
|
82
|
+
* Returns this container if it has a value, otherwise returns the alternative container.
|
|
83
|
+
* The alternative may carry a different type; the result widens to `Extractable<T | T2>`.
|
|
78
84
|
* @param alternative - The alternative container
|
|
79
85
|
* @returns This container or the alternative
|
|
80
86
|
*/
|
|
81
|
-
or(alternative: Extractable<
|
|
87
|
+
or<T2 extends Type>(alternative: Extractable<T2>): Extractable<T | T2>;
|
|
82
88
|
/**
|
|
83
89
|
* Returns the contained value or null
|
|
84
90
|
* @returns The contained value or null
|
|
@@ -244,7 +250,7 @@ declare const LazyList: (<A extends Type>(iterable: Iterable<A>) => LazyList<A>)
|
|
|
244
250
|
*
|
|
245
251
|
* @typeParam A - The type of value(s) in the container
|
|
246
252
|
*/
|
|
247
|
-
interface ContainerOps<A extends Type> {
|
|
253
|
+
interface ContainerOps<out A extends Type> {
|
|
248
254
|
/**
|
|
249
255
|
* Counts elements that satisfy the predicate.
|
|
250
256
|
* For single-value containers: returns 0 or 1
|
|
@@ -277,7 +283,7 @@ interface ContainerOps<A extends Type> {
|
|
|
277
283
|
* @typeParam A - The element type
|
|
278
284
|
* @typeParam Self - The collection type itself for proper return types
|
|
279
285
|
*/
|
|
280
|
-
interface CollectionOps<A extends Type, Self> {
|
|
286
|
+
interface CollectionOps<out A extends Type, Self> {
|
|
281
287
|
/**
|
|
282
288
|
* Left-associative fold over all elements using an initial value and combining function.
|
|
283
289
|
* Unlike foldLeft (which is curried), this provides a convenient uncurried signature.
|
|
@@ -358,7 +364,7 @@ interface CollectionOps<A extends Type, Self> {
|
|
|
358
364
|
* - Identity: fa.map(x => x) ≡ fa
|
|
359
365
|
* - Composition: fa.map(f).map(g) ≡ fa.map(x => g(f(x)))
|
|
360
366
|
*/
|
|
361
|
-
interface Functor<A extends Type> {
|
|
367
|
+
interface Functor<out A extends Type> {
|
|
362
368
|
map<B extends Type>(f: (value: A) => B): Functor<B>;
|
|
363
369
|
}
|
|
364
370
|
/**
|
|
@@ -370,7 +376,7 @@ interface Functor<A extends Type> {
|
|
|
370
376
|
* - Homomorphism: pure(f).ap(pure(x)) ≡ pure(f(x))
|
|
371
377
|
* - Interchange: u.ap(pure(y)) ≡ pure(f => f(y)).ap(u)
|
|
372
378
|
*/
|
|
373
|
-
interface Applicative<A extends Type> extends Functor<A> {
|
|
379
|
+
interface Applicative<out A extends Type> extends Functor<A> {
|
|
374
380
|
ap<B extends Type>(ff: Applicative<(value: A) => B>): Applicative<B>;
|
|
375
381
|
}
|
|
376
382
|
/**
|
|
@@ -381,14 +387,14 @@ interface Applicative<A extends Type> extends Functor<A> {
|
|
|
381
387
|
* - Right identity: m.flatMap(pure) ≡ m
|
|
382
388
|
* - Associativity: m.flatMap(f).flatMap(g) ≡ m.flatMap(x => f(x).flatMap(g))
|
|
383
389
|
*/
|
|
384
|
-
interface Monad<A extends Type> extends Applicative<A> {
|
|
390
|
+
interface Monad<out A extends Type> extends Applicative<A> {
|
|
385
391
|
flatMap<B extends Type>(f: (value: A) => Monad<B>): Monad<B>;
|
|
386
392
|
}
|
|
387
393
|
/**
|
|
388
394
|
* Async monad - supports asynchronous monadic operations
|
|
389
395
|
* Extends Monad so it has map, ap, and flatMap in addition to flatMapAsync
|
|
390
396
|
*/
|
|
391
|
-
interface AsyncMonad<A extends Type> extends Monad<A> {
|
|
397
|
+
interface AsyncMonad<out A extends Type> extends Monad<A> {
|
|
392
398
|
flatMapAsync<B extends Type>(f: (value: A) => PromiseLike<AsyncMonad<B>>): PromiseLike<AsyncMonad<B>>;
|
|
393
399
|
}
|
|
394
400
|
//#endregion
|
|
@@ -413,7 +419,7 @@ interface AsyncMonad<A extends Type> extends Monad<A> {
|
|
|
413
419
|
* // Promise rejects with "error"
|
|
414
420
|
* ```
|
|
415
421
|
*/
|
|
416
|
-
interface Promisable<A extends Type> {
|
|
422
|
+
interface Promisable<out A extends Type> {
|
|
417
423
|
/**
|
|
418
424
|
* Converts this container to a Promise
|
|
419
425
|
*
|
|
@@ -426,12 +432,68 @@ interface Promisable<A extends Type> {
|
|
|
426
432
|
toPromise(): Promise<A>;
|
|
427
433
|
}
|
|
428
434
|
//#endregion
|
|
435
|
+
//#region src/typeclass/variance.d.ts
|
|
436
|
+
/**
|
|
437
|
+
* Variance helpers — small utilities for expressing covariance-safe signatures
|
|
438
|
+
* when TypeScript's type system doesn't offer the exact constraint we need.
|
|
439
|
+
*
|
|
440
|
+
* Motivation: Scala has lower-bound type parameters like `def reduce[B >: A](op: (B, B) => B): B`
|
|
441
|
+
* — B must be a supertype of A. TypeScript lacks lower bounds, so a naive port
|
|
442
|
+
* (`reduce<B = A>(op: (b: B, a: B) => B): B`) lets the caller pick ANY B, including
|
|
443
|
+
* unrelated types. At runtime that's a footgun: `List<number>.reduce<string>(...)` would
|
|
444
|
+
* compile but run as number addition typed as string.
|
|
445
|
+
*
|
|
446
|
+
* `Widen<A, B>` closes that gap using a conditional type. When B is truly a supertype
|
|
447
|
+
* of A (including the default case B = A), `Widen<A, B>` is B. When B is unrelated,
|
|
448
|
+
* it resolves to `never`, which makes the callback uncallable and produces a compile
|
|
449
|
+
* error at the call site.
|
|
450
|
+
*
|
|
451
|
+
* @module typeclass/variance
|
|
452
|
+
*/
|
|
453
|
+
/**
|
|
454
|
+
* The TypeScript equivalent of Scala's `B >: A` (B is a supertype of A).
|
|
455
|
+
*
|
|
456
|
+
* Resolves to `B` when `A extends B` (i.e., B is a legitimate supertype of A, or B = A).
|
|
457
|
+
* Resolves to `never` otherwise, which renders any callback position using Widen
|
|
458
|
+
* uncallable — the user gets a compile-time error rather than a runtime type lie.
|
|
459
|
+
*
|
|
460
|
+
* @example
|
|
461
|
+
* ```ts
|
|
462
|
+
* // Inside a container interface:
|
|
463
|
+
* reduce<B = A>(op: (b: Widen<A, B>, a: Widen<A, B>) => Widen<A, B>): Widen<A, B>
|
|
464
|
+
*
|
|
465
|
+
* // Callers:
|
|
466
|
+
* list.reduce((a, b) => a + b) // B defaults to A, Widen<A,A> = A, fine
|
|
467
|
+
* list.reduce<A | "extra">(...) // A extends A | "extra", Widen = B, fine
|
|
468
|
+
* list.reduce<UnrelatedType>(...) // A doesn't extend Unrelated, Widen = never, compile error
|
|
469
|
+
* ```
|
|
470
|
+
*/
|
|
471
|
+
type Widen<A, B> = A extends B ? B : never;
|
|
472
|
+
/**
|
|
473
|
+
* Runtime-safe `reduce` over an array whose element type `A` may be narrower than
|
|
474
|
+
* the accumulator type `B`. Centralizes the single `as unknown as B` cast that's
|
|
475
|
+
* otherwise spread across every container's implementation.
|
|
476
|
+
*
|
|
477
|
+
* Safety: the cast is sound because the `Widen<A, B>` type-level constraint at the
|
|
478
|
+
* public API layer guarantees `A <: B`. When that holds, A values flowing into the
|
|
479
|
+
* callback are valid B values at runtime — exactly what Scala's `[B >: A]` provides.
|
|
480
|
+
*
|
|
481
|
+
* @param arr - source array of A values
|
|
482
|
+
* @param op - accumulator operation typed over B (where B is A or a supertype)
|
|
483
|
+
* @returns the folded value, typed as B
|
|
484
|
+
*/
|
|
485
|
+
declare const reduceWiden: <A, B>(arr: readonly A[], op: (b: B, a: B) => B) => B;
|
|
486
|
+
/**
|
|
487
|
+
* Right-associative variant of {@link reduceWiden}. Same safety argument.
|
|
488
|
+
*/
|
|
489
|
+
declare const reduceRightWiden: <A, B>(arr: readonly A[], op: (b: B, a: B) => B) => B;
|
|
490
|
+
//#endregion
|
|
429
491
|
//#region src/try/Try.d.ts
|
|
430
492
|
/**
|
|
431
493
|
* Possible types of Try instances
|
|
432
494
|
*/
|
|
433
495
|
type TypeNames = "Success" | "Failure";
|
|
434
|
-
interface Try<out T> extends FunctypeSum<T, TypeNames>,
|
|
496
|
+
interface Try<out T> extends FunctypeSum<T, TypeNames>, Extractable<T>, Pipe<T>, Promisable<T>, Doable<T>, Reshapeable<T> {
|
|
435
497
|
readonly _tag: TypeNames;
|
|
436
498
|
readonly error: Error | undefined;
|
|
437
499
|
isSuccess(): this is Try<T> & {
|
|
@@ -583,7 +645,7 @@ declare const Try: (<T>(f: () => T) => Try<T>) & {
|
|
|
583
645
|
* const asOption = result.toOption()
|
|
584
646
|
* asOption.map(x => x * 2).orElse(0)
|
|
585
647
|
*/
|
|
586
|
-
interface Reshapeable<T extends Type> {
|
|
648
|
+
interface Reshapeable<out T extends Type> {
|
|
587
649
|
/**
|
|
588
650
|
* Converts this monad to an Option.
|
|
589
651
|
*
|
|
@@ -612,15 +674,11 @@ interface Reshapeable<T extends Type> {
|
|
|
612
674
|
/**
|
|
613
675
|
* Converts this monad to a List.
|
|
614
676
|
*
|
|
615
|
-
* Conversion rules
|
|
677
|
+
* Conversion rules:
|
|
678
|
+
* - Option: Some → List([value]), None → List([])
|
|
679
|
+
* - Either: Right → List([value]), Left → List([])
|
|
616
680
|
* - List: returns self
|
|
617
|
-
* -
|
|
618
|
-
*
|
|
619
|
-
* NOTE: Option, Either, and Try deliberately omit this method (`Omit<Reshapeable<T>, "toList">`).
|
|
620
|
-
* Sum types are not collections; their List coercion would force T-invariance through
|
|
621
|
-
* `List.remove`, breaking covariance declared at `<out T>` on those containers.
|
|
622
|
-
* Users needing a List-like output can `.fold(() => [], v => [v])`, `[...option]` (where iterable),
|
|
623
|
-
* or iterate manually.
|
|
681
|
+
* - Try: Success → List([value]), Failure → List([])
|
|
624
682
|
*
|
|
625
683
|
* @returns A List containing the value(s) if present, empty List otherwise
|
|
626
684
|
*/
|
|
@@ -3434,11 +3492,10 @@ interface Lazy<T extends Type> extends FunctypeBase<T, "Lazy">, Extractable<T>,
|
|
|
3434
3492
|
/** Whether the computation has been evaluated */
|
|
3435
3493
|
readonly isEvaluated: boolean;
|
|
3436
3494
|
/**
|
|
3437
|
-
* Returns the computed value or a default value if computation fails
|
|
3438
|
-
*
|
|
3439
|
-
* @returns The computed value or defaultValue
|
|
3495
|
+
* Returns the computed value or a default value if computation fails.
|
|
3496
|
+
* Result widens to `T | T2` (Scala: `getOrElse[B >: A](default: B): B`).
|
|
3440
3497
|
*/
|
|
3441
|
-
orElse(defaultValue:
|
|
3498
|
+
orElse<T2 extends Type>(defaultValue: T2): T | T2;
|
|
3442
3499
|
/**
|
|
3443
3500
|
* Returns the computed value or null if computation fails
|
|
3444
3501
|
* @returns The computed value or null
|
|
@@ -3452,11 +3509,10 @@ interface Lazy<T extends Type> extends FunctypeBase<T, "Lazy">, Extractable<T>,
|
|
|
3452
3509
|
*/
|
|
3453
3510
|
orThrow(error?: Error): T;
|
|
3454
3511
|
/**
|
|
3455
|
-
* Returns this Lazy if computation succeeds, otherwise returns the alternative Lazy
|
|
3456
|
-
*
|
|
3457
|
-
* @returns This Lazy or the alternative
|
|
3512
|
+
* Returns this Lazy if computation succeeds, otherwise returns the alternative Lazy.
|
|
3513
|
+
* The alternative may carry a different type; result is `Lazy<T | T2>`.
|
|
3458
3514
|
*/
|
|
3459
|
-
or(alternative: Lazy<
|
|
3515
|
+
or<T2 extends Type>(alternative: Lazy<T2>): Lazy<T | T2>;
|
|
3460
3516
|
/**
|
|
3461
3517
|
* Maps the value inside the Lazy using the provided function
|
|
3462
3518
|
* @param f - The mapping function
|
|
@@ -3673,14 +3729,24 @@ declare const Lazy: (<T extends Type>(thunk: () => T) => Lazy<T>) & {
|
|
|
3673
3729
|
//#endregion
|
|
3674
3730
|
//#region src/traversable/Traversable.d.ts
|
|
3675
3731
|
/**
|
|
3676
|
-
* Traversable typeclass for data structures that can be traversed through
|
|
3732
|
+
* Traversable typeclass for data structures that can be traversed through.
|
|
3733
|
+
*
|
|
3734
|
+
* Covariance: A is declared `<out A>`. Query (`contains`) accepts `unknown` —
|
|
3735
|
+
* mirroring Scala's `contains(elem: Any)` — so an unrelated-type arg is a
|
|
3736
|
+
* sound `false` rather than a type error. Aggregations (`reduce`, `reduceRight`)
|
|
3737
|
+
* widen the accumulator via `<B = A>`, matching Scala's `reduce[B >: A]`; when
|
|
3738
|
+
* called without an explicit type arg the behavior is identical to the pre-0.59
|
|
3739
|
+
* signature, so existing call sites compile unchanged.
|
|
3740
|
+
*
|
|
3741
|
+
* Implementers that previously overrode these methods with the widened shape
|
|
3742
|
+
* (List, Set) can inherit from this base without a per-type override.
|
|
3677
3743
|
*/
|
|
3678
|
-
interface Traversable<A extends Type> extends AsyncMonad<A> {
|
|
3744
|
+
interface Traversable<out A extends Type> extends AsyncMonad<A> {
|
|
3679
3745
|
get size(): number;
|
|
3680
3746
|
get isEmpty(): boolean;
|
|
3681
|
-
contains(value:
|
|
3682
|
-
reduce(
|
|
3683
|
-
reduceRight(
|
|
3747
|
+
contains(value: unknown): boolean;
|
|
3748
|
+
reduce<B = A>(op: (b: Widen<A, B>, a: Widen<A, B>) => Widen<A, B>): Widen<A, B>;
|
|
3749
|
+
reduceRight<B = A>(op: (b: Widen<A, B>, a: Widen<A, B>) => Widen<A, B>): Widen<A, B>;
|
|
3684
3750
|
}
|
|
3685
3751
|
//#endregion
|
|
3686
3752
|
//#region src/traversable/KVTraversable.d.ts
|
|
@@ -3782,7 +3848,7 @@ declare const ESMap: MapConstructor;
|
|
|
3782
3848
|
* @typeParam A - The type of elements in the data structure
|
|
3783
3849
|
* @typeParam Tags - The type of tags used for pattern matching
|
|
3784
3850
|
*/
|
|
3785
|
-
interface Matchable<A, Tags extends string = string> {
|
|
3851
|
+
interface Matchable<out A, Tags extends string = string> {
|
|
3786
3852
|
/**
|
|
3787
3853
|
* Pattern matches against this data structure, applying handlers for each variant based on tag.
|
|
3788
3854
|
* Similar to fold but with stronger type safety for tag-based variants.
|
|
@@ -4126,11 +4192,16 @@ declare const createSerializationCompanion: <T>(reconstructor: (parsed: {
|
|
|
4126
4192
|
};
|
|
4127
4193
|
//#endregion
|
|
4128
4194
|
//#region src/set/Set.d.ts
|
|
4129
|
-
|
|
4130
|
-
|
|
4131
|
-
|
|
4132
|
-
|
|
4133
|
-
|
|
4195
|
+
/**
|
|
4196
|
+
* Immutable Set. Covariant in A (`<out A>`) — while Scala's `Set[A]` is nominally invariant,
|
|
4197
|
+
* functype's Set follows the same pragmatic covariance pattern as List: element-query methods
|
|
4198
|
+
* (`contains`, `has`, `remove`) accept `unknown`, and additions widen via `<B>(B) => Set<A | B>`.
|
|
4199
|
+
* `reduce`/`reduceRight` follow Scala's `reduce[B >: A]` pattern with a default `B = A`.
|
|
4200
|
+
*/
|
|
4201
|
+
interface Set<out A> extends FunctypeCollection<A, "Set">, Collection<A> {
|
|
4202
|
+
add<B>(value: B): Set<A | B>;
|
|
4203
|
+
remove: (value: unknown) => Set<A>;
|
|
4204
|
+
has(value: unknown): boolean;
|
|
4134
4205
|
map: <B>(f: (a: A) => B) => Set<B>;
|
|
4135
4206
|
flatMap: <B>(f: (a: A) => Iterable<B>) => Set<B>;
|
|
4136
4207
|
filter: (p: (a: A) => boolean) => Set<A>;
|
|
@@ -4322,7 +4393,7 @@ declare const Stack: (<A extends Type>(values?: A[]) => Stack<A>) & {
|
|
|
4322
4393
|
* It's used to handle potentially null or undefined values in a type-safe way.
|
|
4323
4394
|
* @typeParam T - The type of the value contained in the Option
|
|
4324
4395
|
*/
|
|
4325
|
-
interface Option<out T extends Type> extends Functype<T, "Some" | "None">, Promisable<T>, Doable<T>,
|
|
4396
|
+
interface Option<out T extends Type> extends Functype<T, "Some" | "None">, Promisable<T>, Doable<T>, Reshapeable<T> {
|
|
4326
4397
|
/** The contained value (undefined for None) */
|
|
4327
4398
|
readonly value: T | undefined;
|
|
4328
4399
|
/** Whether this Option contains no value */
|
|
@@ -4404,18 +4475,6 @@ interface Option<out T extends Type> extends Functype<T, "Some" | "None">, Promi
|
|
|
4404
4475
|
* @returns Promise of the result of applying f to the contained value, or None if this Option is None
|
|
4405
4476
|
*/
|
|
4406
4477
|
flatMapAsync<U extends Type>(f: (value: T) => Promise<Option<U>>): Promise<Option<U>>;
|
|
4407
|
-
/**
|
|
4408
|
-
* Applies a binary operator to a start value and the contained value
|
|
4409
|
-
* @param f - The binary operator
|
|
4410
|
-
* @returns The result of the reduction
|
|
4411
|
-
*/
|
|
4412
|
-
reduce<U>(f: (acc: U, value: T) => U): U;
|
|
4413
|
-
/**
|
|
4414
|
-
* Applies a binary operator to the contained value and a start value
|
|
4415
|
-
* @param f - The binary operator
|
|
4416
|
-
* @returns The result of the reduction
|
|
4417
|
-
*/
|
|
4418
|
-
reduceRight<U>(f: (acc: U, value: T) => U): U;
|
|
4419
4478
|
/**
|
|
4420
4479
|
* Pattern matches over the Option, applying onNone if None and onSome if Some
|
|
4421
4480
|
* @param onNone - Function to apply if the Option is None
|
|
@@ -4446,6 +4505,11 @@ interface Option<out T extends Type> extends Functype<T, "Some" | "None">, Promi
|
|
|
4446
4505
|
* @returns true if this Option contains the value, false otherwise
|
|
4447
4506
|
*/
|
|
4448
4507
|
contains(value: T): boolean;
|
|
4508
|
+
/**
|
|
4509
|
+
* Converts this Option to a List.
|
|
4510
|
+
* @returns A List containing the value if Some, or empty List if None
|
|
4511
|
+
*/
|
|
4512
|
+
toList(): List<T>;
|
|
4449
4513
|
/** The number of elements in this Option (0 or 1) */
|
|
4450
4514
|
size: number;
|
|
4451
4515
|
/**
|
|
@@ -4551,7 +4615,20 @@ declare const Option: (<T extends Type>(value: T | null | undefined) => Option<T
|
|
|
4551
4615
|
};
|
|
4552
4616
|
//#endregion
|
|
4553
4617
|
//#region src/list/List.d.ts
|
|
4554
|
-
|
|
4618
|
+
/**
|
|
4619
|
+
* Immutable List. Covariant in A (`<out A>`) — mirrors Scala's `List[+A]`.
|
|
4620
|
+
*
|
|
4621
|
+
* Methods that would otherwise force A-invariance use TS equivalents of Scala's
|
|
4622
|
+
* co-variance patterns:
|
|
4623
|
+
* - query/removal ops (`contains`, `indexOf`, `remove`) take `unknown`, matching
|
|
4624
|
+
* Scala's `-(elem: Any)` / `contains(elem: Any)` — if the value can't possibly
|
|
4625
|
+
* be in the list, it's a no-op, not a type error.
|
|
4626
|
+
* - additive ops (`add`, `prepend`, `concat`) widen the element type, matching
|
|
4627
|
+
* Scala's `::[B >: A]` / `++[B >: A]` — `List<A> + B` produces `List<A | B>`.
|
|
4628
|
+
* - `reduce` / `reduceRight` accept a wider accumulator type, matching Scala's
|
|
4629
|
+
* `reduce[B >: A]`.
|
|
4630
|
+
*/
|
|
4631
|
+
interface List<out A> extends FunctypeCollection<A, "List">, Doable<A>, Reshapeable<A> {
|
|
4555
4632
|
readonly length: number;
|
|
4556
4633
|
readonly [Symbol.iterator]: () => Iterator<A>;
|
|
4557
4634
|
map: <B>(f: (a: A) => B) => List<B>;
|
|
@@ -4563,11 +4640,14 @@ interface List<A> extends FunctypeCollection<A, "List">, Doable<A>, Reshapeable<
|
|
|
4563
4640
|
filterNot: (p: (a: A) => boolean) => List<A>;
|
|
4564
4641
|
/** @internal */
|
|
4565
4642
|
filterType: <T extends Typeable<string, unknown>>(tag: string) => List<T & A>;
|
|
4566
|
-
|
|
4643
|
+
/** Remove a value. Accepts `unknown` so an unrelated-type arg is a safe no-op (Scala: `-(elem: Any)`). */
|
|
4644
|
+
remove: (value: unknown) => List<A>;
|
|
4567
4645
|
removeAt: (index: number) => List<A>;
|
|
4568
|
-
|
|
4646
|
+
/** Add a value, possibly widening the element type (Scala: `:+[B >: A]`). */
|
|
4647
|
+
add<B>(item: B): List<A | B>;
|
|
4569
4648
|
get: (index: number) => Option<A>;
|
|
4570
|
-
|
|
4649
|
+
/** Concatenate with another list, possibly widening (Scala: `++[B >: A]`). */
|
|
4650
|
+
concat<B>(other: List<B>): List<A | B>;
|
|
4571
4651
|
take: (n: number) => List<A>;
|
|
4572
4652
|
takeWhile: (p: (a: A) => boolean) => List<A>;
|
|
4573
4653
|
takeRight: (n: number) => List<A>;
|
|
@@ -4576,8 +4656,10 @@ interface List<A> extends FunctypeCollection<A, "List">, Doable<A>, Reshapeable<
|
|
|
4576
4656
|
get tail(): List<A>;
|
|
4577
4657
|
get init(): List<A>;
|
|
4578
4658
|
reverse: () => List<A>;
|
|
4579
|
-
|
|
4580
|
-
|
|
4659
|
+
/** Find the index of a value. Accepts `unknown` (Scala: `indexOf(elem: Any)`). */
|
|
4660
|
+
indexOf: (value: unknown) => number;
|
|
4661
|
+
/** Prepend a value, possibly widening (Scala: `+:[B >: A]`). */
|
|
4662
|
+
prepend<B>(item: B): List<A | B>;
|
|
4581
4663
|
distinct: () => List<A>;
|
|
4582
4664
|
sorted: (compareFn?: (a: A, b: A) => number) => List<A>;
|
|
4583
4665
|
sortBy: <B>(f: (a: A) => B, compareFn?: (a: B, b: B) => number) => List<A>;
|
|
@@ -4736,7 +4818,7 @@ interface FunctypeSum<A extends Type, Tag extends string = string> extends Async
|
|
|
4736
4818
|
* union. After `if (e.isLeft())`, the else branch narrows `e` to RightOf<L,R> and
|
|
4737
4819
|
* `e.value` narrows to R without a cast.
|
|
4738
4820
|
*/
|
|
4739
|
-
interface EitherBase<out L extends Type, out R extends Type> extends FunctypeSum<R, "Left" | "Right">, Promisable<R>, Doable<R>,
|
|
4821
|
+
interface EitherBase<out L extends Type, out R extends Type> extends FunctypeSum<R, "Left" | "Right">, Promisable<R>, Doable<R>, Reshapeable<R>, Extractable<R> {
|
|
4740
4822
|
isLeft(): this is LeftOf<L, R>;
|
|
4741
4823
|
isRight(): this is RightOf<L, R>;
|
|
4742
4824
|
orElse<R2 extends Type>(defaultValue: R2): R | R2;
|
|
@@ -5096,4 +5178,4 @@ interface FailureErrorType extends Error {
|
|
|
5096
5178
|
}
|
|
5097
5179
|
declare const FailureError: (cause: Error, message?: string) => FailureErrorType;
|
|
5098
5180
|
//#endregion
|
|
5099
|
-
export { Map$1 as $,
|
|
5181
|
+
export { Map$1 as $, reduceWiden as $n, TypedErrorContext as $t, Collection as A, Cond as An, Task as At, SerializationResult as B, NonEmptyString as Bn, ContextServices as Bt, isRight as C, isTaggedThrowable as Cn, HttpClientConfig as Ct, Functype as D, Base as Dn, IO as Dt, FunctypeSum as E, ThrowableType as En, TestContext as Et, Some as F, BoundedNumber as Fn, LayerInput as Ft, fromJSON as G, UUID as Gn, FormValidation as Gt, createSerializationCompanion as H, PatternString as Hn, Tag as Ht, Stack as I, BoundedString as In, LayerOutput as It, Obj as J, ValidatedBrandCompanion as Jn, Validator as Jt, fromYAML as K, UrlString as Kn, Validation as Kt, Valuable as L, EmailAddress as Ln, Exit as Lt, None as M, InstanceType as Mn, UIO as Mt, Option as N, isCompanion as Nn, Layer as Nt, FunctypeBase as O, Match as On, InterruptedError as Ot, OptionConstructor as P, Companion as Pn, LayerError as Pt, ESMapType as Q, reduceRightWiden as Qn, TypedError as Qt, ValuableParams as R, ISO8601Date as Rn, ExitTag as Rt, isLeft as S, createCancellationTokenSource as Sn, HttpClient as St, tryCatchAsync as T, Throwable as Tn, TestClockTag as Tt, createSerializer as U, PositiveInteger as Un, TagService as Ut, createCustomSerializer as V, NonNegativeNumber as Vn, HasService as Vt, fromBinary as W, PositiveNumber as Wn, FieldValidation as Wt, MatchableUtils as X, TypeNames as Xn, ErrorMessage as Xt, Matchable as Y, Try as Yn, ErrorCode as Yt, ESMap as Z, Widen as Zn, ErrorStatus as Zt, Right as _, TaskMetadata as _n, DecodeError as _t, EmptyListError as a, formatError as an, CollectionOps as ar, HKT as at, TypeCheckLeft as b, TaskResult as bn, HttpStatusError as bt, LeftError as c, Async as cn, Extractable as cr, OptionKind as ct, isDoCapable as d, Err as dn, Doable as dr, FoldableUtils as dt, ErrorChainElement as en, Promisable as er, KVTraversable as et, unwrap as f, Ok as fn, ParseError as fr, Http as ft, LeftOf as g, TaskFailure as gn, ParseMode as gt, Left as h, Task$1 as hn, HttpResponse as ht, DoGenerator as i, createErrorSerializer as in, Monad as ir, EitherKind as it, List as j, CompanionMethods as jn, TimeoutError as jt, FunctypeCollection as k, UntypedMatch as kn, RIO as kt, LeftErrorType as l, CancellationToken as ln, isExtractable as lr, TryKind as lt, EitherBase as m, TaggedThrowable as mn, HttpRequestOptions as mt, Do as n, ErrorWithTaskInfo as nn, AsyncMonad as nr, Lazy as nt, FailureError as o, formatStackTrace as on, ContainerOps as or, Kind as ot, Either as p, Sync as pn, HttpMethodOptions as pt, Ref as q, ValidatedBrand as qn, ValidationRule as qt, DoAsync as r, TaskErrorInfo as rn, Functor as rr, Identity as rt, FailureErrorType as s, safeStringify as sn, LazyList as sr, ListKind as st, $ as t, ErrorFormatterOptions as tn, Applicative as tr, Traversable as tt, NoneError as u, CancellationTokenSource as un, DoResult as ur, UniversalContainer as ut, RightOf as v, TaskOutcome as vn, HttpError as vt, tryCatch as w, NAME as wn, TestClock as wt, TypeCheckRight as x, TaskSuccess as xn, NetworkError as xt, TestEither as y, TaskParams as yn, HttpMethod as yt, Set as z, IntegerNumber as zn, Context as zt };
|
package/dist/index.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
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-BJIRbUKB.js";
|
|
2
|
-
import { $ as Map, $n as
|
|
3
|
-
import { a as isTypeable, c as Pipe, i as TypeableParams, l as Foldable, n as ExtractTag, o as Serializable, r as Typeable, s as SerializationMethods, t as Tuple, u as Type } from "./Tuple-
|
|
4
|
-
export { $, Applicative, Async, AsyncMonad, Base, BoundedNumber, BoundedString, Brand, BrandedBoolean, BrandedBoolean as BrandedBooleanType, BrandedNumber, BrandedNumber as BrandedNumberType, BrandedString, BrandedString as BrandedStringType, CancellationToken, CancellationTokenSource, Collection, CollectionOps, Companion, CompanionMethods, Cond, ContainerOps, Context, Context as ContextType, ContextServices, DecodeError, Do, DoAsync, DoGenerator, DoResult, Doable, ESMap, ESMapType, Either, EitherBase, EitherKind, EmailAddress, EmptyListError, Err, ErrorChainElement, ErrorCode, ErrorFormatterOptions, ErrorMessage, ErrorStatus, ErrorWithTaskInfo, Exit, Exit as ExitType, ExitTag, ExtractBrand, ExtractTag, Extractable, FailureError, FailureErrorType, FieldValidation, Foldable, FoldableUtils, FormValidation, Functor, Functype, FunctypeBase, FunctypeCollection, FunctypeSum, HKT, HasService, Http, HttpClient, HttpClientConfig, HttpError, HttpError as HttpErrors, HttpMethod, HttpMethodOptions, HttpRequestOptions, HttpResponse, HttpStatusError, IO, IO as IOType, Task as IOTask, ISO8601Date, Identity, InstanceType, IntegerNumber, InterruptedError, KVTraversable, Kind, Layer, Layer as LayerType, LayerError, LayerInput, LayerOutput, Lazy, Lazy as LazyType, LazyList, Left, LeftError, LeftErrorType, LeftOf, List, ListKind, Map, Match, Matchable, MatchableUtils, Monad, NAME, NetworkError, NonEmptyString, NonNegativeNumber, None, NoneError, Obj, Ok, Option, OptionConstructor, OptionKind, ParseError, ParseMode, PatternString, Pipe, PositiveInteger, PositiveNumber, Promisable, RIO, Ref, Ref as RefType, Right, RightOf, Serializable, SerializationMethods, SerializationResult, Set, Some, Stack, Sync, Tag, Tag as TagType, TagService, TaggedThrowable, Task$1 as Task, TaskErrorInfo, TaskFailure, TaskMetadata, TaskOutcome, TaskParams, TaskResult, TaskSuccess, TestClock, TestClock as TestClockType, TestClockTag, TestContext, TestContext as TestContextType, TestEither, Throwable, ThrowableType, TimeoutError, Traversable, Try, TryKind, Tuple, Type, TypeCheckLeft, TypeCheckRight, TypeNames, Typeable, TypeableParams, TypedError, TypedErrorContext, UIO, UUID, UniversalContainer, UntypedMatch, Unwrap, UrlString, ValidatedBrand, ValidatedBrand as ValidatedBrandType, ValidatedBrandCompanion, Validation, ValidationRule, Validator, Valuable, ValuableParams, createBrander, createCancellationTokenSource, createCustomSerializer, createErrorSerializer, createSerializationCompanion, createSerializer, formatError, formatStackTrace, fromBinary, fromJSON, fromYAML, hasBrand, isCompanion, isDoCapable, isExtractable, isLeft, isRight, isTaggedThrowable, isTypeable, safeStringify, tryCatch, tryCatchAsync, unwrap, unwrapBrand };
|
|
2
|
+
import { $ as Map, $n as reduceWiden, $t as TypedErrorContext, A as Collection, An as Cond, At as Task, B as SerializationResult, Bn as NonEmptyString, Bt as ContextServices, C as isRight, Cn as isTaggedThrowable, Ct as HttpClientConfig, D as Functype, Dn as Base, Dt as IO, E as FunctypeSum, En as ThrowableType, Et as TestContext, F as Some, Fn as BoundedNumber, Ft as LayerInput, G as fromJSON, Gn as UUID, Gt as FormValidation, H as createSerializationCompanion, Hn as PatternString, Ht as Tag, I as Stack, In as BoundedString, It as LayerOutput, J as Obj, Jn as ValidatedBrandCompanion, Jt as Validator, K as fromYAML, Kn as UrlString, Kt as Validation, L as Valuable, Ln as EmailAddress, Lt as Exit, M as None, Mn as InstanceType, Mt as UIO, N as Option, Nn as isCompanion, Nt as Layer, O as FunctypeBase, On as Match, Ot as InterruptedError, P as OptionConstructor, Pn as Companion, Pt as LayerError, Q as ESMapType, Qn as reduceRightWiden, Qt as TypedError, R as ValuableParams, Rn as ISO8601Date, Rt as ExitTag, S as isLeft, Sn as createCancellationTokenSource, St as HttpClient, T as tryCatchAsync, Tn as Throwable, Tt as TestClockTag, U as createSerializer, Un as PositiveInteger, Ut as TagService, V as createCustomSerializer, Vn as NonNegativeNumber, Vt as HasService, W as fromBinary, Wn as PositiveNumber, Wt as FieldValidation, X as MatchableUtils, Xn as TypeNames, Xt as ErrorMessage, Y as Matchable, Yn as Try, Yt as ErrorCode, Z as ESMap, Zn as Widen, Zt as ErrorStatus, _ as Right, _n as TaskMetadata, _t as DecodeError, a as EmptyListError, an as formatError, ar as CollectionOps, at as HKT, b as TypeCheckLeft, bn as TaskResult, bt as HttpStatusError, c as LeftError, cn as Async, cr as Extractable, ct as OptionKind, d as isDoCapable, dn as Err, dr as Doable, dt as FoldableUtils, en as ErrorChainElement, er as Promisable, et as KVTraversable, f as unwrap, fn as Ok, fr as ParseError, ft as Http, g as LeftOf, gn as TaskFailure, gt as ParseMode, h as Left, hn as Task$1, ht as HttpResponse, i as DoGenerator, in as createErrorSerializer, ir as Monad, it as EitherKind, j as List, jn as CompanionMethods, jt as TimeoutError, k as FunctypeCollection, kn as UntypedMatch, kt as RIO, l as LeftErrorType, ln as CancellationToken, lr as isExtractable, lt as TryKind, m as EitherBase, mn as TaggedThrowable, mt as HttpRequestOptions, n as Do, nn as ErrorWithTaskInfo, nr as AsyncMonad, nt as Lazy, o as FailureError, on as formatStackTrace, or as ContainerOps, ot as Kind, p as Either, pn as Sync, pt as HttpMethodOptions, q as Ref, qn as ValidatedBrand, qt as ValidationRule, r as DoAsync, rn as TaskErrorInfo, rr as Functor, rt as Identity, s as FailureErrorType, sn as safeStringify, sr as LazyList, st as ListKind, t as $, tn as ErrorFormatterOptions, tr as Applicative, tt as Traversable, u as NoneError, un as CancellationTokenSource, ur as DoResult, ut as UniversalContainer, v as RightOf, vn as TaskOutcome, vt as HttpError, w as tryCatch, wn as NAME, wt as TestClock, x as TypeCheckRight, xn as TaskSuccess, xt as NetworkError, y as TestEither, yn as TaskParams, yt as HttpMethod, z as Set, zn as IntegerNumber, zt as Context } from "./index-DeOx26aF.js";
|
|
3
|
+
import { a as isTypeable, c as Pipe, i as TypeableParams, l as Foldable, n as ExtractTag, o as Serializable, r as Typeable, s as SerializationMethods, t as Tuple, u as Type } from "./Tuple-CPZd_XgN.js";
|
|
4
|
+
export { $, Applicative, Async, AsyncMonad, Base, BoundedNumber, BoundedString, Brand, BrandedBoolean, BrandedBoolean as BrandedBooleanType, BrandedNumber, BrandedNumber as BrandedNumberType, BrandedString, BrandedString as BrandedStringType, CancellationToken, CancellationTokenSource, Collection, CollectionOps, Companion, CompanionMethods, Cond, ContainerOps, Context, Context as ContextType, ContextServices, DecodeError, Do, DoAsync, DoGenerator, DoResult, Doable, ESMap, ESMapType, Either, EitherBase, EitherKind, EmailAddress, EmptyListError, Err, ErrorChainElement, ErrorCode, ErrorFormatterOptions, ErrorMessage, ErrorStatus, ErrorWithTaskInfo, Exit, Exit as ExitType, ExitTag, ExtractBrand, ExtractTag, Extractable, FailureError, FailureErrorType, FieldValidation, Foldable, FoldableUtils, FormValidation, Functor, Functype, FunctypeBase, FunctypeCollection, FunctypeSum, HKT, HasService, Http, HttpClient, HttpClientConfig, HttpError, HttpError as HttpErrors, HttpMethod, HttpMethodOptions, HttpRequestOptions, HttpResponse, HttpStatusError, IO, IO as IOType, Task as IOTask, ISO8601Date, Identity, InstanceType, IntegerNumber, InterruptedError, KVTraversable, Kind, Layer, Layer as LayerType, LayerError, LayerInput, LayerOutput, Lazy, Lazy as LazyType, LazyList, Left, LeftError, LeftErrorType, LeftOf, List, ListKind, Map, Match, Matchable, MatchableUtils, Monad, NAME, NetworkError, NonEmptyString, NonNegativeNumber, None, NoneError, Obj, Ok, Option, OptionConstructor, OptionKind, ParseError, ParseMode, PatternString, Pipe, PositiveInteger, PositiveNumber, Promisable, RIO, Ref, Ref as RefType, Right, RightOf, Serializable, SerializationMethods, SerializationResult, Set, Some, Stack, Sync, Tag, Tag as TagType, TagService, TaggedThrowable, Task$1 as Task, TaskErrorInfo, TaskFailure, TaskMetadata, TaskOutcome, TaskParams, TaskResult, TaskSuccess, TestClock, TestClock as TestClockType, TestClockTag, TestContext, TestContext as TestContextType, TestEither, Throwable, ThrowableType, TimeoutError, Traversable, Try, TryKind, Tuple, Type, TypeCheckLeft, TypeCheckRight, TypeNames, Typeable, TypeableParams, TypedError, TypedErrorContext, UIO, UUID, UniversalContainer, UntypedMatch, Unwrap, UrlString, ValidatedBrand, ValidatedBrand as ValidatedBrandType, ValidatedBrandCompanion, Validation, ValidationRule, Validator, Valuable, ValuableParams, Widen, createBrander, createCancellationTokenSource, createCustomSerializer, createErrorSerializer, createSerializationCompanion, createSerializer, formatError, formatStackTrace, fromBinary, fromJSON, fromYAML, hasBrand, isCompanion, isDoCapable, isExtractable, isLeft, isRight, isTaggedThrowable, isTypeable, reduceRightWiden, reduceWiden, safeStringify, tryCatch, tryCatchAsync, unwrap, unwrapBrand };
|
package/dist/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
import{Brand as e,BrandedBoolean as t,BrandedNumber as n,BrandedString as r,createBrander as i,hasBrand as a,unwrap as o}from"./branded/index.js";import{$ as s,A as c,At as l,B as u,C as d,Ct as f,D as p,Dt as m,E as h,Et as g,F as _,Ft as v,G as y,H as b,I as x,It as S,J as C,K as w,L as T,
|
|
1
|
+
import{Brand as e,BrandedBoolean as t,BrandedNumber as n,BrandedString as r,createBrander as i,hasBrand as a,unwrap as o}from"./branded/index.js";import{$ as s,A as c,At as l,B as u,C as d,Ct as f,D as p,Dt as m,E as h,Et as g,F as _,Ft as v,G as y,H as b,I as x,It as S,J as C,K as w,L as T,Lt as E,M as D,Mt as O,N as k,Nt as A,O as j,Ot as M,P as N,Pt as P,Q as F,R as I,Rt as L,S as R,St as z,T as B,Tt as V,U as H,V as U,W,X as G,Y as K,Z as q,_ as J,_t as Y,a as X,at as Z,b as Q,bt as $,c as ee,ct as te,d as ne,dt as re,et as ie,f as ae,ft as oe,g as se,gt as ce,h as le,ht as ue,i as de,it as fe,j as pe,jt as me,k as he,kt as ge,l as _e,lt as ve,m as ye,mt as be,n as xe,nt as Se,o as Ce,ot as we,p as Te,pt as Ee,q as De,r as Oe,rt as ke,s as Ae,st as je,t as Me,tt as Ne,u as Pe,ut as Fe,v as Ie,vt as Le,w as Re,wt as ze,x as Be,xt as Ve,y as He,yt as Ue,z as We}from"./src-Co3npRp-.js";import{r as Ge,t as Ke}from"./Tuple-DY00RBep.js";export{pe as $,De as Base,q as BoundedNumber,F as BoundedString,e as Brand,t as BrandedBoolean,n as BrandedNumber,r as BrandedString,Ge as Companion,K as Cond,d as Context,D as Do,k as DoAsync,Ce as ESMap,Fe as Either,s as EmailAddress,N as EmptyListError,u as Err,R as Exit,_ as FailureError,Pe as FoldableUtils,_e as HKT,ne as Http,Te as HttpClient,ae as HttpErrors,He as IO,ie as ISO8601Date,ee as Identity,Ne as IntegerNumber,Q as InterruptedError,Ie as Layer,Ae as Lazy,f as LazyList,re as Left,x as LeftError,Ue as List,X as Map,C as Match,de as MatchableUtils,y as NAME,Se as NonEmptyString,ke as NonNegativeNumber,M as None,T as NoneError,Oe as Obj,U as Ok,ge as Option,l as OptionConstructor,L as ParseError,fe as PatternString,Z as PositiveInteger,we as PositiveNumber,ze as Ref,oe as Right,V as Set,me as Some,xe as Stack,J as Tag,b as Task,ye as TestClock,le as TestClockTag,se as TestContext,w as Throwable,Be as TimeoutError,z as Try,Ke as Tuple,Ee as TypeCheckLeft,be as TypeCheckRight,$ as Typeable,h as TypedError,je as UUID,te as UrlString,ve as ValidatedBrand,B as Validation,Me as Valuable,i as createBrander,H as createCancellationTokenSource,O as createCustomSerializer,p as createErrorSerializer,A as createSerializationCompanion,P as createSerializer,j as formatError,he as formatStackTrace,v as fromBinary,S as fromJSON,E as fromYAML,a as hasBrand,G as isCompanion,I as isDoCapable,Re as isExtractable,ue as isLeft,ce as isRight,W as isTaggedThrowable,Ve as isTypeable,g as reduceRightWiden,m as reduceWiden,c as safeStringify,Y as tryCatch,Le as tryCatchAsync,We as unwrap,o as unwrapBrand};
|
package/dist/list/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { j as List } from "../index-
|
|
1
|
+
import { j as List } from "../index-DeOx26aF.js";
|
|
2
2
|
export { List };
|
package/dist/list/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
import{
|
|
1
|
+
import{yt as e}from"../src-Co3npRp-.js";export{e as List};
|
package/dist/map/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { $ as Map } from "../index-
|
|
1
|
+
import { $ as Map } from "../index-DeOx26aF.js";
|
|
2
2
|
export { Map };
|
package/dist/map/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
import{a as e}from"../src-
|
|
1
|
+
import{a as e}from"../src-Co3npRp-.js";export{e as Map};
|
package/dist/option/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { F as Some, M as None, N as Option, P as OptionConstructor } from "../index-
|
|
1
|
+
import { F as Some, M as None, N as Option, P as OptionConstructor } from "../index-DeOx26aF.js";
|
|
2
2
|
export { None, Option, OptionConstructor, Some };
|
package/dist/option/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
import{
|
|
1
|
+
import{At as e,Ot as t,jt as n,kt as r}from"../src-Co3npRp-.js";export{t as None,r as Option,e as OptionConstructor,n as Some};
|
package/dist/set/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import { z as Set } from "../index-
|
|
1
|
+
import { z as Set } from "../index-DeOx26aF.js";
|
|
2
2
|
export { Set };
|
package/dist/set/index.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
import{
|
|
1
|
+
import{Tt as e}from"../src-Co3npRp-.js";export{e as Set};
|