ShardMapTag<Self, Key, Value, Error>A ShardMap instance tag — wire contract plus stamped key / value / keyOf carriers.
models
Source src/ShardMap.ts:23812 lines
export type type ShardMapTag<
Self,
Key extends Schema.Top,
Value extends Schema.Top,
Error extends Schema.Top = Schema.Never
> = any
A ShardMap instance tag — wire contract plus stamped key / value / keyOf carriers.
ShardMapTag<
function (type parameter) Self in type ShardMapTag<Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Self,
function (type parameter) Key in type ShardMapTag<Self, 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 ShardMapTag<Self, 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 ShardMapTag<Self, 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,
> = import HyperlinkTagHyperlinkTag<function (type parameter) Self in type ShardMapTag<Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Self, 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 ShardMapTag<Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Key, function (type parameter) Value in type ShardMapTag<Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Value, function (type parameter) Error in type ShardMapTag<Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Error>> & {
readonly [import internalinternal.keySchemaSym]: function (type parameter) Key in type ShardMapTag<Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Key;
readonly [import internalinternal.valueSchemaSym]: function (type parameter) Value in type ShardMapTag<Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Value;
readonly [import internalinternal.keyOfSym]: (
value: Schema.Schema.Type<Value>value: import SchemaSchema.Schema.type Schema<out T>.Type<S> = S extends {
readonly Type: infer T;
} ? T : never
Extracts the decoded Type from a schema.
Example (Extracting the decoded type)
import { Schema } from "effect"
const Person = Schema.Struct({ name: Schema.String, age: Schema.Number })
type Person = Schema.Schema.Type<typeof Person>
// { readonly name: string; readonly age: number }
Type<function (type parameter) Value in type ShardMapTag<Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Value>,
) => import SchemaSchema.Schema.type Schema<out T>.Type<S> = S extends {
readonly Type: infer T;
} ? T : never
Extracts the decoded Type from a schema.
Example (Extracting the decoded type)
import { Schema } from "effect"
const Person = Schema.Struct({ name: Schema.String, age: Schema.Number })
type Person = Schema.Schema.Type<typeof Person>
// { readonly name: string; readonly age: number }
Type<function (type parameter) Key in type ShardMapTag<Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Key>;
};
Referenced by 4 symbols