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 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