core/org.atnos.eff/StateImplicits

StateImplicits

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

Value members

Concrete methods

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

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