scalaprops-all/scalaprops.scalazlaws/monadState

monadState

object monadState
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[F[_], S](implicit F: MonadState[F, S], S: Gen[S], G1: Gen[F[Int]], G2: Gen[F[Int => Int]], K: Gen[(S, S) => F[Unit]], E1: Equal[F[Unit]], E2: Equal[F[S]], E3: Equal[F[Int]]): Properties[ScalazLaw]
def getGet[F[_], S](implicit F: MonadState[F, S], K: Gen[(S, S) => F[Unit]], E: Equal[F[Unit]]): Property
def getPut[F[_], S](implicit F: MonadState[F, S], E: Equal[F[Unit]]): Property
def laws[F[_], S](implicit F: MonadState[F, S], S: Gen[S], K: Gen[(S, S) => F[Unit]], E1: Equal[F[Unit]], E2: Equal[F[S]]): Properties[ScalazLaw]
def putGet[F[_], S](implicit F: MonadState[F, S], S: Gen[S], E: Equal[F[S]]): Property
def putPut[F[_], S](implicit F: MonadState[F, S], S: Gen[S], E: Equal[F[Unit]]): Property