Cofree

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def apply[S[_], A](h: A, t: S[Cofree[S, A]]): Cofree[S, A]
def applyT[S[_], A](a: A, tf: Free[Function0, S[Cofree[S, A]]])(implicit T: Functor[[a]Free[Function0, a]]): Cofree[S, A]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit def cofreeBind[F[_]](implicit arg0: Plus[F], arg1: Functor[F]): Bind[[β$4$]Cofree[F, β$4$]]

Definition Classes
CofreeInstances2
implicit def cofreeComonad[S[_]](implicit arg0: Functor[S]): Comonad[[β$9$]Cofree[S, β$9$]]

Definition Classes
CofreeInstances
implicit def cofreeFoldable[F[_]](implicit arg0: Foldable[F]): Foldable1[[β$0$]Cofree[F, β$0$]]

low priority Foldable1 instance
low priority Foldable1 instance

Definition Classes
CofreeInstances4
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
implicit def cofreeMonad[F[_]](implicit arg0: PlusEmpty[F], arg1: Functor[F]): Monad[[β$8$]Cofree[F, β$8$]]

Definition Classes
CofreeInstances0
implicit def cofreeTraverse[F[_]](implicit arg0: Traverse[F]): Traverse1[[β$1$]Cofree[F, β$1$]]

low priority Traverse1 instance
low priority Traverse1 instance

Definition Classes
CofreeInstances3
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
implicit def cofreeZipApplicative[F[_]](implicit arg0: Applicative[F]): Applicative[[β$7$]AnyRef { ... /* 2 definitions in type refinement */ }]

Definition Classes
CofreeInstances0
implicit def cofreeZipApply[F[_]](implicit arg0: Apply[F]): Apply[[β$6$]AnyRef { ... /* 2 definitions in type refinement */ }]

Definition Classes
CofreeInstances1
implicit def cofreeZipFunctor[F[_]](implicit arg0: Functor[F]): Functor[[β$2$]AnyRef { ... /* 2 definitions in type refinement */ }]

Definition Classes
CofreeInstances3
def delay[S[_], A](h: A, t: ⇒ S[Cofree[S, A]]): Cofree[S, A]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def mapUnfold[F[_], W[_], A](z: W[A])(f: ~>[W, F])(implicit W: Comonad[W]): Cofree[F, A]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def unapply[S[_], A](c: Cofree[S, A]): Option[(A, S[Cofree[S, A]])]
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]
def unfoldC[F[_], A](a: A)(f: (A) ⇒ F[A])(implicit F: Functor[F]): Cofree[F, A]

Cofree corecursion.
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: class Cofree | package scalaz

object Cofree extends CofreeInstances

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def apply[S[_], A](h: A, t: S[Cofree[S, A]]): Cofree[S, A]

def applyT[S[_], A](a: A, tf: Free[Function0, S[Cofree[S, A]]])(implicit T: Functor[[a]Free[Function0, a]]): Cofree[S, A]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

implicit def cofreeBind[F[_]](implicit arg0: Plus[F], arg1: Functor[F]): Bind[[β$4$]Cofree[F, β$4$]]

implicit def cofreeComonad[S[_]](implicit arg0: Functor[S]): Comonad[[β$9$]Cofree[S, β$9$]]

implicit def cofreeFoldable[F[_]](implicit arg0: Foldable[F]): Foldable1[[β$0$]Cofree[F, β$0$]]

implicit def cofreeFoldable1[F[_]](implicit arg0: Foldable1[F]): Foldable1[[β$3$]Cofree[F, β$3$]]

implicit def cofreeMonad[F[_]](implicit arg0: PlusEmpty[F], arg1: Functor[F]): Monad[[β$8$]Cofree[F, β$8$]]

implicit def cofreeTraverse[F[_]](implicit arg0: Traverse[F]): Traverse1[[β$1$]Cofree[F, β$1$]]

implicit def cofreeTraverse1[F[_]](implicit arg0: Traverse1[F]): Traverse1[[β$5$]Cofree[F, β$5$]]

implicit def cofreeZipApplicative[F[_]](implicit arg0: Applicative[F]): Applicative[[β$7$]AnyRef { ... /* 2 definitions in type refinement */ }]

implicit def cofreeZipApply[F[_]](implicit arg0: Apply[F]): Apply[[β$6$]AnyRef { ... /* 2 definitions in type refinement */ }]

implicit def cofreeZipFunctor[F[_]](implicit arg0: Functor[F]): Functor[[β$2$]AnyRef { ... /* 2 definitions in type refinement */ }]

def delay[S[_], A](h: A, t: ⇒ S[Cofree[S, A]]): Cofree[S, A]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def mapUnfold[F[_], W[_], A](z: W[A])(f: ~>[W, F])(implicit W: Comonad[W]): Cofree[F, A]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def unapply[S[_], A](c: Cofree[S, A]): Option[(A, S[Cofree[S, A]])]

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]

def unfoldC[F[_], A](a: A)(f: (A) ⇒ F[A])(implicit F: Functor[F]): Cofree[F, A]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

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