Type Members
-
trait
Read[-I, F[_], S] extends AnyRef
-
type
ReadImpure[-I, S] = Read[I, Id, S]
-
type
ReadImpureWritePure[-I, S] = Read[I, Id, S] with Write[I, CallbackTo, S]
-
type
ReadPure[-I, S] = Read[I, CallbackTo, S]
-
type
ReadPureWriteImpure[-I, S] = Read[I, CallbackTo, S] with Write[I, Id, S]
-
type
ReadWrite[-I, R[_], W[_], S] = Read[I, R, S] with Write[I, W, S]
-
type
ReadWriteImpure[-I, S] = Read[I, Id, S] with Write[I, Id, S]
-
-
trait
Write[-I, F[_], S] extends AnyRef
-
type
WriteImpure[-I, S] = Write[I, Id, S]
-
type
WritePure[-I, S] = Write[I, CallbackTo, S]
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
castR[I, F[_], S](w: Read[_, F, _]): Read[I, F, S]
-
def
castRW[I, R[_], W[_], S](w: ReadWrite[_, R, W, _]): ReadWrite[I, R, W, S]
-
def
castW[I, F[_], S](w: Write[_, F, _]): Write[I, F, S]
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
implicit
def
scalaLifecycleStateRW[S]: ReadImpureWritePure[StateRW[_, S, _], S]
-
implicit
def
scalaLifecycleStateRWCB[S]: ReadWritePure[StateRW[_, S, _], S]
-
implicit
def
scalaLifecycleStateW[S]: WritePure[StateW[_, S, _], S]
-
implicit
def
stateAccess[F[_], S]: ReadWrite[StateAccess[F, S], F, F, S]
-
-
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
Type-classes that provide read and/or write access to state.
The syntax is a little wonky for technical reasons. For read access, it's
typeclass.state(i): F[S]
. For write access, it'stypeclass(i).setState(...): F[Unit]
.