{
get: Hyperlink.Method<
Key extends Schema.Struct.Fields
? Key
: Key extends Schema.Top
? Key
: never,
Schema.Option<Value>,
Error extends Schema.Top ? Error : Schema.Never,
false,
Hyperlink.MethodAnnotations & { description: string },
Hyperlink.Derive
>
put: Hyperlink.Method<
Value extends Schema.Struct.Fields
? Value
: Value extends Schema.Top
? Value
: never,
Schema.Boolean,
Error extends Schema.Top ? Error : Schema.Never,
false,
Hyperlink.MethodAnnotations & { description: string },
Hyperlink.Derive
>
delete: Hyperlink.Method<
Key extends Schema.Struct.Fields
? Key
: Key extends Schema.Top
? Key
: never,
Schema.Boolean,
Error extends Schema.Top ? Error : Schema.Never,
false,
Hyperlink.MethodAnnotations & { description: string },
Hyperlink.Derive
>
getLocal: Hyperlink.Method<
Key extends Schema.Struct.Fields
? Key
: Key extends Schema.Top
? Key
: never,
Schema.Option<Value>,
Error extends Schema.Top ? Error : Schema.Never,
false,
Hyperlink.MethodAnnotations & { description: string },
Hyperlink.Derive
>
putLocal: Hyperlink.Method<
Value extends Schema.Struct.Fields
? Value
: Value extends Schema.Top
? Value
: never,
Schema.Void,
Error extends Schema.Top ? Error : Schema.Never,
false,
Hyperlink.MethodAnnotations & { description: string },
Hyperlink.Derive
>
deleteLocal: Hyperlink.Method<
Key extends Schema.Struct.Fields
? Key
: Key extends Schema.Top
? Key
: never,
Schema.Boolean,
Error extends Schema.Top ? Error : Schema.Never,
false,
Hyperlink.MethodAnnotations & { description: string },
Hyperlink.Derive
>
sizeLocal: Hyperlink.Method<
undefined,
Schema.Number,
Schema.Never,
false,
Hyperlink.MethodAnnotations & { description: string },
Hyperlink.Derive
>
sizeByNode: Hyperlink.Marked<
Hyperlink.Method<
undefined,
Schema.$Record<Schema.String, Schema.Number>,
Schema.Never,
false,
Hyperlink.MethodAnnotations & { description: string },
Hyperlink.Derive
>,
{ readonly fleet: true }
>
size: Hyperlink.Marked<
Hyperlink.Method<
undefined,
Schema.Number,
Schema.Never,
false,
Hyperlink.MethodAnnotations & { description: string },
Hyperlink.Derive
>,
{ readonly fleet: true }
>
}Spec produced by shardMapSpec.
modelsshardMapSpec
Source src/ShardMap.ts:2225 lines
export type type ShardMapSpecOf<
Key extends Schema.Top,
Value extends Schema.Top,
Error extends Schema.Top = Schema.Never
> = {
get: any
put: any
delete: any
getLocal: any
putLocal: any
deleteLocal: any
sizeLocal: any
sizeByNode: any
size: any
}
Spec produced by
shardMapSpec
.
ShardMapSpecOf<
function (type parameter) Key in type ShardMapSpecOf<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Key extends import SchemaSchema.Top,
function (type parameter) Value in type ShardMapSpecOf<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Value extends import SchemaSchema.Top,
function (type parameter) Error in type ShardMapSpecOf<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Error extends import SchemaSchema.Top = typeof import SchemaSchema.const Never: Schema.Neverconst Never: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<never, readonly []>) => Schema.Never;
annotateKey: (annotations: Schema.Annotations.Key<never>) => Schema.Never;
check: (checks_0: Check<never>, ...checks: Array<Check<never>>) => Schema.Never;
rebuild: (ast: Never) => Schema.Never;
make: (input: never, options?: Schema.MakeOptions) => never;
makeOption: (input: never, options?: Schema.MakeOptions) => Option.Option<never>;
makeEffect: (input: never, options?: Schema.MakeOptions) => Effect.Effect<never, Schema.SchemaError, never>;
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
}
Type-level representation of
Never
.
Schema for the never type. Always fails validation — no value satisfies it.
Never,
> = type ReturnType<
T extends (...args: any) => any
> = T extends (...args: any) => infer R ? R : any
Obtain the return type of a function type
ReturnType<typeof const buildShardMapSpec: <
Key extends Schema.Top,
Value extends Schema.Top,
Error extends Schema.Top
>(
key: Key,
value: Value,
error: Error
) => {
get: any
put: any
delete: any
getLocal: any
putLocal: any
deleteLocal: any
sizeLocal: any
sizeByNode: any
size: any
}
buildShardMapSpec<function (type parameter) Key in type ShardMapSpecOf<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Key, function (type parameter) Value in type ShardMapSpecOf<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Value, function (type parameter) Error in type ShardMapSpecOf<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Error>>;
Referenced by 2 symbols