Function cataIx

cataIx<Ix, F extends HKT<unknown, unknown>, Fixpoint>(
IxFunctor: Functor.Ix<Ix, F, Fixpoint>,
): <T>(algebra: IndexedAlgebra<Ix, F, T>) => <S>(term: S, ix: Ix) => T
Type Parameters
- Ix
- F extends HKT<unknown, unknown>
- Fixpoint
Parameters
- IxFunctor: Functor.Ix<Ix, F, Fixpoint>
Returns <T>(algebra: IndexedAlgebra<Ix, F, T>) => <S>(term: S, ix: Ix) => T
- Defined in packages/registry/src/function.ts:77
cataIx<Ix, F extends HKT<unknown, unknown>, Fixpoint>(
IxFunctor: Functor.Ix<Ix, F, Fixpoint>,
initialIndex: Ix,
): <T>(algebra: IndexedAlgebra<Ix, F, T>) => <S>(term: S, ix?: Ix) => T
Type Parameters
- Ix
- F extends HKT<unknown, unknown>
- Fixpoint
Parameters
- IxFunctor: Functor.Ix<Ix, F, Fixpoint>
- initialIndex: Ix
Returns <T>(algebra: IndexedAlgebra<Ix, F, T>) => <S>(term: S, ix?: Ix) => T
- Defined in packages/registry/src/function.ts:83