Foldable

import type { Foldable } from "https://raw.githubusercontent.com/baetheus/fun/main/foldable.ts";

A Foldable structure has the method fold.

interface Foldable extends Hold {

readonly fold: <A, O>(reducer: (accumulator: O, value: A) => O, accumulator: O) => (ua: $<U, [A, B, C], [D], [E]>) => O;

}

§Type Parameters

U extends Kind

readonly fold: <A, O>(reducer: (accumulator: O, value: A) => O, accumulator: O) => (ua: $<U, [A, B, C], [D], [E]>) => O