Interface BrandSchema<From, To>

Since

1.0.0

interface BrandSchema {
    [RefinedConstructorsTypeId]: typeof RefinedConstructorsTypeId;
    [TypeId]: {
        From: ((_) => From);
        To: ((_) => To);
    };
    ast: AST;
    either(args): Either<BrandErrors, To>;
    is(a): a is Unbranded<To> & To;
    option(args): Option<To>;
    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;
    (args): To;
}

Type Parameters

From
To extends Brand<any>

Hierarchy

Schema<From, To>
Brand.Constructor<To>
- BrandSchema

BrandSchema(args): To
Constructs a branded type from a value of type A, throwing an error if the provided A is not valid.
Parameters
- args: Unbranded<To>
Returns To

Index

Methods

either is option pipe

Properties

[RefinedConstructorsTypeId] [TypeId] ast

Methods

either

either(args): Either<BrandErrors, To>
Constructs a branded type from a value of type A, returning Right<A> if the provided A is valid, Left<BrandError> otherwise.
Parameters
- args: Unbranded<To>
Returns Either<BrandErrors, To>
Inherited from Constructor.either

is

is(a): a is Unbranded<To> & To
Attempts to refine the provided value of type A, returning true if the provided A is valid, false otherwise.
Parameters
- a: Unbranded<To>
Returns a is Unbranded<To> & To
Inherited from Constructor.is

option

option(args): Option<To>
Constructs a branded type from a value of type A, returning Some<A> if the provided A is valid, None otherwise.
Parameters
- args: Unbranded<To>
Returns Option<To>
Inherited from Constructor.option

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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.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 Schema.pipe

Properties

`Readonly` [RefinedConstructorsTypeId]

[RefinedConstructorsTypeId]: typeof RefinedConstructorsTypeId

`Readonly` [TypeId]

[TypeId]: {
From: ((_) => From);
To: ((_) => To);
}

Type declaration

Readonly From: ((_) => From)
- - (_): From
  - Parameters
    - _: From
    Returns From
Readonly To: ((_) => To)
- - (_): To
  - Parameters
    - _: To
    Returns To

`Readonly` ast

ast: AST

Interface BrandSchema<From, To>

Since

Type Parameters

From

To extends Brand<any>

Hierarchy

Parameters

args: Unbranded<To>

Returns To

Index

Methods

Properties

Methods

either

Parameters

args: Unbranded<To>

Returns Either<BrandErrors, To>

is

Parameters

a: Unbranded<To>

Returns a is Unbranded<To> & To

option

Parameters

args: Unbranded<To>

Returns Option<To>

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)