enum

object enum
class Object
trait Matchable
class Any

Value members

Concrete methods

def laws[A](implicit A: Enum[A], arb: Arbitrary[A]): Properties
def minmaxpred[A](implicit A: Enum[A]): Prop
def minmaxsucc[A](implicit A: Enum[A]): Prop
def predn[A](implicit A: Enum[A], arb: Arbitrary[A]): Prop
def predorder[A](implicit A: Enum[A], arb: Arbitrary[A]): Prop
def predsucc[A](implicit A: Enum[A], arb: Arbitrary[A]): Prop
def succn[A](implicit A: Enum[A], arb: Arbitrary[A]): Prop
def succorder[A](implicit A: Enum[A], arb: Arbitrary[A]): Prop
def succpred[A](implicit A: Enum[A], arb: Arbitrary[A]): Prop