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.
- package/dist/{Either-CncND8cm.d.ts → Either-BlY4VB1r.d.ts} +3 -3
- package/dist/{chunk-JMCOLAJY.mjs → chunk-JAPOUVPL.mjs} +2 -2
- package/dist/chunk-JAPOUVPL.mjs.map +1 -0
- package/dist/either/index.d.ts +1 -1
- package/dist/either/index.mjs +1 -1
- package/dist/fpromise/index.d.ts +1 -1
- package/dist/fpromise/index.mjs +1 -1
- package/dist/index.d.ts +3 -28
- package/dist/index.mjs +1 -1
- package/dist/list/index.d.ts +1 -1
- package/dist/list/index.mjs +1 -1
- package/dist/map/index.d.ts +1 -1
- package/dist/map/index.mjs +1 -1
- package/dist/option/index.d.ts +1 -1
- package/dist/option/index.mjs +1 -1
- package/dist/set/index.d.ts +1 -1
- package/dist/set/index.mjs +1 -1
- package/dist/try/index.d.ts +1 -1
- package/dist/try/index.mjs +1 -1
- package/package.json +1 -1
- package/dist/chunk-JMCOLAJY.mjs.map +0 -1
- package/readme/BUNDLE_OPTIMIZATION.md +0 -74
- package/readme/FPromise-Assessment.md +0 -43
- package/readme/HKT.md +0 -110
- package/readme/ROADMAP.md +0 -113
- package/readme/TASK-IMPLEMENTATION.md +0 -290
- package/readme/TASK-TODO.md +0 -40
- package/readme/TASK-UPDATES.md +0 -64
- package/readme/TUPLE-EXAMPLES.md +0 -76
- package/readme/TaskMigration.md +0 -129
- package/readme/ai-guide.md +0 -406
- package/readme/examples.md +0 -2093
- package/readme/quick-reference.md +0 -514
- package/readme/task-cancellation-progress.md +0 -258
- package/readme/task-error-handling.md +0 -127
- package/readme/task-quick-reference.md +0 -157
- package/readme/tasks.md +0 -205
- package/readme/type-index.md +0 -238
package/dist/either/index.d.ts
CHANGED
|
@@ -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-
|
|
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';
|
package/dist/either/index.mjs
CHANGED
|
@@ -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-
|
|
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
|
package/dist/fpromise/index.d.ts
CHANGED
package/dist/fpromise/index.mjs
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export{J as FPromise,I as FPromiseCompanion}from'../chunk-
|
|
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,
|
|
4
|
-
export {
|
|
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,
|
|
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-
|
|
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
|
package/dist/list/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export { L as List } from '../Either-
|
|
1
|
+
export { L as List } from '../Either-BlY4VB1r.js';
|
|
2
2
|
import '../Typeable-BBXrKPTY.js';
|
package/dist/list/index.mjs
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export{g as List}from'../chunk-
|
|
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
|
package/dist/map/index.d.ts
CHANGED
|
@@ -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-
|
|
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
|
|
package/dist/map/index.mjs
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export{$ as Map}from'../chunk-
|
|
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
|
package/dist/option/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export { N as None, O as Option, n as OptionConstructor, m as Some } from '../Either-
|
|
1
|
+
export { N as None, O as Option, n as OptionConstructor, m as Some } from '../Either-BlY4VB1r.js';
|
|
2
2
|
import '../Typeable-BBXrKPTY.js';
|
package/dist/option/index.mjs
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export{c as None,e as Option,d as OptionConstructor,b as Some}from'../chunk-
|
|
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
|
package/dist/set/index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export { p as Set } from '../Either-
|
|
1
|
+
export { p as Set } from '../Either-BlY4VB1r.js';
|
|
2
2
|
import '../Typeable-BBXrKPTY.js';
|
package/dist/set/index.mjs
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export{f as Set}from'../chunk-
|
|
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
|
package/dist/try/index.d.ts
CHANGED
package/dist/try/index.mjs
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export{V as Try}from'../chunk-
|
|
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
|