import { Schema } from "@fncts/schema/Schema/definition";
import { List } from "@fncts/base/collection/immutable/List/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 list
 * @tsplus getter fncts.Schema.Schema list
 * @tsplus location "@fncts/schema/Schema/api/list"
 */
export declare function list<A>(value: Schema<A>): Schema<List<A>>;
/**
 * @tsplus static fncts.schema.SchemaOps listFromArray
 * @tsplus getter fncts.Schema.Schema listFromArray
 * @tsplus location "@fncts/schema/Schema/api/list"
 */
export declare function listFromArray<A>(value: Schema<A>): Schema<List<A>>;
/**
 * @tsplus derive fncts.schema.Schema[fncts.List]<_> 10
 * @tsplus location "@fncts/schema/Schema/api/list"
 */
export declare function deriveList<A extends List<any>>(...[value]: [A] extends [List<infer _A>] ? Check<Check.IsEqual<A, List<_A>>> extends Check.True ? [value: Schema<_A>] : never : never): Schema<A>;