@fncts/base 0.0.33 → 0.0.35

package/data/Decoder/api.d.ts

@@ -1,214 +0,0 @@
-import { These } from "@fncts/base/data/These";
-import { Guard } from "@fncts/base/data/Guard";
-import { ImmutableArray } from "@fncts/base/collection/immutable/ImmutableArray/definition";
-import { ImmutableNonEmptyArray } from "@fncts/base/collection/immutable/ImmutableNonEmptyArray/definition";
-import { Conc } from "@fncts/base/collection/immutable/Conc";
-import type { Brand, Validation } from "@fncts/base/data/Branded";
-import type { DecodeError } from "@fncts/base/data/DecodeError";
-import type { Literal } from "@fncts/typelevel/Any";
-import type { Check } from "@fncts/typelevel/Check";
-import type { OptionalKeys, RequiredKeys } from "@fncts/typelevel/Object";
-import { Decoder } from "@fncts/base/data/Decoder/definition";
-/**
- * @tsplus pipeable fncts.Decoder __call
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function decode(input: unknown): <A>(self: Decoder<A>) => These<DecodeError, A>;
-export declare function fromGuard<A>(guard: Guard<A>, onFalse: (i: unknown) => DecodeError, label: string): Decoder<A>;
-/**
- * @tsplus implicit
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare const string: Decoder<string>;
-/**
- * @tsplus implicit
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare const number: Decoder<number>;
-/**
- * @tsplus implicit
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare const boolean: Decoder<boolean>;
-/**
- * @tsplus implicit
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare const bigint: Decoder<bigint>;
-/**
- * @tsplus static fncts.DecoderOps object
- * @tsplus implicit
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare const object: Decoder<object>;
-/**
- * @tsplus static fncts.DecoderOps unknown
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare const unknown: Decoder<unknown>;
-/**
- * @tsplus static fncts.DecoderOps null
- * @tsplus implicit
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare const _null: Decoder<null>;
-/**
- * @tsplus static fncts.DecoderOps undefined
- * @tsplus implicit
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare const _undefined: Decoder<undefined>;
-/**
- * @tsplus static fncts.DecoderOps nullable
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function nullable<A>(/** @tsplus implicit local */ base: Decoder<A>): Decoder<A | null | undefined>;
-/**
- * @tsplus derive fncts.Decoder lazy
- * @tsplus static fncts.DecoderOps lazy
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function deriveLazy<A>(f: (_: Decoder<A>) => Decoder<A>): Decoder<A>;
-/**
- * @tsplus static fncts.DecoderOps literal
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function literal<A extends Literal>(value: A): Decoder<A>;
-/**
- * @tsplus derive fncts.Decoder<_> 20
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function deriveLiteral<A extends string | number | boolean>(...[value]: Check<Check.IsLiteral<A> & Check.Not<Check.IsUnion<A>>> extends Check.True ? [value: A] : never): Decoder<A>;
-/**
- * @tsplus static fncts.DecoderOps union
- * @tsplus derive fncts.Decoder<|> 30
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function union<A extends ReadonlyArray<unknown>>(...elements: {
-    [K in keyof A]: Decoder<A[K]>;
-}): Decoder<A[number]>;
-/**
- * @tsplus static fncts.DecoderOps struct
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function struct<A extends Record<string, any>>(fields: {
-    [K in keyof A]: Decoder<A[K]>;
-}): Decoder<A>;
-/**
- * @tsplus static fncts.DecoderOps partial
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function partial<A extends Record<string, any>>(fields: {
-    [K in keyof A]: Decoder<A[K]>;
-}): Decoder<Partial<A>>;
-/**
- * @tsplus derive fncts.Decoder<_> 20
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function deriveStruct<A extends Record<string, any>>(...[requiredFields, optionalFields]: Check<Check.IsStruct<A>> extends Check.True ? [
-    ...[
-        requiredFields: {
-            [k in RequiredKeys<A>]: Decoder<A[k]>;
-        }
-    ],
-    ...([OptionalKeys<A>] extends [never] ? [] : [
-        optionalFields: {
-            [k in OptionalKeys<A>]: Decoder<NonNullable<A[k]>>;
-        }
-    ])
-] : never): Decoder<A>;
-/**
- * @tsplus derive fncts.Decoder[fncts.Array]<_> 10
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function deriveArray<A extends Array<any>>(...[element]: [A] extends [Array<infer _A>] ? Check<Check.IsEqual<A, Array<_A>>> extends Check.True ? [element: Decoder<_A>] : never : never): Decoder<A>;
-/**
- * @tsplus static fncts.DecoderOps array
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function array<A>(base: Decoder<A>): Decoder<Array<A>>;
-/**
- * @tsplus derive fncts.Decoder[fncts.ReadonlyArray]<_> 10
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function deriveReadonlyArray<A extends ReadonlyArray<any>>(...[element]: [A] extends [ReadonlyArray<infer _A>] ? Check<Check.IsEqual<A, ReadonlyArray<_A>>> extends Check.True ? [element: Decoder<_A>] : never : never): Decoder<A>;
-/**
- * @tsplus static fncts.DecoderOps readonlyArray
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function readonlyArray<A>(base: Decoder<A>): Decoder<ReadonlyArray<A>>;
-/**
- * @tsplus derive fncts.Decoder<_> 15
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function deriveRecord<A extends Record<string, any>>(...[keyGuard, valueDecoder, requiredKeysRecord]: [A] extends [Record<infer X, infer Y>] ? Check<Check.Not<Check.IsUnion<A>> & Check.IsEqual<A, Record<X, Y>>> extends Check.True ? [
-    keyGuard: Guard<X>,
-    valueDecoder: Decoder<Y>,
-    requiredKeysRecord: {
-        [k in X]: 0;
-    }
-] : never : never): Decoder<A>;
-/**
- * @tsplus static fncts.DecoderOps record
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function record<A>(codomain: Decoder<A>): Decoder<Record<string, A>>;
-/**
- * @tsplus derive fncts.Decoder[fncts.ImmutableArray]<_> 10
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function deriveImmutableArray<A extends ImmutableArray<any>>(...[array, elem]: [A] extends [ImmutableArray<infer _A>] ? Check<Check.IsEqual<A, ImmutableArray<_A>>> extends Check.True ? [array: Decoder<Array<_A>>, elem: Decoder<_A>] : never : never): Decoder<A>;
-/**
- * @tsplus static fncts.DecoderOps immutableArray
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function immutableArray<A>(base: Decoder<A>): Decoder<ImmutableArray<A>>;
-/**
- * @tsplus derive fncts.Decoder[fncts.ImmutableNonEmptyArray]<_> 10
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function deriveImmutableNonEmptyArray<A extends ImmutableNonEmptyArray<any>>(...[array, elem]: [A] extends [ImmutableNonEmptyArray<infer _A>] ? Check<Check.IsEqual<A, ImmutableNonEmptyArray<_A>>> extends Check.True ? [array: Decoder<Array<_A>>, elem: Decoder<_A>] : never : never): Decoder<A>;
-/**
- * @tsplus static fncts.DecoderOps immutableNonEmptyArray
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function immutableNonEmptyArray<A>(base: Decoder<A>): Decoder<ImmutableNonEmptyArray<A>>;
-/**
- * @tsplus derive fncts.Decoder[fncts.Conc]<_> 10
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function deriveConc<A extends Conc<any>>(...[array, elem]: [A] extends [Conc<infer _A>] ? Check<Check.IsEqual<A, Conc<_A>>> extends Check.True ? [array: Decoder<Array<_A>>, elem: Decoder<_A>] : never : never): Decoder<A>;
-/**
- * @tsplus static fncts.DecoderOps conc
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function conc<A>(base: Decoder<A>): Decoder<Conc<A>>;
-/**
- * @tsplus derive fncts.Decoder<_> 10
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function deriveValidation<A extends Brand.Valid<any, any>>(...[base, brands]: Check<Brand.IsValidated<A>> extends Check.True ? [
-    base: Decoder<Brand.Unbranded<A>>,
-    brands: {
-        [K in keyof A[Brand.valid] & string]: Validation<A[Brand.valid][K], K>;
-    }
-] : never): Decoder<A>;
-/**
- * @tsplus static fncts.DecoderOps validation
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function validation<A, B extends ReadonlyArray<Validation<A, any>>>(...validations: B): (base: Decoder<A>) => Decoder<A & { [K in keyof B]: B[K] extends Validation<any, infer S extends string> ? Brand.Valid<A, S> : never; }[number]>;
-/**
- * @tsplus derive fncts.Decoder<_> 10
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function deriveTuple<A extends ReadonlyArray<unknown>>(...[components]: Check<Check.IsTuple<A>> extends Check.True ? [components: {
-    [K in keyof A]: Decoder<A[K]>;
-}] : never): Decoder<A>;
-/**
- * @tsplus static fncts.DecoderOps tuple
- * @tsplus location "@fncts/base/data/Decoder/api"
- */
-export declare function tuple<A extends ReadonlyArray<unknown>>(...components: {
-    [K in keyof A]: Decoder<A[K]>;
-}): Decoder<A>;

