StateImplicits

org.atnos.eff.StateImplicits
See theStateImplicits companion object

Attributes

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

Members list

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, _$17], [_] =>> State[S, _$18]]

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