Function toRefinement

packages/effect/src/Option.ts:356–356

(f: (a: A) => Option<B>)

 * @since 2.0.0
 */
export const toRefinement = <A, B extends A>(f: (a: A) => Option<B>): (a: A) => a is B => (a: A): a is B => isSome(f(a))

/**
 * Converts an `Iterable` into an `Option`, wrapping the first element if it