functype 0.8.83 → 0.8.85

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.
Files changed (38) hide show
  1. package/dist/{Either-CncND8cm.d.ts → Either-BlY4VB1r.d.ts} +3 -3
  2. package/dist/{chunk-JMCOLAJY.mjs → chunk-JAPOUVPL.mjs} +2 -2
  3. package/dist/chunk-JAPOUVPL.mjs.map +1 -0
  4. package/dist/either/index.d.ts +1 -1
  5. package/dist/either/index.mjs +1 -1
  6. package/dist/fpromise/index.d.ts +1 -1
  7. package/dist/fpromise/index.mjs +1 -1
  8. package/dist/index.d.ts +3 -28
  9. package/dist/index.mjs +1 -1
  10. package/dist/list/index.d.ts +1 -1
  11. package/dist/list/index.mjs +1 -1
  12. package/dist/map/index.d.ts +1 -1
  13. package/dist/map/index.mjs +1 -1
  14. package/dist/option/index.d.ts +1 -1
  15. package/dist/option/index.mjs +1 -1
  16. package/dist/set/index.d.ts +1 -1
  17. package/dist/set/index.mjs +1 -1
  18. package/dist/try/index.d.ts +1 -1
  19. package/dist/try/index.mjs +1 -1
  20. package/package.json +1 -1
  21. package/dist/chunk-JMCOLAJY.mjs.map +0 -1
  22. package/readme/BUNDLE_OPTIMIZATION.md +0 -74
  23. package/readme/FPromise-Assessment.md +0 -43
  24. package/readme/HKT.md +0 -110
  25. package/readme/ROADMAP.md +0 -113
  26. package/readme/TASK-IMPLEMENTATION.md +0 -290
  27. package/readme/TASK-TODO.md +0 -40
  28. package/readme/TASK-UPDATES.md +0 -64
  29. package/readme/TUPLE-EXAMPLES.md +0 -76
  30. package/readme/TaskMigration.md +0 -129
  31. package/readme/ai-guide.md +0 -406
  32. package/readme/examples.md +0 -2093
  33. package/readme/quick-reference.md +0 -514
  34. package/readme/task-cancellation-progress.md +0 -258
  35. package/readme/task-error-handling.md +0 -127
  36. package/readme/task-quick-reference.md +0 -157
  37. package/readme/tasks.md +0 -205
  38. package/readme/type-index.md +0 -238
@@ -1,2 +1,2 @@
1
- export { E as Either, d as Left, R as Right, c as TestEither, g as TypeCheckLeft, f as TypeCheckRight, e as isLeft, i as isRight, t as tryCatch, h as tryCatchAsync } from '../Either-CncND8cm.js';
1
+ export { E as Either, d as Left, R as Right, c as TestEither, g as TypeCheckLeft, f as TypeCheckRight, e as isLeft, i as isRight, t as tryCatch, h as tryCatchAsync } from '../Either-BlY4VB1r.js';
2
2
  import '../Typeable-BBXrKPTY.js';
@@ -1,2 +1,2 @@
1
- export{p as Either,i as Left,h as Right,n as TypeCheckLeft,m as TypeCheckRight,k as isLeft,j as isRight,l as tryCatch,o as tryCatchAsync}from'../chunk-JMCOLAJY.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
1
+ export{p as Either,i as Left,h as Right,n as TypeCheckLeft,m as TypeCheckRight,k as isLeft,j as isRight,l as tryCatch,o as tryCatchAsync}from'../chunk-JAPOUVPL.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
2
2
  //# sourceMappingURL=index.mjs.map
@@ -1,4 +1,4 @@
1
- import { E as Either } from '../Either-CncND8cm.js';
1
+ import { E as Either } from '../Either-BlY4VB1r.js';
2
2
  import { T as Type } from '../Typeable-BBXrKPTY.js';
3
3
 
