Skip to main content
Module

x/fun/mod.ts>sync.traverse

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
Latest
function sync.traverse
import { sync } from "https://deno.land/x/fun@v2.0.0/mod.ts";
const { traverse } = sync;

Type Parameters

V extends Kind

Parameters

A: Applicable<V> & Mappable<V>

Returns

<A, I, J, K, L, M>(faui: (a: A) => $<V, [I, J, K], [L], [M]>) => (ta: Sync<A>) => $<V, [Sync<I>, J, K], [L], [M]>