import { Schema } from "@fncts/schema/Schema/definition";
import { Parser } from "@fncts/schema/Parser/definition";
import { Gen } from "@fncts/test/control/Gen";
import type { Check } from "@fncts/typelevel";
import { HashMap } from "@fncts/base/collection/immutable/HashMap";
/**
 * @tsplus static fncts.schema.SchemaOps hashMap
 * @tsplus location "@fncts/schema/Schema/api/hashMap"
 */
export declare function hashMap<K, V>(key: Schema<K>, value: Schema<V>): Schema<HashMap<K, V>>;
/**
 * @tsplus static fncts.schema.SchemaOps hashMapFromRecord
 * @tsplus location "@fncts/schema/Schema/api/hashMap"
 */
export declare function hashMapFromRecord<K extends string | symbol, V>(key: Schema<K>, value: Schema<V>): Schema<HashMap<K, V>>;
/**
 * @tsplus derive fncts.schema.Schema[fncts.HashMap]<_> 10
 * @tsplus location "@fncts/schema/Schema/api/hashMap"
 */
export declare function deriveHashMap<A extends HashMap<any, any>>(...[key, value]: [A] extends [HashMap<infer K, infer V>] ? Check<Check.IsEqual<A, HashMap<K, V>> & Check.Extends<K, string | symbol>> extends Check.True ? [key: Schema<K>, value: Schema<V>] : never : never): Schema<A>;