Type Alias Catamorphism<VALUE, OUT>

The catamorphism of a two-branch sum: one fold that eliminates both cases. foldSome rides it — the miss branch keeps the accumulator already earned.

type Catamorphism<VALUE, OUT> = {
either(onHit: (value: VALUE) => OUT, onMiss: () => OUT): OUT;
}

Type Parameters

VALUE
OUT

Index

Methods

Methods

either

either(onHit: (value: VALUE) => OUT, onMiss: () => OUT): OUT
Parameters
- onHit: (value: VALUE) => OUT
- onMiss: () => OUT
Returns OUT
- Defined in kernel.ts:37