package/data/Decoder/definition.d.ts

@@ -1,27 +0,0 @@
-import { HKT } from "@fncts/typelevel/HKT";
-import { These } from "@fncts/base/data/These";
-import type { DecodeError } from "@fncts/base/data/DecodeError";
-export declare const DecoderTypeId: unique symbol;
-export type DecoderTypeId = typeof DecoderTypeId;
-export interface DecoderF extends HKT {
-    type: Decoder<this["A"]>;
-    variance: {
-        A: "+";
-    };
-}
-/**
- * @tsplus type fncts.Decoder
- * @tsplus companion fncts.DecoderOps
- * @tsplus derive nominal
- */
-export declare class Decoder<in out A> {
-    readonly decode: (input: unknown) => These<DecodeError, A>;
-    readonly label: string;
-    readonly [DecoderTypeId]: DecoderTypeId;
-    constructor(decode: (input: unknown) => These<DecodeError, A>, label: string);
-}
-/**
- * @tsplus static fncts.DecoderOps __call
- * @tsplus location "@fncts/base/data/Decoder/definition"
- */
-export declare function makeDecoder<A>(decode: (input: unknown) => These<DecodeError, A>, label: string): Decoder<A>;

package/data/Decoder.d.ts

@@ -1,2 +0,0 @@
-export * from "./Decoder/definition.js";
-export * from "./Decoder/api.js";

