state
API
Generated with
state/org.atnos.eff/StateImplicits

StateImplicits

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

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

Givens

Givens

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

Attributes

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

Attributes

Source
StateImplicits.scala
Generated with