ShardMapSchemas<Key, Value, Error>Source src/ShardMap.ts:27815 lines
export interface interface ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>ShardMapSchemas<
function (type parameter) Key in ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Key extends import SchemaSchema.Top,
function (type parameter) Value in ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Value extends import SchemaSchema.Top,
function (type parameter) Error in ShardMapSchemas<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,
> {
readonly ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Never>.key: Key extends Schema.Topkey: function (type parameter) Key in ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Key;
readonly ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Never>.value: Value extends Schema.Topvalue: function (type parameter) Value in ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Value;
readonly ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Never>.error?: Error | undefinederror?: function (type parameter) Error in ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Error;
/** Extract the partition key from a value (routed `put` / `putLocal`). */
readonly ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Never>.keyOf: (value: Schema.Schema.Type<Value>) => Schema.Schema.Type<Key>Extract the partition key from a value (routed put / putLocal).
keyOf: (
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 ShardMapSchemas<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 ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never>Key>;
readonly ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Never>.description?: string | undefineddescription?: string;
readonly ShardMapSchemas<Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Never>.node?: anynode?: import NodeKeyNodeKey<unknown>;
}
Referenced by 1 symbols