sealed abstract
class
Cofree[S[_], A] extends AnyRef
Instance Constructors
-
new
Cofree()
Abstract Value Members
-
abstract
def
applyCofree[B](f: (A) ⇒ B, g: (Cofree[S, A]) ⇒ Cofree[S, B])(implicit S: Functor[S]): Cofree[S, B]
-
abstract
def
head: A
-
abstract
def
t: Free[Function0, S[Cofree[S, A]]]
Concrete Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
def
=>>[B](f: (Cofree[S, A]) ⇒ B)(implicit S: Functor[S]): Cofree[S, B]
-
final
def
applyTail[B](b: B, g: (Cofree[S, A]) ⇒ Cofree[S, B])(implicit S: Functor[S]): Cofree[S, B]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
copure: A
-
final
def
duplicate(implicit S: Functor[S]): Cofree[S, Cofree[S, A]]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
final
def
extend[B](f: (Cofree[S, A]) ⇒ B)(implicit S: Functor[S]): Cofree[S, B]
-
final
def
extract: A
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
inject[B](b: B)(implicit S: Functor[S]): Cofree[S, B]
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
map[B](f: (A) ⇒ B)(implicit S: Functor[S]): Cofree[S, B]
-
final
def
mapBranching[T[_]](f: ~>[S, T])(implicit S: Functor[S], T: Functor[T]): Cofree[T, A]
-
final
def
mapFirstBranching(f: ~>[S, S]): Cofree[S, A]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
out: S[Cofree[S, A]]
-
def
scanr[B](g: (A, S[Cofree[S, B]]) ⇒ B)(implicit S: Functor[S]): Cofree[S, B]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
tail: S[Cofree[S, A]]
-
final
def
toPair: (A, S[Cofree[S, A]])
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
final
def
zap[G[_], B](fs: Free[G, (A) ⇒ B])(implicit G: Functor[G], d: Zap[S, G]): B
-
final
def
zapWith[G[_], B, C](bs: Free[G, B])(f: (A, B) ⇒ C)(implicit G: Functor[G], d: Zap[S, G]): C
Inherited from AnyRef
Inherited from Any
A cofree comonad for some functor
S
, i.e. anS
-branching stream.