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

    

40. val bitraverseAll: ScalazLaw

    

41. val category: ScalazLaw

    

42. val categoryAll: ScalazLaw

    

43. val categoryLeftIdentity: ScalazLaw

    

44. val categoryRightIdentity: ScalazLaw

    

45. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

46. val cobind: ScalazLaw

    

47. val cobindAll: ScalazLaw

    

48. val cobindAssociative: ScalazLaw

    

49. val comonad: ScalazLaw

    

50. val comonadAll: ScalazLaw

    

51. val comonadLeftIdentity: ScalazLaw

    

52. val comonadRightIdentity: ScalazLaw

    

53. val comonadTrans: ScalazLaw

    

54. val comonadTransLaw1Nel: ScalazLaw

    

55. val comonadTransLaw2Nel: ScalazLaw

    

56. val compose: ScalazLaw

    

57. val composeAll: ScalazLaw

    

58. val composeAssociative: ScalazLaw

    

59. val contravariant: ScalazLaw

    

60. val contravariantAll: ScalazLaw

    

61. val contravariantComposite: ScalazLaw

    

62. val contravariantIdentity: ScalazLaw

    

63. val divide: ScalazLaw

    

64. val divideAll: ScalazLaw

    

65. val divideComposition: ScalazLaw

    

66. val divisible: ScalazLaw

    

67. val divisibleAll: ScalazLaw

    

68. val divisibleLeftIdentity: ScalazLaw

    

69. val divisibleRightIdentity: ScalazLaw

    

70. val enum: ScalazLaw

    

71. val enumAll: ScalazLaw

    

72. val enumMinMaxPred: ScalazLaw

    

73. val enumMinMaxSucc: ScalazLaw

    

74. val enumPredN: ScalazLaw

    

75. val enumPredOrder: ScalazLaw

    

76. val enumPredSucc: ScalazLaw

    

77. val enumSuccN: ScalazLaw

    

78. val enumSuccOrder: ScalazLaw

    

79. val enumSuccPred: ScalazLaw

    

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

    

    Definition Classes

    AnyRef

81. val equal: ScalazLaw

    

82. val equalCommutativity: ScalazLaw

    

83. val equalNaturality: ScalazLaw

    

84. val equalReflexive: ScalazLaw

    

85. val equalTransitive: ScalazLaw

    

86. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

87. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

88. val foldable: ScalazLaw

    

89. val foldable1: ScalazLaw

    

90. val foldable1All: ScalazLaw

    

91. val foldable1LeftFM1Consistent: ScalazLaw

    

92. val foldable1RightFM1Consistent: ScalazLaw

    

93. val foldableLeftFMConsistent: ScalazLaw

    

94. val foldableRightFMConsistent: ScalazLaw

    

95. val functor: ScalazLaw

    

96. val functorAll: ScalazLaw

    

97. val functorCompsite: ScalazLaw

    

98. val functorIdentity: ScalazLaw

    

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

    

    Definition Classes

    AnyRef → Any

100. def hashCode(): Int

     

     Definition Classes

     AnyRef → Any

101. val invariantFunctor: ScalazLaw

     

102. val invariantFunctorComposite: ScalazLaw

     

103. val invariantFunctorIdentity: ScalazLaw

     

104. val isEmpty: ScalazLaw

     

105. val isEmptyAll: ScalazLaw

     

106. val isEmptyEmptyIsEmpty: ScalazLaw

     

107. val isEmptyEmptyPlusIdentity: ScalazLaw

     

108. final def isInstanceOf[T0]: Boolean

     

     Definition Classes

     Any

109. val iso: ScalazLaw

     

110. val isoA2B: ScalazLaw

     

111. val isoB2A: ScalazLaw

     

112. val lens: ScalazLaw

     

113. val lensDoubleSet: ScalazLaw

     

114. val lensIdentity: ScalazLaw

     

115. val lensRetention: ScalazLaw

     

