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 bifoldable: ScalazLaw
31.  val bifoldableAll: ScalazLaw
32.  val bifoldableLeftFMConsistent: ScalazLaw
33.  val bifoldableRightFMConsistent: ScalazLaw
34.  val bifunctor: ScalazLaw
35.  val bind: ScalazLaw
36.  val bindAll: ScalazLaw
37.  val bindApConsistentWithBind: ScalazLaw
38.  val bindAssociativity: ScalazLaw
39.  val bitraverse: ScalazLaw
40.  val bitraverseAll: ScalazLaw
41.  val category: ScalazLaw
42.  val categoryAll: ScalazLaw
43.  val categoryLeftIdentity: ScalazLaw
44.  val categoryRightIdentity: ScalazLaw
45.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

81.  val equal: ScalazLaw
82.  val equalCommutativity: ScalazLaw
83.  val equalNaturality: ScalazLaw
84.  val equalReflexive: ScalazLaw
85.  val equalTransitive: ScalazLaw
86.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

87.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

100.  def hashCode(): Int

     Definition Classes

     AnyRef → Any

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

     Definition Classes

     Any

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

     Definition Classes

     AnyRef

142.  final def notify(): Unit

     Definition Classes

     AnyRef

143.  final def notifyAll(): Unit

     Definition Classes

     AnyRef

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

     Definition Classes

     AnyRef

166.  def toString(): String

     Definition Classes

     AnyRef → Any

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

185.  val zip: ScalazLaw
186.  val zipApply: ScalazLaw
187.  val zipPreservation: ScalazLaw
188.  val zipSymmetric: ScalazLaw