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

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

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

    Definition Classes

    AnyRef → Any

91.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

     Definition Classes

     AnyRef → Any

104.  def hashCode(): Int

     Definition Classes

     AnyRef → Any

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

     Definition Classes

     Any

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

     Definition Classes

     AnyRef

152.  final def notify(): Unit

     Definition Classes

     AnyRef

153.  final def notifyAll(): Unit

     Definition Classes

     AnyRef

154.  val order: ScalazLaw
155.  val orderAll: ScalazLaw
156.  val orderAntisymmetric: ScalazLaw
157.  val orderConsistentScalaOrdering: ScalazLaw
158.  val orderOrderAndEqualConsistent: ScalazLaw
159.  val orderTransitiveOrder: ScalazLaw
160.  val plus: ScalazLaw
161.  val plusAll: ScalazLaw
162.  val plusAssociative: ScalazLaw
163.  val plusEmpty: ScalazLaw
164.  val plusEmptyAll: ScalazLaw
165.  val plusEmptyLeftIdentity: ScalazLaw
166.  val plusEmptyRightIdentity: ScalazLaw
167.  val profunctor: ScalazLaw
168.  val representable: ScalazLaw
169.  val representableRepUnrep: ScalazLaw
170.  val representableUnrepRep: ScalazLaw
171.  implicit val scalazLawGen: Gen[ScalazLaw]
172.  implicit val scalazLawOrder: Order[ScalazLaw]
173.  val semigroup: ScalazLaw
174.  val semigroupAssociative: ScalazLaw
175.  final def synchronized[T0](arg0: ⇒ T0): T0

     Definition Classes

     AnyRef

176.  def toString(): String

     Definition Classes

     AnyRef → Any

177.  val traverse: ScalazLaw
178.  val traverse1: ScalazLaw
179.  val traverse1All: ScalazLaw
180.  val traverse1Identity: ScalazLaw
181.  val traverse1Naturality1: ScalazLaw
182.  val traverse1ParallelFusion1: ScalazLaw
183.  val traverse1SequentialFusion1: ScalazLaw
184.  val traverseAll: ScalazLaw
185.  val traverseIdentity: ScalazLaw
186.  val traverseNaturality: ScalazLaw
187.  val traverseParallelFusion: ScalazLaw
188.  val traversePurityIList: ScalazLaw
189.  val traversePurityMaybe: ScalazLaw
190.  val traverseSequentialFusion: ScalazLaw
191.  val values: List[ScalazLaw]
192.  final def wait(): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

195.  val zip: ScalazLaw
196.  val zipApply: ScalazLaw
197.  val zipPreservation: ScalazLaw
198.  val zipSymmetric: ScalazLaw