BlockSuite API Documentation / @blocksuite/data-view / TypeSystem

Class: TypeSystem

Defined in: packages/affine/data-view/src/core/logical/type-system.ts:34

Constructors

new TypeSystem()

new TypeSystem(converts): TypeSystem

Defined in: packages/affine/data-view/src/core/logical/type-system.ts:84

Parameters

converts

TypeConvertConfig[]

Returns

TypeSystem

Properties

convertMapFromTo

convertMapFromTo: Map<string, Map<string, { convert: (value) => unknown; from: TypeInstance; level: number; to: TypeInstance; }>>

Defined in: packages/affine/data-view/src/core/logical/type-system.ts:51

---

convertMapToFrom

convertMapToFrom: Map<string, Map<string, { convert: (value) => unknown; from: TypeInstance; level: number; to: TypeInstance; }>>

Defined in: packages/affine/data-view/src/core/logical/type-system.ts:64

Methods

instanceFn()

instanceFn(template, realArgs, realRt, ctx): void | FnTypeInstance<readonly TypeInstance[], TypeInstance>

Defined in: packages/affine/data-view/src/core/logical/type-system.ts:163

Parameters

template

FnTypeInstance

realArgs

TypeInstance[]

realRt

TypeInstance

ctx

TypeVarContext

Returns

void | FnTypeInstance<readonly TypeInstance[], TypeInstance>

---

unify()

unify<T>(left, right): left is T

Defined in: packages/affine/data-view/src/core/logical/type-system.ts:77

Type Parameters

T

T extends TypeInstance

Parameters

left

undefined | TypeInstance

right

undefined | T

Returns

left is T