ScalazLaw

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

    @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

107. def hashCode(): Int

     

     Definition Classes

     AnyRef → Any

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

156. final def notifyAll(): Unit

     

     Definition Classes

     AnyRef

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

     

172. val profunctorIdentity: ScalazLaw

     

173. val reducer: ScalazLaw

     

174. val reducerConsCorrectness: ScalazLaw

     

175. val reducerSnocCorrectness: ScalazLaw

     

176. val representable: ScalazLaw

     

177. val representableRepUnrep: ScalazLaw

     

178. val representableUnrepRep: ScalazLaw

     

179. implicit val scalazLawGen: Gen[ScalazLaw]

     

180. implicit val scalazLawOrder: Order[ScalazLaw]

     

181. val semigroup: ScalazLaw

     

182. val semigroupAssociative: ScalazLaw

     

183. val semilattice: ScalazLaw

     

184. val semilatticeAll: ScalazLaw

     

185. val semilatticeCommutative: ScalazLaw

     

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

     

     Definition Classes

     AnyRef

187. def toString(): String

     

     Definition Classes

     AnyRef → Any

188. val traverse: ScalazLaw

     

189. val traverse1: ScalazLaw

     

190. val traverse1All: ScalazLaw

     

191. val traverse1Identity: ScalazLaw

     

192. val traverse1Naturality1: ScalazLaw

     

193. val traverse1ParallelFusion1: ScalazLaw

     

194. val traverse1SequentialFusion1: ScalazLaw

     

195. val traverseAll: ScalazLaw

     

196. val traverseIdentity: ScalazLaw

     

197. val traverseNaturality: ScalazLaw

     

198. val traverseParallelFusion: ScalazLaw

     

199. val traversePurityIList: ScalazLaw

     

200. val traversePurityMaybe: ScalazLaw

     

201. val traverseSequentialFusion: ScalazLaw

     

202. val values: List[ScalazLaw]

     

203. final def wait(): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

206. val zip: ScalazLaw

     

207. val zipApply: ScalazLaw

     

208. val zipPreservation: ScalazLaw

     

209. val zipSymmetric: ScalazLaw