116. val monad: ScalazLaw

     

117. val monadAll: ScalazLaw

     

118. val monadError: ScalazLaw

     

119. val monadErrorAll: ScalazLaw

     

120. val monadErrorErrorsRaised: ScalazLaw

     

121. val monadErrorErrorsStopComputation: ScalazLaw

     

122. val monadErrorRaisedErrorsHandled: ScalazLaw

     

123. val monadLeftIdentity: ScalazLaw

     

124. val monadPlus: ScalazLaw

     

125. val monadPlusAll: ScalazLaw

     

126. val monadPlusEmptyMap: ScalazLaw

     

127. val monadPlusLeftZero: ScalazLaw

     

128. val monadPlusRightZero: ScalazLaw

     

129. val monadPlusStrong: ScalazLaw

     

130. val monadPlusStrongAll: ScalazLaw

     

131. val monadRightIdentity: ScalazLaw

     

132. val monadTrans: ScalazLaw

     

133. val monadTransLaw1IList: ScalazLaw

     

134. val monadTransLaw1Maybe: ScalazLaw

     

135. val monadTransLaw2IList: ScalazLaw

     

136. val monadTransLaw2Maybe: ScalazLaw

     

137. val monoid: ScalazLaw

     

138. val monoidAll: ScalazLaw

     

139. val monoidLeftIdentity: ScalazLaw

     

140. val monoidRightIdentity: ScalazLaw

     

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

     

     Definition Classes

     AnyRef

142. final def notify(): Unit

     

     Definition Classes

     AnyRef

143. final def notifyAll(): Unit

     

     Definition Classes

     AnyRef

144. val order: ScalazLaw

     

145. val orderAll: ScalazLaw

     

146. val orderAntisymmetric: ScalazLaw

     

147. val orderConsistentScalaOrdering: ScalazLaw

     

148. val orderOrderAndEqualConsistent: ScalazLaw

     

149. val orderTransitiveOrder: ScalazLaw

     

150. val plus: ScalazLaw

     

151. val plusAll: ScalazLaw

     

152. val plusAssociative: ScalazLaw

     

153. val plusEmpty: ScalazLaw

     

154. val plusEmptyAll: ScalazLaw

     

155. val plusEmptyLeftIdentity: ScalazLaw

     

156. val plusEmptyRightIdentity: ScalazLaw

     

157. val profunctor: ScalazLaw

     

158. val representable: ScalazLaw

     

159. val representableRepUnrep: ScalazLaw

     

160. val representableUnrepRep: ScalazLaw

     

161. implicit val scalazLawGen: Gen[ScalazLaw]

     

162. implicit val scalazLawOrder: Order[ScalazLaw]

     

163. val semigroup: ScalazLaw

     

164. val semigroupAssociative: ScalazLaw

     

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

     

     Definition Classes

     AnyRef

166. def toString(): String

     

     Definition Classes

     AnyRef → Any

167. val traverse: ScalazLaw

     

168. val traverse1: ScalazLaw

     

169. val traverse1All: ScalazLaw

     

170. val traverse1Identity: ScalazLaw

     

171. val traverse1Naturality1: ScalazLaw

     

172. val traverse1ParallelFusion1: ScalazLaw

     

173. val traverse1SequentialFusion1: ScalazLaw

     

174. val traverseAll: ScalazLaw

     

175. val traverseIdentity: ScalazLaw

     

176. val traverseNaturality: ScalazLaw

     

177. val traverseParallelFusion: ScalazLaw

     

178. val traversePurityIList: ScalazLaw

     

179. val traversePurityMaybe: ScalazLaw

     

180. val traverseSequentialFusion: ScalazLaw

     

181. val values: List[ScalazLaw]

     

182. final def wait(): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

185. val zip: ScalazLaw

     

186. val zipApply: ScalazLaw

     

187. val zipPreservation: ScalazLaw

     

188. val zipSymmetric: ScalazLaw