SafeRefinement overview

Added in v1.0.0

---

Table of contents

• model
  • SafeRefinement (interface)
• utils
  • SafeRefinementId
  • SafeRefinementId (type alias)

---

model

SafeRefinement (interface)

Signature

export interface SafeRefinement<A, R = A> {
  readonly [SafeRefinementId]: (a: A) => R
}

Added in v1.0.0

utils

SafeRefinementId

Signature

export declare const SafeRefinementId: typeof SafeRefinementId

Added in v1.0.0

SafeRefinementId (type alias)

Signature

export type SafeRefinementId = typeof SafeRefinementId

Added in v1.0.0