ap

ap<E, A>(arg): <B>(data) => Validation<E, B>

Defined in: Core/Validation.ts:139

Applies a function wrapped in a Validation to a value wrapped in a Validation. Accumulates errors from both sides.

Type Parameters

E

E

A

A

Parameters

arg

Validation<E, A>

Returns

<B>(data): Validation<E, B>

Type Parameters

B

B

Parameters

data

Validation<E, (a) => B>

Returns

Validation<E, B>

Example

const add = (a: number) => (b: number) => a + b;
pipe(
  Validation.of(add),
  Validation.ap(Validation.of(5)),
  Validation.ap(Validation.of(3))
); // Valid(8)

pipe(
  Validation.of(add),
  Validation.ap(Validation.fail<string, number>("bad a")),
  Validation.ap(Validation.fail<string, number>("bad b"))
); // Invalid(["bad a", "bad b"])