scalaz.scalacheck

ScalazProperties

object ScalazProperties extends AnyRef

Scalacheck properties that should hold for instances of type classes defined in Scalaz Core.

Source
ScalazProperties.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. ScalazProperties
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Value Members

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

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

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

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

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

    Definition Classes
    Any
  6. object align extends AnyRef

  7. object applicative extends AnyRef

  8. object apply extends AnyRef

  9. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  10. object associative extends AnyRef

  11. object band extends AnyRef

  12. object bifoldable extends AnyRef

  13. object bifunctor extends AnyRef

  14. object bind extends AnyRef

  15. object bitraverse extends AnyRef

  16. object category extends AnyRef

  17. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  18. object cobind extends AnyRef

  19. object comonad extends AnyRef

  20. object compose extends AnyRef

  21. object contravariant extends AnyRef

  22. object divide extends AnyRef

  23. object divisible extends AnyRef

  24. object enum extends AnyRef

  25. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  26. object equal extends AnyRef

  27. def equals(arg0: Any): Boolean

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

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  29. object foldable extends AnyRef

  30. object foldable1 extends AnyRef

  31. object functor extends AnyRef

  32. final def getClass(): java.lang.Class[_]

    Definition Classes
    AnyRef → Any
  33. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  34. object invariantFunctor extends AnyRef

  35. object isEmpty extends AnyRef

  36. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  37. object lens extends AnyRef

  38. object monad extends AnyRef

  39. object monadError extends AnyRef

  40. object monadPlus extends AnyRef

  41. object monoid extends AnyRef

  42. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  43. final def notify(): Unit

    Definition Classes
    AnyRef
  44. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  45. object order extends AnyRef

  46. object plus extends AnyRef

  47. object plusEmpty extends AnyRef

  48. object semigroup extends AnyRef

  49. object semilattice extends AnyRef

  50. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  51. def toString(): String

    Definition Classes
    AnyRef → Any
  52. object traverse extends AnyRef

  53. object traverse1 extends AnyRef

  54. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()
  57. object zip extends AnyRef

Deprecated Value Members

  1. object metricSpace extends AnyRef

    Annotations
    @deprecated
    Deprecated

    (Since version 7.0.1) MetricSpace is deprecated

Inherited from AnyRef

Inherited from Any