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

StatefulLaws

trait StatefulLaws[F <: ([_$1] =>> Any), S]
Companion
object
class Object
trait Matchable
class Any

Value members

Methods

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

Implicits

Implicits

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