4
4
  /**
@@ -1,2 +1,2 @@
1
- export{J as FPromise,I as FPromiseCompanion}from'../chunk-JMCOLAJY.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
1
+ export{J as FPromise,I as FPromiseCompanion}from'../chunk-JAPOUVPL.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
2
2
  //# sourceMappingURL=index.mjs.map
package/dist/index.d.ts CHANGED
@@ -1,7 +1,7 @@
1
1
  import { Brand } from './branded/index.js';
2
2
  export { BrandedBoolean, BrandedNumber, BrandedString, ExtractBrand, Unbrand, createBrander, hasBrand, unbrand } from './branded/index.js';
3
- import { O as Option, E as Either, F as Foldable, L as List, A as AsyncMonad, T as Traversable, a as FunctypeBase, b as Extractable, P as Pipe, S as Serializable, M as Matchable } from './Either-CncND8cm.js';
4
- export { s as Applicative, C as Collection, q as CollectionOps, r as ContainerOps, u as Functor, j as Functype, k as FunctypeCollection, d as Left, l as MatchableUtils, v as Monad, N as None, n as OptionConstructor, R as Right, o as SerializationMethods, p as Set, m as Some, c as TestEither, g as TypeCheckLeft, f as TypeCheckRight, e as isLeft, i as isRight, t as tryCatch, h as tryCatchAsync } from './Either-CncND8cm.js';
3
+ import { O as Option, E as Either, F as Foldable, L as List, a as FunctypeBase, b as Extractable, P as Pipe, T as Traversable, S as Serializable, M as Matchable } from './Either-BlY4VB1r.js';
4
+ export { A as Applicative, s as AsyncMonad, C as Collection, q as CollectionOps, r as ContainerOps, u as Functor, j as Functype, k as FunctypeCollection, d as Left, l as MatchableUtils, v as Monad, N as None, n as OptionConstructor, R as Right, o as SerializationMethods, p as Set, m as Some, c as TestEither, g as TypeCheckLeft, f as TypeCheckRight, e as isLeft, i as isRight, t as tryCatch, h as tryCatchAsync } from './Either-BlY4VB1r.js';
5
5
  import { T as Type, a as Typeable } from './Typeable-BBXrKPTY.js';
6
6
  export { E as ExtractTag, b as TypeableParams, i as isTypeable } from './Typeable-BBXrKPTY.js';
7
7
  import { FPromise } from './fpromise/index.js';
@@ -826,31 +826,6 @@ type Identity<T> = {
826
826
  };
827
827
  declare function Identity<T>(value: T): Identity<T>;
828
828
 
829
- interface IterableType<A extends Type> extends Iterable<A>, AsyncMonad<A>, Traversable<A> {
830
- count(p: (x: A) => boolean): number;
831
- find(p: (a: A) => boolean): Option<A>;
832
- forEach(f: (a: A) => void): void;
833
- drop(n: number): IterableType<A>;
834
- dropRight(n: number): IterableType<A>;
835
- dropWhile(p: (a: A) => boolean): IterableType<A>;
836
- exists(p: (a: A) => boolean): boolean;
837
- filter(p: (a: A) => boolean): IterableType<A>;
838
- filterNot(p: (a: A) => boolean): IterableType<A>;
839
- flatten<B>(): IterableType<B>;
840
- reduce(f: (b: A, a: A) => A): A;
841
- reduceRight(f: (b: A, a: A) => A): A;
842
- foldLeft<B>(z: B): (op: (b: B, a: A) => B) => B;
843
- foldRight<B>(z: B): (op: (a: A, b: B) => B) => B;
844
- get head(): A | undefined;
845
- get headOption(): Option<A>;
846
- get isEmpty(): boolean;
847
- map<B extends Type>(f: (a: A) => B): IterableType<B>;
848
- ap<B extends Type>(ff: IterableType<(value: A) => B>): IterableType<B>;
849
- flatMap<B extends Type>(f: (a: A) => IterableType<B>): IterableType<B>;
850
- get size(): number;
851
- toArray<B = A>(): readonly B[];
852
- }
853
-
854
829
  /**
855
830
  * Lazy type module
856
831
  * @module Lazy
@@ -1351,4 +1326,4 @@ declare const Stack: (<A extends Type>(values?: A[]) => Stack<A>) & {
1351
1326
  fromBinary: <A>(binary: string) => Stack<A>;
1352
1327
  };
1353
1328
 
1354
- export { type Async, AsyncMonad, Base, BoundedNumber, BoundedString, Brand, type CancellationToken, type CancellationTokenSource, Companion, Cond, ESMap, type ESMapType, Either, type EitherKind, EmailAddress, type ErrorChainElement, type ErrorFormatterOptions, type ErrorWithTaskInfo, FPromise, Foldable, FoldableUtils, FunctypeBase, HKT, ISO8601Date, Identity, IntegerNumber, type IterableType, type Kind, Lazy, LazyList, Lazy as LazyType, List, type ListKind, Match, Matchable, NAME, NonEmptyString, NonNegativeNumber, Option, type OptionKind, ParseError, PatternString, Pipe, PositiveInteger, PositiveNumber, Serializable, Stack, type Sync, type TaggedThrowable, Task, type TaskErrorInfo, TaskException, type TaskInfo, type TaskParams, TaskResult, Throwable, type ThrowableType, Traversable, Try, type TryKind, Type, Typeable, UUID, type UniversalContainer, UrlString, ValidatedBrand, Valuable, createCancellationTokenSource, createErrorSerializer, formatError, formatStackTrace, isTaggedThrowable, safeStringify };
1329
+ export { type Async, Base, BoundedNumber, BoundedString, Brand, type CancellationToken, type CancellationTokenSource, Companion, Cond, ESMap, type ESMapType, Either, type EitherKind, EmailAddress, type ErrorChainElement, type ErrorFormatterOptions, type ErrorWithTaskInfo, FPromise, Foldable, FoldableUtils, FunctypeBase, HKT, ISO8601Date, Identity, IntegerNumber, type Kind, Lazy, LazyList, Lazy as LazyType, List, type ListKind, Match, Matchable, NAME, NonEmptyString, NonNegativeNumber, Option, type OptionKind, ParseError, PatternString, Pipe, PositiveInteger, PositiveNumber, Serializable, Stack, type Sync, type TaggedThrowable, Task, type TaskErrorInfo, TaskException, type TaskInfo, type TaskParams, TaskResult, Throwable, type ThrowableType, Traversable, Try, type TryKind, Type, Typeable, UUID, type UniversalContainer, UrlString, ValidatedBrand, Valuable, createCancellationTokenSource, createErrorSerializer, formatError, formatStackTrace, isTaggedThrowable, safeStringify };
package/dist/index.mjs CHANGED
@@ -1,2 +1,2 @@
1
- export{F as Base,A as BoundedNumber,B as BoundedString,a as Companion,D as Cond,_ as ESMap,p as Either,w as EmailAddress,J as FPromise,I as FPromiseCompanion,U as FoldableUtils,W as HKT,z as ISO8601Date,X as Identity,t as IntegerNumber,Y as Lazy,Z as LazyList,i as Left,g as List,$ as Map,E as Match,aa as MatchableUtils,G as NAME,v as NonEmptyString,s as NonNegativeNumber,c as None,e as Option,d as OptionConstructor,T as ParseError,C as PatternString,u as PositiveInteger,r as PositiveNumber,h as Right,f as Set,b as Some,ba as Stack,O as Task,L as TaskException,M as TaskResult,H as Throwable,V as Try,n as TypeCheckLeft,m as TypeCheckRight,y as UUID,x as UrlString,q as ValidatedBrand,N as createCancellationTokenSource,S as createErrorSerializer,R as formatError,Q as formatStackTrace,k as isLeft,j as isRight,K as isTaggedThrowable,P as safeStringify,l as tryCatch,o as tryCatchAsync}from'./chunk-JMCOLAJY.mjs';export{d as Tuple,a as Typeable,c as Valuable,b as isTypeable}from'./chunk-B6FR572T.mjs';export{a as Brand,g as BrandedBoolean,f as BrandedNumber,e as BrandedString,d as createBrander,c as hasBrand,b as unbrand}from'./chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
1
+ export{F as Base,A as BoundedNumber,B as BoundedString,a as Companion,D as Cond,_ as ESMap,p as Either,w as EmailAddress,J as FPromise,I as FPromiseCompanion,U as FoldableUtils,W as HKT,z as ISO8601Date,X as Identity,t as IntegerNumber,Y as Lazy,Z as LazyList,i as Left,g as List,$ as Map,E as Match,aa as MatchableUtils,G as NAME,v as NonEmptyString,s as NonNegativeNumber,c as None,e as Option,d as OptionConstructor,T as ParseError,C as PatternString,u as PositiveInteger,r as PositiveNumber,h as Right,f as Set,b as Some,ba as Stack,O as Task,L as TaskException,M as TaskResult,H as Throwable,V as Try,n as TypeCheckLeft,m as TypeCheckRight,y as UUID,x as UrlString,q as ValidatedBrand,N as createCancellationTokenSource,S as createErrorSerializer,R as formatError,Q as formatStackTrace,k as isLeft,j as isRight,K as isTaggedThrowable,P as safeStringify,l as tryCatch,o as tryCatchAsync}from'./chunk-JAPOUVPL.mjs';export{d as Tuple,a as Typeable,c as Valuable,b as isTypeable}from'./chunk-B6FR572T.mjs';export{a as Brand,g as BrandedBoolean,f as BrandedNumber,e as BrandedString,d as createBrander,c as hasBrand,b as unbrand}from'./chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
2
2
  //# sourceMappingURL=index.mjs.map
@@ -1,2 +1,2 @@
1
- export { L as List } from '../Either-CncND8cm.js';
1
+ export { L as List } from '../Either-BlY4VB1r.js';
2
2
  import '../Typeable-BBXrKPTY.js';
@@ -1,2 +1,2 @@
1
- export{g as List}from'../chunk-JMCOLAJY.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
1
+ export{g as List}from'../chunk-JAPOUVPL.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
2
2
  //# sourceMappingURL=index.mjs.map
@@ -1,4 +1,4 @@
1
- import { T as Traversable, C as Collection, S as Serializable, P as Pipe, F as Foldable, O as Option } from '../Either-CncND8cm.js';
1
+ import { T as Traversable, C as Collection, S as Serializable, P as Pipe, F as Foldable, O as Option } from '../Either-BlY4VB1r.js';
2
2
  import { a as Typeable, T as Type } from '../Typeable-BBXrKPTY.js';
3
3
  import { T as Tuple } from '../Tuple-ZYh96cGE.js';
4
4
 
@@ -1,2 +1,2 @@
1
- export{$ as Map}from'../chunk-JMCOLAJY.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
1
+ export{$ as Map}from'../chunk-JAPOUVPL.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
2
2
  //# sourceMappingURL=index.mjs.map
@@ -1,2 +1,2 @@
1
- export { N as None, O as Option, n as OptionConstructor, m as Some } from '../Either-CncND8cm.js';
1
+ export { N as None, O as Option, n as OptionConstructor, m as Some } from '../Either-BlY4VB1r.js';
2
2
  import '../Typeable-BBXrKPTY.js';
@@ -1,2 +1,2 @@
1
- export{c as None,e as Option,d as OptionConstructor,b as Some}from'../chunk-JMCOLAJY.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
1
+ export{c as None,e as Option,d as OptionConstructor,b as Some}from'../chunk-JAPOUVPL.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
2
2
  //# sourceMappingURL=index.mjs.map
@@ -1,2 +1,2 @@
1
- export { p as Set } from '../Either-CncND8cm.js';
1
+ export { p as Set } from '../Either-BlY4VB1r.js';
2
2
  import '../Typeable-BBXrKPTY.js';
@@ -1,2 +1,2 @@
1
- export{f as Set}from'../chunk-JMCOLAJY.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
1
+ export{f as Set}from'../chunk-JAPOUVPL.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
2
2
  //# sourceMappingURL=index.mjs.map
@@ -1,4 +1,4 @@
1
- import { a as FunctypeBase, b as Extractable, P as Pipe, E as Either } from '../Either-CncND8cm.js';
1
+ import { a as FunctypeBase, b as Extractable, P as Pipe, E as Either } from '../Either-BlY4VB1r.js';
2
2
  import { T as Type } from '../Typeable-BBXrKPTY.js';
3
3
 
4
4
  /**
@@ -1,2 +1,2 @@
1
- export{V as Try}from'../chunk-JMCOLAJY.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
1
+ export{V as Try}from'../chunk-JAPOUVPL.mjs';import'../chunk-B6FR572T.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
2
2
  //# sourceMappingURL=index.mjs.map
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "functype",
3
- "version": "0.8.83",
3
+ "version": "0.8.85",
4
4
  "type": "module",
5
5
  "description": "A smallish functional library for TypeScript",
6
6
  "author": "jordan.burke@gmail.com",