hedgehog-core/hedgehog.predef/StateT

StateT

case class StateT[M[_], S, A](run: S => M[(S, A)])
Companion:
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def eval(s: S)(implicit F: Functor[M]): M[A]
def exec(s: S)(implicit F: Functor[M]): M[S]
def flatMap[B](f: A => StateT[M, S, B])(implicit F: Monad[M]): StateT[M, S, B]
def hoist[N[_], B](f: M[(S, A)] => N[(S, B)]): StateT[N, S, B]
def map[B](f: A => B)(implicit F: Functor[M]): StateT[M, S, B]

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product