Interface Relation<T, Source, Target, Fields>

TypeScript type for an ECHO relation schema. T is the instance type produced by the schema (excluding source/target). Source and Target are the endpoint types. Fields is the optional struct fields type for introspection.

interface Relation<
    T = any,
    Source = any,
    Target = any,
    Fields extends Schema.Struct.Fields = Schema.Struct.Fields,
> {
    new Relation(
        _: never,
    ): Variance<
        OfKind<Relation> & Endpoints<Source, Target> & T,
        { [K in string | number | symbol]: (RelationJsonProps & ToMutable<T>)[K] },
        never,
    >;
    "[TypeId]": {
        _A: Invariant<OfKind<Relation> & Endpoints<Source, Target> & T>;
        _I: Invariant<
            {
                [K in string
                | number
                | symbol]: (RelationJsonProps & ToMutable<T>)[K]
            },
        >;
        _R: Covariant<never>;
    };
    "~@dxos/echo/SchemaKind": Relation;
    ast: AST;
    Context: never;
    Encoded: {
        [K in string
        | number
        | symbol]: (RelationJsonProps & ToMutable<T>)[K]
    };
    fields: Fields;
    Type: OfKind<Relation> & Endpoints<Source, Target> & T;
    typename: string;
    version: string;
    annotations(
        annotations: GenericSchema<
            OfKind<Relation> & Endpoints<Source, Target> & T,
        >,
    ): Type.Relation;
    pipe<A>(this: A): A;
    pipe<A, B = never>(this: A, ab: (_: A) => B): B;
    pipe<A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C;
    pipe<A, B = never, C = never, D = never>(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
    ): D;
    pipe<A, B = never, C = never, D = never, E = never>(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
    ): E;
    pipe<A, B = never, C = never, D = never, E = never, F = never>(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
    ): F;
    pipe<A, B = never, C = never, D = never, E = never, F = never, G = never>(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
    ): G;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
    ): H;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
    ): I;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
    ): J;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
    ): K;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
        L = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
        kl: (_: K) => L,
    ): L;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
        L = never,
        M = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
        kl: (_: K) => L,
        lm: (_: L) => M,
    ): M;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
        L = never,
        M = never,
        N = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
        kl: (_: K) => L,
        lm: (_: L) => M,
        mn: (_: M) => N,
    ): N;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
        L = never,
        M = never,
        N = never,
        O = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
        kl: (_: K) => L,
        lm: (_: L) => M,
        mn: (_: M) => N,
        no: (_: N) => O,
    ): O;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
        L = never,
        M = never,
        N = never,
        O = never,
        P = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
        kl: (_: K) => L,
        lm: (_: L) => M,
        mn: (_: M) => N,
        no: (_: N) => O,
        op: (_: O) => P,
    ): P;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
        L = never,
        M = never,
        N = never,
        O = never,
        P = never,
        Q = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
        kl: (_: K) => L,
        lm: (_: L) => M,
        mn: (_: M) => N,
        no: (_: N) => O,
        op: (_: O) => P,
        pq: (_: P) => Q,
    ): Q;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
        L = never,
        M = never,
        N = never,
        O = never,
        P = never,
        Q = never,
        R = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
        kl: (_: K) => L,
        lm: (_: L) => M,
        mn: (_: M) => N,
        no: (_: N) => O,
        op: (_: O) => P,
        pq: (_: P) => Q,
        qr: (_: Q) => R,
    ): R;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
        L = never,
        M = never,
        N = never,
        O = never,
        P = never,
        Q = never,
        R = never,
        S = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
        kl: (_: K) => L,
        lm: (_: L) => M,
        mn: (_: M) => N,
        no: (_: N) => O,
        op: (_: O) => P,
        pq: (_: P) => Q,
        qr: (_: Q) => R,
        rs: (_: R) => S,
    ): S;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
        L = never,
        M = never,
        N = never,
        O = never,
        P = never,
        Q = never,
        R = never,
        S = never,
        T = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
        kl: (_: K) => L,
        lm: (_: L) => M,
        mn: (_: M) => N,
        no: (_: N) => O,
        op: (_: O) => P,
        pq: (_: P) => Q,
        qr: (_: Q) => R,
        rs: (_: R) => S,
        st: (_: S) => T,
    ): T;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
        L = never,
        M = never,
        N = never,
        O = never,
        P = never,
        Q = never,
        R = never,
        S = never,
        T = never,
        U = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
        kl: (_: K) => L,
        lm: (_: L) => M,
        mn: (_: M) => N,
        no: (_: N) => O,
        op: (_: O) => P,
        pq: (_: P) => Q,
        qr: (_: Q) => R,
        rs: (_: R) => S,
        st: (_: S) => T,
        tu: (_: T) => U,
    ): U;
    pipe<
        A,
        B = never,
        C = never,
        D = never,
        E = never,
        F = never,
        G = never,
        H = never,
        I = never,
        J = never,
        K = never,
        L = never,
        M = never,
        N = never,
        O = never,
        P = never,
        Q = never,
        R = never,
        S = never,
        T = never,
        U = never,
    >(
        this: A,
        ab: (_: A) => B,
        bc: (_: B) => C,
        cd: (_: C) => D,
        de: (_: D) => E,
        ef: (_: E) => F,
        fg: (_: F) => G,
        gh: (_: G) => H,
        hi: (_: H) => I,
        ij: (_: I) => J,
        jk: (_: J) => K,
        kl: (_: K) => L,
        lm: (_: L) => M,
        mn: (_: M) => N,
        no: (_: N) => O,
        op: (_: O) => P,
        pq: (_: P) => Q,
        qr: (_: Q) => R,
        rs: (_: R) => S,
        st: (_: S) => T,
        tu: (_: T) => U,
    ): U;
}

