ComonadStore

abstract def cobind[A, B](fa: F[S, A])(f: (F[S, A]) ⇒ B): F[S, B]

Also know as extend

abstract def cojoin[A](a: F[S, A]): F[S, F[S, A]]

Also known as duplicate

abstract def copoint[A](p: F[S, A]): A

Also known as extract / copure

abstract def map[A, B](fa: F[S, A])(f: (A) ⇒ B): F[S, B]

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

abstract def peek[A](s: S, w: F[S, A]): A

abstract def pos[A](w: F[S, A]): S

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

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

Alias for map.

final def asInstanceOf[T0]: T0

def clone(): AnyRef

val cobindSyntax: CobindSyntax[[x]F[S, x]]

val cojoinSyntax: CojoinSyntax[[x]F[S, x]]

def comonadLaw: ComonadLaws

val comonadSyntax: ComonadSyntax[[x]F[S, x]]

def compose[G[_]](implicit G0: Functor[G]): Functor[[α]F[S, G[α]]]

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

def copure[A](p: F[S, A]): A

alias for copoint

def counzip[A, B](a: \/[F[S, A], F[S, B]]): F[S, \/[A, B]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def experiment[G[_], A](s: (S) ⇒ G[S], w: F[S, A])(implicit FG: Functor[G]): G[A]

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

def finalize(): Unit

def fpair[A](fa: F[S, A]): F[S, (A, A)]

Twin all As in fa.

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

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

def functorLaw: FunctorLaw

val functorSyntax: FunctorSyntax[[x]F[S, x]]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

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

Lift f into F.

def mapply[A, B](a: A)(f: F[S, (A) ⇒ B]): F[S, 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 peeks[A](s: (S) ⇒ S, w: F[S, A]): A

def product[G[_]](implicit G0: Functor[G]): Functor[[α](F[S, α], G[α])]

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

def seek[A](s: S, w: F[S, A]): F[S, A]

def seeks[A](s: (S) ⇒ S, w: F[S, A]): F[S, A]

def strengthL[A, B](a: A, f: F[S, B]): F[S, (A, B)]

Inject a to the left of Bs in f.

def strengthR[A, B](f: F[S, A], b: B): F[S, (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: F[S, A]): F[S, 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