State

object State
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
State.type

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def apply[S, A](f: S => (S, A)): State[S, Nothing, A]
def check[S, E](test: Boolean, failure: => E): State[S, E, Unit]
def cond[S, A, E](test: Boolean, success: => A, failure: => E): State[S, E, A]
def error[S, E](e: E): State[S, E, Nothing]
def fromEither[S, A, E](either: Either[E, A]): State[S, E, A]
def get[S]: State[S, Nothing, S]
def modify[S](f: S => S): State[S, Nothing, Unit]
def pure[S, A](a: A): State[S, Nothing, A]
def set[S](s: S): State[S, Nothing, Unit]