Type Parameters

T = any
Source = any
Target = any
Fields extends Schema.Struct.Fields = Schema.Struct.Fields

Hierarchy

TypeMeta
EchoSchemaKind<EntityKind.Relation>
AnnotableClass<
    Type.Relation<T, Source, Target, Fields>,
    OfKind<typeof Entity$.Kind.Relation> & Endpoints<Source, Target> & T,
    Schema.Simplify<RelationJsonProps & ToMutable<T>>,
    never,
>
- Relation

Index

Constructors

constructor

new Relation(
    _: never,
): Variance<
    OfKind<Relation> & Endpoints<Source, Target> & T,
    { [K in string | number | symbol]: (RelationJsonProps & ToMutable<T>)[K] },
    never,
>
Parameters
- _: never
Returns Variance<
    OfKind<Relation> & Endpoints<Source, Target> & T,
    { [K in string | number | symbol]: (RelationJsonProps & ToMutable<T>)[K] },
    never,
>
Inherited from TypeMeta.constructor
- Defined in packages/core/echo/echo/dist/types/src/Type.d.ts:138
- Defined in packages/core/echo/echo/dist/types/src/Type.d.ts:145
- Defined in packages/core/echo/echo/dist/types/src/Type.d.ts:162

Properties

`Readonly`[TypeId]

"[TypeId]": {
    _A: Invariant<OfKind<Relation> & Endpoints<Source, Target> & T>;
    _I: Invariant<
        {
            [K in string
            | number
            | symbol]: (RelationJsonProps & ToMutable<T>)[K]
        },
    >;
    _R: Covariant<never>;
}

`Readonly`~@dxos/echo/SchemaKind

"~@dxos/echo/SchemaKind": Relation

`Readonly`ast

ast: AST

`Readonly`Context

Context: never

`Readonly`Encoded

Encoded: {
[K in string | number | symbol]: (RelationJsonProps & ToMutable<T>)[K]
}

`Readonly`fields

fields: Fields

The fields defined in the original struct schema. Allows accessing field definitions for introspection.

`Readonly`Type

Type: OfKind<Relation> & Endpoints<Source, Target> & T

`Readonly`typename

typename: string

`Readonly`version

version: string

Methods

annotations

annotations(
    annotations: GenericSchema<
        OfKind<Relation> & Endpoints<Source, Target> & T,
    >,
): Type.Relation
Merges a set of new annotations with existing ones, potentially overwriting any duplicates.
Parameters
- annotations: GenericSchema<OfKind<Relation> & Endpoints<Source, Target> & T>
Returns Type.Relation
Inherited from Schema.AnnotableClass.annotations
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Schema.d.ts:76

pipe

