Interface Success<E, A>

Represents a successful Effect workflow and containing the returned value of type A.

Since

2.0.0

interface Success {
    [ChannelTypeId]: VarianceStruct<never, unknown, unknown, unknown, E, never, A>;
    [EffectTypeId]: VarianceStruct<never, E, A>;
    [SinkTypeId]: VarianceStruct<never, E, unknown, never, A>;
    [StreamTypeId]: {
        _A: ((_) => A);
        _E: ((_) => E);
        _R: ((_) => never);
    };
    [ignoreSymbol]?: ExitUnifyIgnore;
    [typeSymbol]?: unknown;
    [unifySymbol]?: ExitUnify<Success<E, A>>;
    _op: "Success";
    _tag: "Success";
    value: A;
    [NodeInspectSymbol](): unknown;
    [symbol](that): boolean;
    [symbol](): number;
    pipe<A, B>(this, ab): B;
    pipe<A, B, C>(this, ab, bc): C;
    pipe<A, B, C, D>(this, ab, bc, cd): D;
    pipe<A, B, C, D, E>(this, ab, bc, cd, de): E;
    pipe<A, B, C, D, E, F>(this, ab, bc, cd, de, ef): F;
    pipe<A, B, C, D, E, F, G>(this, ab, bc, cd, de, ef, fg): G;
    pipe<A, B, C, D, E, F, G, H>(this, ab, bc, cd, de, ef, fg, gh): H;
    pipe<A, B, C, D, E, F, G, H, I>(this, ab, bc, cd, de, ef, fg, gh, hi): I;
    pipe<A, B, C, D, E, F, G, H, I, J>(this, ab, bc, cd, de, ef, fg, gh, hi, ij): J;
    pipe<A, B, C, D, E, F, G, H, I, J, K>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk): K;
    pipe<A, B, C, D, E, F, G, H, I, J, K, L>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl): L;
    pipe<A, B, C, D, E, F, G, H, I, J, K, L, M>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm): M;
    pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn): N;
    pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no): O;
    pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op): P;
    pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq): Q;
    pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr): R;
    pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs): S;
    pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs, st): T;
    pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs, st, tu): U;
    pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs, st, tu): U;
    toJSON(): unknown;
    toString(): string;
}

Type Parameters

out E
out A

Hierarchy

Effect<never, E, A>
Pipeable
Inspectable
- Success

Index

Methods

[NodeInspectSymbol] [symbol] [symbol] pipe toJSON toString

Properties

[ChannelTypeId] [EffectTypeId] [SinkTypeId] [StreamTypeId] [ignoreSymbol]? [typeSymbol]? [unifySymbol]? _op _tag value

Methods

[NodeInspectSymbol]

[NodeInspectSymbol](): unknown
Returns unknown
Inherited from Inspectable.[NodeInspectSymbol]

[symbol]

[symbol](that): boolean
Parameters
- that: Equal
Returns boolean
Inherited from Effect.Effect.[symbol]

[symbol]

[symbol](): number
Returns number
Inherited from Effect.Effect.[symbol]

pipe

pipe<A, B>(this, ab): B
Type Parameters
- A
- B
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
Returns B
Inherited from Pipeable.pipe
pipe<A, B, C>(this, ab, bc): C
Type Parameters
- A
- B
- C
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
Returns C
Inherited from Pipeable.pipe
pipe<A, B, C, D>(this, ab, bc, cd): D
Type Parameters
- A
- B
- C
- D
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
Returns D
Inherited from Pipeable.pipe
pipe<A, B, C, D, E>(this, ab, bc, cd, de): E
Type Parameters
- A
- B
- C
- D
- E
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
Returns E
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F>(this, ab, bc, cd, de, ef): F
Type Parameters
- A
- B
- C
- D
- E
- F
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
Returns F
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G>(this, ab, bc, cd, de, ef, fg): G
Type Parameters
- A
- B
- C
- D
- E
- F
- G
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
Returns G
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H>(this, ab, bc, cd, de, ef, fg, gh): H
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
Returns H
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I>(this, ab, bc, cd, de, ef, fg, gh, hi): I
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
Returns I
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J>(this, ab, bc, cd, de, ef, fg, gh, hi, ij): J
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
Returns J
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk): K
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
Returns K
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K, L>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl): L
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
- kl: ((_) => L)
  - - (_): L
    - Parameters
      _: K
      Returns L
Returns L
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K, L, M>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm): M
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
- kl: ((_) => L)
  - - (_): L
    - Parameters
      _: K
      Returns L
- lm: ((_) => M)
  - - (_): M
    - Parameters
      _: L
      Returns M
Returns M
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn): N
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
- kl: ((_) => L)
  - - (_): L
    - Parameters
      _: K
      Returns L
- lm: ((_) => M)
  - - (_): M
    - Parameters
      _: L
      Returns M
