Interface obj<Self>

Return type of the Obj schema constructor.

This typedef avoids TS4023 error (name from external module cannot be used named). See Effect's note on interface types.

interface obj<Self extends Schema$.Schema.Any> {
    new obj(
        _: never,
    ): Variance<
        OfKind<Object> & ToMutable<Type<Self>>,
        {
            [K in string | number | symbol]: (
                ObjJsonProps & ToMutable<Encoded<Self>>
            )[K]
        },
        Context<Self>,
    >;
    "[TypeId]": {
        _A: Invariant<OfKind<Object> & ToMutable<Type<Self>>>;
        _I: Invariant<
            {
                [K in string
                | number
                | symbol]: (ObjJsonProps & ToMutable<Encoded<Self>>)[K]
            },
        >;
        _R: Covariant<Context<Self>>;
    };
    ast: AST;
    Context: Context;
    Encoded: {
        [K in string
        | number
        | symbol]: (ObjJsonProps & ToMutable<Encoded<Self>>)[K]
    };
    Type: OfKind<Object> & ToMutable<Type<Self>>;
    typename: string;
    version: string;
    annotations(
        annotations: GenericSchema<OfKind<Object> & ToMutable<Type<Self>>>,
    ): obj;
    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

Self extends Schema$.Schema.Any

Hierarchy

TypeMeta
AnnotableClass<
    obj<Self>,
    OfKind<typeof Entity$.Kind.Object> & ToMutable<Schema$.Schema.Type<Self>>,
    Schema$.Simplify<ObjJsonProps & ToMutable<Schema$.Schema.Encoded<Self>>>,
    Schema$.Schema.Context<Self>,
>
- obj

Index

Constructors

constructor

new obj(
    _: never,
): Variance<
    OfKind<Object> & ToMutable<Type<Self>>,
    {
        [K in string | number | symbol]: (
            ObjJsonProps & ToMutable<Encoded<Self>>
        )[K]
    },
    Context<Self>,
>
Parameters
- _: never
Returns Variance<
    OfKind<Object> & ToMutable<Type<Self>>,
    {
        [K in string | number | symbol]: (
            ObjJsonProps & ToMutable<Encoded<Self>>
        )[K]
    },
    Context<Self>,
>
Inherited from TypeMeta.constructor
- Defined in packages/core/echo/echo/dist/types/src/Type.d.ts:28

Properties

`Readonly`[TypeId]

"[TypeId]": {
    _A: Invariant<OfKind<Object> & ToMutable<Type<Self>>>;
    _I: Invariant<
        {
            [K in string
            | number
            | symbol]: (ObjJsonProps & ToMutable<Encoded<Self>>)[K]
        },
    >;
    _R: Covariant<Context<Self>>;
}

`Readonly`ast

ast: AST

`Readonly`Context

Context: Context

`Readonly`Encoded

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

`Readonly`Type

Type: OfKind<Object> & ToMutable<Type<Self>>

`Readonly`typename

typename: string

`Readonly`version

version: string

Methods

annotations

annotations(
annotations: GenericSchema<OfKind<Object> & ToMutable<Type<Self>>>,
): obj
Merges a set of new annotations with existing ones, potentially overwriting any duplicates.
Parameters
- annotations: GenericSchema<OfKind<Object> & ToMutable<Type<Self>>>
Returns obj
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 obj<Self>

Type Parameters

Hierarchy

Index

Constructors

Properties

Methods

Constructors

constructor

Parameters

Returns Variance< OfKind<Object> & ToMutable<Type<Self>>, { [K in string | number | symbol]: ( ObjJsonProps & ToMutable<Encoded<Self>> )[K] }, Context<Self>,>

Properties

Readonly[TypeId]

Readonlyast

ReadonlyContext

ReadonlyEncoded

ReadonlyType

Readonlytypename

Readonlyversion

Methods

annotations

Parameters

Returns obj

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

Type Parameters

Parameters

Returns Variance<
OfKind<Object> & ToMutable<Type<Self>>,
{
[K in string | number | symbol]: (
ObjJsonProps & ToMutable<Encoded<Self>>
)[K]
},
Context<Self>,
>

`Readonly`[TypeId]

`Readonly`ast

`Readonly`Context

`Readonly`Encoded

`Readonly`Type

`Readonly`typename

`Readonly`version