Refine overview

Added in v1.0.0

---

Table of contents

• Combinators
  • Refine

---

Combinators

Refine

Used to refine a type to a subtype using a predicate function.

Signature

export declare const Refine: <A, B extends A>(
  refinement: (a: A) => a is B,
  refinedName: string
) => <I>(from: Schema<I, A>) => Schema<I, B>

Added in v1.0.0