1234567891011121314151617181920212223242526272829303132
/** * Traversable is a structure that encapsulates the idea of iterating through * data and collecting it into another structure. This can be as simple as * turning an Array<Option<number>> into Option<Array<number>> or as complicated * as creating all combinations of numbers in three Array<numbers>. * * @module Traversable * @since 2.0.0 */
import type { $, Hold, Kind } from "./kind.ts";import type { Applicable } from "./applicable.ts";import type { Mappable } from "./mappable.ts";import type { Foldable } from "./foldable.ts";
/** * A Traversable structure extends Mappable and Foldable. It contains the * methods map, fold, and traverse. * * @since 2.0.0 */export interface Traversable<U extends Kind>  extends Mappable<U>, Foldable<U>, Hold<U> {  readonly traverse: <VRI extends Kind>(    A: Applicable<VRI>,  ) => <A, I, J, K, L, M>(    faui: (a: A) => $<VRI, [I, J, K], [L], [M]>,  ) => <B, C, D, E>(    ta: $<U, [A, B, C], [D], [E]>,  ) => $<VRI, [$<U, [I, B, C], [D], [E]>, J, K], [L], [M]>;}