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.
@@ -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-DwyoW0ZP.js";
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
- * This interface is implemented by Option, Either, and other types that
65
- * wrap values and need both safe and fallible extraction methods.
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
- * Extends Unsafe to provide exception-throwing operations alongside safe alternatives.
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: T): T;
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<T>): Extractable<T>;
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>, Omit<Extractable<T>, "or" | "orElse">, Pipe<T>, Promisable<T>, Doable<T>, Omit<Reshapeable<T>, "toList"> {
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 (where supported):
677
+ * Conversion rules:
678
+ * - Option: Some → List([value]), None → List([])
679
+ * - Either: Right → List([value]), Left → List([])
616
680
  * - List: returns self
617
- * - Obj: single-element List wrapping the value
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
- * @param defaultValue - The value to return if computation fails
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: T): T;
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
- * @param alternative - The alternative Lazy to use if computation fails
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<T>): Lazy<T>;
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: A): boolean;
3682
- reduce(f: (b: A, a: A) => A): A;
3683
- reduceRight(f: (b: A, a: A) => A): A;
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
- interface Set<A> extends FunctypeCollection<A, "Set">, Collection<A> {
4130
- add: (value: A) => Set<A>;
4131
- remove: (value: A) => Set<A>;
4132
- contains: (value: A) => boolean;
4133
- has: (value: A) => boolean;
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>, Omit<Reshapeable<T>, "toList"> {
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
- interface List<A> extends FunctypeCollection<A, "List">, Doable<A>, Reshapeable<A> {
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
- remove: (value: A) => List<A>;
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
- add: (item: A) => List<A>;
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
- concat: (other: List<A>) => List<A>;
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
- indexOf: (value: A) => number;
4580
- prepend: (item: A) => List<A>;
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>, Omit<Reshapeable<R>, "toList">, Omit<Extractable<R>, "or" | "orElse"> {
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 $, AsyncMonad 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, Applicative 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, Promisable as Zn, ErrorStatus as Zt, Right as _, TaskMetadata as _n, DecodeError as _t, EmptyListError as a, formatError as an, Extractable as ar, HKT as at, TypeCheckLeft as b, TaskResult as bn, HttpStatusError as bt, LeftError as c, Async as cn, Doable as cr, OptionKind as ct, isDoCapable as d, Err as dn, FoldableUtils as dt, ErrorChainElement as en, Functor as er, KVTraversable as et, unwrap as f, Ok as fn, 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, LazyList 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, ParseError as lr, TryKind as lt, EitherBase as m, TaggedThrowable as mn, HttpRequestOptions as mt, Do as n, ErrorWithTaskInfo as nn, CollectionOps as nr, Lazy as nt, FailureError as o, formatStackTrace as on, isExtractable 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, ContainerOps as rr, Identity as rt, FailureErrorType as s, safeStringify as sn, DoResult as sr, ListKind as st, $ as t, ErrorFormatterOptions as tn, Monad as tr, Traversable as tt, NoneError as u, CancellationTokenSource as un, 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 };
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 AsyncMonad, $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 Applicative, 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 Promisable, Zt as ErrorStatus, _ as Right, _n as TaskMetadata, _t as DecodeError, a as EmptyListError, an as formatError, ar as Extractable, at as HKT, b as TypeCheckLeft, bn as TaskResult, bt as HttpStatusError, c as LeftError, cn as Async, cr as Doable, ct as OptionKind, d as isDoCapable, dn as Err, dt as FoldableUtils, en as ErrorChainElement, er as Functor, et as KVTraversable, f as unwrap, fn as Ok, 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 LazyList, 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 ParseError, lt as TryKind, m as EitherBase, mn as TaggedThrowable, mt as HttpRequestOptions, n as Do, nn as ErrorWithTaskInfo, nr as CollectionOps, nt as Lazy, o as FailureError, on as formatStackTrace, or as isExtractable, 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 ContainerOps, rt as Identity, s as FailureErrorType, sn as safeStringify, sr as DoResult, st as ListKind, t as $, tn as ErrorFormatterOptions, tr as Monad, tt as Traversable, u as NoneError, un as CancellationTokenSource, 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-nHF45wRc.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-DwyoW0ZP.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, 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,M as E,Mt as D,N as O,Nt as k,O as A,Ot as j,P as M,Pt as N,Q as P,R as F,S as I,St as L,T as R,Tt as z,U as B,V,W as H,X as U,Y as W,Z as G,_ as K,_t as q,a as J,at as Y,b as X,bt as Z,c as Q,ct as $,d as ee,dt as te,et as ne,f as re,ft as ie,g as ae,gt as oe,h as se,ht as ce,i as le,it as ue,j as de,jt as fe,k as pe,kt as me,l as he,lt as ge,m as _e,mt as ve,n as ye,nt as be,o as xe,ot as Se,p as Ce,pt as we,q as Te,r as Ee,rt as De,s as Oe,st as ke,t as Ae,tt as je,u as Me,ut as Ne,v as Pe,vt as Fe,w as Ie,wt as Le,x as Re,xt as ze,y as Be,yt as Ve,z as He}from"./src-Dfm6mrTr.js";import{r as Ue,t as We}from"./Tuple-DY00RBep.js";export{E as $,G as Base,De as BoundedNumber,ue as BoundedString,e as Brand,t as BrandedBoolean,n as BrandedNumber,r as BrandedString,Ue as Companion,je as Cond,d as Context,O as Do,M as DoAsync,xe as ESMap,oe as Either,Y as EmailAddress,_ as EmptyListError,V as Err,I as Exit,x as FailureError,Me as FoldableUtils,he as HKT,ee as Http,Ce as HttpClient,re as HttpErrors,Be as IO,Se as ISO8601Date,Q as Identity,ke as IntegerNumber,X as InterruptedError,Pe as Layer,Oe as Lazy,h as LazyList,q as Left,T as LeftError,w as List,J as Map,ne as Match,le as MatchableUtils,W as NAME,$ as NonEmptyString,ge as NonNegativeNumber,g as None,F as NoneError,Ee as Obj,b as Ok,m as Option,j as OptionConstructor,S as ParseError,Ne as PatternString,te as PositiveInteger,ie as PositiveNumber,C as Ref,Fe as Right,Te as Set,me as Some,ye as Stack,K as Tag,B as Task,_e as TestClock,se as TestClockTag,ae as TestContext,U as Throwable,Re as TimeoutError,z as Try,We as Tuple,Ve as TypeCheckLeft,Z as TypeCheckRight,P as Typeable,p as TypedError,we as UUID,ve as UrlString,ce as ValidatedBrand,R as Validation,Ae as Valuable,i as createBrander,H as createCancellationTokenSource,l as createCustomSerializer,A as createErrorSerializer,fe as createSerializationCompanion,D as createSerializer,pe as formatError,c as formatStackTrace,k as fromBinary,N as fromJSON,v as fromYAML,a as hasBrand,be as isCompanion,He as isDoCapable,Ie as isExtractable,ze as isLeft,L as isRight,y as isTaggedThrowable,s as isTypeable,de as safeStringify,f as tryCatch,Le as tryCatchAsync,u as unwrap,o as unwrapBrand};
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};
@@ -1,2 +1,2 @@
1
- import { j as List } from "../index-nHF45wRc.js";
1
+ import { j as List } from "../index-DeOx26aF.js";
2
2
  export { List };
@@ -1 +1 @@
1
- import{K as e}from"../src-Dfm6mrTr.js";export{e as List};
1
+ import{yt as e}from"../src-Co3npRp-.js";export{e as List};
@@ -1,2 +1,2 @@
1
- import { $ as Map } from "../index-nHF45wRc.js";
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-Dfm6mrTr.js";export{e as Map};
1
+ import{a as e}from"../src-Co3npRp-.js";export{e as Map};
@@ -1,2 +1,2 @@
1
- import { F as Some, M as None, N as Option, P as OptionConstructor } from "../index-nHF45wRc.js";
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 };
@@ -1 +1 @@
1
- import{Dt as e,Et as t,Ot as n,kt as r}from"../src-Dfm6mrTr.js";export{t as None,e as Option,n as OptionConstructor,r as Some};
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};
@@ -1,2 +1,2 @@
1
- import { z as Set } from "../index-nHF45wRc.js";
1
+ import { z as Set } from "../index-DeOx26aF.js";
2
2
  export { Set };
package/dist/set/index.js CHANGED
@@ -1 +1 @@
1
- import{q as e}from"../src-Dfm6mrTr.js";export{e as Set};
1
+ import{Tt as e}from"../src-Co3npRp-.js";export{e as Set};