Variable foldWithIndexConst

Type declaration

• • <T>(
        algebra: IndexedAlgebra<t.Functor.Index, t.Free, T>,
    ): <S extends t_Schema<t_LowerBound<unknown>>>(
        term: S,
        ix: t.Functor.Index,
    ) => T

  • Type Parameters

    • T

    Parameters

    • algebra: IndexedAlgebra<t.Functor.Index, t.Free, T>

    Returns <S extends t_Schema<t_LowerBound<unknown>>>(term: S, ix: t.Functor.Index) => T