core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/org.atnos.eff/StateImplicits

StateImplicits

org.atnos.eff.StateImplicits
See theStateImplicits companion object
trait StateImplicits

Attributes

Companion:
object
Source:
StateEffect.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object StateImplicits.type
object state.type

Members list

Concise view

Value members

Concrete methods

def readerToStateNat[S1]: FunctionK[[_] =>> Reader[S1, _$13], [_] =>> State[S1, _$14]]

Attributes

Source:
StateEffect.scala
def via[S, T](get: S => T, set: T => S => S): FunctionK[[_] =>> State[T, _$15], [_] =>> State[S, _$16]]

Attributes

Source:
StateEffect.scala

Implicits

Implicits

implicit def stateMemberInLens[E, S, T](implicit m: MemberIn[[_] =>> State[S, _$11], E], get: S => T, set: T => S => S): MemberIn[[_] =>> State[T, _$12], E]

Attributes

Source:
StateEffect.scala
implicit def stateMemberInToReaderMemberIn[E, S](implicit m: MemberIn[[_] =>> State[S, _$9], E]): MemberIn[[_] =>> Reader[S, _$10], E]

Attributes

Source:
StateEffect.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL