@fncts/schema 0.0.15 → 0.0.17

package/Schema/api/set.d.ts

@@ -0,0 +1,19 @@
+import { Schema } from "@fncts/schema/Schema/definition";
+import { Check } from "@fncts/typelevel";
+import { Parser } from "@fncts/schema/Parser/definition";
+import { Gen } from "@fncts/test/control/Gen";
+/**
+ * @tsplus static fncts.schema.SchemaOps map
+ * @tsplus location "@fncts/schema/Schema/api/set"
+ */
+export declare function set<V>(value: Schema<V>): Schema<Set<V>>;
+/**
+ * @tsplus static fncts.schema.SchemaOps mapFromRecord
+ * @tsplus location "@fncts/schema/Schema/api/set"
+ */
+export declare function setFromArray<V>(value: Schema<V>): Schema<Set<V>>;
+/**
+ * @tsplus derive fncts.schema.Schema[fncts.Set]<_> 10
+ * @tsplus location "@fncts/schema/Schema/api/set"
+ */
+export declare function deriveSet<A extends Set<any>>(...[value]: [A] extends [Set<infer V>] ? Check<Check.IsEqual<A, Set<V>>> extends Check.True ? [value: Schema<V>] : never : never): Schema<A>;

package/Schema/api.d.ts

@@ -24,7 +24,7 @@ export declare function annotate<V>(annotation: ASTAnnotation<V>, value: V): <A>
  * @tsplus static fncts.schema.SchemaOps declaration
  * @tsplus location "@fncts/schema/Schema/api"
  */
-export declare function declaration(typeParameters: Vector<Schema<any>>, type: Schema<any>, decode: (...typeParameters: ReadonlyArray<Schema<any>>) => Parser<any>, annotations?: ASTAnnotationMap): Schema<any>;
+export declare function declaration(typeParameters: Vector<Schema<any>>, decode: (...typeParameters: ReadonlyArray<Schema<any>>) => Parser<any>, encode: (...typeParameters: ReadonlyArray<Schema<any>>) => Parser<any>, annotations?: ASTAnnotationMap): Schema<any>;
 /**
  * @tsplus pipeable fncts.schema.Schema filter
  * @tsplus location "@fncts/schema/Schema/api"
@@ -126,8 +126,8 @@ export declare const date: Schema<Date>;
  */
 export declare const implicitDate: Schema<Date>;
 /**
- * @tsplus static fncts.schema.SchemaOps union
  * @tsplus derive fncts.schema.Schema<|> 30
+ * @tsplus static fncts.schema.SchemaOps union
  * @tsplus location "@fncts/schema/Schema/api"
  */
 export declare function union<A extends ReadonlyArray<unknown>>(...members: {
@@ -251,3 +251,13 @@ export declare function transformOrFail<A, B>(to: Schema<B>, decode: (input: A,
  * @tsplus location "@fncts/schema/Schema/api"
  */
 export declare function transform<A, B>(to: Schema<B>, decode: (input: A, options?: ParseOptions) => B, encode: (input: B, options?: ParseOptions) => A): (from: Schema<A>) => Schema<B>;
+/**
+ * @tsplus pipeable fncts.schema.Schema pick
+ * @tsplus location "@fncts/schema/Schema/api"
+ */
+export declare function pick<A, Keys extends ReadonlyArray<keyof A>>(...keys: Keys): (self: Schema<A>) => Schema<Pick<A, Keys[number]>>;
+/**
+ * @tsplus pipeable fncts.schema.Schema omit
+ * @tsplus location "@fncts/schema/Schema/api"
+ */
+export declare function omit<A, Keys extends ReadonlyArray<keyof A>>(...keys: Keys): (self: Schema<A>) => Schema<Omit<A, Keys[number]>>;

package/Schema/derivations.d.ts

@@ -35,7 +35,7 @@ export declare function deriveStruct<A extends Record<string, any>>(...[required
     ],
     ...([OptionalKeys<A>] extends [never] ? [optionalFields: {}] : [
         optionalFields: {
-            [k in OptionalKeys<A>]: Schema<NonNullable<A[k]>>;
+            [k in OptionalKeys<A>]: Schema<A[k]>;
         }
     ]),
     ...([MaybeKeys<A>] extends [never] ? [] : [

package/Schema.d.ts

@@ -1,7 +1,9 @@
 export * from "./Schema/derivations.js";
 export * from "./Schema/definition.js";
 export * from "./Schema/api.js";
+export * from "./Schema/api/set.js";
 export * from "./Schema/api/maybe.js";
+export * from "./Schema/api/map.js";
 export * from "./Schema/api/list.js";
 export * from "./Schema/api/immutableArray.js";
 export * from "./Schema/api/hashSet.js";

package/Show.d.ts

@@ -1,8 +1,12 @@
 import { AST } from "@fncts/schema/AST";
-import { Eval } from "@fncts/base/control/Eval/definition";
 import { Schema } from "@fncts/schema/Schema/definition";
 /**
- * @tsplus getter fncts.schema.Schema show
+ * @tsplus pipeable fncts.schema.Schema show
  * @tsplus location "@fncts/schema/Show"
  */
-export declare function show<A>(self: Schema<A>): string;
+export declare function show(verbose?: boolean): <A>(self: Schema<A>) => string;
+/**
+ * @tsplus pipeable fncts.schema.AST show
+ * @tsplus location "@fncts/schema/Show"
+ */
+export declare function showAST(verbose?: boolean): (self: AST) => string;