Packages

object Cofree extends CofreeInstances

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Cofree
  2. CofreeInstances
  3. CofreeInstances0
  4. CofreeInstances1
  5. CofreeInstances2
  6. CofreeInstances3
  7. CofreeInstances4
  8. CofreeInstancesVersionSpecific
  9. CofreeInstancesVersionSpecific0
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

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 apply[S[_], A](h: A, t: S[Cofree[S, A]]): Cofree[S, A]
  5. def applyT[S[_], A](a: A, tf: Free[Function0, S[Cofree[S, A]]])(implicit T: Functor[[a]Free[Function0, a]]): Cofree[S, A]
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  8. implicit def cofreeBind[F[_]](implicit arg0: Plus[F], arg1: Functor[F]): Bind[[β$4$]Cofree[F, β$4$]]
    Definition Classes
    CofreeInstances2
  9. implicit def cofreeComonad[S[_]](implicit arg0: Functor[S]): Comonad[[β$9$]Cofree[S, β$9$]]
    Definition Classes
    CofreeInstances
  10. implicit def cofreeEqual[F[_], A](implicit A0: Equal[A], F0: => Equal[F[Cofree[F, A]]]): Equal[Cofree[F, A]]
  11. implicit def cofreeFoldable[F[_]](implicit arg0: Foldable[F]): Foldable1[[β$0$]Cofree[F, β$0$]]

    low priority Foldable1 instance

    low priority Foldable1 instance

    Definition Classes
    CofreeInstances4
  12. implicit def cofreeFoldable1[F[_]](implicit arg0: Foldable1[F]): Foldable1[[β$3$]Cofree[F, β$3$]]

    high priority Foldable1 instance.

    high priority Foldable1 instance. more efficient

    Definition Classes
    CofreeInstances2
  13. implicit def cofreeMonad[F[_]](implicit arg0: PlusEmpty[F], arg1: Functor[F]): Monad[[β$8$]Cofree[F, β$8$]]
    Definition Classes
    CofreeInstances0
  14. implicit def cofreeOrder[F[_], A](implicit A0: Order[A], F0: => Order[F[Cofree[F, A]]]): Order[Cofree[F, A]]
  15. implicit def cofreeTraverse[F[_]](implicit arg0: Traverse[F]): Traverse1[[β$1$]Cofree[F, β$1$]]

    low priority Traverse1 instance

    low priority Traverse1 instance

    Definition Classes
    CofreeInstances3
  16. implicit def cofreeTraverse1[F[_]](implicit arg0: Traverse1[F]): Traverse1[[β$5$]Cofree[F, β$5$]]

    high priority Traverse1 instance.

    high priority Traverse1 instance. more efficient

    Definition Classes
    CofreeInstances1
  17. implicit def cofreeZipApplicative[F[_]](implicit arg0: Applicative[F]): Applicative[[β$7$]TagModule.@@[Cofree[F, β$7$], Tags.Zip]]
    Definition Classes
    CofreeInstances0
  18. implicit def cofreeZipApply[F[_]](implicit arg0: Apply[F]): Apply[[β$6$]TagModule.@@[Cofree[F, β$6$], Tags.Zip]]
    Definition Classes
    CofreeInstances1
  19. implicit def cofreeZipEqual[F[_], A](implicit A: Equal[A], F: => Equal[F[CofreeZip[F, A]]]): Equal[CofreeZip[F, A]]
  20. implicit def cofreeZipFunctor[F[_]](implicit arg0: Functor[F]): Functor[[β$2$]TagModule.@@[Cofree[F, β$2$], Tags.Zip]]
    Definition Classes
    CofreeInstances3
  21. implicit def cofreeZipOrder[F[_], A](implicit A: Order[A], F: => Order[F[CofreeZip[F, A]]]): Order[CofreeZip[F, A]]
  22. def delay[S[_], A](h: A, t: => S[Cofree[S, A]]): Cofree[S, A]
  23. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  25. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  26. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  27. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  28. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  29. def mapUnfold[F[_], W[_], A](z: W[A])(f: ~>[W, F])(implicit W: Comonad[W]): Cofree[F, A]
  30. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  33. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  34. def toString(): String
    Definition Classes
    AnyRef → Any
  35. def unapply[S[_], A](c: Cofree[S, A]): Option[(A, S[Cofree[S, A]])]
  36. def unfold[F[_], A, B](b: B)(f: (B) => (A, F[B]))(implicit F: Functor[F], T: Functor[[a]Free[Function0, a]]): Cofree[F, A]
  37. def unfoldC[F[_], A](a: A)(f: (A) => F[A])(implicit F: Functor[F]): Cofree[F, A]

    Cofree corecursion.

  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  39. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  40. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from CofreeInstances

Inherited from CofreeInstances0

Inherited from CofreeInstances1

Inherited from CofreeInstances2

Inherited from CofreeInstances3

Inherited from CofreeInstances4

Inherited from AnyRef

Inherited from Any

Ungrouped