cats-mtl-laws/cats.mtl.laws/StatefulLaws

StatefulLaws

trait StatefulLaws[F[_], S]
Companion
object
class Object
trait Matchable
class Any

Value members

Concrete methods

def getThenGetGetsOnce: IsEq[F[S]]
def getThenSetDoesNothing: IsEq[F[Unit]]
def modifyIsGetThenSet(f: S => S): IsEq[F[Unit]]
def setThenGetReturnsSetted(s: S): IsEq[F[S]]
def setThenSetSetsLast(s1: S, s2: S): IsEq[F[Unit]]

Implicits

Implicits

implicit def monad: Monad[F]
implicit def stateInstance: Stateful[F, S]