package/data/Encoder/api.d.ts

@@ -1,214 +0,0 @@
-import { Guard } from "@fncts/base/data/Guard";
-import { ImmutableArray } from "@fncts/base/collection/immutable/ImmutableArray/definition";
-import { ImmutableNonEmptyArray } from "@fncts/base/collection/immutable/ImmutableNonEmptyArray/definition";
-import { Conc } from "@fncts/base/collection/immutable/Conc";
-import type { Brand, Validation } from "../Branded.js";
-import type { Check } from "@fncts/typelevel";
-import type { Literal } from "@fncts/typelevel/Any";
-import type { OptionalKeys, RequiredKeys } from "@fncts/typelevel/Object";
-import { Encoder } from "./definition.js";
-/**
- * @tsplus static fncts.EncoderOps __call
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function makeEncoder<A>(encode: (inp: A) => unknown): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps unknown
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare const unknown: Encoder<unknown>;
-/**
- * @tsplus implicit
- * @tsplus static fncts.EncoderOps boolean
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare const boolean: Encoder<boolean>;
-/**
- * @tsplus implicit
- * @tsplus static fncts.EncoderOps number
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare const number: Encoder<number>;
-/**
- * @tsplus implicit
- * @tsplus static fncts.EncoderOps string
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare const string: Encoder<string>;
-/**
- * @tsplus implicit
- * @tsplus static fncts.EncoderOps bigint
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare const bigint: Encoder<bigint>;
-/**
- * @tsplus implicit
- * @tsplus static fncts.EncoderOps null
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare const _null: Encoder<null>;
-/**
- * @tsplus implicit
- * @tsplus static fncts.EncoderOps undefined
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare const _undefined: Encoder<undefined>;
-/**
- * @tsplus implicit
- * @tsplus static fncts.EncoderOps date
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare const date: Encoder<Date>;
-/**
- * @tsplus derive fncts.Encoder lazy
- * @tsplus static fncts.EncoderOps lazy
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveLazy<A>(fn: (_: Encoder<A>) => Encoder<A>): Encoder<A>;
-export declare function deriveLiteral<A extends string | number | boolean>(...[value]: Check<Check.IsLiteral<A> & Check.Not<Check.IsUnion<A>>> extends Check.True ? [value: A] : never): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps literal
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function literal<A extends Literal>(value: A): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps nullable
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function nullable<A>(/** @tsplus implicit local */ base: Encoder<A>): Encoder<A | null | undefined>;
-/**
- * @tsplus derive fncts.Encoder<_> 20
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveStruct<A extends Record<string, any>>(...[requiredFields, optionalFields]: Check<Check.IsStruct<A>> extends Check.True ? [
-    ...[
-        requiredFields: {
-            [K in RequiredKeys<A>]: Encoder<A[K]>;
-        }
-    ],
-    ...([OptionalKeys<A>] extends [never] ? [] : [
-        optionalFields: {
-            [K in OptionalKeys<A>]: Encoder<NonNullable<A[K]>>;
-        }
-    ])
-] : never): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps struct
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function struct<A extends Record<string, any>>(fields: {
-    [K in keyof A]: Encoder<A[K]>;
-}): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps partial
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function partial<A extends Record<string, any>>(fields: {
-    [K in keyof A]: Encoder<A[K]>;
-}): Encoder<Partial<A>>;
-/**
- * @tsplus derive fncts.Encoder<|> 30
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveUnion<A extends Array<unknown>>(...elements: {
-    [K in keyof A]: [Guard<A[K]>, Encoder<A[K]>];
-}): Encoder<A[number]>;
-/**
- * @tsplus derive fncts.Encoder<_> 10
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveEmptyRecord<A extends {}>(..._: Check<Check.IsEqual<A, {}>> extends Check.True ? [] : never): Encoder<A>;
-/**
- * @tsplus derive fncts.Encoder[fncts.Array]<_> 10
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveArray<A extends Array<any>>(...[element]: [A] extends [Array<infer _A>] ? Check<Check.IsEqual<A, Array<_A>>> extends Check.True ? [element: Encoder<_A>] : never : never): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps array
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function array<A>(/** @tsplus implicit local */ base: Encoder<A>): Encoder<Array<A>>;
-/**
- * @tsplus derive fncts.Encoder[fncts.ReadonlyArray]<_> 10
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveReadonlyArray<A extends ReadonlyArray<any>>(...[element]: [A] extends [ReadonlyArray<infer _A>] ? Check<Check.IsEqual<A, ReadonlyArray<_A>>> extends Check.True ? [element: Encoder<_A>] : never : never): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps readonlyArray
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function readonlyArray<A>(/** @tsplus implicit local */ base: Encoder<A>): Encoder<ReadonlyArray<A>>;
-/**
- * @tsplus derive fncts.Encoder<_> 15
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveDictionary<A extends Record<string, any>>(...[value]: Check<Check.IsDictionary<A>> extends Check.True ? [value: Encoder<A[keyof A]>] : never): Encoder<A>;
-/**
- * @tsplus derive fncts.Encoder<_> 15
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveRecord<A extends Record<string, any>>(...[value, requiredKeys]: Check<Check.IsRecord<A>> extends Check.True ? [
-    value: Encoder<A[keyof A]>,
-    requiredKeys: {
-        [K in keyof A]: 0;
-    }
-] : never): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps record
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function record<A>(codomain: Encoder<A>): Encoder<Record<string, A>>;
-/**
- * @tsplus derive fncts.Encoder[fncts.ImmutableArray]<_> 10
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveImmutableArray<A extends ImmutableArray<any>>(...[element]: [A] extends [ImmutableArray<infer _A>] ? Check<Check.IsEqual<A, ImmutableArray<_A>>> extends Check.True ? [element: Encoder<_A>] : never : never): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps immutableArray
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function immutableArray<A>(base: Encoder<A>): Encoder<ImmutableArray<A>>;
-/**
- * @tsplus derive fncts.Encoder[fncts.ImmutableNonEmptyArray]<_> 10
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveImmutableNonEmptyArray<A extends ImmutableNonEmptyArray<any>>(...[element]: [A] extends [ImmutableNonEmptyArray<infer _A>] ? Check<Check.IsEqual<A, ImmutableNonEmptyArray<_A>>> extends Check.True ? [element: Encoder<_A>] : never : never): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps immutableNonEmptyArray
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function immutableNonEmptyArray<A>(base: Encoder<A>): Encoder<ImmutableNonEmptyArray<A>>;
-/**
- * @tsplus derive fncts.Encoder[fncts.Conc]<_> 10
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveConc<A extends Conc<any>>(...[element]: [A] extends [Conc<infer _A>] ? Check<Check.IsEqual<A, Conc<_A>>> extends Check.True ? [element: Encoder<_A>] : never : never): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps conc
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function conc<A>(base: Encoder<A>): Encoder<Conc<A>>;
-/**
- * @tsplus derive fncts.Encoder<_> 10
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveValidation<A extends Brand.Valid<any, any>>(...[base]: Check<Brand.IsValidated<A>> extends Check.True ? [base: Encoder<Brand.Unbranded<A>>] : never): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps validation
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function validation<A, B extends ReadonlyArray<Validation<A, any>>>(..._validations: B): (base: Encoder<A>) => Encoder<A & { [K in keyof B]: B[K] extends Validation<any, infer S extends string> ? Brand.Valid<A, S> : never; }[number]>;
-/**
- * @tsplus derive fncts.Encoder<_> 10
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function deriveTuple<A extends ReadonlyArray<unknown>>(...[components]: Check<Check.IsTuple<A>> extends Check.True ? [components: {
-    [K in keyof A]: Encoder<A[K]>;
-}] : never): Encoder<A>;
-/**
- * @tsplus static fncts.EncoderOps tuple
- * @tsplus location "@fncts/base/data/Encoder/api"
- */
-export declare function tuple<A extends ReadonlyArray<unknown>>(...components: {
-    [K in keyof A]: Encoder<A[K]>;
-}): Encoder<A>;

package/data/Encoder/definition.d.ts

@@ -1,16 +0,0 @@
-import { HKT } from "@fncts/typelevel/HKT";
-export declare const EncoderTypeId: unique symbol;
-export type EncoderTypeId = typeof EncoderTypeId;
-/**
- * @tsplus type fncts.Encoder
- * @tsplus companion fncts.EncoderOps
- * @tsplus derive nominal
- */
-export declare class Encoder<in out A> {
-    readonly encode: (inp: A) => unknown;
-    readonly [EncoderTypeId]: EncoderTypeId;
-    constructor(encode: (inp: A) => unknown);
-}
-export interface EncoderF extends HKT {
-    readonly type: Encoder<this["A"]>;
-}

package/data/Encoder.d.ts

@@ -1,2 +0,0 @@
-export * from "./Encoder/definition.js";
-export * from "./Encoder/api.js";