Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  def ana[F[_], A, B](a: A)(coalg: (A) ⇒ F[A], f: (A) ⇒ B)(implicit F: Functor[F]): Cofree[F, B]

   Cofree anamorphism with a fused map, lazily evaluated.

5.  def anaEval[F[_], A, B](a: A)(coalg: (A) ⇒ Eval[F[A]], f: (A) ⇒ B)(implicit F: Functor[F]): Cofree[F, B]

   Cofree anamorphism with a fused map.

6.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7.  def cata[F[_], A, B](cof: Cofree[F, A])(folder: (A, F[B]) ⇒ Eval[B])(implicit F: Traverse[F]): Eval[B]

   A stack-safe algebraic recursive fold out of the cofree comonad.

8.  def cataM[F[_], M[_], A, B](cof: Cofree[F, A])(folder: (A, F[B]) ⇒ M[B])(inclusion: ~>[Eval, M])(implicit F: Traverse[F], M: Monad[M]): M[B]

   A monadic recursive fold out of the cofree comonad into a monad which can express Eval's stack-safety.

9.  implicit def catsFreeComonadForCofree[S[_]](implicit arg0: Functor[S]): Comonad[[β$2$]Cofree[S, β$2$]]

   Definition Classes

   CofreeInstances

10.  implicit def catsReducibleForCofree[F[_]](implicit arg0: Foldable[F]): Reducible[[β$0$]Cofree[F, β$0$]]

    Definition Classes

    CofreeInstances2

11.  implicit def catsTraverseForCofree[F[_]](implicit arg0: Traverse[F]): Traverse[[β$1$]Cofree[F, β$1$]]

    Definition Classes

    CofreeInstances1

12.  def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

13.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

14.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

15.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

16.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

17.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

18.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

19.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

20.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

21.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

22.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

23.  def toString(): String

    Definition Classes

    AnyRef → Any

24.  def unfold[F[_], A](a: A)(f: (A) ⇒ F[A])(implicit F: Functor[F]): Cofree[F, A]

    Cofree anamorphism, lazily evaluated.

25.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

26.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

27.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()