Step

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

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def exit: Step[Nothing, Nothing]
def succeed[A](result: A): Step[Nothing, A]
def update[S](state: S): Step[S, Nothing]