- mn: ((_) => N)
  - - (_): N
    - Parameters
      _: M
      Returns N
Returns N
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no): O
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
- kl: ((_) => L)
  - - (_): L
    - Parameters
      _: K
      Returns L
- lm: ((_) => M)
  - - (_): M
    - Parameters
      _: L
      Returns M
- mn: ((_) => N)
  - - (_): N
    - Parameters
      _: M
      Returns N
- no: ((_) => O)
  - - (_): O
    - Parameters
      _: N
      Returns O
Returns O
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op): P
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
- kl: ((_) => L)
  - - (_): L
    - Parameters
      _: K
      Returns L
- lm: ((_) => M)
  - - (_): M
    - Parameters
      _: L
      Returns M
- mn: ((_) => N)
  - - (_): N
    - Parameters
      _: M
      Returns N
- no: ((_) => O)
  - - (_): O
    - Parameters
      _: N
      Returns O
- op: ((_) => P)
  - - (_): P
    - Parameters
      _: O
      Returns P
Returns P
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq): Q
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
- kl: ((_) => L)
  - - (_): L
    - Parameters
      _: K
      Returns L
- lm: ((_) => M)
  - - (_): M
    - Parameters
      _: L
      Returns M
- mn: ((_) => N)
  - - (_): N
    - Parameters
      _: M
      Returns N
- no: ((_) => O)
  - - (_): O
    - Parameters
      _: N
      Returns O
- op: ((_) => P)
  - - (_): P
    - Parameters
      _: O
      Returns P
- pq: ((_) => Q)
  - - (_): Q
    - Parameters
      _: P
      Returns Q
Returns Q
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr): R
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
- kl: ((_) => L)
  - - (_): L
    - Parameters
      _: K
      Returns L
- lm: ((_) => M)
  - - (_): M
    - Parameters
      _: L
      Returns M
- mn: ((_) => N)
  - - (_): N
    - Parameters
      _: M
      Returns N
- no: ((_) => O)
  - - (_): O
    - Parameters
      _: N
      Returns O
- op: ((_) => P)
  - - (_): P
    - Parameters
      _: O
      Returns P
- pq: ((_) => Q)
  - - (_): Q
    - Parameters
      _: P
      Returns Q
- qr: ((_) => R)
  - - (_): R
    - Parameters
      _: Q
      Returns R
Returns R
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs): S
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
- kl: ((_) => L)
  - - (_): L
    - Parameters
      _: K
      Returns L
- lm: ((_) => M)
  - - (_): M
    - Parameters
      _: L
      Returns M
- mn: ((_) => N)
  - - (_): N
    - Parameters
      _: M
      Returns N
- no: ((_) => O)
  - - (_): O
    - Parameters
      _: N
      Returns O
- op: ((_) => P)
  - - (_): P
    - Parameters
      _: O
      Returns P
- pq: ((_) => Q)
  - - (_): Q
    - Parameters
      _: P
      Returns Q
- qr: ((_) => R)
  - - (_): R
    - Parameters
      _: Q
      Returns R
- rs: ((_) => S)
  - - (_): S
    - Parameters
      _: R
      Returns S
Returns S
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs, st): T
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
- kl: ((_) => L)
  - - (_): L
    - Parameters
      _: K
      Returns L
- lm: ((_) => M)
  - - (_): M
    - Parameters
      _: L
      Returns M
- mn: ((_) => N)
  - - (_): N
    - Parameters
      _: M
      Returns N
- no: ((_) => O)
  - - (_): O
    - Parameters
      _: N
      Returns O
- op: ((_) => P)
  - - (_): P
    - Parameters
      _: O
      Returns P
- pq: ((_) => Q)
  - - (_): Q
    - Parameters
      _: P
      Returns Q
- qr: ((_) => R)
  - - (_): R
    - Parameters
      _: Q
      Returns R
- rs: ((_) => S)
  - - (_): S
    - Parameters
      _: R
      Returns S
- st: ((_) => T)
  - - (_): T
    - Parameters
      _: S
      Returns T
Returns T
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs, st, tu): U
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
- kl: ((_) => L)
  - - (_): L
    - Parameters
      _: K
      Returns L
- lm: ((_) => M)
  - - (_): M
    - Parameters
      _: L
      Returns M
- mn: ((_) => N)
  - - (_): N
    - Parameters
      _: M
      Returns N
- no: ((_) => O)
  - - (_): O
    - Parameters
      _: N
      Returns O
- op: ((_) => P)
  - - (_): P
    - Parameters
      _: O
      Returns P
- pq: ((_) => Q)
  - - (_): Q
    - Parameters
      _: P
      Returns Q
- qr: ((_) => R)
  - - (_): R
    - Parameters
      _: Q
      Returns R
