Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  val align: ScalazLaw
5.  val alignAll: ScalazLaw
6.  val alignCollapse: ScalazLaw
7.  val applicative: ScalazLaw
8.  val applicativeAll: ScalazLaw
9.  val applicativeHomomorphism: ScalazLaw
10.  val applicativeIdentity: ScalazLaw
11.  val applicativeInterchange: ScalazLaw
12.  val applicativeMapConsistentWithAp: ScalazLaw
13.  val applicativePlus: ScalazLaw
14.  val apply: ScalazLaw
15.  val applyAll: ScalazLaw
16.  val applyComposition: ScalazLaw
17.  val arrow: ScalazLaw
18.  val arrowAll: ScalazLaw
19.  val arrowAssociation: ScalazLaw
20.  val arrowComposition: ScalazLaw
21.  val arrowExchange: ScalazLaw
22.  val arrowExtension: ScalazLaw
23.  val arrowFunctor: ScalazLaw
24.  val arrowIdentity: ScalazLaw
25.  val arrowUnit: ScalazLaw
26.  final def asInstanceOf[T0]: T0

    Definition Classes

    Any

27.  val associative: ScalazLaw
28.  val associativeLeftRight: ScalazLaw
29.  val associativeRightLeft: ScalazLaw
30.  val band: ScalazLaw
31.  val bandAll: ScalazLaw
32.  val bandIdempotency: ScalazLaw
33.  val bifoldable: ScalazLaw
34.  val bifoldableAll: ScalazLaw
35.  val bifoldableLeftFMConsistent: ScalazLaw
36.  val bifoldableRightFMConsistent: ScalazLaw
37.  val bifunctor: ScalazLaw
38.  val bind: ScalazLaw
39.  val bindAll: ScalazLaw
40.  val bindApConsistentWithBind: ScalazLaw
41.  val bindAssociativity: ScalazLaw
42.  val bitraverse: ScalazLaw
43.  val bitraverseAll: ScalazLaw
44.  val category: ScalazLaw
45.  val categoryAll: ScalazLaw
46.  val categoryLeftIdentity: ScalazLaw
47.  val categoryRightIdentity: ScalazLaw
48.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

49.  val cobind: ScalazLaw
50.  val cobindAll: ScalazLaw
51.  val cobindAssociative: ScalazLaw
52.  val comonad: ScalazLaw
53.  val comonadAll: ScalazLaw
54.  val comonadLeftIdentity: ScalazLaw
55.  val comonadRightIdentity: ScalazLaw
56.  val comonadTrans: ScalazLaw
57.  val comonadTransLaw1Nel: ScalazLaw
58.  val comonadTransLaw2Nel: ScalazLaw
59.  val compose: ScalazLaw
60.  val composeAll: ScalazLaw
61.  val composeAssociative: ScalazLaw
62.  val contravariant: ScalazLaw
63.  val contravariantAll: ScalazLaw
64.  val contravariantComposite: ScalazLaw
65.  val contravariantIdentity: ScalazLaw
66.  val divide: ScalazLaw
67.  val divideAll: ScalazLaw
68.  val divideComposition: ScalazLaw
69.  val divisible: ScalazLaw
70.  val divisibleAll: ScalazLaw
71.  val divisibleLeftIdentity: ScalazLaw
72.  val divisibleRightIdentity: ScalazLaw
73.  val enum: ScalazLaw
74.  val enumAll: ScalazLaw
75.  val enumMinMaxPred: ScalazLaw
76.  val enumMinMaxSucc: ScalazLaw
77.  val enumPredN: ScalazLaw
78.  val enumPredOrder: ScalazLaw
79.  val enumPredSucc: ScalazLaw
80.  val enumSuccN: ScalazLaw
81.  val enumSuccOrder: ScalazLaw
82.  val enumSuccPred: ScalazLaw
83.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

84.  val equal: ScalazLaw
85.  val equalCommutativity: ScalazLaw
86.  val equalNaturality: ScalazLaw
87.  val equalReflexive: ScalazLaw
88.  val equalTransitive: ScalazLaw
89.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

90.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

91.  val foldable: ScalazLaw
92.  val foldable1: ScalazLaw
93.  val foldable1All: ScalazLaw
94.  val foldable1LeftFM1Consistent: ScalazLaw
95.  val foldable1RightFM1Consistent: ScalazLaw
96.  val foldableLeftFMConsistent: ScalazLaw
97.  val foldableRightFMConsistent: ScalazLaw
98.  val functor: ScalazLaw
99.  val functorAll: ScalazLaw
100.  val functorComposite: ScalazLaw
101.  val functorIdentity: ScalazLaw
102.  final def getClass(): Class[_]

     Definition Classes

     AnyRef → Any

103.  def hashCode(): Int

     Definition Classes

     AnyRef → Any

