Function foldRT

Returns (<A, B>(folder) => ((init) => ((data) => B)))

• • <A, B>(folder): ((init) => ((data) => B))

  • Type Parameters

    • A

    • B

    Parameters

    • folder: ((next) => ((acc) => B))

      • • (next): ((acc) => B)

        • Parameters

          • next: A

          Returns ((acc) => B)

          • • (acc): B

            • Parameters

              • acc: B

              Returns B

    Returns ((init) => ((data) => B))

    • • (init): ((data) => B)

      • Parameters

        • init: B

        Returns ((data) => B)

        • • (data): B

          • Parameters

            • data: Coyoneda<F, A>

            Returns B