ScalazLaw

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 bitraverse: ScalazLaw

42. val bitraverseAll: ScalazLaw

43. val category: ScalazLaw

44. val categoryAll: ScalazLaw

45. val categoryLeftIdentity: ScalazLaw

46. val categoryRightIdentity: ScalazLaw

47. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

48. val cobind: ScalazLaw

49. val cobindAll: ScalazLaw

50. val cobindAssociative: ScalazLaw

51. val comonad: ScalazLaw

52. val comonadAll: ScalazLaw

53. val comonadLeftIdentity: ScalazLaw

54. val comonadRightIdentity: ScalazLaw

55. val comonadTrans: ScalazLaw

56. val comonadTransLaw1Nel: ScalazLaw

57. val comonadTransLaw2Nel: ScalazLaw

58. val compose: ScalazLaw

59. val composeAll: ScalazLaw

60. val composeAssociative: ScalazLaw

61. val contravariant: ScalazLaw

62. val contravariantAll: ScalazLaw

63. val contravariantComposite: ScalazLaw

64. val contravariantIdentity: ScalazLaw

65. val divide: ScalazLaw

66. val divideAll: ScalazLaw

67. val divideComposition: ScalazLaw

68. val divisible: ScalazLaw

69. val divisibleAll: ScalazLaw

70. val divisibleLeftIdentity: ScalazLaw

71. val divisibleRightIdentity: ScalazLaw

72. val enum: ScalazLaw

73. val enumAll: ScalazLaw

74. val enumMinMaxPred: ScalazLaw

75. val enumMinMaxSucc: ScalazLaw

76. val enumPredN: ScalazLaw

77. val enumPredOrder: ScalazLaw

78. val enumPredSucc: ScalazLaw

79. val enumSuccN: ScalazLaw

80. val enumSuccOrder: ScalazLaw

81. val enumSuccPred: ScalazLaw

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

    Definition Classes

    AnyRef

83. val equal: ScalazLaw

84. val equalCommutativity: ScalazLaw

85. val equalNaturality: ScalazLaw

86. val equalReflexive: ScalazLaw

87. val equalTransitive: ScalazLaw

88. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

89. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

90. val foldable: ScalazLaw

91. val foldable1: ScalazLaw

92. val foldable1All: ScalazLaw

93. val foldable1LeftFM1Consistent: ScalazLaw

94. val foldable1RightFM1Consistent: ScalazLaw

95. val foldableLeftFMConsistent: ScalazLaw

96. val foldableRightFMConsistent: ScalazLaw

97. val functor: ScalazLaw

98. val functorAll: ScalazLaw

99. val functorCompsite: ScalazLaw

100. val functorIdentity: ScalazLaw

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

     Definition Classes

     AnyRef → Any

102. def hashCode(): Int

     Definition Classes

     AnyRef → Any

103. val invariantFunctor: ScalazLaw

104. val invariantFunctorComposite: ScalazLaw

105. val invariantFunctorIdentity: ScalazLaw

106. val isEmpty: ScalazLaw

107. val isEmptyAll: ScalazLaw

108. val isEmptyEmptyIsEmpty: ScalazLaw

109. val isEmptyEmptyPlusIdentity: ScalazLaw

110. final def isInstanceOf[T0]: Boolean

     Definition Classes

     Any

111. val iso: ScalazLaw

112. val isoA2B: ScalazLaw

113. val isoB2A: ScalazLaw

114. val lens: ScalazLaw

115. val lensDoubleSet: ScalazLaw

116. val lensIdentity: ScalazLaw

117. val lensRetention: ScalazLaw

118. val monad: ScalazLaw

119. val monadAll: ScalazLaw

120. val monadError: ScalazLaw

121. val monadErrorAll: ScalazLaw

122. val monadErrorErrorsRaised: ScalazLaw

123. val monadErrorErrorsStopComputation: ScalazLaw

124. val monadErrorRaisedErrorsHandled: ScalazLaw

125. val monadLeftIdentity: ScalazLaw

126. val monadPlus: ScalazLaw

127. val monadPlusAll: ScalazLaw

128. val monadPlusEmptyMap: ScalazLaw

129. val monadPlusLeftZero: ScalazLaw

130. val monadPlusRightZero: ScalazLaw

131. val monadPlusStrong: ScalazLaw

132. val monadPlusStrongAll: ScalazLaw

133. val monadRightIdentity: ScalazLaw

134. val monadTrans: ScalazLaw

135. val monadTransLaw1IList: ScalazLaw

136. val monadTransLaw1Maybe: ScalazLaw

137. val monadTransLaw2IList: ScalazLaw

138. val monadTransLaw2Maybe: ScalazLaw

139. val monoid: ScalazLaw

140. val monoidAll: ScalazLaw

141. val monoidLeftIdentity: ScalazLaw

142. val monoidRightIdentity: ScalazLaw

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

     Definition Classes

     AnyRef

144. final def notify(): Unit

     Definition Classes

     AnyRef

145. final def notifyAll(): Unit

     Definition Classes

     AnyRef

146. val order: ScalazLaw

147. val orderAll: ScalazLaw

148. val orderAntisymmetric: ScalazLaw

149. val orderConsistentScalaOrdering: ScalazLaw

150. val orderOrderAndEqualConsistent: ScalazLaw

151. val orderTransitiveOrder: ScalazLaw

152. val plus: ScalazLaw

153. val plusAll: ScalazLaw

154. val plusAssociative: ScalazLaw

155. val plusEmpty: ScalazLaw

156. val plusEmptyAll: ScalazLaw

157. val plusEmptyLeftIdentity: ScalazLaw

158. val plusEmptyRightIdentity: ScalazLaw

159. val profunctor: ScalazLaw

160. val representable: ScalazLaw

161. val representableRepUnrep: ScalazLaw

162. val representableUnrepRep: ScalazLaw

163. implicit val scalazLawGen: Gen[ScalazLaw]

164. implicit val scalazLawOrder: Order[ScalazLaw]

165. val semigroup: ScalazLaw

166. val semigroupAssociative: ScalazLaw

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

     Definition Classes

     AnyRef

168. def toString(): String

     Definition Classes

     AnyRef → Any

169. val traverse: ScalazLaw

170. val traverse1: ScalazLaw

171. val traverse1All: ScalazLaw

172. val traverse1Identity: ScalazLaw

173. val traverse1Naturality1: ScalazLaw

174. val traverse1ParallelFusion1: ScalazLaw

175. val traverse1SequentialFusion1: ScalazLaw

176. val traverseAll: ScalazLaw

177. val traverseIdentity: ScalazLaw

178. val traverseNaturality: ScalazLaw

179. val traverseParallelFusion: ScalazLaw

180. val traversePurityIList: ScalazLaw

181. val traversePurityMaybe: ScalazLaw

182. val traverseSequentialFusion: ScalazLaw

183. val values: List[ScalazLaw]

184. final def wait(): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

186. final def wait(arg0: Long): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

187. val zip: ScalazLaw

188. val zipApply: ScalazLaw

189. val zipPreservation: ScalazLaw

190. val zipSymmetric: ScalazLaw