104.  val invariantFunctor: ScalazLaw
105.  val invariantFunctorComposite: ScalazLaw
106.  val invariantFunctorIdentity: ScalazLaw
107.  val isEmpty: ScalazLaw
108.  val isEmptyAll: ScalazLaw
109.  val isEmptyEmptyIsEmpty: ScalazLaw
110.  val isEmptyEmptyPlusIdentity: ScalazLaw
111.  final def isInstanceOf[T0]: Boolean

     Definition Classes

     Any

112.  val iso: ScalazLaw
113.  val isoA2B: ScalazLaw
114.  val isoB2A: ScalazLaw
115.  val lens: ScalazLaw
116.  val lensDoubleSet: ScalazLaw
117.  val lensIdentity: ScalazLaw
118.  val lensRetention: ScalazLaw
119.  val monad: ScalazLaw
120.  val monadAll: ScalazLaw
121.  val monadError: ScalazLaw
122.  val monadErrorAll: ScalazLaw
123.  val monadErrorErrorsRaised: ScalazLaw
124.  val monadErrorErrorsStopComputation: ScalazLaw
125.  val monadErrorRaisedErrorsHandled: ScalazLaw
126.  val monadLeftIdentity: ScalazLaw
127.  val monadPlus: ScalazLaw
128.  val monadPlusAll: ScalazLaw
129.  val monadPlusEmptyMap: ScalazLaw
130.  val monadPlusLeftZero: ScalazLaw
131.  val monadPlusRightZero: ScalazLaw
132.  val monadPlusStrong: ScalazLaw
133.  val monadPlusStrongAll: ScalazLaw
134.  val monadRightIdentity: ScalazLaw
135.  val monadTrans: ScalazLaw
136.  val monadTransLaw1IList: ScalazLaw
137.  val monadTransLaw1Maybe: ScalazLaw
138.  val monadTransLaw2IList: ScalazLaw
139.  val monadTransLaw2Maybe: ScalazLaw
140.  val monoid: ScalazLaw
141.  val monoidAll: ScalazLaw
142.  val monoidLeftIdentity: ScalazLaw
143.  val monoidRightIdentity: ScalazLaw
144.  final def ne(arg0: AnyRef): Boolean

     Definition Classes

     AnyRef

145.  final def notify(): Unit

     Definition Classes

     AnyRef

146.  final def notifyAll(): Unit

     Definition Classes

     AnyRef

147.  val order: ScalazLaw
148.  val orderAll: ScalazLaw
149.  val orderAntisymmetric: ScalazLaw
150.  val orderConsistentScalaOrdering: ScalazLaw
151.  val orderOrderAndEqualConsistent: ScalazLaw
152.  val orderTransitiveOrder: ScalazLaw
153.  val plus: ScalazLaw
154.  val plusAll: ScalazLaw
155.  val plusAssociative: ScalazLaw
156.  val plusEmpty: ScalazLaw
157.  val plusEmptyAll: ScalazLaw
158.  val plusEmptyLeftIdentity: ScalazLaw
159.  val plusEmptyRightIdentity: ScalazLaw
160.  val profunctor: ScalazLaw
161.  val representable: ScalazLaw
162.  val representableRepUnrep: ScalazLaw
163.  val representableUnrepRep: ScalazLaw
164.  implicit val scalazLawGen: Gen[ScalazLaw]
165.  implicit val scalazLawOrder: Order[ScalazLaw]
166.  val semigroup: ScalazLaw
167.  val semigroupAssociative: ScalazLaw
168.  final def synchronized[T0](arg0: ⇒ T0): T0

     Definition Classes

     AnyRef

169.  def toString(): String

     Definition Classes

     AnyRef → Any

170.  val traverse: ScalazLaw
171.  val traverse1: ScalazLaw
172.  val traverse1All: ScalazLaw
173.  val traverse1Identity: ScalazLaw
174.  val traverse1Naturality1: ScalazLaw
175.  val traverse1ParallelFusion1: ScalazLaw
176.  val traverse1SequentialFusion1: ScalazLaw
177.  val traverseAll: ScalazLaw
178.  val traverseIdentity: ScalazLaw
179.  val traverseNaturality: ScalazLaw
180.  val traverseParallelFusion: ScalazLaw
181.  val traversePurityIList: ScalazLaw
182.  val traversePurityMaybe: ScalazLaw
183.  val traverseSequentialFusion: ScalazLaw
184.  val values: List[ScalazLaw]
185.  final def wait(): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

186.  final def wait(arg0: Long, arg1: Int): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

187.  final def wait(arg0: Long): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

188.  val zip: ScalazLaw
189.  val zipApply: ScalazLaw
190.  val zipPreservation: ScalazLaw
191.  val zipSymmetric: ScalazLaw