object AtomOrComposite
- Companion
- class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Type members
Classlikes
Value members
Concrete methods
def cataM[M[_], F[_], A](alg: (M, F) => AtomOrComposite[A])(f: Fix[F])(`evidence$2`: Monad[M], `evidence$3`: Traverse[F]): M[A]