scalaz.scalacheck.ScalazProperties

ApplicativeLaws

class ApplicativeLaws [F[_]] extends Properties

Linear Supertypes
Properties, Prop, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. ApplicativeLaws
  2. Properties
  3. Prop
  4. AnyRef
  5. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ApplicativeLaws ()(implicit a: Applicative[F], af: Arbitrary[F[Int]], aff: Arbitrary[F[(Int) ⇒ Int]], e: Equal[F[Int]])

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  4. def && (p: Prop): Prop

    Definition Classes
    Prop
  5. def ++ (p: Prop): Prop

    Definition Classes
    Prop
  6. def :| (l: Symbol): Prop

    Definition Classes
    Prop
  7. def :| (l: String): Prop

    Definition Classes
    Prop
  8. def == (p: Prop): Prop

    Definition Classes
    Prop
  9. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  10. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  11. def ==> (p: ⇒ Prop): Prop

    Definition Classes
    Prop
  12. def apply (p: Params): Result

    Definition Classes
    Properties → Prop
  13. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  14. def check : Unit

    Definition Classes
    Properties → Prop
  15. def check (prms: Params): Unit

    Definition Classes
    Properties → Prop
  16. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  17. def combine (p: Prop)(f: (Result, Result) ⇒ Result): Prop

    Definition Classes
    Prop
  18. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  19. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  20. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  21. def flatMap (f: (Result) ⇒ Prop): Prop

    Definition Classes
    Prop
  22. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any
  23. def hashCode (): Int

    Definition Classes
    AnyRef → Any
  24. def include (ps: Properties): Unit

    Definition Classes
    Properties
  25. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  26. def label (l: String): Prop

    Definition Classes
    Prop
  27. def main (args: Array[String]): Unit

    Definition Classes
    Prop
  28. def mainCallsExit : Boolean

    Definition Classes
    Prop
  29. def mainRunner (args: Array[String]): Int

    Definition Classes
    Properties → Prop
  30. def map (f: (Result) ⇒ Result): Prop

    Definition Classes
    Prop
  31. val name : String

    Definition Classes
    Properties
  32. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  33. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  34. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  35. def properties : Seq[(String, Prop)]

    Definition Classes
    Properties
  36. lazy val property : PropertySpecifier

    Definition Classes
    Properties
  37. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  38. def toString (): String

    Definition Classes
    Prop → AnyRef → Any
  39. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  40. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  41. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  42. def |: (l: Symbol): Prop

    Definition Classes
    Prop
  43. def |: (l: String): Prop

    Definition Classes
    Prop
  44. def || (p: Prop): Prop

    Definition Classes
    Prop

Deprecated Value Members

  1. def === (p: Prop): Prop

    Definition Classes
    Prop
    Annotations
    @deprecated
    Deprecated

    Use == instead.

Inherited from Properties

Inherited from Prop

Inherited from AnyRef

Inherited from Any