Function1Comonad

implicit abstract def M: Monoid[M]

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def apply[A, B](fa: (M) ⇒ A)(f: (A) ⇒ B): (M) ⇒ B

Alias for map.

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def cobind[A, B](fa: (M) ⇒ A)(f: ((M) ⇒ A) ⇒ B): (M) ⇒ B

Also know as extend

val cobindSyntax: CobindSyntax[[α](M) ⇒ α]

def cojoin[A](a: (M) ⇒ A): (M) ⇒ (M) ⇒ A

Also known as duplicate

val cojoinSyntax: CojoinSyntax[[α](M) ⇒ α]

def comonadLaw: ComonadLaws

val comonadSyntax: ComonadSyntax[[α](M) ⇒ α]

def compose[G[_]](implicit G0: Functor[G]): Functor[[α](M) ⇒ G[α]]

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

def copoint[A](p: (M) ⇒ A): A

Also known as extract / copure

def copure[A](p: (M) ⇒ A): A

alias for copoint

def counzip[A, B](a: \/[(M) ⇒ A, (M) ⇒ B]): (M) ⇒ \/[A, B]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def extend[A, B](a: (M) ⇒ A)(f: ((M) ⇒ A) ⇒ B): (M) ⇒ B

def finalize(): Unit

def fpair[A](fa: (M) ⇒ A): (M) ⇒ (A, A)

Twin all As in fa.

def fproduct[A, B](fa: (M) ⇒ A)(f: (A) ⇒ B): (M) ⇒ (A, B)

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

def functorLaw: FunctorLaw

val functorSyntax: FunctorSyntax[[α](M) ⇒ α]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def lift[A, B](f: (A) ⇒ B): ((M) ⇒ A) ⇒ (M) ⇒ B

Lift f into F.

def map[A, B](fa: (M) ⇒ A)(f: (A) ⇒ B): (M) ⇒ B

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

def mapply[A, B](a: A)(f: (M) ⇒ (A) ⇒ B): (M) ⇒ B

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

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def product[G[_]](implicit G0: Functor[G]): Functor[[α]((M) ⇒ α, G[α])]

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

def strengthL[A, B](a: A, f: (M) ⇒ B): (M) ⇒ (A, B)

Inject a to the left of Bs in f.

def strengthR[A, B](f: (M) ⇒ A, b: B): (M) ⇒ (A, B)

Inject b to the right of As in f.

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

def toString(): String

def void[A](fa: (M) ⇒ A): (M) ⇒ Unit

Empty fa of meaningful pure values, preserving its structure.

final def wait(): Unit

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

final def wait(arg0: Long): Unit