package
recursion
Type Members
-
type
Algebra[F[_], A] = (F[A]) ⇒ A
-
type
AlgebraM[M[_], F[_], A] = (F[A]) ⇒ M[A]
-
final
class
AlgebraOps[F[_], A] extends AnyVal
-
type
Coalgebra[F[_], A] = (A) ⇒ F[A]
-
type
CoalgebraM[M[_], F[_], A] = (A) ⇒ M[F[A]]
-
final
class
CoalgebraOps[F[_], A] extends AnyVal
-
final
case class
Fix[F[_]](unfix: F[Fix[F]]) extends Product with Serializable
Value Members
-
-
object
Fix extends Serializable
-
-
implicit
def
algebraOps[F[_], A](self: (F[A]) ⇒ A): AlgebraOps[F, A]
-
implicit
def
coalgebraOps[F[_], A](self: (A) ⇒ F[A]): CoalgebraOps[F, A]
Inherited from AnyRef
Inherited from Any