StateImplicits

org.atnos.eff.StateImplicits
See theStateImplicits companion object

Attributes

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

Members list

Value members

Concrete methods

def readerToStateNat[S1]: FunctionK[[_] =>> Reader[S1, _$5], [_] =>> State[S1, _$6]]

Attributes

Source
StateImplicits.scala
def via[S, T](get: S => T, set: T => S => S): FunctionK[[_] =>> State[T, _$9], [_] =>> State[S, _$10]]

Attributes

Source
StateImplicits.scala

Implicits

Implicits

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

Attributes

Source
StateImplicits.scala
implicit def stateMemberInToReaderMemberIn[E, S](implicit m: MemberIn[[_] =>> State[S, _$1], E]): MemberIn[[_] =>> Reader[S, _$2], E]

Attributes

Source
StateImplicits.scala