functype 0.4.1 → 0.8.0

package/dist/index-DC8arpKk.d.mts

@@ -1,232 +0,0 @@
-import { Type, _Functor_ } from './functor/index.mjs';
-import { _Tuple_, Tuple } from './tuple/Tuple.mjs';
-import './tuple/index.mjs';
-
-type _Option_<T extends Type> = {
-    get(): T;
-    getOrElse(defaultValue: T): T;
-    orElse(alternative: _Option_<T>): _Option_<T>;
-    map<U extends Type>(f: (value: T) => U): _Option_<U>;
-    flatMap<U extends Type>(f: (value: T) => _Option_<U>): _Option_<U>;
-    toList(): _Iterable_<T>;
-    valueOf(): Object;
-} & _Traversable_<T> & _Functor_<T>;
-declare class Some<A extends Type> implements _Option_<A> {
-    private value;
-    constructor(value: A);
-    get isEmpty(): boolean;
-    get(): A;
-    getOrElse(defaultValue: A): A;
-    orElse(alternative: _Option_<A>): _Option_<A>;
-    map<U extends Type>(f: (value: A) => U): _Option_<U>;
-    flatMap<U extends Type>(f: (value: A) => _Option_<U>): _Option_<U>;
-    reduce<U>(f: (acc: U, value: A) => U): U;
-    reduceRight<U>(f: (acc: U, value: A) => U): U;
-    foldLeft<B>(z: B): (op: (b: B, a: A) => B) => B;
-    foldRight<B>(z: B): (op: (a: A, b: B) => B) => B;
-    toList(): _Iterable_<A>;
-    contains(value: A): boolean;
-    get size(): number;
-}
-declare class None<A extends Type> implements _Option_<A> {
-    get isEmpty(): boolean;
-    get(): A;
-    getOrElse(defaultValue: A): A;
-    orElse(alternative: _Option_<A>): _Option_<A>;
-    map<U extends Type>(f: (value: A) => U): _Option_<U>;
-    flatMap<U extends Type>(f: (value: A) => _Option_<U>): _Option_<U>;
-    reduce(f: (acc: A, value: A) => A): A;
-    reduceRight(f: (b: A, a: A) => A): A;
-    foldLeft<B>(z: B): (op: (b: B, a: A) => B) => B;
-    foldRight<B>(z: B): (op: (a: A, b: B) => B) => B;
-    toList(): _Iterable_<A>;
-    contains(value: A): boolean;
-    get size(): number;
-}
-
-declare const option: <T extends unknown>(value?: T) => _Option_<T>;
-declare const some: <T extends unknown>(value: T) => _Option_<T>;
-declare const none: <T extends unknown>() => _Option_<T>;
-
-declare class Seq<A> implements _Iterable_<A> {
-    protected readonly values: Iterable<A>;
-    constructor(values?: Iterable<A> | _Iterable_<A>);
-    readonly [n: number]: A;
-    get length(): number;
-    map<B>(f: (a: A) => B): _Iterable_<B>;
-    flatMap<B>(f: (a: A) => _Iterable_<B>): _Iterable_<B>;
-    forEach(f: (a: A) => void): void;
-    count(p: (x: A) => boolean): number;
-    exists(p: (a: A) => boolean): Boolean;
-    filter(p: (a: A) => boolean): _Iterable_<A>;
-    filterNot(p: (a: A) => boolean): _Iterable_<A>;
-    find(p: (a: A) => boolean): _Option_<A>;
-    get head(): A;
-    get headOption(): _Option_<A>;
-    get isEmpty(): boolean;
-    get size(): number;
-    toArray(): A[];
-    reduce(f: (prev: A, curr: A) => A): A;
-    reduceRight(f: (prev: A, curr: A) => A): A;
-    foldLeft<B>(z: B): (op: (b: B, a: A) => B) => B;
-    foldRight<B>(z: B): (op: (a: A, b: B) => B) => B;
-}
-
-type _Iterable_<A extends Type> = {
-    count(p: (x: A) => boolean): number;
-    find(p: (a: A) => boolean): _Option_<A>;
-    forEach(f: (a: A) => void): void;
-    exists(p: (a: A) => boolean): Boolean;
-    filter(p: (a: A) => boolean): _Iterable_<A>;
-    filterNot(p: (a: A) => boolean): _Iterable_<A>;
-    reduce(f: (b: A, a: A) => A): A;
-    reduceRight(f: (b: A, a: A) => A): A;
-    foldLeft<B>(z: B): (op: (b: B, a: A) => B) => B;
-    foldRight<B>(z: B): (op: (a: A, b: B) => B) => B;
-    get head(): A;
-    get headOption(): _Option_<A>;
-    get isEmpty(): boolean;
-    map<B extends Type>(f: (a: A) => B): _Iterable_<B>;
-    flatMap<B extends Type>(f: (a: A) => _Iterable_<B>): _Iterable_<B>;
-    get size(): number;
-    toArray(): readonly A[];
-} & _Functor_<A>;
-
-type _Set_<T> = {
-    has(value: T): boolean;
-} & _Iterable_<T> & _Collection<T>;
-declare class Set<A> extends Seq<A> implements _Set_<A> {
-    constructor(iterable?: Iterable<A> | _Iterable_<A>);
-    add(value: A): Set<A>;
-    remove(value: A): Set<A>;
-    contains(value: A): boolean;
-    has(value: A): boolean;
-    map<B>(f: (a: A) => B): Set<B>;
-    flatMap<B>(f: (a: A) => _Iterable_<B>): Set<B>;
-    toList(): _List_<A>;
-    toSet(): _Set_<A>;
-    toString(): string;
-}
-
-type IConverters<A> = {
-    toList(): _List_<A>;
-    toSet(): _Set_<A>;
-    toString(): string;
-};
-type _Collection<A> = IConverters<A>;
-
-interface _List_<T> extends _Iterable_<T>, ArrayLike<T> {
-    add(item: T): _List_<T>;
-}
-declare class List<A> extends Seq<A> implements _List_<A>, _Collection<A> {
-    constructor(values?: Iterable<A> | _Iterable_<A>);
-    readonly [n: number]: A;
-    map<B>(f: (a: A) => B): List<B>;
-    flatMap<B>(f: (a: A) => _Iterable_<B>): List<B>;
-    remove(value: A): List<A>;
-    contains(value: A): boolean;
-    add(item: A): List<A>;
-    removeAt(index: number): List<A>;
-    get(index: number): _Option_<A>;
-    concat(other: List<A>): List<A>;
-    toList(): _List_<A>;
-    toSet(): Set<A>;
-    toString(): string;
-}
-
-declare const list: <T extends unknown>(items: T[] | undefined) => List<T>;
-
-type SafeTraversable<K, V> = Omit<_Traversable_<_Tuple_<[K, V]>>, "map" | "flatMap">;
-type _Map_<K, V> = {
-    map<U>(f: (value: any) => U): _Map_<K, U>;
-    flatMap<U>(f: (value: any) => _Map_<K, U>): _Map_<K, U>;
-    get(key: K): _Option_<V>;
-    getOrElse(key: K, defaultValue: V): V;
-    orElse(key: K, alternative: _Option_<V>): _Option_<V>;
-} & SafeTraversable<K, V> & _Collection<_Tuple_<[K, V]>>;
-declare class iMap<K, V> implements _Map_<K, V> {
-    private values;
-    private get entries();
-    constructor(entries?: readonly (readonly [K, V])[] | IterableIterator<[K, V]> | null);
-    add(item: _Tuple_<[K, V]>): iMap<K, V>;
-    remove(value: _Tuple_<[K, V]>): iMap<K, V>;
-    contains(value: _Tuple_<[K, V]>): boolean;
-    get size(): number;
-    map<U>(f: (value: V) => U): _Map_<K, U>;
-    flatMap<U>(f: (value: V) => _Map_<K, U>): _Map_<K, U>;
-    reduce(f: (acc: Tuple<[K, V]>, value: Tuple<[K, V]>) => Tuple<[K, V]>): Tuple<[K, V]>;
-    reduceRight(f: (acc: Tuple<[K, V]>, value: Tuple<[K, V]>) => Tuple<[K, V]>): Tuple<[K, V]>;
-    foldLeft<B>(z: B): (op: (b: B, a: _Tuple_<[K, V]>) => B) => B;
-    foldRight<B>(z: B): (op: (a: _Tuple_<[K, V]>, b: B) => B) => B;
-    get(key: K): _Option_<V>;
-    getOrElse(key: K, defaultValue: V): V;
-    get isEmpty(): boolean;
-    orElse(key: K, alternative: _Option_<V>): _Option_<V>;
-    toList(): _List_<Tuple<[K, V]>>;
-    toSet(): _Set_<Tuple<[K, V]>>;
-    toString(): string;
-}
-
-type Either<L, R> = {
-    value: L | R;
-    isLeft(): boolean;
-    isRight(): boolean;
-    map<U>(f: (value: R) => U): Either<L, U>;
-    flatMap<U>(f: (value: R) => Either<L, U>): Either<L, U>;
-    toOption(): _Option_<R>;
-    toList(): List<R>;
-} & _Functor_<R>;
-declare class Right<L, R> implements Either<L, R> {
-    value: R;
-    constructor(value: R);
-    isLeft(): this is Left<L, R>;
-    isRight(): this is Right<L, R>;
-    map<U>(f: (value: R) => U): Either<L, U>;
-    flatMap<U>(f: (value: R) => Either<L, U>): Either<L, U>;
-    toOption(): _Option_<R>;
-    toList(): List<R>;
-}
-declare class Left<L, R> implements Either<L, R> {
-    value: L;
-    constructor(value: L);
-    isLeft(): this is Left<L, R>;
-    isRight(): this is Right<L, R>;
-    map<U>(_f: (value: R) => U): Either<L, U>;
-    flatMap<U>(_f: (value: R) => Either<L, U>): Either<L, U>;
-    toOption(): _Option_<R>;
-    toList(): List<R>;
-}
-
-declare const left: <L, R>(value: L) => Either<L, R>;
-declare const right: <L, R>(value: R) => Either<L, R>;
-
-type _Try_<T> = {
-    isSuccess(): boolean;
-    isFailure(): boolean;
-    getOrElse(defaultValue: T): T;
-    orElse(alternative: _Try_<T>): _Try_<T>;
-    toEither(): Either<Error, T>;
-};
-declare class Try<T> implements _Try_<T> {
-    private readonly value;
-    private readonly error;
-    private constructor();
-    static of<T>(f: () => T): _Try_<T>;
-    isSuccess(): boolean;
-    isFailure(): boolean;
-    getOrElse(defaultValue: T): T;
-    orElse(alternative: _Try_<T>): _Try_<T>;
-    toEither(): Either<Error, T>;
-}
-
-type _Traversable_<A extends Type> = _Functor_<A> & {
-    get size(): number;
-    get isEmpty(): boolean;
-    contains(value: A): boolean;
-    reduce(f: (b: A, a: A) => A): A;
-    reduceRight(f: (b: A, a: A) => A): A;
-    foldLeft<B>(z: B): (op: (b: B, a: A) => B) => B;
-    foldRight<B>(z: B): (op: (a: A, b: B) => B) => B;
-};
-
-export { type Either as E, type IConverters as I, List as L, None as N, Right as R, Some as S, Try as T, type _Option_ as _, Seq as a, type _Iterable_ as b, type _Set_ as c, Set as d, type _Collection as e, type _List_ as f, type _Map_ as g, Left as h, iMap as i, left as j, type _Try_ as k, list as l, type _Traversable_ as m, none as n, option as o, right as r, some as s };