build checks.x86_64-linux.coverage-report

Reproduce this run
  1. 26.31 s [really-safe-money-gen] GenValid (ConversionRateOf USD USD)
  2. 26.31 s [really-safe-money-gen] genValid :: Gen (ConversionRateOf USD USD)
  3. 26.31 s [really-safe-money-gen] ✓ only generates valid '(ConversionRateOf USD USD)'s 0.62 ms
  4. 26.31 s [really-safe-money-gen] passed for all of 100 inputs.
  5. 26.31 s [really-safe-money-gen] Money.ConversionRateSpec
  6. 26.31 s [really-safe-money-gen] oneToOne
  7. 26.31 s [really-safe-money-gen] ✓ is valid 0.00 ms
  8. 26.31 s [really-safe-money-gen] ✓ converts without changing the amount 0.00 ms
  9. 26.31 s [really-safe-money-gen] Rational
  10. 26.31 s [really-safe-money-gen] fromRational
  11. 26.31 s [really-safe-money-gen] ✓ produces valid conversion rates 105.20 ms
  12. 26.31 s [really-safe-money-gen] passed for all of 10000 inputs.
  13. 26.31 s [really-safe-money-gen] ✓ roundtrips with toRational 77.12 ms
  14. 26.31 s [really-safe-money-gen] passed for all of 10000 inputs.
  15. 26.31 s [really-safe-money-gen] toRational
  16. 26.31 s [really-safe-money-gen] ✓ produces valid rationals 60.90 ms
  17. 26.31 s [really-safe-money-gen] passed for all of 10000 inputs.
  18. 28.14 s [really-safe-money-gen] ✓ is invalid when the rate is infinite (denominator zero) 0.01 ms
  19. 28.38 s [really-safe-money-gen] invert
  20. 28.38 s [really-safe-money-gen] ✓ produces valid rates 81.09 ms
  21. 28.38 s [really-safe-money-gen] passed for all of 10000 inputs.
  22. 28.38 s [really-safe-money-gen] GenValid ConversionRate
  23. 28.38 s [really-safe-money-gen] genValid :: Gen ConversionRate
  24. 28.38 s [really-safe-money-gen] ✓ only generates valid 'ConversionRate's 76.68 ms
  25. 28.38 s [really-safe-money-gen] passed for all of 10000 inputs.
  26. 28.38 s [really-safe-money-gen] compose
  27. 28.38 s [really-safe-money-gen] ✓ produces valid rates 141.72 ms
  28. 28.38 s [really-safe-money-gen] passed for all of 10000 inputs.
  29. 28.38 s [really-safe-money-gen] ✓ multiplies the rates 0.00 ms
  30. 28.38 s [really-safe-money-gen] ✓ results in the product of the two rates as ratios 166.61 ms
  31. 28.38 s [really-safe-money-gen] passed for all of 10000 inputs.
  32. 28.38 s [really-safe-money-gen] Ratio
  33. 28.38 s [really-safe-money-gen] toRatio
  34. 28.38 s [really-safe-money-gen] ✓ produces valid ratios 65.00 ms
  35. 28.38 s [really-safe-money-gen] passed for all of 10000 inputs.
  36. 28.38 s [really-safe-money-gen] fromRatio
  37. 28.38 s [really-safe-money-gen] ✓ produces valid conversion rates 89.50 ms
  38. 28.38 s [really-safe-money-gen] passed for all of 10000 inputs.
  39. 28.38 s [really-safe-money-gen] ✓ roundtrips with toRatio 66.56 ms
  40. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  41. 28.39 s [really-safe-money-gen] DecimalLiteral
  42. 28.39 s [really-safe-money-gen] fromDecimalLiteral
  43. 28.39 s [really-safe-money-gen] ✓ produces valid conversion rates 132.01 ms
  44. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  45. 28.39 s [really-safe-money-gen] ✓ roundtrips with toDecimalLiteral 2657.97 ms
  46. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  47. 28.39 s [really-safe-money-gen] toDecimalLiteral
  48. 28.39 s [really-safe-money-gen] ✓ produces valid literals 2692.01 ms
  49. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  50. 28.39 s [really-safe-money-gen] ✓ is invalid when the rate is zero 0.01 ms
  51. 28.39 s [really-safe-money-gen] Money.CurrencySpec
  52. 28.39 s [really-safe-money-gen] Show Currency and Read Currency
  53. 28.39 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 16.49 ms
  54. 28.39 s [really-safe-money-gen] passed for all of 100 inputs.
  55. 28.39 s [really-safe-money-gen] Eq Currency
  56. 28.39 s [really-safe-money-gen] (==) :: Currency -> Currency -> Bool
  57. 28.39 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid Currency"s 58.94 ms
  58. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  59. 28.39 s [really-safe-money-gen] ✓ is transitive for "valid Currency"s 48.81 ms
  60. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  61. 28.39 s [really-safe-money-gen] ✓ is reflexive for "valid Currency"s 57.83 ms
  62. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  63. 28.39 s [really-safe-money-gen] ✓ is symmetric for "valid Currency"s 51.36 ms
  64. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  65. 28.39 s [really-safe-money-gen] (/=) :: Currency -> Currency -> Bool
  66. 28.39 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid Currency"s 52.01 ms
  67. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  68. 28.39 s [really-safe-money-gen] ✓ is antireflexive for "valid Currency"s 49.81 ms
  69. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  70. 28.39 s [really-safe-money-gen] Ord Currency
  71. 28.39 s [really-safe-money-gen] (>=) :: Currency -> Currency -> Bool
  72. 28.39 s [really-safe-money-gen] ✓ is antisymmetric for "valid Currency"'s 50.68 ms
  73. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  74. 28.39 s [really-safe-money-gen] ✓ is reflexive for "valid Currency"'s 44.60 ms
  75. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  76. 28.39 s [really-safe-money-gen] ✓ is transitive for "valid Currency"'s 50.78 ms
  77. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  78. 28.39 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid Currency"'s 44.19 ms
  79. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  80. 28.39 s [really-safe-money-gen] (<) :: Currency -> Currency -> Bool
  81. 28.39 s [really-safe-money-gen] ✓ is transitive for "valid Currency"'s 52.13 ms
  82. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  83. 28.39 s [really-safe-money-gen] ✓ is antireflexive for "valid Currency"'s 988.02 ms
  84. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  85. 28.39 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == LT) for "valid Currency"'s 56.67 ms
  86. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  87. 28.39 s [really-safe-money-gen] (<=) :: Currency -> Currency -> Bool
  88. 28.39 s [really-safe-money-gen] ✓ is transitive for "valid Currency"'s 57.29 ms
  89. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  90. 28.39 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid Currency"'s 509.21 ms
  91. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  92. 28.39 s [really-safe-money-gen] ✓ is antisymmetric for "valid Currency"'s 990.04 ms
  93. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  94. 28.39 s [really-safe-money-gen] ✓ is reflexive for "valid Currency"'s 49.24 ms
  95. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  96. 28.39 s [really-safe-money-gen] "min :: (Currency -> Currency -> Currency)"
  97. 28.39 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid Currency"'s 1126.35 ms
  98. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  99. 28.39 s [really-safe-money-gen] (>) :: Currency -> Currency -> Bool
  100. 28.39 s [really-safe-money-gen] ✓ is transitive for "valid Currency"'s 1113.36 ms
  101. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  102. 28.39 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == GT) for "valid Currency"'s 967.86 ms
  103. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  104. 28.39 s [really-safe-money-gen] ✓ is antireflexive for "valid Currency"'s 1107.07 ms
  105. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  106. 28.39 s [really-safe-money-gen] "max :: (Currency -> Currency -> Currency)"
  107. 28.39 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid Currency"'s 1110.53 ms
  108. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  109. 28.39 s [really-safe-money-gen] Money.QuantisationFactorSpec
  110. 28.39 s [really-safe-money-gen] digits
  111. 28.39 s [really-safe-money-gen] ✓ produces valid numbers of digits 13.66 ms
  112. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  113. 28.39 s [really-safe-money-gen] ✓ works on 20 0.01 ms
  114. 28.39 s [really-safe-money-gen] ✓ works on 10 0.00 ms
  115. 28.39 s [really-safe-money-gen] ✓ works on 1 0.00 ms
  116. 28.39 s [really-safe-money-gen] ✓ works on 100 0.00 ms
  117. 28.39 s [really-safe-money-gen] ✓ is invalid when the quantisation factor is zero 0.01 ms
  118. 28.39 s [really-safe-money-gen] DecimalLiteral
  119. 28.39 s [really-safe-money-gen] ✓ can turn quantisation factor 20 into DecimalLiteral Nothing 5 2 0.06 ms
  120. 28.39 s [really-safe-money-gen] ✓ can turn quantisation factor 10 into DecimalLiteral Nothing 1 1 0.06 ms
  121. 28.39 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 2 2 into quantisation factor 50 0.11 ms
  122. 28.39 s [really-safe-money-gen] ✓ can turn quantisation factor 50 into DecimalLiteral Nothing 2 2 0.01 ms
  123. 28.39 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 5 2 into quantisation factor 20 455.39 ms
  124. 28.39 s [really-safe-money-gen] toDecimalLiteral
  125. 28.39 s [really-safe-money-gen] ✓ roundtrips with fromDecimalLiteral 2921.21 ms
  126. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  127. 28.39 s [really-safe-money-gen] ✓ produces valid literals 2892.42 ms
  128. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  129. 28.39 s [really-safe-money-gen] fromDecimalLiteral
  130. 28.39 s [really-safe-money-gen] ✓ produces valid factors 1120.08 ms
  131. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  132. 28.39 s [really-safe-money-gen] ✓ fails on a negative literal whose reciprocal would be representable (e.g. -0.05) 0.02 ms
  133. 28.39 s [really-safe-money-gen] ✓ fails on the negative literal -1 0.00 ms
  134. 28.39 s [really-safe-money-gen] ✓ fails to render negative fractionals 687.10 ms
  135. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  136. 28.39 s [really-safe-money-gen] ✓ fails to render a 0 650.87 ms
  137. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  138. 28.39 s [really-safe-money-gen] ✓ fails to render a non-1 integer 164.34 ms
  139. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  140. 28.39 s [really-safe-money-gen] ✓ succeeds on a valid quantisation factor decimal literal (e.g. 0.05 -> QuantisationFactor 20) 0.01 ms
  141. 28.39 s [really-safe-money-gen] ✓ can turn quantisation factor 1 into DecimalLiteral Nothing 1 0 0.01 ms
  142. 28.39 s [really-safe-money-gen] ✓ can turn quantisation factor 100 into DecimalLiteral Nothing 1 2 0.00 ms
  143. 28.39 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 1 0 into quantisation factor 1 0.00 ms
  144. 28.39 s [really-safe-money-gen] ✓ can turn quantisation factor 1000 into DecimalLiteral Nothing 1 3 0.00 ms
  145. 28.39 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 1 3 into quantisation factor 1000 0.00 ms
  146. 28.39 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 1 2 into quantisation factor 100 0.00 ms
  147. 28.39 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 1 1 into quantisation factor 10 0.00 ms
  148. 28.39 s [really-safe-money-gen] GenValid QuantisationFactor
  149. 28.39 s [really-safe-money-gen] genValid :: Gen QuantisationFactor
  150. 28.39 s [really-safe-money-gen] ✓ only generates valid 'QuantisationFactor's 18.04 ms
  151. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  152. 28.39 s [really-safe-money-gen] fromWord32
  153. 28.39 s [really-safe-money-gen] ✓ produces valid quantisation factors 139.24 ms
  154. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  155. 28.39 s [really-safe-money-gen] Money.AccountSpec
  156. 28.39 s [really-safe-money-gen] sum
  157. 28.39 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 261.22 ms
  158. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  159. 28.39 s [really-safe-money-gen] ✓ produces valid amounts 164.61 ms
  160. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  161. 28.39 s [really-safe-money-gen] ✓ fails to sum above maxBound 0.01 ms
  162. 28.39 s [really-safe-money-gen] ✓ correctly sums [1,2,3] to 6 0.00 ms
  163. 28.39 s [really-safe-money-gen] ✓ fails to sum above maxBound even if the result is back below maxBound 0.00 ms
  164. 28.39 s [really-safe-money-gen] toMinimalQuantisations
  165. 28.39 s [really-safe-money-gen] ✓ produces valid accounts 14.43 ms
  166. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  167. 28.39 s [really-safe-money-gen] fromRational
  168. 28.39 s [really-safe-money-gen] ✓ roundtrips with toRational 113.14 ms
  169. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  170. 28.39 s [really-safe-money-gen] ✓ produces valid rational 137.05 ms
  171. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  172. 28.39 s [really-safe-money-gen] ✓ represents 0 with a Positive sign 39.14 ms
  173. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  174. 28.39 s [really-safe-money-gen] GenValid Account
  175. 28.39 s [really-safe-money-gen] genValid :: Gen Account
  176. 28.39 s [really-safe-money-gen] ✓ only generates valid 'Account's 24.27 ms
  177. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  178. 28.39 s [really-safe-money-gen] toRatio
  179. 28.39 s [really-safe-money-gen] ✓ produces valid Ratios when the quantisation factor is nonzero 40.51 ms
  180. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  181. 28.39 s [really-safe-money-gen] fromDouble
  182. 28.39 s [really-safe-money-gen] ✓ represents 0 with a Positive sign 24.49 ms
  183. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  184. 28.39 s [really-safe-money-gen] ✓ roundtrips with toDouble back to double 87.87 ms
  185. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  186. 28.39 s [really-safe-money-gen] ✓ produces valid rational 50.95 ms
  187. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  188. 28.39 s [really-safe-money-gen] fromMinimalQuantisations
  189. 28.39 s [really-safe-money-gen] ✓ fails for values below minBound Word64 negated 0.01 ms
  190. 28.39 s [really-safe-money-gen] ✓ fails for values exceeding maxBound Word64 0.00 ms
  191. 28.39 s [really-safe-money-gen] ✓ returns a Positive result for positive values 0.00 ms
  192. 28.39 s [really-safe-money-gen] ✓ produces valid accounts 35.82 ms
  193. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  194. 28.39 s [really-safe-money-gen] ✓ returns a Negative result for negative values 0.00 ms
  195. 28.39 s [really-safe-money-gen] ✓ roundtrips with toMinimalQuantisations 37.01 ms
  196. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  197. 28.39 s [really-safe-money-gen] ✓ returns a Positive result for 0 0.01 ms
  198. 28.39 s [really-safe-money-gen] toRational
  199. 28.39 s [really-safe-money-gen] ✓ produces valid Rationals when the quantisation factor is nonzero 77.77 ms
  200. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  201. 28.39 s [really-safe-money-gen] ✓ produces an invalid Rational with quantisation factor 0 39.50 ms
  202. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  203. 28.39 s [really-safe-money-gen] rate
  204. 28.39 s [really-safe-money-gen] ✓ computes this USD to CHF rate correctly 0.02 ms
  205. 28.39 s [really-safe-money-gen] ✓ produces valid conversion rates 154.54 ms
  206. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  207. 28.39 s [really-safe-money-gen] ✓ computes a rate that can be used to do a conversion without rounding 264.16 ms
  208. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  209. 28.39 s [really-safe-money-gen] toDouble
  210. 28.39 s [really-safe-money-gen] ✓ produces an infinite or NaN Double with quantisation factor 0 22.12 ms
  211. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  212. 28.39 s [really-safe-money-gen] ✓ produces valid Doubles when the quantisation factor is nonzero 39.22 ms
  213. 28.39 s [really-safe-money-gen] passed for all of 10000 inputs.
  214. 28.39 s [really-safe-money-gen] fraction
  215. 28.39 s [really-safe-money-gen] ✓ Produces a result that has been rounded in the right direction when using RoundDown 222.96 ms
  216. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  217. 28.40 s [really-safe-money-gen] ✓ produces valid amounts 211.28 ms
  218. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  219. 28.40 s [really-safe-money-gen] ✓ Produces a result that has been rounded in the right direction when using RoundUp 228.64 ms
  220. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  221. 28.40 s [really-safe-money-gen] ✓ Produces a result that can be multiplied back 279.65 ms
  222. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  223. 28.40 s [really-safe-money-gen] ✓ preserves the Positive sign when fractioning a positive account by zero 0.01 ms
  224. 28.40 s [really-safe-money-gen] ✓ Correctly fractions 101 with 1 % 100 0.01 ms
  225. 28.40 s [really-safe-money-gen] ✓ Correctly fractions 100 with 1 % 100 0.01 ms
  226. 28.40 s [really-safe-money-gen] add
  227. 28.40 s [really-safe-money-gen] ✓ fails for maxBound + maxBound 0.00 ms
  228. 28.40 s [really-safe-money-gen] ✓ produces valid amounts 44.27 ms
  229. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  230. 28.40 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 51.81 ms
  231. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  232. 28.40 s [really-safe-money-gen] ✓ fails for minBound + minBound 0.00 ms
  233. 28.40 s [really-safe-money-gen] ✓ fails for minBound + (-1) 0.00 ms
  234. 28.40 s [really-safe-money-gen] ✓ has a left-identity: zero 45.91 ms
  235. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  236. 28.40 s [really-safe-money-gen] ✓ fails for maxBound + 1 0.01 ms
  237. 28.40 s [really-safe-money-gen] ✓ is commutative 71.97 ms
  238. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  239. 28.40 s [really-safe-money-gen] ✓ has a right-identity: zero 33.03 ms
  240. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  241. 28.40 s [really-safe-money-gen] ✓ is associative when both succeed 79.31 ms
  242. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  243. 28.40 s [really-safe-money-gen] Show Account and Read Account
  244. 28.40 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 103.77 ms
  245. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  246. 28.40 s [really-safe-money-gen] distribute
  247. 28.40 s [really-safe-money-gen] ✓ correctly distributes 5 into 3 0.02 ms
  248. 28.40 s [really-safe-money-gen] Show (Distribution Account) and Read (Distribution Account)
  249. 28.40 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 254.91 ms
  250. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  251. 28.40 s [really-safe-money-gen] ✓ produces valid amounts 50.16 ms
  252. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  253. 28.40 s [really-safe-money-gen] Eq (Distribution Account)
  254. 28.40 s [really-safe-money-gen] (==) :: (Distribution Account) -> (Distribution Account) -> Bool
  255. 28.40 s [really-safe-money-gen] ✓ is reflexive for "valid (Distribution Account)"s 30.00 ms
  256. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  257. 28.40 s [really-safe-money-gen] ✓ is symmetric for "valid (Distribution Account)"s 40.33 ms
  258. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  259. 28.40 s [really-safe-money-gen] ✓ is transitive for "valid (Distribution Account)"s 30.53 ms
  260. 28.40 s [really-safe-money-gen] passed for all of 10000 inputs.
  261. 28.48 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (Distribution Account)"s 38.71 ms
  262. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  263. 28.48 s [really-safe-money-gen] (/=) :: (Distribution Account) -> (Distribution Account) -> Bool
  264. 28.48 s [really-safe-money-gen] ✓ is antireflexive for "valid (Distribution Account)"s 38.29 ms
  265. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  266. 28.48 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (Distribution Account)"s 47.74 ms
  267. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  268. 28.48 s [really-safe-money-gen] ✓ correctly distributes 10 into 4 0.01 ms
  269. 28.48 s [really-safe-money-gen] ✓ correctly distributes 3 into 3 0.00 ms
  270. 28.48 s [really-safe-money-gen] ✓ produces results that sum up to the greater whole 73.73 ms
  271. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  272. 28.48 s [really-safe-money-gen] abs
  273. 28.48 s [really-safe-money-gen] ✓ produces valid amounts 15.15 ms
  274. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  275. 28.48 s [really-safe-money-gen] Eq
  276. 28.48 s [really-safe-money-gen] Eq Account
  277. 28.48 s [really-safe-money-gen] (==) :: Account -> Account -> Bool
  278. 28.48 s [really-safe-money-gen] ✓ is transitive for "valid Account"s 28.26 ms
  279. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  280. 28.48 s [really-safe-money-gen] ✓ is symmetric for "valid Account"s 20.18 ms
  281. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  282. 28.48 s [really-safe-money-gen] ✓ is reflexive for "valid Account"s 12.31 ms
  283. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  284. 28.48 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid Account"s 26.05 ms
  285. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  286. 28.48 s [really-safe-money-gen] (/=) :: Account -> Account -> Bool
  287. 28.48 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid Account"s 34.91 ms
  288. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  289. 28.48 s [really-safe-money-gen] ✓ is antireflexive for "valid Account"s 23.42 ms
  290. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  291. 28.48 s [really-safe-money-gen] ✓ says negative 0 equals positive 0 0.01 ms
  292. 28.48 s [really-safe-money-gen] format
  293. 28.48 s [really-safe-money-gen] ✓ produces valid strings 159.91 ms
  294. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  295. 28.48 s [really-safe-money-gen] fractionRatio
  296. 28.48 s [really-safe-money-gen] ✓ produces valid amounts 151.30 ms
  297. 28.48 s [really-safe-money-gen] passed for all of 10000 inputs.
  298. 28.49 s [really-safe-money-gen] ✓ returns zero when the account is zero 97.23 ms
  299. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  300. 28.49 s [really-safe-money-gen] DecimalLiteral
  301. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just False) 600 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 20} 0.02 ms
  302. 28.49 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 1} into DecimalLiteral (Just True) 1 0 0.01 ms
  303. 28.49 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 100000000} into DecimalLiteral (Just True) 500 8 0.01 ms
  304. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just False) 200 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 100} 0.01 ms
  305. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 3 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 100} 0.01 ms
  306. 28.49 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 100} into DecimalLiteral (Just False) 200 2 0.01 ms
  307. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just False) 4 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 100} 0.00 ms
  308. 28.49 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 100} into DecimalLiteral (Just True) 100 2 0.01 ms
  309. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 100 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 100} 0.00 ms
  310. 28.49 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 20} into DecimalLiteral (Just True) 10 2 0.01 ms
  311. 28.49 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 20} into DecimalLiteral (Just False) 600 2 0.01 ms
  312. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 500 8 into decimalLiteral QuantisationFactor {unQuantisationFactor = 100000000} 0.01 ms
  313. 28.49 s [really-safe-money-gen] Account.toDecimalLiteral
  314. 28.49 s [really-safe-money-gen] ✓ roundtrips with Account.fromDecimalLiteral 1746.41 ms
  315. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  316. 28.49 s [really-safe-money-gen] ✓ produces valid decimal literals 1733.23 ms
  317. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  318. 28.49 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 100} into DecimalLiteral (Just False) 4 2 0.01 ms
  319. 28.49 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 1} into DecimalLiteral (Just False) 2 0 0.00 ms
  320. 28.49 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 20} into DecimalLiteral (Just False) 20 2 0.00 ms
  321. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just False) 20 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 20} 0.01 ms
  322. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just False) 2 0 into decimalLiteral QuantisationFactor {unQuantisationFactor = 1} 0.00 ms
  323. 28.49 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 100} into DecimalLiteral (Just True) 3 2 0.01 ms
  324. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 10 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 20} 0.00 ms
  325. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 1 0 into decimalLiteral QuantisationFactor {unQuantisationFactor = 1} 0.00 ms
  326. 28.49 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 20} into DecimalLiteral (Just True) 500 2 0.00 ms
  327. 28.49 s [really-safe-money-gen] Account.fromDecimalLiteral
  328. 28.49 s [really-safe-money-gen] ✓ fails on this amount that is too precise 0.00 ms
  329. 28.49 s [really-safe-money-gen] ✓ fails on this amount that is too precise 0.00 ms
  330. 28.49 s [really-safe-money-gen] ✓ produces valid factors 132.19 ms
  331. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  332. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 500 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 20} 0.01 ms
  333. 28.49 s [really-safe-money-gen] fromAmount
  334. 28.49 s [really-safe-money-gen] ✓ produces valid accounts 21.99 ms
  335. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  336. 28.49 s [really-safe-money-gen] convert
  337. 28.49 s [really-safe-money-gen] ✓ succeeds in converting 1:1 without rounding if the quantisation factor is the same 124.38 ms
  338. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  339. 28.49 s [really-safe-money-gen] ✓ converts this USD to CHF correctly 0.02 ms
  340. 28.49 s [really-safe-money-gen] ✓ produces valid amounts 390.52 ms
  341. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  342. 28.49 s [really-safe-money-gen] negate
  343. 28.49 s [really-safe-money-gen] ✓ produces valid amounts 17.54 ms
  344. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  345. 28.49 s [really-safe-money-gen] fromRatio
  346. 28.49 s [really-safe-money-gen] ✓ roundtrips with toRatio 41.69 ms
  347. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  348. 28.49 s [really-safe-money-gen] ✓ produces valid rational 116.93 ms
  349. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  350. 28.49 s [really-safe-money-gen] Ord
  351. 28.49 s [really-safe-money-gen] ✓ says -3 is smaller than 2 0.01 ms
  352. 28.49 s [really-safe-money-gen] ✓ says 4 is smaller than 5 0.00 ms
  353. 28.49 s [really-safe-money-gen] Ord Account
  354. 28.49 s [really-safe-money-gen] (<) :: Account -> Account -> Bool
  355. 28.49 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == LT) for "valid Account"'s 38.60 ms
  356. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  357. 28.49 s [really-safe-money-gen] ✓ is transitive for "valid Account"'s 28.33 ms
  358. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  359. 28.49 s [really-safe-money-gen] ✓ is antireflexive for "valid Account"'s 13.79 ms
  360. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  361. 28.49 s [really-safe-money-gen] (>) :: Account -> Account -> Bool
  362. 28.49 s [really-safe-money-gen] ✓ is antireflexive for "valid Account"'s 15.97 ms
  363. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  364. 28.49 s [really-safe-money-gen] ✓ is transitive for "valid Account"'s 19.97 ms
  365. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  366. 28.49 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == GT) for "valid Account"'s 33.79 ms
  367. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  368. 28.49 s [really-safe-money-gen] "max :: (Account -> Account -> Account)"
  369. 28.49 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid Account"'s 44.47 ms
  370. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  371. 28.49 s [really-safe-money-gen] (<=) :: Account -> Account -> Bool
  372. 28.49 s [really-safe-money-gen] ✓ is reflexive for "valid Account"'s 26.43 ms
  373. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  374. 28.49 s [really-safe-money-gen] ✓ is transitive for "valid Account"'s 28.41 ms
  375. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  376. 28.49 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid Account"'s 32.29 ms
  377. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  378. 28.49 s [really-safe-money-gen] ✓ is antisymmetric for "valid Account"'s 23.38 ms
  379. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  380. 28.49 s [really-safe-money-gen] (>=) :: Account -> Account -> Bool
  381. 28.49 s [really-safe-money-gen] ✓ is reflexive for "valid Account"'s 22.36 ms
  382. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  383. 28.49 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid Account"'s 44.11 ms
  384. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  385. 28.49 s [really-safe-money-gen] ✓ is antisymmetric for "valid Account"'s 27.57 ms
  386. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  387. 28.49 s [really-safe-money-gen] ✓ is transitive for "valid Account"'s 29.74 ms
  388. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  389. 28.49 s [really-safe-money-gen] "min :: (Account -> Account -> Account)"
  390. 28.49 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid Account"'s 39.95 ms
  391. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  392. 28.49 s [really-safe-money-gen] ✓ says -6 is greater than -7 0.00 ms
  393. 28.49 s [really-safe-money-gen] multiply
  394. 28.49 s [really-safe-money-gen] ✓ succeeds for 3 * 6 0.01 ms
  395. 28.49 s [really-safe-money-gen] ✓ produces valid amounts 36.68 ms
  396. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  397. 28.49 s [really-safe-money-gen] ✓ is absorbed by 0 23.46 ms
  398. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  399. 28.49 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 46.60 ms
  400. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  401. 28.49 s [really-safe-money-gen] ✓ is distributive with add when both succeed 70.24 ms
  402. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  403. 28.49 s [really-safe-money-gen] ✓ fails for 2 * maxbound 0.01 ms
  404. 28.49 s [really-safe-money-gen] ✓ fails for 3 * minBound 0.00 ms
  405. 28.49 s [really-safe-money-gen] ✓ has an identity: 1 33.92 ms
  406. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  407. 28.49 s [really-safe-money-gen] subtract
  408. 28.49 s [really-safe-money-gen] ✓ fails for maxBound - minBound 0.01 ms
  409. 28.49 s [really-safe-money-gen] ✓ fails for minBound - 1 0.00 ms
  410. 28.49 s [really-safe-money-gen] ✓ fails for minBound - maxBound 0.00 ms
  411. 28.49 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 49.72 ms
  412. 28.49 s [really-safe-money-gen] passed for all of 10000 inputs.
  413. 28.49 s [really-safe-money-gen] Numeric.DecimalLiteralSpec
  414. 28.49 s [really-safe-money-gen] DecimalLiteral.fromString
  415. 28.49 s [really-safe-money-gen] ✓ parses a decimal number with a fractional part 0.23 ms
  416. 28.49 s [really-safe-money-gen] ✓ can parse any rendered decimal literal 9.46 ms
  417. 28.49 s [really-safe-money-gen] passed for all of 100 inputs.
  418. 28.49 s [really-safe-money-gen] ✓ parses an integer followed by non-digit characters (stops at the non-digit) 0.05 ms
  419. 28.49 s [really-safe-money-gen] ✓ fails to parse scientific notation 0.00 ms
  420. 28.49 s [really-safe-money-gen] IsString
  421. 28.49 s [really-safe-money-gen] ✓ parses a valid literal via OverloadedStrings 0.02 ms
  422. 28.49 s [really-safe-money-gen] ✓ throws an informative error for an invalid string literal 0.02 ms
  423. 28.49 s [really-safe-money-gen] toString
  424. 28.49 s [really-safe-money-gen] ✓ can render any decimal literal 1.51 ms
  425. 28.49 s [really-safe-money-gen] passed for all of 100 inputs.
  426. 28.49 s [really-safe-money-gen] Ratio
  427. 28.49 s [really-safe-money-gen] fromRatio
  428. 28.49 s [really-safe-money-gen] ✓ renders to valid decimal literals 20.10 ms
  429. 28.49 s [really-safe-money-gen] passed for all of 100 inputs.
  430. 28.49 s [really-safe-money-gen] ✓ fails at the 256-digit limit (1 / 2^256 needs 256 fractional digits) 0.16 ms
  431. 28.49 s [really-safe-money-gen] ✓ can parse any rendered rational 8.16 ms
  432. 28.49 s [really-safe-money-gen] passed for all of 100 inputs.
  433. 28.49 s [really-safe-money-gen] toRatio
  434. 28.49 s [really-safe-money-gen] ✓ renders to valid rationals 0.50 ms
  435. 28.49 s [really-safe-money-gen] passed for all of 100 inputs.
  436. 28.49 s [really-safe-money-gen] ✓ gives 1 % 10 for DecimalLiteral Nothing 1 1 0.00 ms
  437. 28.49 s [really-safe-money-gen] ✓ gives Nothing for a negative literal 0.00 ms
  438. 28.49 s [really-safe-money-gen] Rational
  439. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just False) 1 3 into rational (-1) % 1000 0.00 ms
  440. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just False) 300 5 into rational (-3) % 1000 0.00 ms
  441. 28.49 s [really-safe-money-gen] fromRational
  442. 28.49 s [really-safe-money-gen] ✓ renders -3 with a negative sign 0.00 ms
  443. 28.49 s [really-safe-money-gen] ✓ can parse any rendered rational 9.18 ms
  444. 28.49 s [really-safe-money-gen] passed for all of 100 inputs.
  445. 28.49 s [really-safe-money-gen] ✓ renders to valid decimal literals 27.35 ms
  446. 28.49 s [really-safe-money-gen] passed for all of 100 inputs.
  447. 28.49 s [really-safe-money-gen] ✓ renders -1 with a negative sign 0.01 ms
  448. 28.49 s [really-safe-money-gen] ✓ renders 0 as a non-negative literal 0.00 ms
  449. 28.49 s [really-safe-money-gen] ✓ can turn rational (-1) % 1000 into DecimalLiteral (Just False) 1 3 0.00 ms
  450. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just False) 8 1 into rational (-4) % 5 0.00 ms
  451. 28.49 s [really-safe-money-gen] ✓ can turn rational (-6) % 1 into DecimalLiteral (Just False) 6 0 0.00 ms
  452. 28.49 s [really-safe-money-gen] ✓ can turn rational 240009 % 20000 into DecimalLiteral Nothing 1200045 5 0.00 ms
  453. 28.49 s [really-safe-money-gen] ✓ can turn rational 2 % 1 into DecimalLiteral Nothing 2 0 0.00 ms
  454. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 10 0 into rational 10 % 1 0.00 ms
  455. 28.49 s [really-safe-money-gen] ✓ can turn rational (-3) % 1 into DecimalLiteral (Just False) 3 0 0.00 ms
  456. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 9 2 into rational 9 % 100 0.00 ms
  457. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 2 0 into rational 2 % 1 0.00 ms
  458. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 20 4 into rational 1 % 500 0.00 ms
  459. 28.49 s [really-safe-money-gen] ✓ can turn rational 1 % 500 into DecimalLiteral Nothing 2 3 0.00 ms
  460. 28.49 s [really-safe-money-gen] ✓ can turn rational 7 % 1 into DecimalLiteral Nothing 7 0 0.00 ms
  461. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 50 1 into rational 5 % 1 0.00 ms
  462. 28.49 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 1 0 into rational 1 % 1 0.00 ms
  463. 28.49 s [really-safe-money-gen] ✓ can turn rational 5 % 1 into DecimalLiteral Nothing 5 0 0.00 ms
  464. 28.49 s [really-safe-money-gen] ✓ can turn rational 1 % 1 into DecimalLiteral Nothing 1 0 0.00 ms
  465. 28.49 s [really-safe-money-gen] ✓ can turn rational 9 % 100 into DecimalLiteral Nothing 9 2 0.00 ms
  466. 28.50 s [really-safe-money-gen] toRational
  467. 28.50 s [really-safe-money-gen] ✓ renders to valid rationals 2.69 ms
  468. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  469. 28.50 s [really-safe-money-gen] ✓ can turn rational 10 % 1 into DecimalLiteral Nothing 10 0 0.01 ms
  470. 28.50 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 400 0 into rational 400 % 1 0.00 ms
  471. 28.50 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 1200045 5 into rational 240009 % 20000 0.00 ms
  472. 28.50 s [really-safe-money-gen] ✓ can turn DecimalLiteral Nothing 7000 3 into rational 7 % 1 0.00 ms
  473. 28.50 s [really-safe-money-gen] ✓ can turn rational 400 % 1 into DecimalLiteral Nothing 400 0 0.00 ms
  474. 28.50 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just False) 600 2 into rational (-6) % 1 0.00 ms
  475. 28.50 s [really-safe-money-gen] ✓ can turn rational (-3) % 1000 into DecimalLiteral (Just False) 3 3 0.00 ms
  476. 28.50 s [really-safe-money-gen] ✓ can turn rational (-4) % 5 into DecimalLiteral (Just False) 8 1 0.00 ms
  477. 28.50 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just False) 3 0 into rational (-3) % 1 0.01 ms
  478. 28.50 s [really-safe-money-gen] DecimalLiteral.fromStringM
  479. 28.50 s [really-safe-money-gen] ✓ fails when fromString fails 0.04 ms
  480. 28.50 s [really-safe-money-gen] ✓ succeeds when fromString succeeds 0.01 ms
  481. 28.50 s [really-safe-money-gen] ✓ does the same as DecimalLiteral.fromString 0.25 ms
  482. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  483. 28.50 s [really-safe-money-gen] GenValid DecimalLiteral
  484. 28.50 s [really-safe-money-gen] genValid :: Gen DecimalLiteral
  485. 28.50 s [really-safe-money-gen] ✓ only generates valid 'DecimalLiteral's 0.17 ms
  486. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  487. 28.50 s [really-safe-money-gen] setSignRequired
  488. 28.50 s [really-safe-money-gen] ✓ does not change an existing positive sign 0.00 ms
  489. 28.50 s [really-safe-money-gen] ✓ turns a Nothing sign into Just True (positive) 0.00 ms
  490. 28.50 s [really-safe-money-gen] ✓ produces valid values 0.17 ms
  491. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  492. 28.50 s [really-safe-money-gen] ✓ does not change an existing negative sign 0.00 ms
  493. 28.50 s [really-safe-money-gen] examples
  494. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral Nothing 1200045 5 0.00 ms
  495. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral Nothing 9 2 0.00 ms
  496. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral Nothing 300 5 0.00 ms
  497. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral Nothing 8 1 0.00 ms
  498. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral Nothing 20 4 0.00 ms
  499. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral Nothing 1 0 0.00 ms
  500. 28.50 s [really-safe-money-gen] ✓ can parse "5.0" 0.00 ms
  501. 28.50 s [really-safe-money-gen] ✓ can parse "6.00" 0.00 ms
  502. 28.50 s [really-safe-money-gen] ✓ can parse "12.00045" 0.00 ms
  503. 28.50 s [really-safe-money-gen] ✓ can parse "0.00300" 0.00 ms
  504. 28.50 s [really-safe-money-gen] ✓ can parse "1" 0.00 ms
  505. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral Nothing 400 0 0.00 ms
  506. 28.50 s [really-safe-money-gen] ✓ can parse "7.000" 0.00 ms
  507. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral (Just False) 3 0 0.00 ms
  508. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral Nothing 600 2 0.00 ms
  509. 28.50 s [really-safe-money-gen] ✓ can parse "-3" 0.00 ms
  510. 28.50 s [really-safe-money-gen] ✓ can parse "0.001" 0.00 ms
  511. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral (Just True) 2 0 0.00 ms
  512. 28.50 s [really-safe-money-gen] ✓ can parse "0.09" 0.00 ms
  513. 28.50 s [really-safe-money-gen] ✓ can parse "0.0020" 0.14 ms
  514. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral Nothing 7000 3 0.01 ms
  515. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral Nothing 1 3 0.00 ms
  516. 28.50 s [really-safe-money-gen] ✓ can parse "400" 0.01 ms
  517. 28.50 s [really-safe-money-gen] ✓ can parse "0.8" 0.00 ms
  518. 28.50 s [really-safe-money-gen] ✓ can parse "+2" 0.00 ms
  519. 28.50 s [really-safe-money-gen] ✓ can render DecimalLiteral Nothing 50 1 0.00 ms
  520. 28.50 s [really-safe-money-gen] setSignOptional
  521. 28.50 s [really-safe-money-gen] ✓ produces valid values 0.21 ms
  522. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  523. 28.50 s [really-safe-money-gen] Natural
  524. 28.50 s [really-safe-money-gen] toNatural
  525. 28.50 s [really-safe-money-gen] ✓ renders to valid naturals 0.18 ms
  526. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  527. 28.50 s [really-safe-money-gen] fromNatural
  528. 28.50 s [really-safe-money-gen] ✓ renders to valid decimal literals 0.21 ms
  529. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  530. 28.50 s [really-safe-money-gen] ✓ can parse any rendered literal 0.19 ms
  531. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  532. 28.50 s [really-safe-money-gen] digits
  533. 28.50 s [really-safe-money-gen] ✓ produces valid numbers of digits 0.21 ms
  534. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  535. 28.50 s [really-safe-money-gen] Int
  536. 28.50 s [really-safe-money-gen] toInt
  537. 28.50 s [really-safe-money-gen] ✓ fails on a value exceeding maxBound Int 0.05 ms
  538. 28.50 s [really-safe-money-gen] ✓ renders to valid words 0.36 ms
  539. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  540. 28.50 s [really-safe-money-gen] ✓ succeeds on minBound Int 0.03 ms
  541. 28.50 s [really-safe-money-gen] ✓ fails on a value below minBound Int 0.00 ms
  542. 28.50 s [really-safe-money-gen] ✓ succeeds on maxBound Int 0.00 ms
  543. 28.50 s [really-safe-money-gen] fromInt
  544. 28.50 s [really-safe-money-gen] ✓ renders to valid decimal literals 7.07 ms
  545. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  546. 28.50 s [really-safe-money-gen] ✓ can parse any rendered literal 0.15 ms
  547. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  548. 28.50 s [really-safe-money-gen] Integer
  549. 28.50 s [really-safe-money-gen] fromInteger
  550. 28.50 s [really-safe-money-gen] ✓ represents positive integers with no sign 0.00 ms
  551. 28.50 s [really-safe-money-gen] ✓ represents negative integers with Just False sign 0.00 ms
  552. 28.50 s [really-safe-money-gen] ✓ renders to valid decimal literals 0.14 ms
  553. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  554. 28.50 s [really-safe-money-gen] ✓ represents 0 without a negative sign 0.00 ms
  555. 28.50 s [really-safe-money-gen] ✓ can parse any rendered literal 0.18 ms
  556. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  557. 28.50 s [really-safe-money-gen] toInteger
  558. 28.50 s [really-safe-money-gen] ✓ renders to valid words 0.15 ms
  559. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  560. 28.50 s [really-safe-money-gen] Word
  561. 28.50 s [really-safe-money-gen] toWord
  562. 28.50 s [really-safe-money-gen] ✓ fails on a value exceeding maxBound Word 0.00 ms
  563. 28.50 s [really-safe-money-gen] ✓ renders to valid words 0.16 ms
  564. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  565. 28.50 s [really-safe-money-gen] ✓ succeeds on maxBound Word 0.00 ms
  566. 28.50 s [really-safe-money-gen] fromWord
  567. 28.50 s [really-safe-money-gen] ✓ can parse any rendered literal 0.12 ms
  568. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  569. 28.50 s [really-safe-money-gen] ✓ renders to valid decimal literals 0.11 ms
  570. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  571. 28.50 s [really-safe-money-gen] setMinimumDigits
  572. 28.50 s [really-safe-money-gen] ✓ produces valid literals 0.60 ms
  573. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  574. 28.50 s [really-safe-money-gen] ✓ produces values with more than the given number of digits 0.98 ms
  575. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  576. 28.50 s [really-safe-money-gen] ✓ does not change the value of the literal 5.80 ms
  577. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  578. 28.50 s [really-safe-money-gen] Money.AmountOfSpec
  579. 28.50 s [really-safe-money-gen] INR
  580. 28.50 s [really-safe-money-gen] fromDecimalLiteral
  581. 28.50 s [really-safe-money-gen] ✓ produces valid amounts 5.51 ms
  582. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  583. 28.50 s [really-safe-money-gen] ✓ parses the integer literal 1 as one whole unit 0.02 ms
  584. 28.50 s [really-safe-money-gen] GenValid (AmountOf * INR)
  585. 28.50 s [really-safe-money-gen] genValid :: Gen (AmountOf * INR)
  586. 28.50 s [really-safe-money-gen] ✓ only generates valid '(AmountOf * INR)'s 0.11 ms
  587. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  588. 28.50 s [really-safe-money-gen] fromMinimalQuantisations
  589. 28.50 s [really-safe-money-gen] ✓ produces valid amounts 0.10 ms
  590. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  591. 28.50 s [really-safe-money-gen] INR
  592. 28.50 s [really-safe-money-gen] convert
  593. 28.50 s [really-safe-money-gen] ✓ produces valid amounts 6.51 ms
  594. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  595. 28.50 s [really-safe-money-gen] rate
  596. 28.50 s [really-safe-money-gen] ✓ produces valid amounts 0.81 ms
  597. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  598. 28.50 s [really-safe-money-gen] add
  599. 28.50 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.25 ms
  600. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  601. 28.50 s [really-safe-money-gen] ✓ has a right-identity: zero 0.19 ms
  602. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  603. 28.50 s [really-safe-money-gen] ✓ produces valid amounts 0.16 ms
  604. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  605. 28.50 s [really-safe-money-gen] ✓ is associative when both succeed 3.67 ms
  606. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  607. 28.50 s [really-safe-money-gen] ✓ has a left-identity: zero 0.17 ms
  608. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  609. 28.50 s [really-safe-money-gen] ✓ is commutative 0.20 ms
  610. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  611. 28.50 s [really-safe-money-gen] subtract
  612. 28.50 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.65 ms
  613. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  614. 28.50 s [really-safe-money-gen] format
  615. 28.50 s [really-safe-money-gen] ✓ produces valid strings 1.10 ms
  616. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  617. 28.50 s [really-safe-money-gen] toRatio
  618. 28.50 s [really-safe-money-gen] ✓ produces valid Rationals when the quantisation factor is nonzero 0.40 ms
  619. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  620. 28.50 s [really-safe-money-gen] multiply
  621. 28.50 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.45 ms
  622. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  623. 28.50 s [really-safe-money-gen] ✓ produces valid amounts 0.17 ms
  624. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  625. 28.50 s [really-safe-money-gen] ✓ is distributive with add when both succeed 0.25 ms
  626. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  627. 28.50 s [really-safe-money-gen] ✓ is absorbed by 0 0.14 ms
  628. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  629. 28.50 s [really-safe-money-gen] ✓ has an identity: 1 2.04 ms
  630. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  631. 28.50 s [really-safe-money-gen] fraction
  632. 28.50 s [really-safe-money-gen] ✓ produces valid amounts 3.89 ms
  633. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  634. 28.50 s [really-safe-money-gen] USD
  635. 28.50 s [really-safe-money-gen] rate
  636. 28.50 s [really-safe-money-gen] ✓ produces valid amounts 2.60 ms
  637. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  638. 28.50 s [really-safe-money-gen] convert
  639. 28.50 s [really-safe-money-gen] ✓ produces valid amounts 2.43 ms
  640. 28.50 s [really-safe-money-gen] passed for all of 100 inputs.
  641. 28.50 s [really-safe-money-gen] BTC
  642. 28.50 s [really-safe-money-gen] convert
  643. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 3.21 ms
  644. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  645. 28.51 s [really-safe-money-gen] rate
  646. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 0.72 ms
  647. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  648. 28.51 s [really-safe-money-gen] fromDouble
  649. 28.51 s [really-safe-money-gen] ✓ fails on NaN 0.04 ms
  650. 28.51 s [really-safe-money-gen] ✓ succeeds on 1 0.01 ms
  651. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 0.16 ms
  652. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  653. 28.51 s [really-safe-money-gen] ✓ fails on -Infinity 0.01 ms
  654. 28.51 s [really-safe-money-gen] ✓ succeeds on 0 0.00 ms
  655. 28.51 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  656. 28.51 s [really-safe-money-gen] ✓ fails on -1 0.00 ms
  657. 28.51 s [really-safe-money-gen] Ord (AmountOf * INR)
  658. 28.51 s [really-safe-money-gen] "min :: (AmountOf * INR -> AmountOf * INR -> AmountOf * INR)"
  659. 28.51 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid (AmountOf * INR)"'s 0.14 ms
  660. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  661. 28.51 s [really-safe-money-gen] (<=) :: (AmountOf * INR) -> (AmountOf * INR) -> Bool
  662. 28.51 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * INR)"'s 0.17 ms
  663. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  664. 28.51 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid (AmountOf * INR)"'s 0.13 ms
  665. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  666. 28.51 s [really-safe-money-gen] ✓ is antisymmetric for "valid (AmountOf * INR)"'s 0.17 ms
  667. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  668. 28.51 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * INR)"'s 0.16 ms
  669. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  670. 28.51 s [really-safe-money-gen] (>=) :: (AmountOf * INR) -> (AmountOf * INR) -> Bool
  671. 28.51 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid (AmountOf * INR)"'s 0.26 ms
  672. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  673. 28.51 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * INR)"'s 0.20 ms
  674. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  675. 28.51 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * INR)"'s 0.16 ms
  676. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  677. 28.51 s [really-safe-money-gen] ✓ is antisymmetric for "valid (AmountOf * INR)"'s 0.19 ms
  678. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  679. 28.51 s [really-safe-money-gen] (>) :: (AmountOf * INR) -> (AmountOf * INR) -> Bool
  680. 28.51 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * INR)"'s 0.18 ms
  681. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  682. 28.51 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * INR)"'s 0.23 ms
  683. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  684. 28.51 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == GT) for "valid (AmountOf * INR)"'s 0.22 ms
  685. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  686. 28.51 s [really-safe-money-gen] "max :: (AmountOf * INR -> AmountOf * INR -> AmountOf * INR)"
  687. 28.51 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid (AmountOf * INR)"'s 0.20 ms
  688. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  689. 28.51 s [really-safe-money-gen] (<) :: (AmountOf * INR) -> (AmountOf * INR) -> Bool
  690. 28.51 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == LT) for "valid (AmountOf * INR)"'s 0.22 ms
  691. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  692. 28.51 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * INR)"'s 0.18 ms
  693. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  694. 28.51 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * INR)"'s 0.17 ms
  695. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  696. 28.51 s [really-safe-money-gen] zero
  697. 28.51 s [really-safe-money-gen] ✓ is valid 0.00 ms
  698. 28.51 s [really-safe-money-gen] fromRational
  699. 28.51 s [really-safe-money-gen] ✓ succeeds on 1 5.07 ms
  700. 28.51 s [really-safe-money-gen] ✓ fails on +Infinity 0.63 ms
  701. 28.51 s [really-safe-money-gen] ✓ succeeds on 0 5.00 ms
  702. 28.51 s [really-safe-money-gen] ✓ produces valid Amounts 5.63 ms
  703. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  704. 28.51 s [really-safe-money-gen] ✓ fails on -Infinity 0.53 ms
  705. 28.51 s [really-safe-money-gen] ✓ roundtrips with toRational 5.22 ms
  706. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  707. 28.51 s [really-safe-money-gen] ✓ fails on -1 0.00 ms
  708. 28.51 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  709. 28.51 s [really-safe-money-gen] toDouble
  710. 28.51 s [really-safe-money-gen] ✓ produces valid Doubles 5.64 ms
  711. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  712. 28.51 s [really-safe-money-gen] toMinimalQuantisations
  713. 28.51 s [really-safe-money-gen] ✓ roundtrips with fromMinimalQuantisations 0.09 ms
  714. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  715. 28.51 s [really-safe-money-gen] ✓ produces valid Int64s 0.09 ms
  716. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  717. 28.51 s [really-safe-money-gen] sum
  718. 28.51 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 9.04 ms
  719. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  720. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 5.36 ms
  721. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  722. 28.51 s [really-safe-money-gen] toDecimalLiteral
  723. 28.51 s [really-safe-money-gen] ✓ produces valid decimal literals 3.85 ms
  724. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  725. 28.51 s [really-safe-money-gen] ✓ roundtrips an amount through its decimal literal 3.61 ms
  726. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  727. 28.51 s [really-safe-money-gen] Show (AmountOf * INR) and Read (AmountOf * INR)
  728. 28.51 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 1.37 ms
  729. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  730. 28.51 s [really-safe-money-gen] ADA
  731. 28.51 s [really-safe-money-gen] rate
  732. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 0.85 ms
  733. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  734. 28.51 s [really-safe-money-gen] convert
  735. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 1.04 ms
  736. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  737. 28.51 s [really-safe-money-gen] Eq (AmountOf * INR)
  738. 28.51 s [really-safe-money-gen] (==) :: (AmountOf * INR) -> (AmountOf * INR) -> Bool
  739. 28.51 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (AmountOf * INR)"s 0.24 ms
  740. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  741. 28.51 s [really-safe-money-gen] ✓ is symmetric for "valid (AmountOf * INR)"s 0.18 ms
  742. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  743. 28.51 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * INR)"s 0.16 ms
  744. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  745. 28.51 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * INR)"s 0.17 ms
  746. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  747. 28.51 s [really-safe-money-gen] (/=) :: (AmountOf * INR) -> (AmountOf * INR) -> Bool
  748. 28.51 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * INR)"s 0.08 ms
  749. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  750. 28.51 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (AmountOf * INR)"s 0.14 ms
  751. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  752. 28.51 s [really-safe-money-gen] toRational
  753. 28.51 s [really-safe-money-gen] ✓ produces valid Rationals 0.51 ms
  754. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  755. 28.51 s [really-safe-money-gen] fromRatio
  756. 28.51 s [really-safe-money-gen] ✓ produces valid AmountOfs 2.10 ms
  757. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  758. 28.51 s [really-safe-money-gen] ✓ succeeds on 77 0.59 ms
  759. 28.51 s [really-safe-money-gen] ✓ fails on 7.123 0.19 ms
  760. 28.51 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  761. 28.51 s [really-safe-money-gen] ✓ succeeds on 0 0.08 ms
  762. 28.51 s [really-safe-money-gen] ✓ roundtrips with toRatio 0.31 ms
  763. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  764. 28.51 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  765. 28.51 s [really-safe-money-gen] ✓ succeeds on 1 0.00 ms
  766. 28.51 s [really-safe-money-gen] distribute
  767. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 0.79 ms
  768. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  769. 28.51 s [really-safe-money-gen] Show (Distribution (AmountOf * INR)) and Read (Distribution (AmountOf * INR))
  770. 28.51 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 1.93 ms
  771. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  772. 28.51 s [really-safe-money-gen] ✓ produces results that sum up to the greater whole 0.79 ms
  773. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  774. 28.51 s [really-safe-money-gen] Eq (Distribution (AmountOf * INR))
  775. 28.51 s [really-safe-money-gen] (==) :: (Distribution (AmountOf * INR)) -> (Distribution (AmountOf * INR)) -> Bool
  776. 28.51 s [really-safe-money-gen] ✓ is transitive for "valid (Distribution (AmountOf * INR))"s 0.25 ms
  777. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  778. 28.51 s [really-safe-money-gen] ✓ is symmetric for "valid (Distribution (AmountOf * INR))"s 1.13 ms
  779. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  780. 28.51 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (Distribution (AmountOf * INR))"s 0.39 ms
  781. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  782. 28.51 s [really-safe-money-gen] ✓ is reflexive for "valid (Distribution (AmountOf * INR))"s 0.19 ms
  783. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  784. 28.51 s [really-safe-money-gen] (/=) :: (Distribution (AmountOf * INR)) -> (Distribution (AmountOf * INR)) -> Bool
  785. 28.51 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (Distribution (AmountOf * INR))"s 0.18 ms
  786. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  787. 28.51 s [really-safe-money-gen] ✓ is antireflexive for "valid (Distribution (AmountOf * INR))"s 0.11 ms
  788. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  789. 28.51 s [really-safe-money-gen] CHF
  790. 28.51 s [really-safe-money-gen] rate
  791. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 0.52 ms
  792. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  793. 28.51 s [really-safe-money-gen] convert
  794. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 1.58 ms
  795. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  796. 28.51 s [really-safe-money-gen] ADA
  797. 28.51 s [really-safe-money-gen] toRatio
  798. 28.51 s [really-safe-money-gen] ✓ produces valid Rationals when the quantisation factor is nonzero 0.24 ms
  799. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  800. 28.51 s [really-safe-money-gen] USD
  801. 28.51 s [really-safe-money-gen] rate
  802. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 1.10 ms
  803. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  804. 28.51 s [really-safe-money-gen] convert
  805. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 2.77 ms
  806. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  807. 28.51 s [really-safe-money-gen] toRational
  808. 28.51 s [really-safe-money-gen] ✓ produces valid Rationals 0.58 ms
  809. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  810. 28.51 s [really-safe-money-gen] subtract
  811. 28.51 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.52 ms
  812. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  813. 28.51 s [really-safe-money-gen] multiply
  814. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 0.47 ms
  815. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  816. 28.51 s [really-safe-money-gen] ✓ has an identity: 1 0.33 ms
  817. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  818. 28.51 s [really-safe-money-gen] ✓ is distributive with add when both succeed 0.24 ms
  819. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  820. 28.51 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.30 ms
  821. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  822. 28.51 s [really-safe-money-gen] ✓ is absorbed by 0 0.25 ms
  823. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  824. 28.51 s [really-safe-money-gen] format
  825. 28.51 s [really-safe-money-gen] ✓ produces valid strings 1.51 ms
  826. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  827. 28.51 s [really-safe-money-gen] toDecimalLiteral
  828. 28.51 s [really-safe-money-gen] ✓ produces valid decimal literals 0.49 ms
  829. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  830. 28.51 s [really-safe-money-gen] ✓ roundtrips an amount through its decimal literal 1.51 ms
  831. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  832. 28.51 s [really-safe-money-gen] add
  833. 28.51 s [really-safe-money-gen] ✓ produces valid amounts 0.29 ms
  834. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  835. 28.51 s [really-safe-money-gen] ✓ has a left-identity: zero 0.25 ms
  836. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  837. 28.51 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.36 ms
  838. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  839. 28.51 s [really-safe-money-gen] ✓ has a right-identity: zero 0.17 ms
  840. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  841. 28.51 s [really-safe-money-gen] ✓ is commutative 0.35 ms
  842. 28.51 s [really-safe-money-gen] passed for all of 100 inputs.
  843. 28.52 s [really-safe-money-gen] ✓ is associative when both succeed 0.45 ms
  844. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  845. 28.52 s [really-safe-money-gen] fromDouble
  846. 28.52 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  847. 28.52 s [really-safe-money-gen] ✓ fails on -1 0.00 ms
  848. 28.52 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  849. 28.52 s [really-safe-money-gen] ✓ fails on -Infinity 0.00 ms
  850. 28.52 s [really-safe-money-gen] ✓ succeeds on 1 0.01 ms
  851. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 0.34 ms
  852. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  853. 28.52 s [really-safe-money-gen] ✓ succeeds on 0 0.00 ms
  854. 28.52 s [really-safe-money-gen] INR
  855. 28.52 s [really-safe-money-gen] rate
  856. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 0.53 ms
  857. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  858. 28.52 s [really-safe-money-gen] convert
  859. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 1.27 ms
  860. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  861. 28.52 s [really-safe-money-gen] toMinimalQuantisations
  862. 28.52 s [really-safe-money-gen] ✓ roundtrips with fromMinimalQuantisations 0.18 ms
  863. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  864. 28.52 s [really-safe-money-gen] ✓ produces valid Int64s 0.16 ms
  865. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  866. 28.52 s [really-safe-money-gen] Eq (AmountOf * ADA)
  867. 28.52 s [really-safe-money-gen] (/=) :: (AmountOf * ADA) -> (AmountOf * ADA) -> Bool
  868. 28.52 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (AmountOf * ADA)"s 0.25 ms
  869. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  870. 28.52 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * ADA)"s 0.14 ms
  871. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  872. 28.52 s [really-safe-money-gen] (==) :: (AmountOf * ADA) -> (AmountOf * ADA) -> Bool
  873. 28.52 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (AmountOf * ADA)"s 0.24 ms
  874. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  875. 28.52 s [really-safe-money-gen] ✓ is symmetric for "valid (AmountOf * ADA)"s 0.23 ms
  876. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  877. 28.52 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * ADA)"s 0.12 ms
  878. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  879. 28.52 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * ADA)"s 0.21 ms
  880. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  881. 28.52 s [really-safe-money-gen] CHF
  882. 28.52 s [really-safe-money-gen] convert
  883. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 1.83 ms
  884. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  885. 28.52 s [really-safe-money-gen] rate
  886. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 0.75 ms
  887. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  888. 28.52 s [really-safe-money-gen] fromRational
  889. 28.52 s [really-safe-money-gen] ✓ succeeds on 1 0.01 ms
  890. 28.52 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  891. 28.52 s [really-safe-money-gen] ✓ fails on -1 0.00 ms
  892. 28.52 s [really-safe-money-gen] ✓ fails on -Infinity 0.00 ms
  893. 28.52 s [really-safe-money-gen] ✓ roundtrips with toRational 0.69 ms
  894. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  895. 28.52 s [really-safe-money-gen] ✓ produces valid Amounts 0.79 ms
  896. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  897. 28.52 s [really-safe-money-gen] ✓ succeeds on 0 0.01 ms
  898. 28.52 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  899. 28.52 s [really-safe-money-gen] sum
  900. 28.52 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 1.09 ms
  901. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  902. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 1.39 ms
  903. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  904. 28.52 s [really-safe-money-gen] ADA
  905. 28.52 s [really-safe-money-gen] rate
  906. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 0.65 ms
  907. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  908. 28.52 s [really-safe-money-gen] convert
  909. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 1.32 ms
  910. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  911. 28.52 s [really-safe-money-gen] BTC
  912. 28.52 s [really-safe-money-gen] convert
  913. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 1.37 ms
  914. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  915. 28.52 s [really-safe-money-gen] rate
  916. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 0.88 ms
  917. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  918. 28.52 s [really-safe-money-gen] fromRatio
  919. 28.52 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  920. 28.52 s [really-safe-money-gen] ✓ succeeds on 0 0.01 ms
  921. 28.52 s [really-safe-money-gen] ✓ fails on 7.123 0.00 ms
  922. 28.52 s [really-safe-money-gen] ✓ succeeds on 1 0.00 ms
  923. 28.52 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  924. 28.52 s [really-safe-money-gen] ✓ succeeds on 77 0.00 ms
  925. 28.52 s [really-safe-money-gen] ✓ roundtrips with toRatio 0.60 ms
  926. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  927. 28.52 s [really-safe-money-gen] ✓ produces valid AmountOfs 0.57 ms
  928. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  929. 28.52 s [really-safe-money-gen] Ord (AmountOf * ADA)
  930. 28.52 s [really-safe-money-gen] "min :: (AmountOf * ADA -> AmountOf * ADA -> AmountOf * ADA)"
  931. 28.52 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid (AmountOf * ADA)"'s 0.14 ms
  932. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  933. 28.52 s [really-safe-money-gen] "max :: (AmountOf * ADA -> AmountOf * ADA -> AmountOf * ADA)"
  934. 28.52 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid (AmountOf * ADA)"'s 0.19 ms
  935. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  936. 28.52 s [really-safe-money-gen] (>) :: (AmountOf * ADA) -> (AmountOf * ADA) -> Bool
  937. 28.52 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * ADA)"'s 0.17 ms
  938. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  939. 28.52 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * ADA)"'s 0.23 ms
  940. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  941. 28.52 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == GT) for "valid (AmountOf * ADA)"'s 0.14 ms
  942. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  943. 28.52 s [really-safe-money-gen] (>=) :: (AmountOf * ADA) -> (AmountOf * ADA) -> Bool
  944. 28.52 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid (AmountOf * ADA)"'s 0.13 ms
  945. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  946. 28.52 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * ADA)"'s 0.10 ms
  947. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  948. 28.52 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * ADA)"'s 0.16 ms
  949. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  950. 28.52 s [really-safe-money-gen] ✓ is antisymmetric for "valid (AmountOf * ADA)"'s 0.15 ms
  951. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  952. 28.52 s [really-safe-money-gen] (<) :: (AmountOf * ADA) -> (AmountOf * ADA) -> Bool
  953. 28.52 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * ADA)"'s 0.20 ms
  954. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  955. 28.52 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * ADA)"'s 0.09 ms
  956. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  957. 28.52 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == LT) for "valid (AmountOf * ADA)"'s 0.14 ms
  958. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  959. 28.52 s [really-safe-money-gen] (<=) :: (AmountOf * ADA) -> (AmountOf * ADA) -> Bool
  960. 28.52 s [really-safe-money-gen] ✓ is antisymmetric for "valid (AmountOf * ADA)"'s 0.23 ms
  961. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  962. 28.52 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid (AmountOf * ADA)"'s 0.14 ms
  963. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  964. 28.52 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * ADA)"'s 0.14 ms
  965. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  966. 28.52 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * ADA)"'s 0.13 ms
  967. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  968. 28.52 s [really-safe-money-gen] fromDecimalLiteral
  969. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 4.06 ms
  970. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  971. 28.52 s [really-safe-money-gen] ✓ parses the integer literal 1 as one whole unit 0.01 ms
  972. 28.52 s [really-safe-money-gen] fromMinimalQuantisations
  973. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 0.11 ms
  974. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  975. 28.52 s [really-safe-money-gen] distribute
  976. 28.52 s [really-safe-money-gen] Show (Distribution (AmountOf * ADA)) and Read (Distribution (AmountOf * ADA))
  977. 28.52 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 3.00 ms
  978. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  979. 28.52 s [really-safe-money-gen] Eq (Distribution (AmountOf * ADA))
  980. 28.52 s [really-safe-money-gen] (==) :: (Distribution (AmountOf * ADA)) -> (Distribution (AmountOf * ADA)) -> Bool
  981. 28.52 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (Distribution (AmountOf * ADA))"s 0.17 ms
  982. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  983. 28.52 s [really-safe-money-gen] ✓ is reflexive for "valid (Distribution (AmountOf * ADA))"s 0.19 ms
  984. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  985. 28.52 s [really-safe-money-gen] ✓ is transitive for "valid (Distribution (AmountOf * ADA))"s 0.23 ms
  986. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  987. 28.52 s [really-safe-money-gen] ✓ is symmetric for "valid (Distribution (AmountOf * ADA))"s 0.31 ms
  988. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  989. 28.52 s [really-safe-money-gen] (/=) :: (Distribution (AmountOf * ADA)) -> (Distribution (AmountOf * ADA)) -> Bool
  990. 28.52 s [really-safe-money-gen] ✓ is antireflexive for "valid (Distribution (AmountOf * ADA))"s 0.12 ms
  991. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  992. 28.52 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (Distribution (AmountOf * ADA))"s 0.22 ms
  993. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  994. 28.52 s [really-safe-money-gen] ✓ produces results that sum up to the greater whole 0.56 ms
  995. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  996. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 1.34 ms
  997. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  998. 28.52 s [really-safe-money-gen] toDouble
  999. 28.52 s [really-safe-money-gen] ✓ produces valid Doubles 0.24 ms
  1000. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1001. 28.52 s [really-safe-money-gen] GenValid (AmountOf * ADA)
  1002. 28.52 s [really-safe-money-gen] genValid :: Gen (AmountOf * ADA)
  1003. 28.52 s [really-safe-money-gen] ✓ only generates valid '(AmountOf * ADA)'s 0.44 ms
  1004. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1005. 28.52 s [really-safe-money-gen] Show (AmountOf * ADA) and Read (AmountOf * ADA)
  1006. 28.52 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 1.74 ms
  1007. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1008. 28.52 s [really-safe-money-gen] zero
  1009. 28.52 s [really-safe-money-gen] ✓ is valid 0.00 ms
  1010. 28.52 s [really-safe-money-gen] fraction
  1011. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 1.22 ms
  1012. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1013. 28.52 s [really-safe-money-gen] CHF
  1014. 28.52 s [really-safe-money-gen] sum
  1015. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 0.62 ms
  1016. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1017. 28.52 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.87 ms
  1018. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1019. 28.52 s [really-safe-money-gen] toDecimalLiteral
  1020. 28.52 s [really-safe-money-gen] ✓ roundtrips an amount through its decimal literal 0.62 ms
  1021. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1022. 28.52 s [really-safe-money-gen] ✓ produces valid decimal literals 0.61 ms
  1023. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1024. 28.52 s [really-safe-money-gen] format
  1025. 28.52 s [really-safe-money-gen] ✓ produces valid strings 1.02 ms
  1026. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1027. 28.52 s [really-safe-money-gen] INR
  1028. 28.52 s [really-safe-money-gen] convert
  1029. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 1.31 ms
  1030. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1031. 28.52 s [really-safe-money-gen] rate
  1032. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 0.69 ms
  1033. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1034. 28.52 s [really-safe-money-gen] add
  1035. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 0.51 ms
  1036. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1037. 28.52 s [really-safe-money-gen] ✓ is commutative 0.51 ms
  1038. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1039. 28.52 s [really-safe-money-gen] ✓ is associative when both succeed 0.55 ms
  1040. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1041. 28.52 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.27 ms
  1042. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1043. 28.52 s [really-safe-money-gen] ✓ has a left-identity: zero 0.13 ms
  1044. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1045. 28.52 s [really-safe-money-gen] ✓ has a right-identity: zero 0.12 ms
  1046. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1047. 28.52 s [really-safe-money-gen] GenValid (AmountOf * CHF)
  1048. 28.52 s [really-safe-money-gen] genValid :: Gen (AmountOf * CHF)
  1049. 28.52 s [really-safe-money-gen] ✓ only generates valid '(AmountOf * CHF)'s 0.12 ms
  1050. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1051. 28.52 s [really-safe-money-gen] Show (AmountOf * CHF) and Read (AmountOf * CHF)
  1052. 28.52 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 0.93 ms
  1053. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1054. 28.52 s [really-safe-money-gen] fromMinimalQuantisations
  1055. 28.52 s [really-safe-money-gen] ✓ produces valid amounts 0.10 ms
  1056. 28.52 s [really-safe-money-gen] passed for all of 100 inputs.
  1057. 28.52 s [really-safe-money-gen] fromRational
  1058. 28.52 s [really-safe-money-gen] ✓ fails on -1 0.01 ms
  1059. 28.53 s [really-safe-money-gen] ✓ fails on -Infinity 0.00 ms
  1060. 28.53 s [really-safe-money-gen] ✓ roundtrips with toRational 0.25 ms
  1061. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1062. 28.53 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  1063. 28.53 s [really-safe-money-gen] ✓ produces valid Amounts 0.80 ms
  1064. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1065. 28.53 s [really-safe-money-gen] ✓ succeeds on 0 0.00 ms
  1066. 28.53 s [really-safe-money-gen] ✓ succeeds on 1 0.01 ms
  1067. 28.53 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  1068. 28.53 s [really-safe-money-gen] zero
  1069. 28.53 s [really-safe-money-gen] ✓ is valid 0.00 ms
  1070. 28.53 s [really-safe-money-gen] fromDecimalLiteral
  1071. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 0.61 ms
  1072. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1073. 28.53 s [really-safe-money-gen] ✓ parses the integer literal 1 as one whole unit 0.00 ms
  1074. 28.53 s [really-safe-money-gen] toDouble
  1075. 28.53 s [really-safe-money-gen] ✓ produces valid Doubles 0.11 ms
  1076. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1077. 28.53 s [really-safe-money-gen] distribute
  1078. 28.53 s [really-safe-money-gen] Eq (Distribution (AmountOf * CHF))
  1079. 28.53 s [really-safe-money-gen] (/=) :: (Distribution (AmountOf * CHF)) -> (Distribution (AmountOf * CHF)) -> Bool
  1080. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (Distribution (AmountOf * CHF))"s 0.17 ms
  1081. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1082. 28.53 s [really-safe-money-gen] ✓ is antireflexive for "valid (Distribution (AmountOf * CHF))"s 0.20 ms
  1083. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1084. 28.53 s [really-safe-money-gen] (==) :: (Distribution (AmountOf * CHF)) -> (Distribution (AmountOf * CHF)) -> Bool
  1085. 28.53 s [really-safe-money-gen] ✓ is symmetric for "valid (Distribution (AmountOf * CHF))"s 0.15 ms
  1086. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1087. 28.53 s [really-safe-money-gen] ✓ is transitive for "valid (Distribution (AmountOf * CHF))"s 0.15 ms
  1088. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1089. 28.53 s [really-safe-money-gen] ✓ is reflexive for "valid (Distribution (AmountOf * CHF))"s 0.12 ms
  1090. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1091. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (Distribution (AmountOf * CHF))"s 0.16 ms
  1092. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1093. 28.53 s [really-safe-money-gen] Show (Distribution (AmountOf * CHF)) and Read (Distribution (AmountOf * CHF))
  1094. 28.53 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 2.96 ms
  1095. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1096. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 0.17 ms
  1097. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1098. 28.53 s [really-safe-money-gen] ✓ produces results that sum up to the greater whole 0.28 ms
  1099. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1100. 28.53 s [really-safe-money-gen] CHF
  1101. 28.53 s [really-safe-money-gen] convert
  1102. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 1.26 ms
  1103. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1104. 28.53 s [really-safe-money-gen] rate
  1105. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 0.61 ms
  1106. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1107. 28.53 s [really-safe-money-gen] BTC
  1108. 28.53 s [really-safe-money-gen] convert
  1109. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 1.37 ms
  1110. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1111. 28.53 s [really-safe-money-gen] rate
  1112. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 0.53 ms
  1113. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1114. 28.53 s [really-safe-money-gen] toRatio
  1115. 28.53 s [really-safe-money-gen] ✓ produces valid Rationals when the quantisation factor is nonzero 0.17 ms
  1116. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1117. 28.53 s [really-safe-money-gen] fromRatio
  1118. 28.53 s [really-safe-money-gen] ✓ succeeds on 1 0.01 ms
  1119. 28.53 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  1120. 28.53 s [really-safe-money-gen] ✓ roundtrips with toRatio 0.25 ms
  1121. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1122. 28.53 s [really-safe-money-gen] ✓ fails on 7.123 0.01 ms
  1123. 28.53 s [really-safe-money-gen] ✓ succeeds on 77 0.00 ms
  1124. 28.53 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  1125. 28.53 s [really-safe-money-gen] ✓ produces valid AmountOfs 0.79 ms
  1126. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1127. 28.53 s [really-safe-money-gen] ✓ succeeds on 0 0.00 ms
  1128. 28.53 s [really-safe-money-gen] toRational
  1129. 28.53 s [really-safe-money-gen] ✓ produces valid Rationals 0.20 ms
  1130. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1131. 28.53 s [really-safe-money-gen] subtract
  1132. 28.53 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.25 ms
  1133. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1134. 28.53 s [really-safe-money-gen] fromDouble
  1135. 28.53 s [really-safe-money-gen] ✓ fails on -Infinity 0.00 ms
  1136. 28.53 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  1137. 28.53 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  1138. 28.53 s [really-safe-money-gen] ✓ succeeds on 0 0.00 ms
  1139. 28.53 s [really-safe-money-gen] ✓ succeeds on 1 0.00 ms
  1140. 28.53 s [really-safe-money-gen] ✓ fails on -1 0.00 ms
  1141. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 0.16 ms
  1142. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1143. 28.53 s [really-safe-money-gen] Ord (AmountOf * CHF)
  1144. 28.53 s [really-safe-money-gen] "max :: (AmountOf * CHF -> AmountOf * CHF -> AmountOf * CHF)"
  1145. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid (AmountOf * CHF)"'s 0.12 ms
  1146. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1147. 28.53 s [really-safe-money-gen] (<) :: (AmountOf * CHF) -> (AmountOf * CHF) -> Bool
  1148. 28.53 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * CHF)"'s 0.09 ms
  1149. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1150. 28.53 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * CHF)"'s 0.10 ms
  1151. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1152. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == LT) for "valid (AmountOf * CHF)"'s 0.12 ms
  1153. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1154. 28.53 s [really-safe-money-gen] "min :: (AmountOf * CHF -> AmountOf * CHF -> AmountOf * CHF)"
  1155. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid (AmountOf * CHF)"'s 0.12 ms
  1156. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1157. 28.53 s [really-safe-money-gen] (>=) :: (AmountOf * CHF) -> (AmountOf * CHF) -> Bool
  1158. 28.53 s [really-safe-money-gen] ✓ is antisymmetric for "valid (AmountOf * CHF)"'s 0.10 ms
  1159. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1160. 28.53 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * CHF)"'s 0.10 ms
  1161. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1162. 28.53 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * CHF)"'s 0.08 ms
  1163. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1164. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid (AmountOf * CHF)"'s 0.11 ms
  1165. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1166. 28.53 s [really-safe-money-gen] (>) :: (AmountOf * CHF) -> (AmountOf * CHF) -> Bool
  1167. 28.53 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * CHF)"'s 0.10 ms
  1168. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1169. 28.53 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * CHF)"'s 0.08 ms
  1170. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1171. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == GT) for "valid (AmountOf * CHF)"'s 0.11 ms
  1172. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1173. 28.53 s [really-safe-money-gen] (<=) :: (AmountOf * CHF) -> (AmountOf * CHF) -> Bool
  1174. 28.53 s [really-safe-money-gen] ✓ is antisymmetric for "valid (AmountOf * CHF)"'s 0.11 ms
  1175. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1176. 28.53 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * CHF)"'s 0.09 ms
  1177. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1178. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid (AmountOf * CHF)"'s 0.12 ms
  1179. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1180. 28.53 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * CHF)"'s 0.11 ms
  1181. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1182. 28.53 s [really-safe-money-gen] Eq (AmountOf * CHF)
  1183. 28.53 s [really-safe-money-gen] (==) :: (AmountOf * CHF) -> (AmountOf * CHF) -> Bool
  1184. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (AmountOf * CHF)"s 0.12 ms
  1185. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1186. 28.53 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * CHF)"s 0.08 ms
  1187. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1188. 28.53 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * CHF)"s 0.09 ms
  1189. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1190. 28.53 s [really-safe-money-gen] ✓ is symmetric for "valid (AmountOf * CHF)"s 0.09 ms
  1191. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1192. 28.53 s [really-safe-money-gen] (/=) :: (AmountOf * CHF) -> (AmountOf * CHF) -> Bool
  1193. 28.53 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * CHF)"s 0.08 ms
  1194. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1195. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (AmountOf * CHF)"s 0.11 ms
  1196. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1197. 28.53 s [really-safe-money-gen] USD
  1198. 28.53 s [really-safe-money-gen] rate
  1199. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 0.56 ms
  1200. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1201. 28.53 s [really-safe-money-gen] convert
  1202. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 2.61 ms
  1203. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1204. 28.53 s [really-safe-money-gen] fraction
  1205. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 0.95 ms
  1206. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1207. 28.53 s [really-safe-money-gen] toMinimalQuantisations
  1208. 28.53 s [really-safe-money-gen] ✓ produces valid Int64s 0.10 ms
  1209. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1210. 28.53 s [really-safe-money-gen] ✓ roundtrips with fromMinimalQuantisations 0.10 ms
  1211. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1212. 28.53 s [really-safe-money-gen] multiply
  1213. 28.53 s [really-safe-money-gen] ✓ is absorbed by 0 0.12 ms
  1214. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1215. 28.53 s [really-safe-money-gen] ✓ is distributive with add when both succeed 0.25 ms
  1216. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1217. 28.53 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.23 ms
  1218. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1219. 28.53 s [really-safe-money-gen] ✓ has an identity: 1 0.12 ms
  1220. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1221. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 0.15 ms
  1222. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1223. 28.53 s [really-safe-money-gen] ADA
  1224. 28.53 s [really-safe-money-gen] convert
  1225. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 1.30 ms
  1226. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1227. 28.53 s [really-safe-money-gen] rate
  1228. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 1.02 ms
  1229. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1230. 28.53 s [really-safe-money-gen] USD
  1231. 28.53 s [really-safe-money-gen] toRatio
  1232. 28.53 s [really-safe-money-gen] ✓ produces valid Rationals when the quantisation factor is nonzero 0.19 ms
  1233. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1234. 28.53 s [really-safe-money-gen] Show (AmountOf * USD) and Read (AmountOf * USD)
  1235. 28.53 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 0.90 ms
  1236. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1237. 28.53 s [really-safe-money-gen] INR
  1238. 28.53 s [really-safe-money-gen] rate
  1239. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 0.49 ms
  1240. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1241. 28.53 s [really-safe-money-gen] convert
  1242. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 1.56 ms
  1243. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1244. 28.53 s [really-safe-money-gen] distribute
  1245. 28.53 s [really-safe-money-gen] Eq (Distribution (AmountOf * USD))
  1246. 28.53 s [really-safe-money-gen] (/=) :: (Distribution (AmountOf * USD)) -> (Distribution (AmountOf * USD)) -> Bool
  1247. 28.53 s [really-safe-money-gen] ✓ is antireflexive for "valid (Distribution (AmountOf * USD))"s 0.19 ms
  1248. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1249. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (Distribution (AmountOf * USD))"s 0.16 ms
  1250. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1251. 28.53 s [really-safe-money-gen] (==) :: (Distribution (AmountOf * USD)) -> (Distribution (AmountOf * USD)) -> Bool
  1252. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (Distribution (AmountOf * USD))"s 0.29 ms
  1253. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1254. 28.53 s [really-safe-money-gen] ✓ is transitive for "valid (Distribution (AmountOf * USD))"s 0.20 ms
  1255. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1256. 28.53 s [really-safe-money-gen] ✓ is reflexive for "valid (Distribution (AmountOf * USD))"s 0.10 ms
  1257. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1258. 28.53 s [really-safe-money-gen] ✓ is symmetric for "valid (Distribution (AmountOf * USD))"s 0.13 ms
  1259. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1260. 28.53 s [really-safe-money-gen] Show (Distribution (AmountOf * USD)) and Read (Distribution (AmountOf * USD))
  1261. 28.53 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 1.94 ms
  1262. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1263. 28.53 s [really-safe-money-gen] ✓ produces valid amounts 0.23 ms
  1264. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1265. 28.53 s [really-safe-money-gen] ✓ produces results that sum up to the greater whole 0.33 ms
  1266. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1267. 28.53 s [really-safe-money-gen] Eq (AmountOf * USD)
  1268. 28.53 s [really-safe-money-gen] (==) :: (AmountOf * USD) -> (AmountOf * USD) -> Bool
  1269. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (AmountOf * USD)"s 0.11 ms
  1270. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1271. 28.53 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * USD)"s 0.17 ms
  1272. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1273. 28.53 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * USD)"s 0.08 ms
  1274. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1275. 28.53 s [really-safe-money-gen] ✓ is symmetric for "valid (AmountOf * USD)"s 0.13 ms
  1276. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1277. 28.53 s [really-safe-money-gen] (/=) :: (AmountOf * USD) -> (AmountOf * USD) -> Bool
  1278. 28.53 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (AmountOf * USD)"s 0.12 ms
  1279. 28.53 s [really-safe-money-gen] passed for all of 100 inputs.
  1280. 28.54 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * USD)"s 0.18 ms
  1281. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1282. 28.54 s [really-safe-money-gen] fromRatio
  1283. 28.54 s [really-safe-money-gen] ✓ succeeds on 1 0.01 ms
  1284. 28.54 s [really-safe-money-gen] ✓ fails on 7.123 0.01 ms
  1285. 28.54 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  1286. 28.54 s [really-safe-money-gen] ✓ produces valid AmountOfs 0.89 ms
  1287. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1288. 28.54 s [really-safe-money-gen] ✓ succeeds on 77 0.00 ms
  1289. 28.54 s [really-safe-money-gen] ✓ succeeds on 0 0.00 ms
  1290. 28.54 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  1291. 28.54 s [really-safe-money-gen] ✓ roundtrips with toRatio 0.48 ms
  1292. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1293. 28.54 s [really-safe-money-gen] fromRational
  1294. 28.54 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  1295. 28.54 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  1296. 28.54 s [really-safe-money-gen] ✓ succeeds on 0 0.00 ms
  1297. 28.54 s [really-safe-money-gen] ✓ fails on -1 0.00 ms
  1298. 28.54 s [really-safe-money-gen] ✓ produces valid Amounts 0.72 ms
  1299. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1300. 28.54 s [really-safe-money-gen] ✓ fails on -Infinity 0.00 ms
  1301. 28.54 s [really-safe-money-gen] ✓ succeeds on 1 0.01 ms
  1302. 28.54 s [really-safe-money-gen] ✓ roundtrips with toRational 0.29 ms
  1303. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1304. 28.54 s [really-safe-money-gen] zero
  1305. 28.54 s [really-safe-money-gen] ✓ is valid 0.00 ms
  1306. 28.54 s [really-safe-money-gen] BTC
  1307. 28.54 s [really-safe-money-gen] rate
  1308. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 0.84 ms
  1309. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1310. 28.54 s [really-safe-money-gen] convert
  1311. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 1.30 ms
  1312. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1313. 28.54 s [really-safe-money-gen] format
  1314. 28.54 s [really-safe-money-gen] ✓ produces valid strings 0.76 ms
  1315. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1316. 28.54 s [really-safe-money-gen] toDouble
  1317. 28.54 s [really-safe-money-gen] ✓ produces valid Doubles 0.24 ms
  1318. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1319. 28.54 s [really-safe-money-gen] sum
  1320. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 0.89 ms
  1321. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1322. 28.54 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.61 ms
  1323. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1324. 28.54 s [really-safe-money-gen] CHF
  1325. 28.54 s [really-safe-money-gen] rate
  1326. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 2.61 ms
  1327. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1328. 28.54 s [really-safe-money-gen] convert
  1329. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 1.52 ms
  1330. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1331. 28.54 s [really-safe-money-gen] toRational
  1332. 28.54 s [really-safe-money-gen] ✓ produces valid Rationals 0.21 ms
  1333. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1334. 28.54 s [really-safe-money-gen] fromMinimalQuantisations
  1335. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 0.15 ms
  1336. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1337. 28.54 s [really-safe-money-gen] toDecimalLiteral
  1338. 28.54 s [really-safe-money-gen] ✓ roundtrips an amount through its decimal literal 1.12 ms
  1339. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1340. 28.54 s [really-safe-money-gen] ✓ produces valid decimal literals 0.73 ms
  1341. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1342. 28.54 s [really-safe-money-gen] GenValid (AmountOf * USD)
  1343. 28.54 s [really-safe-money-gen] genValid :: Gen (AmountOf * USD)
  1344. 28.54 s [really-safe-money-gen] ✓ only generates valid '(AmountOf * USD)'s 0.11 ms
  1345. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1346. 28.54 s [really-safe-money-gen] ADA
  1347. 28.54 s [really-safe-money-gen] rate
  1348. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 0.76 ms
  1349. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1350. 28.54 s [really-safe-money-gen] convert
  1351. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 1.32 ms
  1352. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1353. 28.54 s [really-safe-money-gen] toMinimalQuantisations
  1354. 28.54 s [really-safe-money-gen] ✓ roundtrips with fromMinimalQuantisations 0.10 ms
  1355. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1356. 28.54 s [really-safe-money-gen] ✓ produces valid Int64s 0.10 ms
  1357. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1358. 28.54 s [really-safe-money-gen] fromDouble
  1359. 28.54 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  1360. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 0.17 ms
  1361. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1362. 28.54 s [really-safe-money-gen] ✓ fails on -1 0.00 ms
  1363. 28.54 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  1364. 28.54 s [really-safe-money-gen] ✓ fails on -Infinity 0.00 ms
  1365. 28.54 s [really-safe-money-gen] ✓ succeeds on 0 0.00 ms
  1366. 28.54 s [really-safe-money-gen] ✓ succeeds on 1 0.00 ms
  1367. 28.54 s [really-safe-money-gen] fraction
  1368. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 0.69 ms
  1369. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1370. 28.54 s [really-safe-money-gen] subtract
  1371. 28.54 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.19 ms
  1372. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1373. 28.54 s [really-safe-money-gen] add
  1374. 28.54 s [really-safe-money-gen] ✓ has a left-identity: zero 0.12 ms
  1375. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1376. 28.54 s [really-safe-money-gen] ✓ is commutative 0.27 ms
  1377. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1378. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 0.16 ms
  1379. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1380. 28.54 s [really-safe-money-gen] ✓ has a right-identity: zero 0.12 ms
  1381. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1382. 28.54 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.31 ms
  1383. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1384. 28.54 s [really-safe-money-gen] ✓ is associative when both succeed 0.26 ms
  1385. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1386. 28.54 s [really-safe-money-gen] fromDecimalLiteral
  1387. 28.54 s [really-safe-money-gen] ✓ parses the integer literal 1 as one whole unit 0.01 ms
  1388. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 1.07 ms
  1389. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1390. 28.54 s [really-safe-money-gen] USD
  1391. 28.54 s [really-safe-money-gen] convert
  1392. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 1.21 ms
  1393. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1394. 28.54 s [really-safe-money-gen] rate
  1395. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 0.80 ms
  1396. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1397. 28.54 s [really-safe-money-gen] Ord (AmountOf * USD)
  1398. 28.54 s [really-safe-money-gen] "min :: (AmountOf * USD -> AmountOf * USD -> AmountOf * USD)"
  1399. 28.54 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid (AmountOf * USD)"'s 2.36 ms
  1400. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1401. 28.54 s [really-safe-money-gen] (>) :: (AmountOf * USD) -> (AmountOf * USD) -> Bool
  1402. 28.54 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * USD)"'s 0.37 ms
  1403. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1404. 28.54 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == GT) for "valid (AmountOf * USD)"'s 0.39 ms
  1405. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1406. 28.54 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * USD)"'s 0.10 ms
  1407. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1408. 28.54 s [really-safe-money-gen] (<=) :: (AmountOf * USD) -> (AmountOf * USD) -> Bool
  1409. 28.54 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * USD)"'s 0.11 ms
  1410. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1411. 28.54 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid (AmountOf * USD)"'s 0.13 ms
  1412. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1413. 28.54 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * USD)"'s 0.10 ms
  1414. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1415. 28.54 s [really-safe-money-gen] ✓ is antisymmetric for "valid (AmountOf * USD)"'s 0.15 ms
  1416. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1417. 28.54 s [really-safe-money-gen] (<) :: (AmountOf * USD) -> (AmountOf * USD) -> Bool
  1418. 28.54 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * USD)"'s 0.11 ms
  1419. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1420. 28.54 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == LT) for "valid (AmountOf * USD)"'s 0.12 ms
  1421. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1422. 28.54 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * USD)"'s 0.11 ms
  1423. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1424. 28.54 s [really-safe-money-gen] "max :: (AmountOf * USD -> AmountOf * USD -> AmountOf * USD)"
  1425. 28.54 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid (AmountOf * USD)"'s 0.13 ms
  1426. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1427. 28.54 s [really-safe-money-gen] (>=) :: (AmountOf * USD) -> (AmountOf * USD) -> Bool
  1428. 28.54 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid (AmountOf * USD)"'s 0.16 ms
  1429. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1430. 28.54 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * USD)"'s 0.08 ms
  1431. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1432. 28.54 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * USD)"'s 0.14 ms
  1433. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1434. 28.54 s [really-safe-money-gen] ✓ is antisymmetric for "valid (AmountOf * USD)"'s 0.10 ms
  1435. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1436. 28.54 s [really-safe-money-gen] multiply
  1437. 28.54 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.21 ms
  1438. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1439. 28.54 s [really-safe-money-gen] ✓ is absorbed by 0 0.12 ms
  1440. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1441. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 0.16 ms
  1442. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1443. 28.54 s [really-safe-money-gen] ✓ has an identity: 1 0.18 ms
  1444. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1445. 28.54 s [really-safe-money-gen] ✓ is distributive with add when both succeed 0.35 ms
  1446. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1447. 28.54 s [really-safe-money-gen] BTC
  1448. 28.54 s [really-safe-money-gen] fromDecimalLiteral
  1449. 28.54 s [really-safe-money-gen] ✓ parses the integer literal 1 as one whole unit 0.01 ms
  1450. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 0.63 ms
  1451. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1452. 28.54 s [really-safe-money-gen] subtract
  1453. 28.54 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.61 ms
  1454. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1455. 28.54 s [really-safe-money-gen] toMinimalQuantisations
  1456. 28.54 s [really-safe-money-gen] ✓ roundtrips with fromMinimalQuantisations 0.17 ms
  1457. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1458. 28.54 s [really-safe-money-gen] ✓ produces valid Int64s 0.15 ms
  1459. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1460. 28.54 s [really-safe-money-gen] ADA
  1461. 28.54 s [really-safe-money-gen] convert
  1462. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 1.27 ms
  1463. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1464. 28.54 s [really-safe-money-gen] rate
  1465. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 4.12 ms
  1466. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1467. 28.54 s [really-safe-money-gen] fraction
  1468. 28.54 s [really-safe-money-gen] ✓ produces valid amounts 0.94 ms
  1469. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1470. 28.54 s [really-safe-money-gen] fromRatio
  1471. 28.54 s [really-safe-money-gen] ✓ produces valid AmountOfs 1.23 ms
  1472. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1473. 28.54 s [really-safe-money-gen] ✓ succeeds on 0 0.01 ms
  1474. 28.54 s [really-safe-money-gen] ✓ succeeds on 77 0.00 ms
  1475. 28.54 s [really-safe-money-gen] ✓ succeeds on 1 0.00 ms
  1476. 28.54 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  1477. 28.54 s [really-safe-money-gen] ✓ fails on 7.123 0.00 ms
  1478. 28.54 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  1479. 28.54 s [really-safe-money-gen] ✓ roundtrips with toRatio 0.57 ms
  1480. 28.54 s [really-safe-money-gen] passed for all of 100 inputs.
  1481. 28.54 s [really-safe-money-gen] BTC
  1482. 28.54 s [really-safe-money-gen] convert
  1483. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 4.54 ms
  1484. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1485. 28.55 s [really-safe-money-gen] rate
  1486. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 0.96 ms
  1487. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1488. 28.55 s [really-safe-money-gen] Show (AmountOf * BTC) and Read (AmountOf * BTC)
  1489. 28.55 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 0.89 ms
  1490. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1491. 28.55 s [really-safe-money-gen] fromMinimalQuantisations
  1492. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 0.10 ms
  1493. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1494. 28.55 s [really-safe-money-gen] GenValid (AmountOf * BTC)
  1495. 28.55 s [really-safe-money-gen] genValid :: Gen (AmountOf * BTC)
  1496. 28.55 s [really-safe-money-gen] ✓ only generates valid '(AmountOf * BTC)'s 0.10 ms
  1497. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1498. 28.55 s [really-safe-money-gen] toDecimalLiteral
  1499. 28.55 s [really-safe-money-gen] ✓ produces valid decimal literals 0.57 ms
  1500. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1501. 28.55 s [really-safe-money-gen] ✓ roundtrips an amount through its decimal literal 1.08 ms
  1502. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1503. 28.55 s [really-safe-money-gen] USD
  1504. 28.55 s [really-safe-money-gen] convert
  1505. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 1.74 ms
  1506. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1507. 28.55 s [really-safe-money-gen] rate
  1508. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 1.04 ms
  1509. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1510. 28.55 s [really-safe-money-gen] INR
  1511. 28.55 s [really-safe-money-gen] rate
  1512. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 0.68 ms
  1513. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1514. 28.55 s [really-safe-money-gen] convert
  1515. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 1.26 ms
  1516. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1517. 28.55 s [really-safe-money-gen] fromDouble
  1518. 28.55 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  1519. 28.55 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  1520. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 0.16 ms
  1521. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1522. 28.55 s [really-safe-money-gen] ✓ fails on -Infinity 0.00 ms
  1523. 28.55 s [really-safe-money-gen] ✓ succeeds on 0 0.00 ms
  1524. 28.55 s [really-safe-money-gen] ✓ fails on -1 0.00 ms
  1525. 28.55 s [really-safe-money-gen] ✓ succeeds on 1 0.00 ms
  1526. 28.55 s [really-safe-money-gen] add
  1527. 28.55 s [really-safe-money-gen] ✓ has a left-identity: zero 0.12 ms
  1528. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1529. 28.55 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.20 ms
  1530. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1531. 28.55 s [really-safe-money-gen] ✓ is commutative 0.20 ms
  1532. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1533. 28.55 s [really-safe-money-gen] ✓ is associative when both succeed 0.48 ms
  1534. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1535. 28.55 s [really-safe-money-gen] ✓ has a right-identity: zero 0.12 ms
  1536. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1537. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 0.16 ms
  1538. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1539. 28.55 s [really-safe-money-gen] CHF
  1540. 28.55 s [really-safe-money-gen] convert
  1541. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 2.50 ms
  1542. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1543. 28.55 s [really-safe-money-gen] rate
  1544. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 1.91 ms
  1545. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1546. 28.55 s [really-safe-money-gen] zero
  1547. 28.55 s [really-safe-money-gen] ✓ is valid 0.00 ms
  1548. 28.55 s [really-safe-money-gen] sum
  1549. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 1.99 ms
  1550. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1551. 28.55 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 2.02 ms
  1552. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1553. 28.55 s [really-safe-money-gen] Ord (AmountOf * BTC)
  1554. 28.55 s [really-safe-money-gen] (<) :: (AmountOf * BTC) -> (AmountOf * BTC) -> Bool
  1555. 28.55 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == LT) for "valid (AmountOf * BTC)"'s 1.59 ms
  1556. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1557. 28.55 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * BTC)"'s 0.13 ms
  1558. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1559. 28.55 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * BTC)"'s 0.09 ms
  1560. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1561. 28.55 s [really-safe-money-gen] "min :: (AmountOf * BTC -> AmountOf * BTC -> AmountOf * BTC)"
  1562. 28.55 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid (AmountOf * BTC)"'s 0.13 ms
  1563. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1564. 28.55 s [really-safe-money-gen] (<=) :: (AmountOf * BTC) -> (AmountOf * BTC) -> Bool
  1565. 28.55 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * BTC)"'s 0.10 ms
  1566. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1567. 28.55 s [really-safe-money-gen] ✓ is antisymmetric for "valid (AmountOf * BTC)"'s 0.09 ms
  1568. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1569. 28.55 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid (AmountOf * BTC)"'s 0.12 ms
  1570. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1571. 28.55 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * BTC)"'s 1.60 ms
  1572. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1573. 28.55 s [really-safe-money-gen] "max :: (AmountOf * BTC -> AmountOf * BTC -> AmountOf * BTC)"
  1574. 28.55 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid (AmountOf * BTC)"'s 0.22 ms
  1575. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1576. 28.55 s [really-safe-money-gen] (>) :: (AmountOf * BTC) -> (AmountOf * BTC) -> Bool
  1577. 28.55 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * BTC)"'s 0.11 ms
  1578. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1579. 28.55 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == GT) for "valid (AmountOf * BTC)"'s 0.20 ms
  1580. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1581. 28.55 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * BTC)"'s 0.10 ms
  1582. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1583. 28.55 s [really-safe-money-gen] (>=) :: (AmountOf * BTC) -> (AmountOf * BTC) -> Bool
  1584. 28.55 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid (AmountOf * BTC)"'s 0.16 ms
  1585. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1586. 28.55 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * BTC)"'s 0.10 ms
  1587. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1588. 28.55 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * BTC)"'s 0.09 ms
  1589. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1590. 28.55 s [really-safe-money-gen] ✓ is antisymmetric for "valid (AmountOf * BTC)"'s 0.19 ms
  1591. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1592. 28.55 s [really-safe-money-gen] fromRational
  1593. 28.55 s [really-safe-money-gen] ✓ produces valid Amounts 3.44 ms
  1594. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1595. 28.55 s [really-safe-money-gen] ✓ roundtrips with toRational 0.33 ms
  1596. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1597. 28.55 s [really-safe-money-gen] ✓ fails on -Infinity 0.00 ms
  1598. 28.55 s [really-safe-money-gen] ✓ fails on +Infinity 0.00 ms
  1599. 28.55 s [really-safe-money-gen] ✓ fails on -1 0.00 ms
  1600. 28.55 s [really-safe-money-gen] ✓ succeeds on 1 0.01 ms
  1601. 28.55 s [really-safe-money-gen] ✓ fails on NaN 0.00 ms
  1602. 28.55 s [really-safe-money-gen] ✓ succeeds on 0 0.01 ms
  1603. 28.55 s [really-safe-money-gen] Eq (AmountOf * BTC)
  1604. 28.55 s [really-safe-money-gen] (==) :: (AmountOf * BTC) -> (AmountOf * BTC) -> Bool
  1605. 28.55 s [really-safe-money-gen] ✓ is reflexive for "valid (AmountOf * BTC)"s 0.08 ms
  1606. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1607. 28.55 s [really-safe-money-gen] ✓ is transitive for "valid (AmountOf * BTC)"s 0.12 ms
  1608. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1609. 28.55 s [really-safe-money-gen] ✓ is symmetric for "valid (AmountOf * BTC)"s 0.19 ms
  1610. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1611. 28.55 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (AmountOf * BTC)"s 0.14 ms
  1612. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1613. 28.55 s [really-safe-money-gen] (/=) :: (AmountOf * BTC) -> (AmountOf * BTC) -> Bool
  1614. 28.55 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (AmountOf * BTC)"s 0.13 ms
  1615. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1616. 28.55 s [really-safe-money-gen] ✓ is antireflexive for "valid (AmountOf * BTC)"s 0.08 ms
  1617. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1618. 28.55 s [really-safe-money-gen] toRational
  1619. 28.55 s [really-safe-money-gen] ✓ produces valid Rationals 0.30 ms
  1620. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1621. 28.55 s [really-safe-money-gen] toRatio
  1622. 28.55 s [really-safe-money-gen] ✓ produces valid Rationals when the quantisation factor is nonzero 0.28 ms
  1623. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1624. 28.55 s [really-safe-money-gen] toDouble
  1625. 28.55 s [really-safe-money-gen] ✓ produces valid Doubles 0.11 ms
  1626. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1627. 28.55 s [really-safe-money-gen] format
  1628. 28.55 s [really-safe-money-gen] ✓ produces valid strings 0.85 ms
  1629. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1630. 28.55 s [really-safe-money-gen] multiply
  1631. 28.55 s [really-safe-money-gen] ✓ is absorbed by 0 0.22 ms
  1632. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1633. 28.55 s [really-safe-money-gen] ✓ is distributive with add when both succeed 0.42 ms
  1634. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1635. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 0.40 ms
  1636. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1637. 28.55 s [really-safe-money-gen] ✓ has an identity: 1 0.48 ms
  1638. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1639. 28.55 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 0.37 ms
  1640. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1641. 28.55 s [really-safe-money-gen] distribute
  1642. 28.55 s [really-safe-money-gen] ✓ produces results that sum up to the greater whole 0.28 ms
  1643. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1644. 28.55 s [really-safe-money-gen] ✓ produces valid amounts 0.26 ms
  1645. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1646. 28.55 s [really-safe-money-gen] Eq (Distribution (AmountOf * BTC))
  1647. 28.55 s [really-safe-money-gen] (/=) :: (Distribution (AmountOf * BTC)) -> (Distribution (AmountOf * BTC)) -> Bool
  1648. 28.55 s [really-safe-money-gen] ✓ is antireflexive for "valid (Distribution (AmountOf * BTC))"s 0.12 ms
  1649. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1650. 28.55 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (Distribution (AmountOf * BTC))"s 0.26 ms
  1651. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1652. 28.55 s [really-safe-money-gen] (==) :: (Distribution (AmountOf * BTC)) -> (Distribution (AmountOf * BTC)) -> Bool
  1653. 28.55 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (Distribution (AmountOf * BTC))"s 0.35 ms
  1654. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1655. 28.55 s [really-safe-money-gen] ✓ is symmetric for "valid (Distribution (AmountOf * BTC))"s 0.13 ms
  1656. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1657. 28.55 s [really-safe-money-gen] ✓ is transitive for "valid (Distribution (AmountOf * BTC))"s 0.13 ms
  1658. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1659. 28.55 s [really-safe-money-gen] ✓ is reflexive for "valid (Distribution (AmountOf * BTC))"s 0.15 ms
  1660. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1661. 28.55 s [really-safe-money-gen] Show (Distribution (AmountOf * BTC)) and Read (Distribution (AmountOf * BTC))
  1662. 28.55 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 3.23 ms
  1663. 28.55 s [really-safe-money-gen] passed for all of 100 inputs.
  1664. 28.55 s [really-safe-money-gen] Money.AmountSpec
  1665. 28.55 s [really-safe-money-gen] fromRational
  1666. 28.55 s [really-safe-money-gen] ✓ succeeds on 1 35.16 ms
  1667. 28.55 s [really-safe-money-gen] passed for all of 10000 inputs.
  1668. 28.55 s [really-safe-money-gen] ✓ succeeds on 0 34.54 ms
  1669. 28.55 s [really-safe-money-gen] passed for all of 10000 inputs.
  1670. 28.55 s [really-safe-money-gen] ✓ fails on -Infinity 15.55 ms
  1671. 28.55 s [really-safe-money-gen] passed for all of 10000 inputs.
  1672. 28.71 s [really-safe-money-gen] ✓ fails on really large numbers 0.01 ms
  1673. 28.71 s [really-safe-money-gen] ✓ fails on -1 32.40 ms
  1674. 28.71 s [really-safe-money-gen] passed for all of 10000 inputs.
  1675. 28.71 s [really-safe-money-gen] ✓ roundtrips with toRational 74.89 ms
  1676. 28.71 s [really-safe-money-gen] passed for all of 10000 inputs.
  1677. 28.71 s [really-safe-money-gen] ✓ fails on NaN 12.73 ms
  1678. 28.71 s [really-safe-money-gen] passed for all of 10000 inputs.
  1679. 28.71 s [really-safe-money-gen] ✓ succeeds on 77.02 with quantisation factor 100 0.01 ms
  1680. 28.71 s [really-safe-money-gen] ✓ fails on 7.123 with quantisation factor 10 0.00 ms
  1681. 28.72 s [really-safe-money-gen] ✓ fails on +Infinity 26.10 ms
  1682. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1683. 28.72 s [really-safe-money-gen] ✓ produces valid Amounts 118.43 ms
  1684. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1685. 28.72 s [really-safe-money-gen] toMinimalQuantisations
  1686. 28.72 s [really-safe-money-gen] ✓ produces valid Int64s 20.56 ms
  1687. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1688. 28.72 s [really-safe-money-gen] ✓ roundtrips with fromMinimalQuantisations 17.04 ms
  1689. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1690. 28.72 s [really-safe-money-gen] format
  1691. 28.72 s [really-safe-money-gen] ✓ produces valid strings 146.08 ms
  1692. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1693. 28.72 s [really-safe-money-gen] ✓ formats 1 correctly with quantisation factor 10 0.04 ms
  1694. 28.72 s [really-safe-money-gen] ✓ formats 1 correctly with quantisation factor 1 0.01 ms
  1695. 28.72 s [really-safe-money-gen] DecimalLiteral
  1696. 28.72 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 100} into DecimalLiteral (Just True) 200 2 0.01 ms
  1697. 28.72 s [really-safe-money-gen] Amount.toDecimalLiteral
  1698. 28.72 s [really-safe-money-gen] ✓ roundtrips with Amount.fromDecimalLiteral 1628.36 ms
  1699. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1700. 28.72 s [really-safe-money-gen] ✓ produces valid decimal literals 1588.31 ms
  1701. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1702. 28.72 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 1} into DecimalLiteral (Just True) 2 0 0.01 ms
  1703. 28.72 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 500 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 20} 0.06 ms
  1704. 28.72 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 600 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 20} 0.01 ms
  1705. 28.72 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 20 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 20} 0.00 ms
  1706. 28.72 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 3 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 100} 0.01 ms
  1707. 28.72 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 100} into DecimalLiteral (Just True) 100 2 0.01 ms
  1708. 28.72 s [really-safe-money-gen] Amount.fromDecimalLiteral
  1709. 28.72 s [really-safe-money-gen] ✓ produces valid factors 141.03 ms
  1710. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1711. 28.72 s [really-safe-money-gen] ✓ fails on this amount that is too precise 0.01 ms
  1712. 28.72 s [really-safe-money-gen] ✓ fails on this amount that is too precise 0.01 ms
  1713. 28.72 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 1} into DecimalLiteral (Just True) 1 0 0.01 ms
  1714. 28.72 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 100 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 100} 0.01 ms
  1715. 28.72 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 2 0 into decimalLiteral QuantisationFactor {unQuantisationFactor = 1} 0.00 ms
  1716. 28.72 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 100000000} into DecimalLiteral (Just True) 500 8 0.01 ms
  1717. 28.72 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 100} into DecimalLiteral (Just True) 3 2 0.00 ms
  1718. 28.72 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 20} into DecimalLiteral (Just True) 10 2 0.00 ms
  1719. 28.72 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 4 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 100} 0.00 ms
  1720. 28.72 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 20} into DecimalLiteral (Just True) 500 2 0.00 ms
  1721. 28.72 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 1 0 into decimalLiteral QuantisationFactor {unQuantisationFactor = 1} 0.00 ms
  1722. 28.72 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 20} into DecimalLiteral (Just True) 20 2 0.01 ms
  1723. 28.72 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 500 8 into decimalLiteral QuantisationFactor {unQuantisationFactor = 100000000} 0.00 ms
  1724. 28.72 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 200 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 100} 0.00 ms
  1725. 28.72 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 20} into DecimalLiteral (Just True) 600 2 0.01 ms
  1726. 28.72 s [really-safe-money-gen] ✓ can turn decimalLiteral QuantisationFactor {unQuantisationFactor = 100} into DecimalLiteral (Just True) 4 2 0.00 ms
  1727. 28.72 s [really-safe-money-gen] ✓ can turn DecimalLiteral (Just True) 10 2 into decimalLiteral QuantisationFactor {unQuantisationFactor = 20} 0.00 ms
  1728. 28.72 s [really-safe-money-gen] convert
  1729. 28.72 s [really-safe-money-gen] ✓ converts this USD to CHF correctly 0.01 ms
  1730. 28.72 s [really-safe-money-gen] ✓ succeeds in converting 1:1 without rounding if the quantisation factor is the same 80.90 ms
  1731. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1732. 28.72 s [really-safe-money-gen] ✓ produces valid amounts 446.91 ms
  1733. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1734. 28.72 s [really-safe-money-gen] distribute
  1735. 28.72 s [really-safe-money-gen] Eq (Distribution Amount)
  1736. 28.72 s [really-safe-money-gen] (/=) :: (Distribution Amount) -> (Distribution Amount) -> Bool
  1737. 28.72 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (Distribution Amount)"s 21.52 ms
  1738. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1739. 28.72 s [really-safe-money-gen] ✓ is antireflexive for "valid (Distribution Amount)"s 15.64 ms
  1740. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1741. 28.72 s [really-safe-money-gen] (==) :: (Distribution Amount) -> (Distribution Amount) -> Bool
  1742. 28.72 s [really-safe-money-gen] ✓ is transitive for "valid (Distribution Amount)"s 21.41 ms
  1743. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1744. 28.72 s [really-safe-money-gen] ✓ is symmetric for "valid (Distribution Amount)"s 24.28 ms
  1745. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1746. 28.72 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (Distribution Amount)"s 27.85 ms
  1747. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1748. 28.72 s [really-safe-money-gen] ✓ is reflexive for "valid (Distribution Amount)"s 13.45 ms
  1749. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1750. 28.72 s [really-safe-money-gen] ✓ produces unequal chunks where the larger is strictly greater than the smaller 45.02 ms
  1751. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1752. 28.72 s [really-safe-money-gen] Show (Distribution Amount) and Read (Distribution Amount)
  1753. 28.72 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 272.03 ms
  1754. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1755. 28.72 s [really-safe-money-gen] ✓ correctly distributes 5 into 3 0.01 ms
  1756. 28.72 s [really-safe-money-gen] ✓ is invalid when the larger chunk is not larger 0.00 ms
  1757. 28.72 s [really-safe-money-gen] GenValid (Distribution Amount)
  1758. 28.72 s [really-safe-money-gen] genValid :: Gen (Distribution Amount)
  1759. 28.72 s [really-safe-money-gen] ✓ only generates valid '(Distribution Amount)'s 35.99 ms
  1760. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1761. 28.72 s [really-safe-money-gen] ✓ produces valid amounts 49.80 ms
  1762. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1763. 28.72 s [really-safe-money-gen] ✓ correctly distributes 3 into 3 0.01 ms
  1764. 28.72 s [really-safe-money-gen] ✓ produces results that sum up to the greater whole 61.13 ms
  1765. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1766. 28.72 s [really-safe-money-gen] ✓ is invalid when the so-called larger chunk is smaller 0.01 ms
  1767. 28.72 s [really-safe-money-gen] ✓ correctly distributes 10 into 4 0.00 ms
  1768. 28.72 s [really-safe-money-gen] subtract
  1769. 28.72 s [really-safe-money-gen] ✓ succeeds for (x+1) - x = 1 37.55 ms
  1770. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1771. 28.72 s [really-safe-money-gen] ✓ succeeds for x - x = 0 27.94 ms
  1772. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1773. 28.72 s [really-safe-money-gen] ✓ fails for 0 - maxBound 0.01 ms
  1774. 28.72 s [really-safe-money-gen] ✓ fails for 0 - 1 0.00 ms
  1775. 28.72 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 39.15 ms
  1776. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1777. 28.72 s [really-safe-money-gen] fromMinimalQuantisations
  1778. 28.72 s [really-safe-money-gen] ✓ produces valid amounts 21.63 ms
  1779. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1780. 28.72 s [really-safe-money-gen] GenValid Amount
  1781. 28.72 s [really-safe-money-gen] genValid :: Gen Amount
  1782. 28.72 s [really-safe-money-gen] ✓ only generates valid 'Amount's 24.77 ms
  1783. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1784. 28.72 s [really-safe-money-gen] toRational
  1785. 28.72 s [really-safe-money-gen] ✓ produces an invalid Rational with quantisation factor 0 24.30 ms
  1786. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1787. 28.72 s [really-safe-money-gen] ✓ produces valid Rationals when the quantisation factor is nonzero 87.41 ms
  1788. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1789. 28.72 s [really-safe-money-gen] Show Amount and Read Amount
  1790. 28.72 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 96.97 ms
  1791. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1792. 28.72 s [really-safe-money-gen] validateStrictlyPositive
  1793. 28.72 s [really-safe-money-gen] ✓ succeeds for Amount 1 0.06 ms
  1794. 28.72 s [really-safe-money-gen] ✓ fails for zero 0.00 ms
  1795. 28.72 s [really-safe-money-gen] toDouble
  1796. 28.72 s [really-safe-money-gen] ✓ produces valid Doubles 32.10 ms
  1797. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1798. 28.72 s [really-safe-money-gen] ✓ produces an infinite Double with quantisation factor 0 21.61 ms
  1799. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1800. 28.72 s [really-safe-money-gen] ✓ succeeds on 7702 with quantisation factor 100 0.01 ms
  1801. 28.72 s [really-safe-money-gen] Eq Amount
  1802. 28.72 s [really-safe-money-gen] (/=) :: Amount -> Amount -> Bool
  1803. 28.72 s [really-safe-money-gen] ✓ is antireflexive for "valid Amount"s 28.42 ms
  1804. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1805. 28.72 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid Amount"s 50.54 ms
  1806. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1807. 28.72 s [really-safe-money-gen] (==) :: Amount -> Amount -> Bool
  1808. 28.72 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid Amount"s 40.69 ms
  1809. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1810. 28.72 s [really-safe-money-gen] ✓ is reflexive for "valid Amount"s 14.25 ms
  1811. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1812. 28.72 s [really-safe-money-gen] ✓ is symmetric for "valid Amount"s 19.43 ms
  1813. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1814. 28.72 s [really-safe-money-gen] ✓ is transitive for "valid Amount"s 12.37 ms
  1815. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1816. 28.72 s [really-safe-money-gen] toRatio
  1817. 28.72 s [really-safe-money-gen] ✓ produces valid Rationals when the quantisation factor is nonzero 71.22 ms
  1818. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1819. 28.72 s [really-safe-money-gen] ✓ produces an invalid Rational with quantisation factor 0 13.21 ms
  1820. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1821. 28.72 s [really-safe-money-gen] quantisationFactorFormatString
  1822. 28.72 s [really-safe-money-gen] ✓ uses %f for the degenerate zero quantisation factor 0.03 ms
  1823. 28.72 s [really-safe-money-gen] ✓ uses two decimals for hundredths 0.01 ms
  1824. 28.72 s [really-safe-money-gen] sum
  1825. 28.72 s [really-safe-money-gen] ✓ produces valid amounts 252.63 ms
  1826. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1827. 28.72 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 252.68 ms
  1828. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1829. 28.72 s [really-safe-money-gen] ✓ correctly sums [1,2,3] to 6 0.01 ms
  1830. 28.72 s [really-safe-money-gen] ✓ succeeds at exactly maxBound 0.00 ms
  1831. 28.72 s [really-safe-money-gen] ✓ fails to sum above maxBound 0.00 ms
  1832. 28.72 s [really-safe-money-gen] fromDouble
  1833. 28.72 s [really-safe-money-gen] ✓ fails on really large numbers 0.00 ms
  1834. 28.72 s [really-safe-money-gen] ✓ fails on really large numbers 0.02 ms
  1835. 28.72 s [really-safe-money-gen] ✓ roundtrips with toDouble, back to double 75.12 ms
  1836. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1837. 28.72 s [really-safe-money-gen] ✓ produces valid amounts 40.67 ms
  1838. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1839. 28.72 s [really-safe-money-gen] ✓ fails on NaN 14.76 ms
  1840. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1841. 28.72 s [really-safe-money-gen] ✓ fails on a value way too large (10e1000) 18.97 ms
  1842. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1843. 28.72 s [really-safe-money-gen] ✓ succeeds on 0 20.69 ms
  1844. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1845. 28.72 s [really-safe-money-gen] ✓ succeeds on 77.02 with quantisation factor 100 0.01 ms
  1846. 28.72 s [really-safe-money-gen] ✓ fails on +Infinity 12.31 ms
  1847. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1848. 28.72 s [really-safe-money-gen] ✓ fails on -1 22.12 ms
  1849. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1850. 28.72 s [really-safe-money-gen] ✓ fails on -Infinity 13.17 ms
  1851. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1852. 28.72 s [really-safe-money-gen] ✓ succeeds on 1 27.06 ms
  1853. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1854. 28.72 s [really-safe-money-gen] ✓ fails on 7.123 with quantisation factor 10 0.01 ms
  1855. 28.72 s [really-safe-money-gen] zero
  1856. 28.72 s [really-safe-money-gen] ✓ is valid 0.00 ms
  1857. 28.72 s [really-safe-money-gen] fromRatio
  1858. 28.72 s [really-safe-money-gen] ✓ roundtrips with toRatio 69.22 ms
  1859. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1860. 28.72 s [really-safe-money-gen] ✓ succeeds on 1 32.68 ms
  1861. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1862. 28.72 s [really-safe-money-gen] ✓ fails on NaN 21.42 ms
  1863. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1864. 28.72 s [really-safe-money-gen] ✓ succeeds on 77.02 with quantisation factor 100 0.01 ms
  1865. 28.72 s [really-safe-money-gen] ✓ produces valid Amounts 116.12 ms
  1866. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1867. 28.72 s [really-safe-money-gen] ✓ fails on 7.123 with quantisation factor 10 0.01 ms
  1868. 28.72 s [really-safe-money-gen] ✓ fails on +Infinity 15.37 ms
  1869. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1870. 28.72 s [really-safe-money-gen] ✓ succeeds on 0 26.51 ms
  1871. 28.72 s [really-safe-money-gen] passed for all of 10000 inputs.
  1872. 28.72 s [really-safe-money-gen] rate
  1873. 28.73 s [really-safe-money-gen] ✓ computes a rate that can be used to do a conversion without rounding 424.13 ms
  1874. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1875. 28.73 s [really-safe-money-gen] ✓ produces valid conversion rates 204.90 ms
  1876. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1877. 28.73 s [really-safe-money-gen] ✓ computes this USD to CHF rate correctly 0.01 ms
  1878. 28.73 s [really-safe-money-gen] fraction
  1879. 28.73 s [really-safe-money-gen] ✓ produces valid amounts 138.67 ms
  1880. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1881. 28.73 s [really-safe-money-gen] ✓ Correctly fractions 101 with 1 % 100 0.01 ms
  1882. 28.73 s [really-safe-money-gen] ✓ Correctly fractions 100 with 1 % 100 0.00 ms
  1883. 28.73 s [really-safe-money-gen] ✓ returns zero when the fraction is zero 25.08 ms
  1884. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1885. 28.73 s [really-safe-money-gen] ✓ Produces a result that has been rounded in the right direction when using RoundUp 155.98 ms
  1886. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1887. 28.73 s [really-safe-money-gen] ✓ Produces a result that can be multiplied back 189.96 ms
  1888. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1889. 28.73 s [really-safe-money-gen] ✓ Produces a result that has been rounded in the right direction when using RoundDown 130.30 ms
  1890. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1891. 28.73 s [really-safe-money-gen] multiply
  1892. 28.73 s [really-safe-money-gen] ✓ is absorbed by 0 24.86 ms
  1893. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1894. 28.73 s [really-safe-money-gen] ✓ produces valid amounts 15.22 ms
  1895. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1896. 28.73 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 29.40 ms
  1897. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1898. 28.73 s [really-safe-money-gen] ✓ succeeds for 3 * 6 0.01 ms
  1899. 28.73 s [really-safe-money-gen] ✓ has an identity: 1 17.94 ms
  1900. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1901. 28.73 s [really-safe-money-gen] ✓ fails for 2 * maxbound 0.01 ms
  1902. 28.73 s [really-safe-money-gen] ✓ is distributive with add when both succeed 35.79 ms
  1903. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1904. 28.73 s [really-safe-money-gen] Ord Amount
  1905. 28.73 s [really-safe-money-gen] (>=) :: Amount -> Amount -> Bool
  1906. 28.73 s [really-safe-money-gen] ✓ is antisymmetric for "valid Amount"'s 19.68 ms
  1907. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1908. 28.73 s [really-safe-money-gen] ✓ is reflexive for "valid Amount"'s 17.89 ms
  1909. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1910. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid Amount"'s 22.37 ms
  1911. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1912. 28.73 s [really-safe-money-gen] ✓ is transitive for "valid Amount"'s 18.07 ms
  1913. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1914. 28.73 s [really-safe-money-gen] (<) :: Amount -> Amount -> Bool
  1915. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == LT) for "valid Amount"'s 29.75 ms
  1916. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1917. 28.73 s [really-safe-money-gen] ✓ is antireflexive for "valid Amount"'s 23.08 ms
  1918. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1919. 28.73 s [really-safe-money-gen] ✓ is transitive for "valid Amount"'s 25.09 ms
  1920. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1921. 28.73 s [really-safe-money-gen] (>) :: Amount -> Amount -> Bool
  1922. 28.73 s [really-safe-money-gen] ✓ is antireflexive for "valid Amount"'s 18.40 ms
  1923. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1924. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == GT) for "valid Amount"'s 19.29 ms
  1925. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1926. 28.73 s [really-safe-money-gen] ✓ is transitive for "valid Amount"'s 27.37 ms
  1927. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1928. 28.73 s [really-safe-money-gen] "min :: (Amount -> Amount -> Amount)"
  1929. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid Amount"'s 20.68 ms
  1930. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1931. 28.73 s [really-safe-money-gen] (<=) :: Amount -> Amount -> Bool
  1932. 28.73 s [really-safe-money-gen] ✓ is transitive for "valid Amount"'s 15.43 ms
  1933. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1934. 28.73 s [really-safe-money-gen] ✓ is antisymmetric for "valid Amount"'s 18.80 ms
  1935. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1936. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid Amount"'s 22.72 ms
  1937. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1938. 28.73 s [really-safe-money-gen] ✓ is reflexive for "valid Amount"'s 10.11 ms
  1939. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1940. 28.73 s [really-safe-money-gen] "max :: (Amount -> Amount -> Amount)"
  1941. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid Amount"'s 19.31 ms
  1942. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1943. 28.73 s [really-safe-money-gen] add
  1944. 28.73 s [really-safe-money-gen] ✓ matches what you would get with Integer, if nothing fails 34.50 ms
  1945. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1946. 28.73 s [really-safe-money-gen] ✓ is associative when both succeed 38.81 ms
  1947. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1948. 28.73 s [really-safe-money-gen] ✓ fails for maxBound + maxBound 0.00 ms
  1949. 28.73 s [really-safe-money-gen] ✓ has a right-identity: zero 17.13 ms
  1950. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1951. 28.73 s [really-safe-money-gen] ✓ is commutative 43.43 ms
  1952. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1953. 28.73 s [really-safe-money-gen] ✓ produces valid amounts 27.89 ms
  1954. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1955. 28.73 s [really-safe-money-gen] ✓ fails for maxBound + 1 0.01 ms
  1956. 28.73 s [really-safe-money-gen] ✓ has a left-identity: zero 24.52 ms
  1957. 28.73 s [really-safe-money-gen] passed for all of 10000 inputs.
  1958. 28.73 s [really-safe-money-gen] Money.MultiAmountSpec
  1959. 28.73 s [really-safe-money-gen] addAmount
  1960. 28.73 s [really-safe-money-gen] ✓ keeps the currency entry after adding to an existing non-zero amount 9.25 ms
  1961. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1962. 28.73 s [really-safe-money-gen] ✓ produces valid amounts 38.51 ms
  1963. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1964. 28.73 s [really-safe-money-gen] ✓ is invalid when it contains a zero amount 13.45 ms
  1965. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1966. 28.73 s [really-safe-money-gen] subtractAmount
  1967. 28.73 s [really-safe-money-gen] ✓ removes the currency entry when subtracting the full amount 17.45 ms
  1968. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1969. 28.73 s [really-safe-money-gen] ✓ produces valid amounts 18.07 ms
  1970. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1971. 28.73 s [really-safe-money-gen] ✓ keeps the currency entry when subtracting less than the full amount 12.17 ms
  1972. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1973. 28.73 s [really-safe-money-gen] convertAll
  1974. 28.73 s [really-safe-money-gen] ✓ produces valid results when converting two currencies to one 44.19 ms
  1975. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1976. 28.73 s [really-safe-money-gen] ✓ does the same as 'convert' when there is only one amount 43.66 ms
  1977. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1978. 28.73 s [really-safe-money-gen] ✓ produces the right result in this example 11.07 ms
  1979. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1980. 28.73 s [really-safe-money-gen] ✓ succeeds when the converted total equals exactly maxBound 3.09 ms
  1981. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1982. 28.73 s [really-safe-money-gen] lookupAmount
  1983. 28.73 s [really-safe-money-gen] ✓ produces valid amounts 15.76 ms
  1984. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1985. 28.73 s [really-safe-money-gen] ✓ can find an added amount 16.20 ms
  1986. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1987. 28.73 s [really-safe-money-gen] fromAmount
  1988. 28.73 s [really-safe-money-gen] ✓ produces valid amounts 4.25 ms
  1989. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1990. 28.73 s [really-safe-money-gen] GenValid (MultiAmount Currency)
  1991. 28.73 s [really-safe-money-gen] genValid :: Gen (MultiAmount Currency)
  1992. 28.73 s [really-safe-money-gen] ✓ only generates valid '(MultiAmount Currency)'s 38.80 ms
  1993. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1994. 28.73 s [really-safe-money-gen] subtract
  1995. 28.73 s [really-safe-money-gen] ✓ produces valid amounts 24.39 ms
  1996. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1997. 28.73 s [really-safe-money-gen] ✓ has a right-identity: zero 36.78 ms
  1998. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  1999. 28.73 s [really-safe-money-gen] Show (MultiAmount Currency) and Read (MultiAmount Currency)
  2000. 28.73 s [really-safe-money-gen] ✓ are implemented such that read . show == id for valid values 72.49 ms
  2001. 28.73 s [really-safe-money-gen] passed for all of 100 inputs.
  2002. 28.73 s [really-safe-money-gen] ✓ is invalid when it contains a currency with a zero quantisation factor 13.64 ms
  2003. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2004. 28.73 s [really-safe-money-gen] sum
  2005. 28.73 s [really-safe-money-gen] ✓ produces valid amounts 71.68 ms
  2006. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2007. 28.73 s [really-safe-money-gen] add
  2008. 28.73 s [really-safe-money-gen] ✓ produces valid amounts 57.45 ms
  2009. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2010. 28.73 s [really-safe-money-gen] ✓ has a left-identity: zero 46.10 ms
  2011. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2012. 28.73 s [really-safe-money-gen] ✓ has a right-identity: zero 42.79 ms
  2013. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2014. 28.73 s [really-safe-money-gen] ✓ is commutative 97.67 ms
  2015. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2016. 28.73 s [really-safe-money-gen] ✓ is associative when both succeed 172.89 ms
  2017. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2018. 28.73 s [really-safe-money-gen] Eq (MultiAmount Currency)
  2019. 28.73 s [really-safe-money-gen] (/=) :: (MultiAmount Currency) -> (MultiAmount Currency) -> Bool
  2020. 28.73 s [really-safe-money-gen] ✓ is antireflexive for "valid (MultiAmount Currency)"s 32.13 ms
  2021. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2022. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a == b) for "valid (MultiAmount Currency)"s 39.90 ms
  2023. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2024. 28.73 s [really-safe-money-gen] (==) :: (MultiAmount Currency) -> (MultiAmount Currency) -> Bool
  2025. 28.73 s [really-safe-money-gen] ✓ is reflexive for "valid (MultiAmount Currency)"s 33.91 ms
  2026. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2027. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (MultiAmount Currency)"s 50.89 ms
  2028. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2029. 28.73 s [really-safe-money-gen] ✓ is transitive for "valid (MultiAmount Currency)"s 37.65 ms
  2030. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2031. 28.73 s [really-safe-money-gen] ✓ is symmetric for "valid (MultiAmount Currency)"s 36.43 ms
  2032. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2033. 28.73 s [really-safe-money-gen] Ord (MultiAmount Currency)
  2034. 28.73 s [really-safe-money-gen] (<) :: (MultiAmount Currency) -> (MultiAmount Currency) -> Bool
  2035. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == LT) for "valid (MultiAmount Currency)"'s 50.42 ms
  2036. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2037. 28.73 s [really-safe-money-gen] ✓ is transitive for "valid (MultiAmount Currency)"'s 47.05 ms
  2038. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2039. 28.73 s [really-safe-money-gen] ✓ is antireflexive for "valid (MultiAmount Currency)"'s 23.85 ms
  2040. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2041. 28.73 s [really-safe-money-gen] "max :: (MultiAmount Currency -> MultiAmount Currency -> MultiAmount Currency)"
  2042. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid (MultiAmount Currency)"'s 53.82 ms
  2043. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2044. 28.73 s [really-safe-money-gen] (>=) :: (MultiAmount Currency) -> (MultiAmount Currency) -> Bool
  2045. 28.73 s [really-safe-money-gen] ✓ is reflexive for "valid (MultiAmount Currency)"'s 24.00 ms
  2046. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2047. 28.73 s [really-safe-money-gen] ✓ is transitive for "valid (MultiAmount Currency)"'s 52.31 ms
  2048. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2049. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid (MultiAmount Currency)"'s 45.81 ms
  2050. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2051. 28.73 s [really-safe-money-gen] ✓ is antisymmetric for "valid (MultiAmount Currency)"'s 47.23 ms
  2052. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2053. 28.73 s [really-safe-money-gen] (>) :: (MultiAmount Currency) -> (MultiAmount Currency) -> Bool
  2054. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b == GT) for "valid (MultiAmount Currency)"'s 52.10 ms
  2055. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2056. 28.73 s [really-safe-money-gen] ✓ is antireflexive for "valid (MultiAmount Currency)"'s 38.01 ms
  2057. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2058. 28.73 s [really-safe-money-gen] ✓ is transitive for "valid (MultiAmount Currency)"'s 39.38 ms
  2059. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2060. 28.73 s [really-safe-money-gen] (<=) :: (MultiAmount Currency) -> (MultiAmount Currency) -> Bool
  2061. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid (MultiAmount Currency)"'s 42.70 ms
  2062. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2063. 28.73 s [really-safe-money-gen] ✓ is reflexive for "valid (MultiAmount Currency)"'s 28.09 ms
  2064. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2065. 28.73 s [really-safe-money-gen] ✓ is antisymmetric for "valid (MultiAmount Currency)"'s 39.96 ms
  2066. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2067. 28.73 s [really-safe-money-gen] ✓ is transitive for "valid (MultiAmount Currency)"'s 43.72 ms
  2068. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2069. 28.73 s [really-safe-money-gen] "min :: (MultiAmount Currency -> MultiAmount Currency -> MultiAmount Currency)"
  2070. 28.73 s [really-safe-money-gen] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid (MultiAmount Currency)"'s 50.39 ms
  2071. 28.73 s [really-safe-money-gen] passed for all of 1000 inputs.
  2072. 28.73 s [really-safe-money-gen] zero
  2073. 28.73 s [really-safe-money-gen] ✓ is valid 0.01 ms
  2074. 28.73 s [really-safe-money-gen]
  2075. 28.73 s [really-safe-money-gen] Examples: 2407929
  2076. 28.73 s [really-safe-money-gen] Passed: 1725
  2077. 28.73 s [really-safe-money-gen] Failed: 0
  2078. 28.73 s [really-safe-money-gen] Sum of test runtimes: 50.32 seconds
  2079. 28.73 s [really-safe-money-gen] Test suite took: 4.06 seconds
  2080. 28.73 s [really-safe-money-gen]
  2081. 28.73 s [really-safe-money-gen] Test suite really-safe-money-test: PASS
  2082. 28.73 s [really-safe-money-gen] Test suite logged to:
  2083. 28.73 s [really-safe-money-gen] dist/test/really-safe-money-gen-0.0.0.0-really-safe-money-test.log
  2084. 28.73 s [really-safe-money-gen] 1 of 1 test suites (1 of 1 test cases) passed.
  2085. 28.81 s [really-safe-money-gen] Phase: haddockPhase
  2086. 28.82 s [really-safe-money-gen] Phase: installPhase
  2087. 28.91 s [really-safe-money-gen] Installing library in /nix/store/npgsih5y7by6scgsy249mxr30bl9hw4s-really-safe-money-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-21af/really-safe-money-gen-0.0.0.0-7mKqeOpzJlv8S7YwB1jpb2
  2088. 29.23 s [really-safe-money-gen] Phase: fixupPhase
  2089. 29.26 s [really-safe-money-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/npgsih5y7by6scgsy249mxr30bl9hw4s-really-safe-money-gen-0.0.0.0
  2090. 29.26 s [really-safe-money-gen] shrinking /nix/store/npgsih5y7by6scgsy249mxr30bl9hw4s-really-safe-money-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-21af/libHSreally-safe-money-gen-0.0.0.0-7mKqeOpzJlv8S7YwB1jpb2-ghc9.10.3.so
  2091. 29.29 s [really-safe-money-gen] checking for references to /build/ in /nix/store/npgsih5y7by6scgsy249mxr30bl9hw4s-really-safe-money-gen-0.0.0.0...
  2092. 29.34 s [really-safe-money-gen] patching script interpreter paths in /nix/store/npgsih5y7by6scgsy249mxr30bl9hw4s-really-safe-money-gen-0.0.0.0
  2093. 29.35 s [really-safe-money-gen] stripping (with command strip and flags -S -p) in /nix/store/npgsih5y7by6scgsy249mxr30bl9hw4s-really-safe-money-gen-0.0.0.0/lib
  2094. 29.48 s [really-safe-money-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/g2frf8n521ray80kny98vxji00ykiafk-really-safe-money-gen-0.0.0.0-coverage
  2095. 29.49 s [really-safe-money-gen] checking for references to /build/ in /nix/store/g2frf8n521ray80kny98vxji00ykiafk-really-safe-money-gen-0.0.0.0-coverage...
  2096. 29.51 s [really-safe-money-gen] patching script interpreter paths in /nix/store/g2frf8n521ray80kny98vxji00ykiafk-really-safe-money-gen-0.0.0.0-coverage
  2097. 37.48 s [post-build-hook] Uploading to cachix cache "really-safe-money": /nix/store/g2frf8n521ray80kny98vxji00ykiafk-really-safe-money-gen-0.0.0.0-coverage /nix/store/npgsih5y7by6scgsy249mxr30bl9hw4s-really-safe-money-gen-0.0.0.0
  2098. 38.31 s [post-build-hook] Pushing 7 paths (190 are already present) using zstd to cache really-safe-money ⏳
  2099. 38.31 s [post-build-hook]
  2100. 38.65 s [post-build-hook] Pushing /nix/store/s7d4vgxyyghim2q7b2pg4rpjirfwvpbn-really-safe-money-0.0.0.0 (19.26 MiB)
  2101. 38.66 s [post-build-hook] Pushing /nix/store/g2frf8n521ray80kny98vxji00ykiafk-really-safe-money-gen-0.0.0.0-coverage (67.43 KiB)
  2102. 38.68 s [post-build-hook] Pushing /nix/store/a4z6rf11ppcri90jhgwrd9l7bamnmzr5-dekking-value-0.1.0.0-doc (155.51 KiB)
  2103. 38.69 s [post-build-hook] Pushing /nix/store/sqj27w2d678nrq12s1h7jq7gy9jc300z-dekking-value-0.1.0.0 (281.23 KiB)
  2104. 38.70 s [post-build-hook] Pushing /nix/store/npgsih5y7by6scgsy249mxr30bl9hw4s-really-safe-money-gen-0.0.0.0 (1.27 MiB)
  2105. 38.75 s [post-build-hook] Pushing /nix/store/izcg4rlglhwbbyvrmsqai5dzwv4q1qpd-dekking-plugin-0.1.0.0 (3.72 MiB)
  2106. 38.78 s [post-build-hook] Pushing /nix/store/4xggi2s9qvm1b2wg1a99jfgfnrljjrf2-dekking-plugin-0.1.0.0-doc (770.97 KiB)
  2107. 40.65 s [post-build-hook]
  2108. 40.65 s [post-build-hook] All done.
  2109. 40.68 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/g2frf8n521ray80kny98vxji00ykiafk-really-safe-money-gen-0.0.0.0-coverage /nix/store/npgsih5y7by6scgsy249mxr30bl9hw4s-really-safe-money-gen-0.0.0.0
  2110. 40.74 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2111. 40.77 s [post-build-hook] copying 2 paths...
  2112. 40.77 s [post-build-hook] copying path '/nix/store/npgsih5y7by6scgsy249mxr30bl9hw4s-really-safe-money-gen-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
  2113. 40.77 s [post-build-hook] copying path '/nix/store/g2frf8n521ray80kny98vxji00ykiafk-really-safe-money-gen-0.0.0.0-coverage' to 'https://cache.staging.nix-ci.com'...
  2114. 41.34 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2115. 41.62 s [post-build-hook] copying 1 paths...
  2116. 41.62 s [post-build-hook] copying path '/nix/store/rdfcnadzfdypy969y3q3s2q7fx5p42lm-really-safe-money-gen-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
  2117. 41.82 s Progress: 2 of 8 built, 6 of 6 downloaded from cache
  2118. 41.87 s Building /nix/store/54bipy6gdw6sa872c03278jx3wxvash5-really-safe-money-autodocodec-gen-0.0.0.0.drv
  2119. 42.32 s [really-safe-money-autodocodec-gen] Phase: setupCompilerEnvironmentPhase
  2120. 42.33 s [really-safe-money-autodocodec-gen] Build with /nix/store/k493jzz83044mqayvlb6247l35780kxy-ghc-9.10.3.
  2121. 43.57 s [really-safe-money-autodocodec-gen] Phase: unpackPhase
  2122. 43.57 s [really-safe-money-autodocodec-gen] unpacking source archive /nix/store/97sj53r1acvyir5l4sa3fc52y9sm2cid-really-safe-money-autodocodec-gen-source-0.0.0.0/really-safe-money-autodocodec-gen-0.0.0.0.tar.gz
  2123. 43.60 s [really-safe-money-autodocodec-gen] source root is really-safe-money-autodocodec-gen-0.0.0.0
  2124. 43.61 s [really-safe-money-autodocodec-gen] setting SOURCE_DATE_EPOCH to timestamp 1780902650 of file "really-safe-money-autodocodec-gen-0.0.0.0/test/Spec.hs"
  2125. 43.66 s [really-safe-money-autodocodec-gen] Phase: patchPhase
  2126. 43.69 s [really-safe-money-autodocodec-gen] Phase: compileBuildDriverPhase
  2127. 43.70 s [really-safe-money-autodocodec-gen] setupCompileFlags: -package-db=/build/tmp.UFRdmojrke/setup-package.conf.d -threaded
  2128. 43.77 s [really-safe-money-autodocodec-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.UFRdmojrke/Main.o )
  2129. 43.83 s [really-safe-money-autodocodec-gen] [2 of 2] Linking Setup
  2130. 45.40 s [really-safe-money-autodocodec-gen] Phase: updateAutotoolsGnuConfigScriptsPhase
  2131. 45.43 s [really-safe-money-autodocodec-gen] Phase: configurePhase
  2132. 45.44 s [really-safe-money-autodocodec-gen] configureFlags: --verbose --prefix=/nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --with-gcc=gcc --package-db=/build/tmp.UFRdmojrke/package.conf.d --ghc-option=-j14 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Werror --extra-lib-dirs=/nix/store/wl2nw5l4x4dg6kclbgpq7v9212i1s6cy-ncurses-6.6/lib --extra-lib-dirs=/nix/store/2zs4bbi72plfm8j6zxf1js4f3yc4yzwy-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/qhmqdg27kcrlkl8ida6d5hiacw0y8d21-elfutils-0.194/lib --extra-lib-dirs=/nix/store/y56aqb1m3y5davn6hsv4jfbml78qw4mv-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/wjfhh11sfcdf97mvg7hbxickybxzk850-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/k493jzz83044mqayvlb6247l35780kxy-ghc-9.10.3/lib
  2133. 45.45 s [really-safe-money-autodocodec-gen] Using Parsec parser
  2134. 45.45 s [really-safe-money-autodocodec-gen] Configuring really-safe-money-autodocodec-gen-0.0.0.0...
  2135. 46.73 s [really-safe-money-autodocodec-gen] Dependency aeson: using aeson-2.2.4.1
  2136. 46.73 s [really-safe-money-autodocodec-gen] Dependency autodocodec: using autodocodec-0.5.0.0
  2137. 46.73 s [really-safe-money-autodocodec-gen] Dependency autodocodec-yaml: using autodocodec-yaml-0.4.0.2
  2138. 46.73 s [really-safe-money-autodocodec-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  2139. 46.73 s [really-safe-money-autodocodec-gen] Dependency deepseq: using deepseq-1.5.0.0
  2140. 46.73 s [really-safe-money-autodocodec-gen] Dependency genvalidity-sydtest: using genvalidity-sydtest-1.0.1.0
  2141. 46.73 s [really-safe-money-autodocodec-gen] Dependency sydtest: using sydtest-0.25.0.1
  2142. 46.73 s [really-safe-money-autodocodec-gen] Dependency aeson: using aeson-2.2.4.1
  2143. 46.73 s [really-safe-money-autodocodec-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  2144. 46.73 s [really-safe-money-autodocodec-gen] Dependency really-safe-money: using really-safe-money-0.0.0.0
  2145. 46.73 s [really-safe-money-autodocodec-gen] Dependency really-safe-money-autodocodec: using
  2146. 46.73 s [really-safe-money-autodocodec-gen] really-safe-money-autodocodec-0.0.0.0
  2147. 46.74 s [really-safe-money-autodocodec-gen] Dependency really-safe-money-autodocodec-gen: using
  2148. 46.74 s [really-safe-money-autodocodec-gen] really-safe-money-autodocodec-gen-0.0.0.0
  2149. 46.74 s [really-safe-money-autodocodec-gen] Dependency really-safe-money-gen: using really-safe-money-gen-0.0.0.0
  2150. 46.74 s [really-safe-money-autodocodec-gen] Dependency sydtest: using sydtest-0.25.0.1
  2151. 46.74 s [really-safe-money-autodocodec-gen] Source component graph:
  2152. 46.74 s [really-safe-money-autodocodec-gen] component lib
  2153. 46.74 s [really-safe-money-autodocodec-gen] component test:really-safe-money-autodocodec-test dependency lib
  2154. 46.74 s [really-safe-money-autodocodec-gen] Configured component graph:
  2155. 46.74 s [really-safe-money-autodocodec-gen] component really-safe-money-autodocodec-gen-0.0.0.0-5RDGNZwJrdSLIMuVoRkSOZ
  2156. 46.74 s [really-safe-money-autodocodec-gen] include aeson-2.2.4.1-I5kgiCyiPJO8jEV0bEgUez
  2157. 46.74 s [really-safe-money-autodocodec-gen] include autodocodec-0.5.0.0-3qLgiGyLeOyEYAS7UL3M41
  2158. 46.74 s [really-safe-money-autodocodec-gen] include autodocodec-yaml-0.4.0.2-HubNJckabFE4VnttidhWWu
  2159. 46.74 s [really-safe-money-autodocodec-gen] include base-4.20.2.0-4d66
  2160. 46.74 s [really-safe-money-autodocodec-gen] include deepseq-1.5.0.0-04fd
  2161. 46.74 s [really-safe-money-autodocodec-gen] include genvalidity-sydtest-1.0.1.0-45XJfPg4Hf83zRZotM8Yum
  2162. 46.74 s [really-safe-money-autodocodec-gen] include sydtest-0.25.0.1-8CeZFHEpYWR67hZ2sxATtG
  2163. 46.74 s [really-safe-money-autodocodec-gen] component really-safe-money-autodocodec-gen-0.0.0.0-EMfWzF4QLM2GxBkXTAQCrS-really-safe-money-autodocodec-test
  2164. 46.74 s [really-safe-money-autodocodec-gen] include aeson-2.2.4.1-I5kgiCyiPJO8jEV0bEgUez
  2165. 46.74 s [really-safe-money-autodocodec-gen] include base-4.20.2.0-4d66
  2166. 46.74 s [really-safe-money-autodocodec-gen] include really-safe-money-0.0.0.0-4n32or1yFnsJqN3wqYySNc
  2167. 46.74 s [really-safe-money-autodocodec-gen] include really-safe-money-autodocodec-0.0.0.0-LcGuXs3ju95FqrupwKLGoc
  2168. 46.74 s [really-safe-money-autodocodec-gen] include really-safe-money-autodocodec-gen-0.0.0.0-5RDGNZwJrdSLIMuVoRkSOZ
  2169. 46.74 s [really-safe-money-autodocodec-gen] include really-safe-money-gen-0.0.0.0-7mKqeOpzJlv8S7YwB1jpb2
  2170. 46.74 s [really-safe-money-autodocodec-gen] include sydtest-0.25.0.1-8CeZFHEpYWR67hZ2sxATtG
  2171. 46.74 s [really-safe-money-autodocodec-gen] Linked component graph:
  2172. 46.74 s [really-safe-money-autodocodec-gen] unit really-safe-money-autodocodec-gen-0.0.0.0-5RDGNZwJrdSLIMuVoRkSOZ
  2173. 46.74 s [really-safe-money-autodocodec-gen] include aeson-2.2.4.1-I5kgiCyiPJO8jEV0bEgUez
  2174. 46.74 s [really-safe-money-autodocodec-gen] include autodocodec-0.5.0.0-3qLgiGyLeOyEYAS7UL3M41
  2175. 46.74 s [really-safe-money-autodocodec-gen] include autodocodec-yaml-0.4.0.2-HubNJckabFE4VnttidhWWu
  2176. 46.74 s [really-safe-money-autodocodec-gen] include base-4.20.2.0-4d66
  2177. 46.74 s [really-safe-money-autodocodec-gen] include deepseq-1.5.0.0-04fd
  2178. 46.74 s [really-safe-money-autodocodec-gen] include genvalidity-sydtest-1.0.1.0-45XJfPg4Hf83zRZotM8Yum
  2179. 46.74 s [really-safe-money-autodocodec-gen] include sydtest-0.25.0.1-8CeZFHEpYWR67hZ2sxATtG
  2180. 46.74 s [really-safe-money-autodocodec-gen] Money.Autodocodec.Gen=really-safe-money-autodocodec-gen-0.0.0.0-5RDGNZwJrdSLIMuVoRkSOZ:Money.Autodocodec.Gen
  2181. 46.74 s [really-safe-money-autodocodec-gen] unit really-safe-money-autodocodec-gen-0.0.0.0-EMfWzF4QLM2GxBkXTAQCrS-really-safe-money-autodocodec-test
  2182. 46.74 s [really-safe-money-autodocodec-gen] include aeson-2.2.4.1-I5kgiCyiPJO8jEV0bEgUez
  2183. 46.74 s [really-safe-money-autodocodec-gen] include base-4.20.2.0-4d66
  2184. 46.74 s [really-safe-money-autodocodec-gen] include really-safe-money-0.0.0.0-4n32or1yFnsJqN3wqYySNc
  2185. 46.74 s [really-safe-money-autodocodec-gen] include really-safe-money-autodocodec-0.0.0.0-LcGuXs3ju95FqrupwKLGoc
  2186. 46.74 s [really-safe-money-autodocodec-gen] include really-safe-money-autodocodec-gen-0.0.0.0-5RDGNZwJrdSLIMuVoRkSOZ
  2187. 46.74 s [really-safe-money-autodocodec-gen] include really-safe-money-gen-0.0.0.0-7mKqeOpzJlv8S7YwB1jpb2
  2188. 46.74 s [really-safe-money-autodocodec-gen] include sydtest-0.25.0.1-8CeZFHEpYWR67hZ2sxATtG
  2189. 46.74 s [really-safe-money-autodocodec-gen] Ready component graph:
  2190. 46.74 s [really-safe-money-autodocodec-gen] definite really-safe-money-autodocodec-gen-0.0.0.0-5RDGNZwJrdSLIMuVoRkSOZ
  2191. 46.74 s [really-safe-money-autodocodec-gen] depends aeson-2.2.4.1-I5kgiCyiPJO8jEV0bEgUez
  2192. 46.74 s [really-safe-money-autodocodec-gen] depends autodocodec-0.5.0.0-3qLgiGyLeOyEYAS7UL3M41
  2193. 46.74 s [really-safe-money-autodocodec-gen] depends autodocodec-yaml-0.4.0.2-HubNJckabFE4VnttidhWWu
  2194. 46.74 s [really-safe-money-autodocodec-gen] depends base-4.20.2.0-4d66
  2195. 46.74 s [really-safe-money-autodocodec-gen] depends deepseq-1.5.0.0-04fd
  2196. 46.74 s [really-safe-money-autodocodec-gen] depends genvalidity-sydtest-1.0.1.0-45XJfPg4Hf83zRZotM8Yum
  2197. 46.74 s [really-safe-money-autodocodec-gen] depends sydtest-0.25.0.1-8CeZFHEpYWR67hZ2sxATtG
  2198. 46.74 s [really-safe-money-autodocodec-gen] definite really-safe-money-autodocodec-gen-0.0.0.0-EMfWzF4QLM2GxBkXTAQCrS-really-safe-money-autodocodec-test
  2199. 46.74 s [really-safe-money-autodocodec-gen] depends aeson-2.2.4.1-I5kgiCyiPJO8jEV0bEgUez
  2200. 46.74 s [really-safe-money-autodocodec-gen] depends base-4.20.2.0-4d66
  2201. 46.74 s [really-safe-money-autodocodec-gen] depends really-safe-money-0.0.0.0-4n32or1yFnsJqN3wqYySNc
  2202. 46.74 s [really-safe-money-autodocodec-gen] depends really-safe-money-autodocodec-0.0.0.0-LcGuXs3ju95FqrupwKLGoc
  2203. 46.74 s [really-safe-money-autodocodec-gen] depends really-safe-money-autodocodec-gen-0.0.0.0-5RDGNZwJrdSLIMuVoRkSOZ
  2204. 46.74 s [really-safe-money-autodocodec-gen] depends really-safe-money-gen-0.0.0.0-7mKqeOpzJlv8S7YwB1jpb2
  2205. 46.74 s [really-safe-money-autodocodec-gen] depends sydtest-0.25.0.1-8CeZFHEpYWR67hZ2sxATtG
  2206. 46.74 s [really-safe-money-autodocodec-gen] Using Cabal-3.12.1.0 compiled by ghc-9.10
  2207. 46.74 s [really-safe-money-autodocodec-gen] Using compiler: ghc-9.10.3
  2208. 46.74 s [really-safe-money-autodocodec-gen] Using install prefix:
  2209. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0
  2210. 46.74 s [really-safe-money-autodocodec-gen] Executables installed in:
  2211. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0/bin
  2212. 46.74 s [really-safe-money-autodocodec-gen] Libraries installed in:
  2213. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-21af/really-safe-money-autodocodec-gen-0.0.0.0-5RDGNZwJrdSLIMuVoRkSOZ
  2214. 46.74 s [really-safe-money-autodocodec-gen] Dynamic Libraries installed in:
  2215. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-21af
  2216. 46.74 s [really-safe-money-autodocodec-gen] Private executables installed in:
  2217. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0/libexec/x86_64-linux-ghc-9.10.3-21af/really-safe-money-autodocodec-gen-0.0.0.0
  2218. 46.74 s [really-safe-money-autodocodec-gen] Data files installed in:
  2219. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0/share/x86_64-linux-ghc-9.10.3-21af/really-safe-money-autodocodec-gen-0.0.0.0
  2220. 46.74 s [really-safe-money-autodocodec-gen] Documentation installed in:
  2221. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0/share/doc/x86_64-linux-ghc-9.10.3-21af/really-safe-money-autodocodec-gen-0.0.0.0
  2222. 46.74 s [really-safe-money-autodocodec-gen] Configuration files installed in:
  2223. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0/etc
  2224. 46.74 s [really-safe-money-autodocodec-gen] No alex found
  2225. 46.74 s [really-safe-money-autodocodec-gen] Using ar found on system at:
  2226. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/mbyy19mdwnfvfwmdi0gqgggx0njvpl1w-binutils-wrapper-2.46/bin/ar
  2227. 46.74 s [really-safe-money-autodocodec-gen] No c2hs found
  2228. 46.74 s [really-safe-money-autodocodec-gen] No cpphs found
  2229. 46.74 s [really-safe-money-autodocodec-gen] No doctest found
  2230. 46.74 s [really-safe-money-autodocodec-gen] Using gcc version 15.2.0 given by user at:
  2231. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/788mx070y81zjlg5ipcl0cra3afviw9k-gcc-wrapper-15.2.0/bin/gcc
  2232. 46.74 s [really-safe-money-autodocodec-gen] Using ghc version 9.10.3 found on system at:
  2233. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/k493jzz83044mqayvlb6247l35780kxy-ghc-9.10.3/bin/ghc
  2234. 46.74 s [really-safe-money-autodocodec-gen] Using ghc-pkg version 9.10.3 found on system at:
  2235. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/k493jzz83044mqayvlb6247l35780kxy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  2236. 46.74 s [really-safe-money-autodocodec-gen] No ghcjs found
  2237. 46.74 s [really-safe-money-autodocodec-gen] No ghcjs-pkg found
  2238. 46.74 s [really-safe-money-autodocodec-gen] No greencard found
  2239. 46.74 s [really-safe-money-autodocodec-gen] Using haddock version 2.31.1 found on system at:
  2240. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/k493jzz83044mqayvlb6247l35780kxy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  2241. 46.74 s [really-safe-money-autodocodec-gen] No happy found
  2242. 46.74 s [really-safe-money-autodocodec-gen] Using haskell-suite found on system at: haskell-suite-dummy-location
  2243. 46.74 s [really-safe-money-autodocodec-gen] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  2244. 46.74 s [really-safe-money-autodocodec-gen] No hmake found
  2245. 46.74 s [really-safe-money-autodocodec-gen] Using hpc version 0.69 found on system at:
  2246. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/k493jzz83044mqayvlb6247l35780kxy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  2247. 46.74 s [really-safe-money-autodocodec-gen] Using hsc2hs version 0.68.10 found on system at:
  2248. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/k493jzz83044mqayvlb6247l35780kxy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  2249. 46.74 s [really-safe-money-autodocodec-gen] No hscolour found
  2250. 46.74 s [really-safe-money-autodocodec-gen] No jhc found
  2251. 46.74 s [really-safe-money-autodocodec-gen] Using ld found on system at:
  2252. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/788mx070y81zjlg5ipcl0cra3afviw9k-gcc-wrapper-15.2.0/bin/ld
  2253. 46.74 s [really-safe-money-autodocodec-gen] No pkg-config found
  2254. 46.74 s [really-safe-money-autodocodec-gen] Using runghc version 9.10.3 found on system at:
  2255. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/k493jzz83044mqayvlb6247l35780kxy-ghc-9.10.3/bin/runghc-9.10.3
  2256. 46.74 s [really-safe-money-autodocodec-gen] Using strip version 2.46 found on system at:
  2257. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/788mx070y81zjlg5ipcl0cra3afviw9k-gcc-wrapper-15.2.0/bin/strip
  2258. 46.74 s [really-safe-money-autodocodec-gen] Using tar found on system at:
  2259. 46.74 s [really-safe-money-autodocodec-gen] /nix/store/k5akwnrn9x2afaj2va7g4a2zpdim8l43-gnutar-1.35/bin/tar
  2260. 46.74 s [really-safe-money-autodocodec-gen] No uhc found
  2261. 47.97 s [really-safe-money-autodocodec-gen] Phase: buildPhase
  2262. 48.07 s [really-safe-money-autodocodec-gen] Preprocessing library for really-safe-money-autodocodec-gen-0.0.0.0...
  2263. 48.07 s [really-safe-money-autodocodec-gen] Building library for really-safe-money-autodocodec-gen-0.0.0.0...
  2264. 48.21 s [really-safe-money-autodocodec-gen] [1 of 2] Compiling Money.Autodocodec.Gen ( src/Money/Autodocodec/Gen.hs, dist/build/Money/Autodocodec/Gen.o, dist/build/Money/Autodocodec/Gen.dyn_o )
  2265. 48.59 s [really-safe-money-autodocodec-gen] [2 of 2] Compiling Paths_really_safe_money_autodocodec_gen ( dist/build/autogen/Paths_really_safe_money_autodocodec_gen.hs, dist/build/Paths_really_safe_money_autodocodec_gen.o, dist/build/Paths_really_safe_money_autodocodec_gen.dyn_o )
  2266. 48.77 s [really-safe-money-autodocodec-gen] [1 of 2] Compiling Money.Autodocodec.Gen ( src/Money/Autodocodec/Gen.hs, dist/build/Money/Autodocodec/Gen.p_o )
  2267. 49.21 s [really-safe-money-autodocodec-gen] [2 of 2] Compiling Paths_really_safe_money_autodocodec_gen ( dist/build/autogen/Paths_really_safe_money_autodocodec_gen.hs, dist/build/Paths_really_safe_money_autodocodec_gen.p_o )
  2268. 51.66 s [really-safe-money-autodocodec-gen] Preprocessing test suite 'really-safe-money-autodocodec-test' for really-safe-money-autodocodec-gen-0.0.0.0...
  2269. 51.66 s [really-safe-money-autodocodec-gen] Building test suite 'really-safe-money-autodocodec-test' for really-safe-money-autodocodec-gen-0.0.0.0...
  2270. 51.79 s [really-safe-money-autodocodec-gen] [1 of 4] Compiling Money.CodecSpec ( test/Money/CodecSpec.hs, dist/build/really-safe-money-autodocodec-test/really-safe-money-autodocodec-test-tmp/Money/CodecSpec.o )
  2271. 52.43 s [really-safe-money-autodocodec-gen] [2 of 4] Compiling Numeric.DecimalLiteral.CodecSpec ( test/Numeric/DecimalLiteral/CodecSpec.hs, dist/build/really-safe-money-autodocodec-test/really-safe-money-autodocodec-test-tmp/Numeric/DecimalLiteral/CodecSpec.o )
  2272. 52.43 s [really-safe-money-autodocodec-gen] [3 of 4] Compiling Main ( test/Spec.hs, dist/build/really-safe-money-autodocodec-test/really-safe-money-autodocodec-test-tmp/Main.o )
  2273. 52.48 s [really-safe-money-autodocodec-gen] [4 of 4] Compiling Paths_really_safe_money_autodocodec_gen ( dist/build/really-safe-money-autodocodec-test/autogen/Paths_really_safe_money_autodocodec_gen.hs, dist/build/really-safe-money-autodocodec-test/really-safe-money-autodocodec-test-tmp/Paths_really_safe_money_autodocodec_gen.o )
  2274. 52.72 s [really-safe-money-autodocodec-gen] [5 of 5] Linking dist/build/really-safe-money-autodocodec-test/really-safe-money-autodocodec-test
  2275. 54.52 s [really-safe-money-autodocodec-gen] Phase: checkPhase
  2276. 54.88 s [really-safe-money-autodocodec-gen] Running 1 test suites...
  2277. 54.88 s [really-safe-money-autodocodec-gen] Test suite really-safe-money-autodocodec-test: RUNNING...
  2278. 54.91 s [really-safe-money-autodocodec-gen] Tests:
  2279. 54.91 s [really-safe-money-autodocodec-gen]
  2280. 54.91 s [really-safe-money-autodocodec-gen] Money.CodecSpec
  2281. 54.91 s [really-safe-money-autodocodec-gen] Account
  2282. 54.91 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "18446744073709551617" 1.87 ms
  2283. 54.91 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.8446744073709551617e19 2.20 ms
  2284. 54.91 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number (-1.8446744073709551615e19) 4.89 ms
  2285. 54.91 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "18446744073709551615" 4.86 ms
  2286. 54.91 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "-18446744073709551615" 4.85 ms
  2287. 54.91 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number (-1.0) 4.83 ms
  2288. 54.91 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "0.1" with the expected error message 2.06 ms
  2289. 54.91 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number (-1.8446744073709551617e19) 2.12 ms
  2290. 54.91 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "-18446744073709551617" 1.80 ms
  2291. 54.91 s [really-safe-money-autodocodec-gen] account
  2292. 54.91 s [really-safe-money-autodocodec-gen] ✓ never fails to encode 4.09 ms
  2293. 54.91 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2294. 54.91 s [really-safe-money-autodocodec-gen] ✓ roundtrips to json 6.27 ms
  2295. 54.91 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2296. 54.91 s [really-safe-money-autodocodec-gen] ✓ has the same schema as before 0.50 ms
  2297. 54.91 s [really-safe-money-autodocodec-gen] account
  2298. 54.91 s [really-safe-money-autodocodec-gen] ✓ roundtrips to json 5.32 ms
  2299. 54.91 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2300. 54.91 s [really-safe-money-autodocodec-gen] ✓ has the same schema as before 0.77 ms
  2301. 54.91 s [really-safe-money-autodocodec-gen] ✓ never fails to encode 2.82 ms
  2302. 54.91 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2303. 54.91 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "0.1" 0.74 ms
  2304. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.8446744073709551615e19 3.27 ms
  2305. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "-1" 3.01 ms
  2306. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.0 3.00 ms
  2307. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 0.1 0.01 ms
  2308. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "1" 2.77 ms
  2309. 55.00 s [really-safe-money-autodocodec-gen] Amount
  2310. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 0.1 0.54 ms
  2311. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "18446744073709551617" 2.55 ms
  2312. 55.00 s [really-safe-money-autodocodec-gen] amount
  2313. 55.00 s [really-safe-money-autodocodec-gen] ✓ has the same schema as before 0.25 ms
  2314. 55.00 s [really-safe-money-autodocodec-gen] ✓ never fails to encode 1.03 ms
  2315. 55.00 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2316. 55.00 s [really-safe-money-autodocodec-gen] ✓ roundtrips to json 0.95 ms
  2317. 55.00 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2318. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "18446744073709551615" 0.89 ms
  2319. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.8446744073709551615e19 0.01 ms
  2320. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "0.1" with the expected error message 1.01 ms
  2321. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.0 0.01 ms
  2322. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.8446744073709551617e19 0.01 ms
  2323. 55.00 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "0.1" 0.25 ms
  2324. 55.00 s [really-safe-money-autodocodec-gen] amount
  2325. 55.09 s [really-safe-money-autodocodec-gen] ✓ never fails to encode 2.87 ms
  2326. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2327. 55.09 s [really-safe-money-autodocodec-gen] ✓ roundtrips to json 2.05 ms
  2328. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2329. 55.09 s [really-safe-money-autodocodec-gen] ✓ has the same schema as before 0.27 ms
  2330. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "18446744073709551616" with the expected error message 0.57 ms
  2331. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "0" 0.03 ms
  2332. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "1" 0.04 ms
  2333. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "-1" 0.32 ms
  2334. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number (-1.0) 0.01 ms
  2335. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "-1" with the expected error message 0.68 ms
  2336. 55.09 s [really-safe-money-autodocodec-gen] AmountOf
  2337. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.8446744073709551615e19 0.75 ms
  2338. 55.09 s [really-safe-money-autodocodec-gen] amount-of
  2339. 55.09 s [really-safe-money-autodocodec-gen] ✓ roundtrips to json 2.51 ms
  2340. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2341. 55.09 s [really-safe-money-autodocodec-gen] ✓ has the same schema as before 0.56 ms
  2342. 55.09 s [really-safe-money-autodocodec-gen] ✓ never fails to encode 2.11 ms
  2343. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2344. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 0.1 0.52 ms
  2345. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.0 0.54 ms
  2346. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.8446744073709551617e19 0.28 ms
  2347. 55.09 s [really-safe-money-autodocodec-gen] amount-of
  2348. 55.09 s [really-safe-money-autodocodec-gen] ✓ never fails to encode 0.88 ms
  2349. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2350. 55.09 s [really-safe-money-autodocodec-gen] ✓ has the same schema as before 1.80 ms
  2351. 55.09 s [really-safe-money-autodocodec-gen] ✓ roundtrips to json 0.80 ms
  2352. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2353. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "1" 0.22 ms
  2354. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "-1" 0.01 ms
  2355. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "18446744073709551615" 0.21 ms
  2356. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "0.1" 0.01 ms
  2357. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "18446744073709551617" 0.01 ms
  2358. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number (-1.0) 0.00 ms
  2359. 55.09 s [really-safe-money-autodocodec-gen] AccountOf
  2360. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number (-1.0) 0.26 ms
  2361. 55.09 s [really-safe-money-autodocodec-gen] account-of
  2362. 55.09 s [really-safe-money-autodocodec-gen] ✓ roundtrips to json 1.80 ms
  2363. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2364. 55.09 s [really-safe-money-autodocodec-gen] ✓ has the same schema as before 0.17 ms
  2365. 55.09 s [really-safe-money-autodocodec-gen] ✓ never fails to encode 0.67 ms
  2366. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2367. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "-18446744073709551617" 0.13 ms
  2368. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number (-1.8446744073709551617e19) 0.01 ms
  2369. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.8446744073709551617e19 0.01 ms
  2370. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "18446744073709551617" 0.11 ms
  2371. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 0.1 0.00 ms
  2372. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "1" 0.03 ms
  2373. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number (-1.8446744073709551615e19) 0.01 ms
  2374. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "-18446744073709551615" 0.02 ms
  2375. 55.09 s [really-safe-money-autodocodec-gen] account-of
  2376. 55.09 s [really-safe-money-autodocodec-gen] ✓ never fails to encode 1.95 ms
  2377. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2378. 55.09 s [really-safe-money-autodocodec-gen] ✓ roundtrips to json 1.21 ms
  2379. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2380. 55.09 s [really-safe-money-autodocodec-gen] ✓ has the same schema as before 0.15 ms
  2381. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "18446744073709551615" 0.02 ms
  2382. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "-1" 0.01 ms
  2383. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.8446744073709551615e19 0.00 ms
  2384. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "0.1" 0.01 ms
  2385. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.0 0.01 ms
  2386. 55.09 s [really-safe-money-autodocodec-gen] QuantisationFactor
  2387. 55.09 s [really-safe-money-autodocodec-gen] quantisation-factor
  2388. 55.09 s [really-safe-money-autodocodec-gen] ✓ has the same schema as before 0.24 ms
  2389. 55.09 s [really-safe-money-autodocodec-gen] ✓ roundtrips to json 0.74 ms
  2390. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2391. 55.09 s [really-safe-money-autodocodec-gen] ✓ never fails to encode 0.68 ms
  2392. 55.09 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2393. 55.09 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 0.0 0.02 ms
  2394. 55.45 s [really-safe-money-autodocodec-gen] ✓ fails to parse Number 1.0 0.01 ms
  2395. 55.45 s [really-safe-money-autodocodec-gen] Numeric.DecimalLiteral.CodecSpec
  2396. 55.45 s [really-safe-money-autodocodec-gen] DecimalLiteral
  2397. 55.45 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "three" 1.25 ms
  2398. 55.45 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "not-a-number" with the expected error message 1.39 ms
  2399. 55.45 s [really-safe-money-autodocodec-gen] decimal-literal
  2400. 55.45 s [really-safe-money-autodocodec-gen] ✓ has the same schema as before 0.51 ms
  2401. 55.48 s [really-safe-money-autodocodec-gen] ✓ roundtrips to json 181.78 ms
  2402. 55.48 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2403. 55.48 s [really-safe-money-autodocodec-gen] ✓ never fails to encode 180.36 ms
  2404. 55.48 s [really-safe-money-autodocodec-gen] passed for all of 100 inputs.
  2405. 55.48 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "1" 2.29 ms
  2406. 55.48 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000" 2.46 ms
  2407. 55.48 s [really-safe-money-autodocodec-gen] ✓ fails to parse String "18446744073709551617" 2.22 ms
  2408. 55.48 s [really-safe-money-autodocodec-gen]
  2409. 55.48 s [really-safe-money-autodocodec-gen] Examples: 2070
  2410. 55.48 s [really-safe-money-autodocodec-gen] Passed: 90
  2411. 55.48 s [really-safe-money-autodocodec-gen] Failed: 0
  2412. 55.48 s [really-safe-money-autodocodec-gen] Sum of test runtimes: 0.47 seconds
  2413. 55.48 s [really-safe-money-autodocodec-gen] Test suite took: 0.19 seconds
  2414. 55.48 s [really-safe-money-autodocodec-gen]
  2415. 55.53 s [really-safe-money-autodocodec-gen] Test suite really-safe-money-autodocodec-test: PASS
  2416. 55.53 s [really-safe-money-autodocodec-gen] Test suite logged to:
  2417. 55.53 s [really-safe-money-autodocodec-gen] dist/test/really-safe-money-autodocodec-gen-0.0.0.0-really-safe-money-autodocodec-test.log
  2418. 55.53 s [really-safe-money-autodocodec-gen] 1 of 1 test suites (1 of 1 test cases) passed.
  2419. 55.55 s [really-safe-money-autodocodec-gen] Phase: haddockPhase
  2420. 55.56 s [really-safe-money-autodocodec-gen] Phase: installPhase
  2421. 55.65 s [really-safe-money-autodocodec-gen] Installing library in /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-21af/really-safe-money-autodocodec-gen-0.0.0.0-5RDGNZwJrdSLIMuVoRkSOZ
  2422. 55.89 s [really-safe-money-autodocodec-gen] Phase: fixupPhase
  2423. 55.92 s [really-safe-money-autodocodec-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0
  2424. 55.93 s [really-safe-money-autodocodec-gen] shrinking /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-21af/libHSreally-safe-money-autodocodec-gen-0.0.0.0-5RDGNZwJrdSLIMuVoRkSOZ-ghc9.10.3.so
  2425. 55.97 s [really-safe-money-autodocodec-gen] checking for references to /build/ in /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0...
  2426. 56.01 s [really-safe-money-autodocodec-gen] patching script interpreter paths in /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0
  2427. 56.03 s [really-safe-money-autodocodec-gen] stripping (with command strip and flags -S -p) in /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0/lib
  2428. 56.08 s [really-safe-money-autodocodec-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/mzch2jz6866ybw49pqfavc7jnf2nq1rw-really-safe-money-autodocodec-gen-0.0.0.0-coverage
  2429. 56.09 s [really-safe-money-autodocodec-gen] checking for references to /build/ in /nix/store/mzch2jz6866ybw49pqfavc7jnf2nq1rw-really-safe-money-autodocodec-gen-0.0.0.0-coverage...
  2430. 56.11 s [really-safe-money-autodocodec-gen] patching script interpreter paths in /nix/store/mzch2jz6866ybw49pqfavc7jnf2nq1rw-really-safe-money-autodocodec-gen-0.0.0.0-coverage
  2431. 56.22 s [post-build-hook] Uploading to cachix cache "really-safe-money": /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0 /nix/store/mzch2jz6866ybw49pqfavc7jnf2nq1rw-really-safe-money-autodocodec-gen-0.0.0.0-coverage
  2432. 56.64 s [post-build-hook] Pushing 2 paths (265 are already present) using zstd to cache really-safe-money ⏳
  2433. 56.64 s [post-build-hook]
  2434. 57.00 s [post-build-hook] Pushing /nix/store/mzch2jz6866ybw49pqfavc7jnf2nq1rw-really-safe-money-autodocodec-gen-0.0.0.0-coverage (14.72 KiB)
  2435. 57.04 s [post-build-hook] Pushing /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0 (568.75 KiB)
  2436. 57.88 s [post-build-hook]
  2437. 57.88 s [post-build-hook] All done.
  2438. 57.90 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0 /nix/store/mzch2jz6866ybw49pqfavc7jnf2nq1rw-really-safe-money-autodocodec-gen-0.0.0.0-coverage
  2439. 57.95 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2440. 58.11 s [post-build-hook] copying 2 paths...
  2441. 58.11 s [post-build-hook] copying path '/nix/store/544pz83y3jd0yf7qvk1xmc7y2c4lvsgg-really-safe-money-autodocodec-gen-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
  2442. 58.11 s [post-build-hook] copying path '/nix/store/mzch2jz6866ybw49pqfavc7jnf2nq1rw-really-safe-money-autodocodec-gen-0.0.0.0-coverage' to 'https://cache.staging.nix-ci.com'...
  2443. 58.44 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2444. 58.66 s [post-build-hook] copying 1 paths...
  2445. 58.66 s [post-build-hook] copying path '/nix/store/54bipy6gdw6sa872c03278jx3wxvash5-really-safe-money-autodocodec-gen-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
  2446. 58.89 s Progress: 3 of 7 built, 6 of 6 downloaded from cache
  2447. 58.92 s Building /nix/store/x7p9xrg9m9j10b95i6h2g3qkywxg2mvr-test-coverage-report.drv
  2448. 58.97 s [test-coverage-report] +++ dekking-report --coverables /nix/store/52lshsqd2mc40zb1vg36j2wzgkk1lkvk-really-safe-money-0.0.0.0-coverables --coverables /nix/store/1fv0bx54drp80zbk487z3r3zkfwgdczj-really-safe-money-autodocodec-0.0.0.0-coverables --coverage /nix/store/mzch2jz6866ybw49pqfavc7jnf2nq1rw-really-safe-money-autodocodec-gen-0.0.0.0-coverage --coverage /nix/store/g2frf8n521ray80kny98vxji00ykiafk-really-safe-money-gen-0.0.0.0-coverage --coverage /nix/store/j8rwx4mw8r3lfbjpy9mi7n78cvb64isy-really-safe-money-0.0.0.0-coverage --coverage /nix/store/4l1wy6lgydjvy1y5bvcm9szhj1zn6n30-really-safe-money-autodocodec-0.0.0.0-coverage --output /nix/store/j5w2q6yrxr0g68i4rljpqiw1nmmpcg6a-test-coverage-report
  2449. 59.00 s [test-coverage-report] "/nix/store/4l1wy6lgydjvy1y5bvcm9szhj1zn6n30-really-safe-money-autodocodec-0.0.0.0-coverage"
  2450. 59.00 s [test-coverage-report] "/nix/store/g2frf8n521ray80kny98vxji00ykiafk-really-safe-money-gen-0.0.0.0-coverage"
  2451. 59.00 s [test-coverage-report] "/nix/store/j8rwx4mw8r3lfbjpy9mi7n78cvb64isy-really-safe-money-0.0.0.0-coverage"
  2452. 59.00 s [test-coverage-report] "/nix/store/mzch2jz6866ybw49pqfavc7jnf2nq1rw-really-safe-money-autodocodec-gen-0.0.0.0-coverage"
  2453. 59.10 s [test-coverage-report] +++ set +x
  2454. 59.13 s [post-build-hook] Uploading to cachix cache "really-safe-money": /nix/store/j5w2q6yrxr0g68i4rljpqiw1nmmpcg6a-test-coverage-report
  2455. 59.48 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache really-safe-money ⏳
  2456. 59.48 s [post-build-hook]
  2457. 59.82 s [post-build-hook] Pushing /nix/store/j5w2q6yrxr0g68i4rljpqiw1nmmpcg6a-test-coverage-report (2.18 MiB)
  2458. 60.79 s [post-build-hook]
  2459. 60.85 s [post-build-hook] All done.
  2460. 60.85 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/j5w2q6yrxr0g68i4rljpqiw1nmmpcg6a-test-coverage-report
  2461. 60.85 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2462. 60.85 s [post-build-hook] copying 1 paths...
  2463. 60.85 s [post-build-hook] copying path '/nix/store/j5w2q6yrxr0g68i4rljpqiw1nmmpcg6a-test-coverage-report' to 'https://cache.staging.nix-ci.com'...
  2464. 61.35 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2465. 61.63 s [post-build-hook] copying 1 paths...
  2466. 61.64 s [post-build-hook] copying path '/nix/store/x7p9xrg9m9j10b95i6h2g3qkywxg2mvr-test-coverage-report.drv' to 'https://cache.staging.nix-ci.com'...
  2467. 61.81 s Progress: 4 of 7 built, 6 of 6 downloaded from cache
  2468. 61.83 s Building /nix/store/cv9kr4yq6y2d83plb21zhkwc02fspbih-test-coverage-report-require-coverage.drv
  2469. 61.90 s [test-coverage-report-require-coverage] PASS: Found 1394 covered expressions.
  2470. 61.92 s [post-build-hook] Uploading to cachix cache "really-safe-money": /nix/store/55xnnz0p7wwb33awks0sqas6mwkdmami-test-coverage-report-require-coverage
  2471. 62.29 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache really-safe-money ⏳
  2472. 62.29 s [post-build-hook]
  2473. 63.04 s [post-build-hook] Pushing /nix/store/55xnnz0p7wwb33awks0sqas6mwkdmami-test-coverage-report-require-coverage (296.00 B)
  2474. 63.86 s [post-build-hook]
  2475. 63.86 s [post-build-hook] All done.
  2476. 63.88 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/55xnnz0p7wwb33awks0sqas6mwkdmami-test-coverage-report-require-coverage
  2477. 63.92 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2478. 63.93 s [post-build-hook] copying 1 paths...
  2479. 63.93 s [post-build-hook] copying path '/nix/store/55xnnz0p7wwb33awks0sqas6mwkdmami-test-coverage-report-require-coverage' to 'https://cache.staging.nix-ci.com'...
  2480. 64.06 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2481. 64.30 s [post-build-hook] copying 1 paths...
  2482. 64.30 s [post-build-hook] copying path '/nix/store/cv9kr4yq6y2d83plb21zhkwc02fspbih-test-coverage-report-require-coverage.drv' to 'https://cache.staging.nix-ci.com'...
  2483. 64.50 s Progress: 5 of 7 built, 6 of 6 downloaded from cache
  2484. 64.52 s Building /nix/store/5cv868fg6wg0sn1q5hzyr1fxh0ymqvjy-test-coverage-report-checked.drv
  2485. 64.59 s [post-build-hook] Uploading to cachix cache "really-safe-money": /nix/store/06sgw55bxz2q3va00h1f1gw4yyxdnm29-test-coverage-report-checked
  2486. 64.94 s [post-build-hook] Pushing 1 paths (1 are already present) using zstd to cache really-safe-money ⏳
  2487. 64.94 s [post-build-hook]
  2488. 65.28 s [post-build-hook] Pushing /nix/store/06sgw55bxz2q3va00h1f1gw4yyxdnm29-test-coverage-report-checked (176.00 B)
  2489. 66.26 s [post-build-hook]
  2490. 66.29 s [post-build-hook] All done.
  2491. 66.29 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/06sgw55bxz2q3va00h1f1gw4yyxdnm29-test-coverage-report-checked
  2492. 66.33 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2493. 66.34 s [post-build-hook] copying 1 paths...
  2494. 66.34 s [post-build-hook] copying path '/nix/store/06sgw55bxz2q3va00h1f1gw4yyxdnm29-test-coverage-report-checked' to 'https://cache.staging.nix-ci.com'...
  2495. 66.62 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2496. 66.84 s [post-build-hook] copying 1 paths...
  2497. 66.84 s [post-build-hook] copying path '/nix/store/5cv868fg6wg0sn1q5hzyr1fxh0ymqvjy-test-coverage-report-checked.drv' to 'https://cache.staging.nix-ci.com'...
  2498. 67.02 s Progress: 6 of 7 built, 6 of 6 downloaded from cache
  2499. 67.02 s /nix/store/06sgw55bxz2q3va00h1f1gw4yyxdnm29-test-coverage-report-checked
  2500. 67.03 s Build succeeded.
More Logs Raw Logs

Agent Instructions

Wait for completion, without logs:

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:really-safe-money/master/910e318982febf8a22ca1e0698a15c773766e6ce/4fa89f28-ace9-47ea-834d-caf8ee0d371c/wait

Latest logs, with timestamps (streams while running):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:really-safe-money/master/910e318982febf8a22ca1e0698a15c773766e6ce/4fa89f28-ace9-47ea-834d-caf8ee0d371c/tail

All logs, with timestamps (available after completion):

curl --netrc https://staging.nix-ci.com/gh:NorfairKing:really-safe-money/master/910e318982febf8a22ca1e0698a15c773766e6ce/4fa89f28-ace9-47ea-834d-caf8ee0d371c/logs

Raw logs, from the start (no timestamps):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:really-safe-money/master/910e318982febf8a22ca1e0698a15c773766e6ce/4fa89f28-ace9-47ea-834d-caf8ee0d371c/raw-logs

Content types available for /logs and /tail (use Accept header):

Example:

curl --netrc -H "Accept: text/csv" https://staging.nix-ci.com/gh:NorfairKing:really-safe-money/master/910e318982febf8a22ca1e0698a15c773766e6ce/4fa89f28-ace9-47ea-834d-caf8ee0d371c/logs

Reproduce locally: https://staging.nix-ci.com/gh:NorfairKing:really-safe-money/master/910e318982febf8a22ca1e0698a15c773766e6ce/4fa89f28-ace9-47ea-834d-caf8ee0d371c/repro

This page is also available in machine-friendly formats. Request one with the Accept header:

For more instructions, fetch https://staging.nix-ci.com/instructions .