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 bindRec: ScalazLaw
43.  val bindRecAll: ScalazLaw
44.  val bindRecHandleManyBinds: ScalazLaw
45.  val bindRecTailrecBindConsistency: ScalazLaw
46.  val bitraverse: ScalazLaw
47.  val bitraverseAll: ScalazLaw
48.  val category: ScalazLaw
49.  val categoryAll: ScalazLaw
50.  val categoryLeftIdentity: ScalazLaw
51.  val categoryRightIdentity: ScalazLaw
52.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

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

    Definition Classes

    AnyRef

88.  val equal: ScalazLaw
89.  val equalCommutativity: ScalazLaw
90.  val equalNaturality: ScalazLaw
91.  val equalReflexive: ScalazLaw
92.  val equalTransitive: ScalazLaw
93.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

94.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

     Definition Classes

     AnyRef → Any

     Annotations

     @native()

107.  def hashCode(): Int

     Definition Classes

     AnyRef → Any

     Annotations

     @native()

108.  val invariantFunctor: ScalazLaw
109.  val invariantFunctorComposite: ScalazLaw
110.  val invariantFunctorIdentity: ScalazLaw
111.  val isEmpty: ScalazLaw
112.  val isEmptyAll: ScalazLaw
113.  val isEmptyEmptyIsEmpty: ScalazLaw
114.  val isEmptyEmptyPlusIdentity: ScalazLaw
115.  final def isInstanceOf[T0]: Boolean

     Definition Classes

     Any

116.  val iso: ScalazLaw
117.  val isoA2B: ScalazLaw
118.  val isoB2A: ScalazLaw
119.  val lens: ScalazLaw
120.  val lensDoubleSet: ScalazLaw
121.  val lensIdentity: ScalazLaw
122.  val lensRetention: ScalazLaw
123.  val monad: ScalazLaw
124.  val monadAll: ScalazLaw
125.  val monadError: ScalazLaw
126.  val monadErrorAll: ScalazLaw
127.  val monadErrorErrorsRaised: ScalazLaw
128.  val monadErrorErrorsStopComputation: ScalazLaw
129.  val monadErrorRaisedErrorsHandled: ScalazLaw
130.  val monadLeftIdentity: ScalazLaw
131.  val monadPlus: ScalazLaw
132.  val monadPlusAll: ScalazLaw
133.  val monadPlusEmptyMap: ScalazLaw
134.  val monadPlusLeftZero: ScalazLaw
135.  val monadPlusRightZero: ScalazLaw
136.  val monadPlusStrong: ScalazLaw
137.  val monadPlusStrongAll: ScalazLaw
138.  val monadRightIdentity: ScalazLaw
139.  val monadState: ScalazLaw
140.  val monadStateAll: ScalazLaw
141.  val monadStateGetGet: ScalazLaw
142.  val monadStateGetPut: ScalazLaw
143.  val monadStatePutGet: ScalazLaw
144.  val monadStatePutPut: ScalazLaw
145.  val monadTrans: ScalazLaw
146.  val monadTransLaw1IList: ScalazLaw
147.  val monadTransLaw1Maybe: ScalazLaw
148.  val monadTransLaw2IList: ScalazLaw
149.  val monadTransLaw2Maybe: ScalazLaw
150.  val monoid: ScalazLaw
151.  val monoidAll: ScalazLaw
152.  val monoidLeftIdentity: ScalazLaw
153.  val monoidRightIdentity: ScalazLaw
154.  final def ne(arg0: AnyRef): Boolean

     Definition Classes

     AnyRef

155.  final def notify(): Unit

     Definition Classes

     AnyRef

     Annotations

     @native()

156.  final def notifyAll(): Unit

     Definition Classes

     AnyRef

     Annotations

     @native()

157.  val order: ScalazLaw
158.  val orderAll: ScalazLaw
159.  val orderAntisymmetric: ScalazLaw
160.  val orderConsistentScalaOrdering: ScalazLaw
161.  val orderOrderAndEqualConsistent: ScalazLaw
162.  val orderTransitiveOrder: ScalazLaw
163.  val plus: ScalazLaw
164.  val plusAll: ScalazLaw
165.  val plusAssociative: ScalazLaw
166.  val plusEmpty: ScalazLaw
167.  val plusEmptyAll: ScalazLaw
168.  val plusEmptyLeftIdentity: ScalazLaw
169.  val plusEmptyRightIdentity: ScalazLaw
170.  val profunctor: ScalazLaw
171.  val reducer: ScalazLaw
172.  val reducerConsCorrectness: ScalazLaw
173.  val reducerSnocCorrectness: ScalazLaw
174.  val representable: ScalazLaw
175.  val representableRepUnrep: ScalazLaw
176.  val representableUnrepRep: ScalazLaw
177.  implicit val scalazLawGen: Gen[ScalazLaw]
178.  implicit val scalazLawOrder: Order[ScalazLaw]
179.  val semigroup: ScalazLaw
180.  val semigroupAssociative: ScalazLaw
181.  val semilattice: ScalazLaw
182.  val semilatticeAll: ScalazLaw
183.  val semilatticeCommutative: ScalazLaw
184.  final def synchronized[T0](arg0: ⇒ T0): T0

     Definition Classes

     AnyRef

185.  def toString(): String

     Definition Classes

     AnyRef → Any

186.  val traverse: ScalazLaw
187.  val traverse1: ScalazLaw
188.  val traverse1All: ScalazLaw
189.  val traverse1Identity: ScalazLaw
190.  val traverse1Naturality1: ScalazLaw
191.  val traverse1ParallelFusion1: ScalazLaw
192.  val traverse1SequentialFusion1: ScalazLaw
193.  val traverseAll: ScalazLaw
194.  val traverseIdentity: ScalazLaw
195.  val traverseNaturality: ScalazLaw
196.  val traverseParallelFusion: ScalazLaw
197.  val traversePurityIList: ScalazLaw
198.  val traversePurityMaybe: ScalazLaw
199.  val traverseSequentialFusion: ScalazLaw
200.  val values: List[ScalazLaw]
201.  final def wait(): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @native() @throws( ... )

204.  val zip: ScalazLaw
205.  val zipApply: ScalazLaw
206.  val zipPreservation: ScalazLaw
207.  val zipSymmetric: ScalazLaw