recursion

Type Members

1. type Algebra[F[_], A] = (F[A]) ⇒ A

   

2. type AlgebraM[M[_], F[_], A] = (F[A]) ⇒ M[A]

   

3. final class AlgebraOps[F[_], A] extends AnyVal

   

4. sealed abstract class AtomOrComposite[A] extends AnyRef

   

   Useful for situations where composite items need to be wrapped when nested, but not at the top level.

   Useful for situations where composite items need to be wrapped when nested, but not at the top level.

   Allows "2 * (1 + 1)" instead of "(2 * (1 + 1))".

5. type Coalgebra[F[_], A] = (A) ⇒ F[A]

   

6. type CoalgebraM[M[_], F[_], A] = (A) ⇒ M[F[A]]

   

7. final class CoalgebraOps[F[_], A] extends AnyVal

   

8. type Fix[F[_]] = recursion.FixModule.Fix[F]

   

9. sealed trait FixModule extends AnyRef

   

10. implicit final class FixOps[F[_]] extends AnyVal

    

    Annotations

    @inline()