hedgehog-core/hedgehog.predef/StateTOpt

StateTOpt

trait StateTOpt[M[_]]
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[S, A](f: S => M[(S, A)]): StateT[M, S, A]
def get[S](F: Applicative[M]): StateT[M, S, S]
def lift[S, A](m: M[A])(F: Functor[M]): StateT[M, S, A]
def modify[S](f: S => S)(F: Applicative[M]): StateT[M, S, Unit]
def point[S, A](a: A)(F: Applicative[M]): StateT[M, S, A]
def put[S](s: S)(F: Applicative[M]): StateT[M, S, Unit]
def state[S, A](f: S => (S, A))(F: Applicative[M]): StateT[M, S, A]
def traverse[S, A, B](l: List[A])(f: A => StateT[M, S, B])(F: Monad[M]): StateT[M, S, List[B]]