traverse

import { traverse } from "https://github.gh-proxy.cn/raw.githubusercontent.com/baetheus/fun/main/these.ts";

Traverse over a These using the supplied Applicable.

@example

import { traverse, right, both } from "./these.ts";
import * as O from "./option.ts";
import { pipe } from "./fn.ts";

const traversed = pipe(
  right(5),
  traverse(O.ApplicableOption)(n => O.some(n * 2))
);

console.log(traversed); // Some({ tag: "Right", right: 10 })

function traverse(A: Applicable): <A, I, J, K, L, M>(favi: (a: A) => $<U, [I, J, K], [L], [M]>) => (ta: These<B, A>) => $<U, [These<B, I>, J, K], [L], [M]>;

traverse(A: Applicable): <A, I, J, K, L, M>(favi: (a: A) => $<U, [I, J, K], [L], [M]>) => (ta: These<B, A>) => $<U, [These<B, I>, J, K], [L], [M]>

[src]

§Type Parameters

U extends Kind

[src]

§Parameters

A: Applicable

[src]

§Return Type

<A, I, J, K, L, M>(favi: (a: A) => $<U, [I, J, K], [L], [M]>) => (ta: These<B, A>) => $<U, [These<B, I>, J, K], [L], [M]>

[src]