Skip to main content
Module

x/hkts/type_classes.ts>IndexedTraversable

Functional programming tools: option, either, task, state, optics, etc.
nullpub/hkts
Latest
interface IndexedTraversable
import { type IndexedTraversable } from "https://deno.land/x/hkts@v0.0.52/type_classes.ts";

Indexed Traversable https://github.com/fantasyland/static-land/blob/master/docs/spec.md#traversable

Based on the fp-ts indexed traversable. Mimics the traversable type but includes an index type that is passed to the traverse mapping function.

Type Parameters

URI extends URIS
optional
Index = number

Properties

readonly
traverse: <VRI extends URIS>(A: Applicative<VRI>) => <A, I, J, K, L>(fasi: (a: A, i: Index) => Kind<VRI,
[
I,
J,
K,
L,
]
>) => <B, C, D>(ta: Kind<URI,
[
A,
B,
C,
D,
]
>) => Kind<VRI,
[
Kind<URI,
[
I,
B,
C,
D,
]
>,
J,
K,
L,
]
>