- rs: ((_) => S)
  - - (_): S
    - Parameters
      _: R
      Returns S
- st: ((_) => T)
  - - (_): T
    - Parameters
      _: S
      Returns T
- tu: ((_) => U)
  - - (_): U
    - Parameters
      _: T
      Returns U
Returns U
Inherited from Pipeable.pipe
pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs, st, tu): U
Type Parameters
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
Parameters
- this: A
- ab: ((_) => B)
  - - (_): B
    - Parameters
      _: A
      Returns B
- bc: ((_) => C)
  - - (_): C
    - Parameters
      _: B
      Returns C
- cd: ((_) => D)
  - - (_): D
    - Parameters
      _: C
      Returns D
- de: ((_) => E)
  - - (_): E
    - Parameters
      _: D
      Returns E
- ef: ((_) => F)
  - - (_): F
    - Parameters
      _: E
      Returns F
- fg: ((_) => G)
  - - (_): G
    - Parameters
      _: F
      Returns G
- gh: ((_) => H)
  - - (_): H
    - Parameters
      _: G
      Returns H
- hi: ((_) => I)
  - - (_): I
    - Parameters
      _: H
      Returns I
- ij: ((_) => J)
  - - (_): J
    - Parameters
      _: I
      Returns J
- jk: ((_) => K)
  - - (_): K
    - Parameters
      _: J
      Returns K
- kl: ((_) => L)
  - - (_): L
    - Parameters
      _: K
      Returns L
- lm: ((_) => M)
  - - (_): M
    - Parameters
      _: L
      Returns M
- mn: ((_) => N)
  - - (_): N
    - Parameters
      _: M
      Returns N
- no: ((_) => O)
  - - (_): O
    - Parameters
      _: N
      Returns O
- op: ((_) => P)
  - - (_): P
    - Parameters
      _: O
      Returns P
- pq: ((_) => Q)
  - - (_): Q
    - Parameters
      _: P
      Returns Q
- qr: ((_) => R)
  - - (_): R
    - Parameters
      _: Q
      Returns R
- rs: ((_) => S)
  - - (_): S
    - Parameters
      _: R
      Returns S
- st: ((_) => T)
  - - (_): T
    - Parameters
      _: S
      Returns T
- tu: ((_) => U)
  - - (_): U
    - Parameters
      _: T
      Returns U
Returns U
Inherited from Pipeable.pipe

toJSON

toJSON(): unknown
Returns unknown
Inherited from Inspectable.toJSON

toString

toString(): string
Returns string
Inherited from Inspectable.toString

Properties

`Readonly` [ChannelTypeId]

[ChannelTypeId]: VarianceStruct<never, unknown, unknown, unknown, E, never, A>

`Readonly` [EffectTypeId]

[EffectTypeId]: VarianceStruct<never, E, A>

`Readonly` [SinkTypeId]

[SinkTypeId]: VarianceStruct<never, E, unknown, never, A>

`Readonly` [StreamTypeId]

[StreamTypeId]: {
    _A: ((_) => A);
    _E: ((_) => E);
    _R: ((_) => never);
}

Type declaration

_A: ((_) => A)
- - (_): A
  - Parameters
    - _: never
    Returns A
_E: ((_) => E)
- - (_): E
  - Parameters
    - _: never
    Returns E
_R: ((_) => never)
- - (_): never
  - Parameters
    - _: never
    Returns never

`Optional` [ignoreSymbol]

[ignoreSymbol]?: ExitUnifyIgnore

`Optional` [typeSymbol]

[typeSymbol]?: unknown

`Optional` [unifySymbol]

[unifySymbol]?: ExitUnify<Success<E, A>>

`Readonly` _op

_op: "Success"

`Readonly` _tag

_tag: "Success"

`Readonly` value

value: A

Interface Success<E, A>

Since

Type Parameters

out E

out A

Hierarchy

Index

Methods

Properties

Methods

[NodeInspectSymbol]

Returns unknown

[symbol]

Parameters

that: Equal

Returns boolean

[symbol]

Returns number

pipe

Type Parameters

A

B

Parameters

this: A

ab: ((_) => B)

Parameters

_: A

Returns B

Returns B

Type Parameters

A

B

C

Parameters

this: A

ab: ((_) => B)

Parameters

_: A

Returns B

bc: ((_) => C)

Parameters

_: B

Returns C

Returns C

Type Parameters

A

B

C

D

Parameters

this: A

ab: ((_) => B)

Parameters

_: A

Returns B

bc: ((_) => C)

Parameters

_: B

Returns C

cd: ((_) => D)

Parameters

_: C

Returns D

Returns D

Type Parameters

A

B

C

D

E

Parameters

this: A

ab: ((_) => B)

Parameters

_: A

Returns B

bc: ((_) => C)

Parameters

_: B

Returns C