pipe<A>(this: A): A
Type Parameters
- A
Parameters
- this: A
Returns A
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:10
pipe<A, B = never>(this: A, ab: (_: A) => B): B
Type Parameters
- A
- B = never
Parameters
- this: A
- ab: (_: A) => B
Returns B
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:11
pipe<A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C
Type Parameters
- A
- B = never
- C = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
Returns C
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:12
pipe<A, B = never, C = never, D = never>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
): D
Type Parameters
- A
- B = never
- C = never
- D = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
Returns D
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:13
pipe<A, B = never, C = never, D = never, E = never>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
): E
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
Returns E
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:14
pipe<A, B = never, C = never, D = never, E = never, F = never>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
): F
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
Returns F
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:15
pipe<A, B = never, C = never, D = never, E = never, F = never, G = never>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
): G
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
Returns G
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:16
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
): H
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
Returns H
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:17
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
): I
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
Returns I
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:18
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
): J
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
Returns J
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:19
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
): K
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
Returns K
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:20
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
    L = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
    kl: (_: K) => L,
): L
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
- L = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
- kl: (_: K) => L
Returns L
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:21
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
    L = never,
    M = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
    kl: (_: K) => L,
    lm: (_: L) => M,
): M
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
- L = never
- M = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
- kl: (_: K) => L
- lm: (_: L) => M
Returns M
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:22
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
    L = never,
    M = never,
    N = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
    kl: (_: K) => L,
    lm: (_: L) => M,
    mn: (_: M) => N,
): N
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
- L = never
- M = never
- N = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
- kl: (_: K) => L
- lm: (_: L) => M
- mn: (_: M) => N
Returns N
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:23
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
    L = never,
    M = never,
    N = never,
    O = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
    kl: (_: K) => L,
    lm: (_: L) => M,
    mn: (_: M) => N,
    no: (_: N) => O,
): O
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
- L = never
- M = never
- N = never
- O = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
- kl: (_: K) => L
- lm: (_: L) => M
- mn: (_: M) => N
- no: (_: N) => O
Returns O
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:24
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
    L = never,
    M = never,
    N = never,
    O = never,
    P = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
    kl: (_: K) => L,
    lm: (_: L) => M,
    mn: (_: M) => N,
    no: (_: N) => O,
    op: (_: O) => P,
): P
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
- L = never
- M = never
- N = never
- O = never
- P = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
- kl: (_: K) => L
- lm: (_: L) => M
- mn: (_: M) => N
- no: (_: N) => O
- op: (_: O) => P
Returns P
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:25
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
    L = never,
    M = never,
    N = never,
    O = never,
    P = never,
    Q = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
    kl: (_: K) => L,
    lm: (_: L) => M,
    mn: (_: M) => N,
    no: (_: N) => O,
    op: (_: O) => P,
    pq: (_: P) => Q,
): Q
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
- L = never
- M = never
- N = never
- O = never
- P = never
- Q = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
- kl: (_: K) => L
- lm: (_: L) => M
- mn: (_: M) => N
- no: (_: N) => O
- op: (_: O) => P
- pq: (_: P) => Q
Returns Q
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:26
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
    L = never,
    M = never,
    N = never,
    O = never,
    P = never,
    Q = never,
    R = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
    kl: (_: K) => L,
    lm: (_: L) => M,
    mn: (_: M) => N,
    no: (_: N) => O,
    op: (_: O) => P,
    pq: (_: P) => Q,
    qr: (_: Q) => R,
): R
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
- L = never
- M = never
- N = never
- O = never
- P = never
- Q = never
- R = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
- kl: (_: K) => L
- lm: (_: L) => M
- mn: (_: M) => N
- no: (_: N) => O
- op: (_: O) => P
- pq: (_: P) => Q
- qr: (_: Q) => R
Returns R
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:27
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
    L = never,
    M = never,
    N = never,
    O = never,
    P = never,
    Q = never,
    R = never,
    S = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
    kl: (_: K) => L,
    lm: (_: L) => M,
    mn: (_: M) => N,
    no: (_: N) => O,
    op: (_: O) => P,
    pq: (_: P) => Q,
    qr: (_: Q) => R,
    rs: (_: R) => S,
): S
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
- L = never
- M = never
- N = never
- O = never
- P = never
- Q = never
- R = never
- S = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
- kl: (_: K) => L
- lm: (_: L) => M
- mn: (_: M) => N
- no: (_: N) => O
- op: (_: O) => P
- pq: (_: P) => Q
- qr: (_: Q) => R
- rs: (_: R) => S
Returns S
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:28
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
    L = never,
    M = never,
    N = never,
    O = never,
    P = never,
    Q = never,
    R = never,
    S = never,
    T = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
    kl: (_: K) => L,
    lm: (_: L) => M,
    mn: (_: M) => N,
    no: (_: N) => O,
    op: (_: O) => P,
    pq: (_: P) => Q,
    qr: (_: Q) => R,
    rs: (_: R) => S,
    st: (_: S) => T,
): T
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
- L = never
- M = never
- N = never
- O = never
- P = never
- Q = never
- R = never
- S = never
- T = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
- kl: (_: K) => L
- lm: (_: L) => M
- mn: (_: M) => N
- no: (_: N) => O
- op: (_: O) => P
- pq: (_: P) => Q
- qr: (_: Q) => R
- rs: (_: R) => S
- st: (_: S) => T
Returns T
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:29
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
    L = never,
    M = never,
    N = never,
    O = never,
    P = never,
    Q = never,
    R = never,
    S = never,
    T = never,
    U = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
    kl: (_: K) => L,
    lm: (_: L) => M,
    mn: (_: M) => N,
    no: (_: N) => O,
    op: (_: O) => P,
    pq: (_: P) => Q,
    qr: (_: Q) => R,
    rs: (_: R) => S,
    st: (_: S) => T,
    tu: (_: T) => U,
): U
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
- L = never
- M = never
- N = never
- O = never
- P = never
- Q = never
- R = never
- S = never
- T = never
- U = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
- kl: (_: K) => L
- lm: (_: L) => M
- mn: (_: M) => N
- no: (_: N) => O
- op: (_: O) => P
- pq: (_: P) => Q
- qr: (_: Q) => R
- rs: (_: R) => S
- st: (_: S) => T
- tu: (_: T) => U
Returns U
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:30
pipe<
    A,
    B = never,
    C = never,
    D = never,
    E = never,
    F = never,
    G = never,
    H = never,
    I = never,
    J = never,
    K = never,
    L = never,
    M = never,
    N = never,
    O = never,
    P = never,
    Q = never,
    R = never,
    S = never,
    T = never,
    U = never,
