core/org.atnos.eff/StateImplicits

StateImplicits

object StateImplicits extends StateImplicits
Companion
class
class Object
trait Matchable
class Any

Value members

Inherited methods

def readerToStateNat[S1]: FunctionK[[_] =>> Reader[S1, _$13], [_] =>> State[S1, _$14]]
Inherited from
StateImplicits
def via[S, T](get: S => T, set: T => S => S): FunctionK[[_] =>> State[T, _$15], [_] =>> State[S, _$16]]
Inherited from
StateImplicits

Implicits

Inherited 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]
Inherited from
StateImplicits
implicit
def stateMemberInToReaderMemberIn[E, S](implicit m: MemberIn[[_] =>> State[S, _$9], E]): MemberIn[[_] =>> Reader[S, _$10], E]
Inherited from
StateImplicits