Function fromPredicate

packages/effect/src/Filter.ts:233–234

(predicate: Predicate.Predicate<A> | Predicate.Refinement<A, B>)

  <A, B extends A>(refinement: Predicate.Refinement<A, B>): Filter<A, B, EqualsWith<A, B, A, Exclude<A, B>>>
  <A>(predicate: Predicate.Predicate<A>): Filter<A>
} = <A, B extends A = A>(predicate: Predicate.Predicate<A> | Predicate.Refinement<A, B>): Filter<A, B> => (input: A) =>
  predicate(input) ? Result.succeed(input as B) : Result.fail(input)

/**
 * Creates a `Filter` from a function that returns an `Option`; `Some(value)`