>(
    this: A,
    ab: (_: A) => B,
    bc: (_: B) => C,
    cd: (_: C) => D,
    de: (_: D) => E,
    ef: (_: E) => F,
    fg: (_: F) => G,
    gh: (_: G) => H,
    hi: (_: H) => I,
    ij: (_: I) => J,
    jk: (_: J) => K,
    kl: (_: K) => L,
    lm: (_: L) => M,
    mn: (_: M) => N,
    no: (_: N) => O,
    op: (_: O) => P,
    pq: (_: P) => Q,
    qr: (_: Q) => R,
    rs: (_: R) => S,
    st: (_: S) => T,
    tu: (_: T) => U,
): U
Type Parameters
- A
- B = never
- C = never
- D = never
- E = never
- F = never
- G = never
- H = never
- I = never
- J = never
- K = never
- L = never
- M = never
- N = never
- O = never
- P = never
- Q = never
- R = never
- S = never
- T = never
- U = never
Parameters
- this: A
- ab: (_: A) => B
- bc: (_: B) => C
- cd: (_: C) => D
- de: (_: D) => E
- ef: (_: E) => F
- fg: (_: F) => G
- gh: (_: G) => H
- hi: (_: H) => I
- ij: (_: I) => J
- jk: (_: J) => K
- kl: (_: K) => L
- lm: (_: L) => M
- mn: (_: M) => N
- no: (_: N) => O
- op: (_: O) => P
- pq: (_: P) => Q
- qr: (_: Q) => R
- rs: (_: R) => S
- st: (_: S) => T
- tu: (_: T) => U
Returns U
Inherited from Schema.AnnotableClass.pipe
- Defined in node_modules/.pnpm/[email protected]/node_modules/effect/dist/dts/Pipeable.d.ts:31

Interface Relation<T, Source, Target, Fields>

Type Parameters

Hierarchy

Index

Constructors

Properties

Methods

Constructors

constructor

Parameters

Returns Variance< OfKind<Relation> & Endpoints<Source, Target> & T, { [K in string | number | symbol]: (RelationJsonProps & ToMutable<T>)[K] }, never,>

Properties

Readonly[TypeId]

Readonly~@dxos/echo/SchemaKind

Readonlyast

ReadonlyContext

ReadonlyEncoded

Readonlyfields

ReadonlyType

Readonlytypename

Readonlyversion

Methods

annotations

Parameters

Returns Type.Relation

pipe

Type Parameters

Parameters

Returns A

Type Parameters

Parameters

Returns B

Type Parameters

Parameters

Returns C

Type Parameters

Parameters

Returns D

Type Parameters

Parameters

Returns E

Type Parameters

Parameters

Returns F

Type Parameters

Parameters

Returns G

Type Parameters

Parameters

Returns H

Type Parameters

Parameters

Returns I

Type Parameters

Parameters

Returns J

Type Parameters

Parameters

Returns K

Type Parameters

Parameters

Returns L

Type Parameters

Parameters

Returns M

Type Parameters

Parameters

Returns N

Type Parameters

Parameters

Returns O

Type Parameters

Parameters

Returns P

Type Parameters

Parameters

Returns Q

Type Parameters

Parameters

Returns R

Returns Variance<
OfKind<Relation> & Endpoints<Source, Target> & T,
{ [K in string | number | symbol]: (RelationJsonProps & ToMutable<T>)[K] },
never,
>

`Readonly`[TypeId]

`Readonly`~@dxos/echo/SchemaKind

`Readonly`ast

`Readonly`Context

`Readonly`Encoded

`Readonly`fields

`Readonly`Type

`Readonly`typename

`Readonly`version