scalaprops-all/scalaprops.scalazlaws/monadError

monadError

object monadError
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[F[_], E : Gen](implicit evidence$2: Gen[E], A1: MonadError[F, E], A2: Gen[F[Int]], A3: Gen[F[Int => Int]], A4: Equal[F[Int]], A5: Gen[E => F[Int]]): Properties[ScalazLaw]
def errorsRaised[F[_], E, A](implicit me: MonadError[F, E], eq: Equal[F[A]], ae: Gen[E], aa: Gen[A]): Property
def errorsStopComputation[F[_], E, A](implicit me: MonadError[F, E], eq: Equal[F[A]], ae: Gen[E], aa: Gen[A]): Property
def laws[F[_], E : Gen](implicit evidence$1: Gen[E], A1: MonadError[F, E], A2: Equal[F[Int]], A3: Gen[E => F[Int]]): Properties[ScalazLaw]
def raisedErrorsHandled[F[_], E, A](implicit me: MonadError[F, E], eq: Equal[F[A]], ae: Gen[E], afea: Gen[E => F[A]]): Property