gen/nyaya.gen/StateGen

StateGen

object StateGen
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[S, A](f: S => Gen[(S, A)]): StateGen[S, A]
def genA[S, A](f: S => Gen[A]): StateGen[S, A]
def genS[S](f: S => Gen[S]): StateGen[S, Unit]
def get[S]: StateGen[S, S]
def gets[S, A](f: S => A): StateGen[S, A]
def mod[S](f: S => S): StateGen[S, Unit]
def put[S](s: => S): StateGen[S, Unit]
def putStrict[S](s: S): StateGen[S, Unit]
def ret[S, A](a: => A): StateGen[S, A]
def retStrict[S, A](a: A): StateGen[S, A]
def state[S, A](s: State[S, A]): StateGen[S, A]
def tailrec[S, A](f: S => Gen[Either[S, (S, A)]]): StateGen[S, A]