scalaprops

ScalazLaw

object ScalazLaw

Source
ScalazLaw.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ScalazLaw
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
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. val align: ScalazLaw

  7. val alignAll: ScalazLaw

  8. val alignCollapse: ScalazLaw

  9. val applicative: ScalazLaw

  10. val applicativeAll: ScalazLaw

  11. val applicativeHomomorphism: ScalazLaw

  12. val applicativeIdentity: ScalazLaw

  13. val applicativeInterchange: ScalazLaw

  14. val applicativeMapConsistentWithAp: ScalazLaw

  15. val applicativePlus: ScalazLaw

  16. val apply: ScalazLaw

  17. val applyAll: ScalazLaw

  18. val applyComposition: ScalazLaw

  19. val arrow: ScalazLaw

  20. val arrowAll: ScalazLaw

  21. val arrowAssociation: ScalazLaw

  22. val arrowComposition: ScalazLaw

  23. val arrowExchange: ScalazLaw

  24. val arrowExtension: ScalazLaw

  25. val arrowFunctor: ScalazLaw

  26. val arrowIdentity: ScalazLaw

  27. val arrowUnit: ScalazLaw

  28. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  29. val associative: ScalazLaw

  30. val associativeLeftRight: ScalazLaw

  31. val associativeRightLeft: ScalazLaw

  32. val bifoldable: ScalazLaw

  33. val bifoldableAll: ScalazLaw

  34. val bifoldableLeftFMConsistent: ScalazLaw

  35. val bifoldableRightFMConsistent: ScalazLaw

  36. val bifunctor: ScalazLaw

  37. val bind: ScalazLaw

  38. val bindAll: ScalazLaw

  39. val bindApConsistentWithBind: ScalazLaw

  40. val bindAssociativity: ScalazLaw

  41. val bindRec: ScalazLaw

  42. val bindRecAll: ScalazLaw

  43. val bindRecHandleManyBinds: ScalazLaw

  44. val bindRecTailrecBindConsistency: ScalazLaw

  45. val bitraverse: ScalazLaw

  46. val bitraverseAll: ScalazLaw

  47. val category: ScalazLaw

  48. val categoryAll: ScalazLaw

  49. val categoryLeftIdentity: ScalazLaw

  50. val categoryRightIdentity: ScalazLaw

  51. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. val cobind: ScalazLaw

  53. val cobindAll: ScalazLaw

  54. val cobindAssociative: ScalazLaw

  55. val comonad: ScalazLaw

  56. val comonadAll: ScalazLaw

  57. val comonadLeftIdentity: ScalazLaw

  58. val comonadRightIdentity: ScalazLaw

  59. val comonadTrans: ScalazLaw

  60. val comonadTransLaw1Nel: ScalazLaw

  61. val comonadTransLaw2Nel: ScalazLaw

  62. val compose: ScalazLaw

  63. val composeAll: ScalazLaw

  64. val composeAssociative: ScalazLaw

  65. val contravariant: ScalazLaw

  66. val contravariantAll: ScalazLaw

  67. val contravariantComposite: ScalazLaw

  68. val contravariantIdentity: ScalazLaw

  69. val divide: ScalazLaw

  70. val divideAll: ScalazLaw

  71. val divideComposition: ScalazLaw

  72. val divisible: ScalazLaw

  73. val divisibleAll: ScalazLaw

  74. val divisibleLeftIdentity: ScalazLaw

  75. val divisibleRightIdentity: ScalazLaw

  76. val enum: ScalazLaw

  77. val enumAll: ScalazLaw

  78. val enumMinMaxPred: ScalazLaw

  79. val enumMinMaxSucc: ScalazLaw

  80. val enumPredN: ScalazLaw

  81. val enumPredOrder: ScalazLaw

  82. val enumPredSucc: ScalazLaw

  83. val enumSuccN: ScalazLaw

  84. val enumSuccOrder: ScalazLaw

  85. val enumSuccPred: ScalazLaw

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

    Definition Classes
    AnyRef
  87. val equal: ScalazLaw

  88. val equalCommutativity: ScalazLaw

  89. val equalNaturality: ScalazLaw

  90. val equalReflexive: ScalazLaw

  91. val equalTransitive: ScalazLaw

  92. def equals(arg0: Any): Boolean

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

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  94. val foldable: ScalazLaw

  95. val foldable1: ScalazLaw

  96. val foldable1All: ScalazLaw

  97. val foldable1LeftFM1Consistent: ScalazLaw

  98. val foldable1RightFM1Consistent: ScalazLaw

  99. val foldableLeftFMConsistent: ScalazLaw

  100. val foldableRightFMConsistent: ScalazLaw

  101. val functor: ScalazLaw

  102. val functorAll: ScalazLaw

  103. val functorComposite: ScalazLaw

  104. val functorIdentity: ScalazLaw

  105. final def getClass(): Class[_]

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

    Definition Classes
    AnyRef → Any
  107. val invariantFunctor: ScalazLaw

  108. val invariantFunctorComposite: ScalazLaw

  109. val invariantFunctorIdentity: ScalazLaw

  110. val isEmpty: ScalazLaw

  111. val isEmptyAll: ScalazLaw

  112. val isEmptyEmptyIsEmpty: ScalazLaw

  113. val isEmptyEmptyPlusIdentity: ScalazLaw

  114. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  115. val iso: ScalazLaw

  116. val isoA2B: ScalazLaw

  117. val isoB2A: ScalazLaw

  118. val lens: ScalazLaw

  119. val lensDoubleSet: ScalazLaw

  120. val lensIdentity: ScalazLaw

  121. val lensRetention: ScalazLaw

  122. val monad: ScalazLaw

  123. val monadAll: ScalazLaw

  124. val monadError: ScalazLaw

  125. val monadErrorAll: ScalazLaw

  126. val monadErrorErrorsRaised: ScalazLaw

  127. val monadErrorErrorsStopComputation: ScalazLaw

  128. val monadErrorRaisedErrorsHandled: ScalazLaw

  129. val monadLeftIdentity: ScalazLaw

  130. val monadPlus: ScalazLaw

  131. val monadPlusAll: ScalazLaw

  132. val monadPlusEmptyMap: ScalazLaw

  133. val monadPlusLeftZero: ScalazLaw

  134. val monadPlusRightZero: ScalazLaw

  135. val monadPlusStrong: ScalazLaw

  136. val monadPlusStrongAll: ScalazLaw

  137. val monadRightIdentity: ScalazLaw

  138. val monadState: ScalazLaw

  139. val monadStateAll: ScalazLaw

  140. val monadStateGetGet: ScalazLaw

  141. val monadStateGetPut: ScalazLaw

  142. val monadStatePutGet: ScalazLaw

  143. val monadStatePutPut: ScalazLaw

  144. val monadTrans: ScalazLaw

  145. val monadTransLaw1IList: ScalazLaw

  146. val monadTransLaw1Maybe: ScalazLaw

  147. val monadTransLaw2IList: ScalazLaw

  148. val monadTransLaw2Maybe: ScalazLaw

  149. val monoid: ScalazLaw

  150. val monoidAll: ScalazLaw

  151. val monoidLeftIdentity: ScalazLaw

  152. val monoidRightIdentity: ScalazLaw

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

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

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

    Definition Classes
    AnyRef
  156. val order: ScalazLaw

  157. val orderAll: ScalazLaw

  158. val orderAntisymmetric: ScalazLaw

  159. val orderConsistentScalaOrdering: ScalazLaw

  160. val orderOrderAndEqualConsistent: ScalazLaw

  161. val orderTransitiveOrder: ScalazLaw

  162. val plus: ScalazLaw

  163. val plusAll: ScalazLaw

  164. val plusAssociative: ScalazLaw

  165. val plusEmpty: ScalazLaw

  166. val plusEmptyAll: ScalazLaw

  167. val plusEmptyLeftIdentity: ScalazLaw

  168. val plusEmptyRightIdentity: ScalazLaw

  169. val profunctor: ScalazLaw

  170. val representable: ScalazLaw

  171. val representableRepUnrep: ScalazLaw

  172. val representableUnrepRep: ScalazLaw

  173. implicit val scalazLawGen: Gen[ScalazLaw]

  174. implicit val scalazLawOrder: Order[ScalazLaw]

  175. val semigroup: ScalazLaw

  176. val semigroupAssociative: ScalazLaw

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

    Definition Classes
    AnyRef
  178. def toString(): String

    Definition Classes
    AnyRef → Any
  179. val traverse: ScalazLaw

  180. val traverse1: ScalazLaw

  181. val traverse1All: ScalazLaw

  182. val traverse1Identity: ScalazLaw

  183. val traverse1Naturality1: ScalazLaw

  184. val traverse1ParallelFusion1: ScalazLaw

  185. val traverse1SequentialFusion1: ScalazLaw

  186. val traverseAll: ScalazLaw

  187. val traverseIdentity: ScalazLaw

  188. val traverseNaturality: ScalazLaw

  189. val traverseParallelFusion: ScalazLaw

  190. val traversePurityIList: ScalazLaw

  191. val traversePurityMaybe: ScalazLaw

  192. val traverseSequentialFusion: ScalazLaw

  193. val values: List[ScalazLaw]

  194. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  197. val zip: ScalazLaw

  198. val zipApply: ScalazLaw

  199. val zipPreservation: ScalazLaw

  200. val zipSymmetric: ScalazLaw

Inherited from AnyRef

Inherited from Any

Ungrouped