scalaz

#### trait Comonad[F[_]] extends Cojoin[F] with Cobind[F]

Self Type
Source
Linear Supertypes
Cobind[F], Cojoin[F], Functor[F], AnyRef, Any
Known Subclasses
Ordering
1. Alphabetic
2. By inheritance
Inherited
2. Cobind
3. Cojoin
4. Functor
5. AnyRef
6. Any
1. Hide All
2. Show all
Visibility
1. Public
2. All

### Type Members

2. #### trait FunctorLaw extends AnyRef

Definition Classes
Functor

### Abstract Value Members

1. #### abstract def cobind[A, B](fa: F[A])(f: (F[A]) ⇒ B): F[B]

Also know as extend

Also know as extend

Definition Classes
Cobind
2. #### abstract def cojoin[A](a: F[A]): F[F[A]]

Also known as duplicate

Also known as duplicate

Definition Classes
Cojoin
3. #### abstract def copoint[A](p: F[A]): A

Also known as extract / copure

4. #### abstract def map[A, B](fa: F[A])(f: (A) ⇒ B): F[B]

Lift f into F and apply to F[A].

Lift f into F and apply to F[A].

Definition Classes
Functor

### Concrete Value Members

1. #### final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
2. #### final def !=(arg0: Any): Boolean

Definition Classes
Any
3. #### final def ##(): Int

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

Definition Classes
AnyRef
5. #### final def ==(arg0: Any): Boolean

Definition Classes
Any
6. #### def apply[A, B](fa: F[A])(f: (A) ⇒ B): F[B]

Alias for map.

Alias for map.

Definition Classes
Functor
7. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
8. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
9. #### val cobindSyntax: CobindSyntax[F]

Definition Classes
Cobind
10. #### val cojoinSyntax: CojoinSyntax[F]

Definition Classes
Cojoin

13. #### def compose[G[_]](implicit G0: Functor[G]): Functor[[α]F[G[α]]]

The composition of Functors F and G, [x]F[G[x]], is a Functor

The composition of Functors F and G, [x]F[G[x]], is a Functor

Definition Classes
Functor
14. #### def copure[A](p: F[A]): A

alias for copoint

15. #### def counzip[A, B](a: \/[F[A], F[B]]): F[\/[A, B]]

Definition Classes
Functor
16. #### final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
17. #### def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
18. #### def extend[A, B](a: F[A])(f: (F[A]) ⇒ B): F[B]

Definition Classes
Cojoin
19. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
20. #### def fpair[A](fa: F[A]): F[(A, A)]

Twin all As in fa.

Twin all As in fa.

Definition Classes
Functor
21. #### def fproduct[A, B](fa: F[A])(f: (A) ⇒ B): F[(A, B)]

Pair all As in fa with the result of function application.

Pair all As in fa with the result of function application.

Definition Classes
Functor
22. #### def functorLaw: FunctorLaw

Definition Classes
Functor
23. #### val functorSyntax: FunctorSyntax[F]

Definition Classes
Functor
24. #### final def getClass(): Class[_]

Definition Classes
AnyRef → Any
25. #### def hashCode(): Int

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

Definition Classes
Any
27. #### def lift[A, B](f: (A) ⇒ B): (F[A]) ⇒ F[B]

Lift f into F.

Lift f into F.

Definition Classes
Functor
28. #### def mapply[A, B](a: A)(f: F[(A) ⇒ B]): F[B]

Lift apply(a), and apply the result to f.

Lift apply(a), and apply the result to f.

Definition Classes
Functor
29. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
30. #### final def notify(): Unit

Definition Classes
AnyRef
31. #### final def notifyAll(): Unit

Definition Classes
AnyRef
32. #### def product[G[_]](implicit G0: Functor[G]): Functor[[α](F[α], G[α])]

The product of Functors F and G, [x](F[x], G[x]]), is a Functor

The product of Functors F and G, [x](F[x], G[x]]), is a Functor

Definition Classes
Functor
33. #### def strengthL[A, B](a: A, f: F[B]): F[(A, B)]

Inject a to the left of Bs in f.

Inject a to the left of Bs in f.

Definition Classes
Functor
34. #### def strengthR[A, B](f: F[A], b: B): F[(A, B)]

Inject b to the right of As in f.

Inject b to the right of As in f.

Definition Classes
Functor
35. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
36. #### def toString(): String

Definition Classes
AnyRef → Any
37. #### def void[A](fa: F[A]): F[Unit]

Empty fa of meaningful pure values, preserving its structure.

Empty fa of meaningful pure values, preserving its structure.

Definition Classes
Functor
38. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )