trait
ComonadStore[F[_, _], S] extends Comonad[[x]F[S, x]]
Abstract Value Members
-
abstract
def
cobind[A, B](fa: F[S, A])(f: (F[S, A]) ⇒ B): F[S, B]
-
abstract
def
cojoin[A](a: F[S, A]): F[S, F[S, A]]
-
abstract
def
copoint[A](p: F[S, A]): A
-
abstract
def
map[A, B](fa: F[S, A])(f: (A) ⇒ B): F[S, B]
-
abstract
def
peek[A](s: S, w: F[S, A]): A
-
abstract
def
peeks[A](s: (S) ⇒ S, w: F[S, A]): A
-
abstract
def
pos[A](w: F[S, A]): S
-
abstract
def
seek[A](s: S, w: F[S, A]): F[S, A]
-
abstract
def
seeks[A](s: (S) ⇒ S, w: F[S, A]): F[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
-
def
apply[A, B](fa: F[S, A])(f: (A) ⇒ B): F[S, B]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
val
cobindSyntax: CobindSyntax[[x]F[S, x]]
-
val
cojoinSyntax: CojoinSyntax[[x]F[S, x]]
-
-
val
comonadSyntax: ComonadSyntax[[x]F[S, x]]
-
def
compose[G[_]](implicit G0: Functor[G]): Functor[[α]F[S, G[α]]]
-
val
copointedSyntax: CopointedSyntax[[x]F[S, x]]
-
def
copure[A](p: F[S, A]): A
-
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
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)]
-
-
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]
-
def
mapply[A, B](a: A)(f: F[S, (A) ⇒ B]): F[S, B]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
product[G[_]](implicit G0: Functor[G]): Functor[[α](F[S, α], G[α])]
-
def
strengthL[A, B](a: A, f: F[S, B]): F[S, (A, B)]
-
def
strengthR[A, B](f: F[S, A], b: B): F[S, (A, B)]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
void[A](fa: F[S, A]): F[S, Unit]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from Cobind[[x]F[S, x]]
Inherited from Cojoin[[x]F[S, x]]
Inherited from AnyRef
Inherited from Any