Variable structTreeFoldsConst

Type Declaration

• • <const S extends Record<string, Algebra<TreeFTypeLambda, any>>>(
        struct: S,
    ): <E = unknown, R = unknown, I = never>(
        fas: TreeF.TreeF<E, StructReturns<TreeFTypeLambda, S, E, R, I>>,
    ) => Simplify<StructReturns<TreeFTypeLambda, S, E, R, I>>

  • Type Parameters

    • const S extends Record<string, Algebra<TreeFTypeLambda, any>>

    Parameters

    • struct: S

    Returns <E = unknown, R = unknown, I = never>(
        fas: TreeF.TreeF<E, StructReturns<TreeFTypeLambda, S, E, R, I>>,
    ) => Simplify<StructReturns<TreeFTypeLambda, S, E, R, I>>