API reference / @evolu/common / Type / ObjectWithRecordType

Interface: ObjectWithRecordType<Props, KeyName, KeyT, KeyInput, KeyError, KeyParent, KeyParentError, Value>

Defined in: packages/common/src/Type.ts:2840

ObjectWithRecordType extends Type with additional props and record properties for reflection.

Extends

• Type<"ObjectWithRecord", Readonly<ObjectT<Props>> & Readonly<Record<KeyT, InferType<Value>>>, Readonly<ObjectInput<Props>> & Readonly<Record<KeyInput, InferInput<Value>>>, ObjectWithRecordError<{ [K in keyof Props]: InferError<Props[K]> }, KeyError, InferError<Value>>, Readonly<ObjectParent<Props>> & Readonly<Record<KeyParent, InferParent<Value>>>, ObjectWithRecordError<{ [K in keyof Props]: InferParentError<Props[K]> }, KeyParentError, InferParentError<Value>>>

Type Parameters

Type Parameter
Props extends Record<string, AnyType>
KeyName extends TypeName
KeyT extends string
KeyInput extends string
KeyError extends TypeError
KeyParent extends string
KeyParentError extends TypeError
Value extends AnyType

Properties

Property	Modifier	Type	Description	Inherited from	Defined in
[EvoluTypeSymbol]	readonly	true	-	Type.[EvoluTypeSymbol]	packages/common/src/Type.ts:168
Error	public	ObjectWithRecordError<{ [K in string | number | symbol]: InferError<Props[K]> }, KeyError, InferError<Value>>	The specific error introduced by this Type. ### Example type StringError = typeof String.Error;	Type.Error	packages/common/src/Type.ts:93
Errors	readonly	| ObjectWithRecordError<{ [K in string | number | symbol]: InferError<Props[K]> }, KeyError, InferError<Value>> | ObjectWithRecordError<{ [K in string | number | symbol]: InferParentError<Props[K]> }, KeyParentError, InferParentError<Value>>	Error	ParentError ### Example type StringParentErrors = typeof String.Errors;	Type.Errors
from	readonly	(value) => Result<Readonly<DrainOuterGeneric<{ [K in string | number | symbol]: ({ [K in string | number | symbol]: InferType<(...)[(...)]> } & { [K in string | number | symbol]?: (...) extends (...) ? (...) : (...) })[K] }>> & Readonly<Record<KeyT, InferType<Value>>>, | ObjectWithRecordError<{ [K in string | number | symbol]: InferError<Props[K]> }, KeyError, InferError<Value>> | ObjectWithRecordError<{ [K in string | number | symbol]: InferParentError<Props[K]> }, KeyParentError, InferParentError<Value>>>	Creates T from an Input value. This is useful when we have a typed value. from is a typed alias of fromUnknown.	Type.from	packages/common/src/Type.ts:108
fromParent	readonly	(value) => Result<Readonly<DrainOuterGeneric<{ [K in string | number | symbol]: ({ [K in string | number | symbol]: InferType<(...)[(...)]> } & { [K in string | number | symbol]?: (...) extends (...) ? (...) : (...) })[K] }>> & Readonly<Record<KeyT, InferType<Value>>>, ObjectWithRecordError<{ [K in string | number | symbol]: InferError<Props[K]> }, KeyError, InferError<Value>>>	Creates T from Parent type. This function skips parent Types validations/transformations when we have already partially validated/transformed value. For example, TrimString.from checks whether a value is a string and trims it. If we only want to trim a string, we can use fromParent. ### Example // string & Brand<"Trimmed"> const value = TrimString.fromParent("a ").value; // as efficient as foo.trim()	Type.fromParent	packages/common/src/Type.ts:142
fromUnknown	readonly	(value) => Result<Readonly<DrainOuterGeneric<{ [K in string | number | symbol]: ({ [K in string | number | symbol]: InferType<(...)[(...)]> } & { [K in string | number | symbol]?: (...) extends (...) ? (...) : (...) })[K] }>> & Readonly<Record<KeyT, InferType<Value>>>, | ObjectWithRecordError<{ [K in string | number | symbol]: InferError<Props[K]> }, KeyError, InferError<Value>> | ObjectWithRecordError<{ [K in string | number | symbol]: InferParentError<Props[K]> }, KeyParentError, InferParentError<Value>>>	Creates T from an unknown value. This is useful when a value is unknown.	Type.fromUnknown	packages/common/src/Type.ts:115
Input	public	Readonly<DrainOuterGeneric<{ [K in string | number | symbol]: ({ [K in string | number | symbol]: InferInput<Props[K]> } & { [K in string | number | symbol]?: Props[K] extends OptionalType<U> ? InferInput<U> : never })[K] }>> & Readonly<Record<KeyInput, InferInput<Value>>>	The type expected by from and fromUnknown. ### Example type StringInput = typeof String.Input;	Type.Input	packages/common/src/Type.ts:91
is	readonly	(value) => value is Readonly<DrainOuterGeneric<{ [K in string | number | symbol]: ({ [K in string | number | symbol]: InferType<Props[K]> } & { [K in string | number | symbol]?: (...)[(...)] extends OptionalType<(...)> ? InferType<(...)> : never })[K] }>> & Readonly<Record<KeyT, InferType<Value>>>	A type guard that checks whether an unknown value satisfies the Type. ### Example const value: unknown = "hello"; if (String.is(value)) { // TypeScript now knows valueis astring here. console.log("This is a valid string!"); } const strings: unknown[] = [1, "hello", true, "world"]; const filteredStrings = strings.filter(String.is); console.log(filteredStrings); // ["hello", "world"]	Type.is	packages/common/src/Type.ts:166
name	readonly	"ObjectWithRecord"	-	Type.name	packages/common/src/Type.ts:99
Parent	public	Readonly<DrainOuterGeneric<{ [K in string | number | symbol]: ({ [K in string | number | symbol]: InferParent<Props[K]> } & { [K in string | number | symbol]?: Props[K] extends OptionalType<U> ? InferParent<U> : never })[K] }>> & Readonly<Record<KeyParent, InferParent<Value>>>	The parent type. ### Example type StringParent = typeof String.Parent;	Type.Parent	packages/common/src/Type.ts:95
ParentError	public	ObjectWithRecordError<{ [K in string | number | symbol]: InferParentError<Props[K]> }, KeyParentError, InferParentError<Value>>	The parent's error. ### Example type StringParentError = typeof String.ParentError;	Type.ParentError	packages/common/src/Type.ts:97
props	readonly	Props	-	-	packages/common/src/Type.ts:2867
record	readonly	RecordType<KeyName, KeyT, KeyInput, KeyError, KeyParent, KeyParentError, Value>	-	-	packages/common/src/Type.ts:2868
to	readonly	(value) => Readonly<DrainOuterGeneric<{ [K in string | number | symbol]: ({ [K in string | number | symbol]: InferInput<Props[K]> } & { [K in string | number | symbol]?: (...)[(...)] extends OptionalType<(...)> ? InferInput<(...)> : never })[K] }>> & Readonly<Record<KeyInput, InferInput<Value>>>	The opposite of from and fromUnknown. This is useful to transform T back to its Input representation. For refine, it only removes the brand. For transform, it changes value.	Type.to	packages/common/src/Type.ts:124
toParent	readonly	(value) => Readonly<DrainOuterGeneric<{ [K in string | number | symbol]: ({ [K in string | number | symbol]: InferParent<Props[K]> } & { [K in string | number | symbol]?: (...)[(...)] extends OptionalType<(...)> ? InferParent<(...)> : never })[K] }>> & Readonly<Record<KeyParent, InferParent<Value>>>	The opposite of fromParent.	Type.toParent	packages/common/src/Type.ts:145
Type	readonly	Readonly<DrainOuterGeneric<{ [K in string | number | symbol]: ({ [K in string | number | symbol]: InferType<Props[K]> } & { [K in string | number | symbol]?: Props[K] extends OptionalType<U> ? InferType<U> : never })[K] }>> & Readonly<Record<KeyT, InferType<Value>>>	The type this Type resolves to. ### Example type String = typeof String.Type;	Type.Type	packages/common/src/Type.ts:179