leon.monads

state

package state

Visibility
  1. Public
  2. All

Type Members

  1. case class State[S, A](runState: (S) ⇒ (A, S)) extends Product with Serializable

    Annotations
    @library()

Value Members

  1. object MonadStateLaws

    Annotations
    @library()

  2. object State extends Serializable

    Annotations
    @library()

Ungrouped