• Unfolds into a Free from seed with monad M.

    Type Parameters

    • F

    • M

    Parameters

    • traversable: Traversable<F>

      The instance of Traversable for F.

    • monad: Monad<M>

      The instance of Monad for M.

    Returns (<A, B>(f) => ((b) => Get1<M, Free<F, A>>))

    The new instance as an unfolded tree.

Generated using TypeDoc