build checks.x86_64-linux.mutation-really-safe-money
406.70 s
[really-safe-money-gen] Money\.MultiAmountSpec.sum.produces valid amounts
406.70 s
[really-safe-money-gen] Money\.QuantisationFactorSpec.DecimalLiteral.fromDecimalLiteral.produces valid factors
406.70 s
[really-safe-money-gen] Money\.QuantisationFactorSpec.GenValid QuantisationFactor.genValid \:\: Gen QuantisationFactor.only generates valid 'QuantisationFactor's
406.70 s
[really-safe-money-gen] Money\.QuantisationFactorSpec.fromWord32.produces valid quantisation factors
406.70 s
[really-safe-money-gen]
406.70 s
[really-safe-money-gen] Testing mutation ConstBool at src/Money/QuantisationFactor.hs:40:57-63:
406.70 s
[really-safe-money-gen] @@ -37,7 +37,7 @@
406.70 s
[really-safe-money-gen] validate qf@(QuantisationFactor w) =
406.70 s
[really-safe-money-gen] mconcat
406.70 s
[really-safe-money-gen] [ genericValidate qf,
406.70 s
[really-safe-money-gen] - declare "The quantisation factor is not zero" $ w /= 0
406.71 s
[really-safe-money-gen] + declare "The quantisation factor is not zero" $ False
406.71 s
[really-safe-money-gen] ]
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] instance NFData QuantisationFactor
406.71 s
[really-safe-money-gen] Covering tests:
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.GenValid (MultiAccount Currency).genValid \:\: Gen (MultiAccount Currency).only generates valid '(MultiAccount Currency)'s
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.add.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.addAccount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.addAmount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.fromAccount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.subtract.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.subtractAccount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.subtractAmount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.sum.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.GenValid (MultiAmount Currency).genValid \:\: Gen (MultiAmount Currency).only generates valid '(MultiAmount Currency)'s
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.add.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.addAmount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.fromAmount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.subtract.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.subtractAmount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.sum.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.QuantisationFactorSpec.DecimalLiteral.fromDecimalLiteral.produces valid factors
406.71 s
[really-safe-money-gen] Money\.QuantisationFactorSpec.GenValid QuantisationFactor.genValid \:\: Gen QuantisationFactor.only generates valid 'QuantisationFactor's
406.71 s
[really-safe-money-gen] Money\.QuantisationFactorSpec.fromWord32.produces valid quantisation factors
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:333:11-46:
406.71 s
[really-safe-money-gen] @@ -330,7 +330,7 @@
406.71 s
[really-safe-money-gen] toInt dl = do
406.71 s
[really-safe-money-gen] n <- toInteger dl
406.71 s
[really-safe-money-gen] guard $ n <= fromIntegral (maxBound :: Int)
406.71 s
[really-safe-money-gen] - guard $ n >= fromIntegral (minBound :: Int)
406.71 s
[really-safe-money-gen] + guard $ True
406.71 s
[really-safe-money-gen] pure $ fromIntegral n
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] numSign :: (Ord a, Num a) => a -> Maybe Bool
406.71 s
[really-safe-money-gen] Covering tests:
406.71 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Int.fromInt.can parse any rendered literal
406.71 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Int.toInt.renders to valid words
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] Testing mutation ListLit at src/Money/QuantisationFactor.hs:39:7-8:
406.71 s
[really-safe-money-gen] @@ -36,7 +36,7 @@
406.71 s
[really-safe-money-gen] instance Validity QuantisationFactor where
406.71 s
[really-safe-money-gen] validate qf@(QuantisationFactor w) =
406.71 s
[really-safe-money-gen] mconcat
406.71 s
[really-safe-money-gen] - [ genericValidate qf,
406.71 s
[really-safe-money-gen] + [ genericValidate qf,
406.71 s
[really-safe-money-gen] declare "The quantisation factor is not zero" $ w /= 0
406.71 s
[really-safe-money-gen] ]
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] Covering tests:
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.GenValid (MultiAccount Currency).genValid \:\: Gen (MultiAccount Currency).only generates valid '(MultiAccount Currency)'s
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.add.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.addAccount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.addAmount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.fromAccount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.subtract.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.subtractAccount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.subtractAmount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAccountSpec.sum.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.GenValid (MultiAmount Currency).genValid \:\: Gen (MultiAmount Currency).only generates valid '(MultiAmount Currency)'s
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.add.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.addAmount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.fromAmount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.subtract.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.subtractAmount.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.MultiAmountSpec.sum.produces valid amounts
406.71 s
[really-safe-money-gen] Money\.QuantisationFactorSpec.DecimalLiteral.fromDecimalLiteral.produces valid factors
406.71 s
[really-safe-money-gen] Money\.QuantisationFactorSpec.GenValid QuantisationFactor.genValid \:\: Gen QuantisationFactor.only generates valid 'QuantisationFactor's
406.71 s
[really-safe-money-gen] Money\.QuantisationFactorSpec.fromWord32.produces valid quantisation factors
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:337:21-22:
406.71 s
[really-safe-money-gen] @@ -334,7 +334,7 @@
406.71 s
[really-safe-money-gen] pure $ fromIntegral n
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] numSign :: (Ord a, Num a) => a -> Maybe Bool
406.71 s
[really-safe-money-gen] -numSign a = if a >= 0 then Nothing else Just False
406.71 s
[really-safe-money-gen] +numSign a = if a >= 1 then Nothing else Just False
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] signSignum :: (Num a) => Maybe Bool -> (a -> a)
406.71 s
[really-safe-money-gen] signSignum = \case
406.71 s
[really-safe-money-gen] Covering tests:
406.71 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Int.fromInt.can parse any rendered literal
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:333:11-46:
406.71 s
[really-safe-money-gen] @@ -330,7 +330,7 @@
406.71 s
[really-safe-money-gen] toInt dl = do
406.71 s
[really-safe-money-gen] n <- toInteger dl
406.71 s
[really-safe-money-gen] guard $ n <= fromIntegral (maxBound :: Int)
406.71 s
[really-safe-money-gen] - guard $ n >= fromIntegral (minBound :: Int)
406.71 s
[really-safe-money-gen] + guard $ False
406.71 s
[really-safe-money-gen] pure $ fromIntegral n
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] numSign :: (Ord a, Num a) => a -> Maybe Bool
406.71 s
[really-safe-money-gen] Covering tests:
406.71 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Int.fromInt.can parse any rendered literal
406.71 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Int.toInt.renders to valid words
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:304:42-43:
406.71 s
[really-safe-money-gen] @@ -301,7 +301,7 @@
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] -- | Construct a 'DecimalLiteral' from a 'Natural'
406.71 s
[really-safe-money-gen] fromNatural :: Natural -> DecimalLiteral
406.71 s
[really-safe-money-gen] -fromNatural n = DecimalLiteral Nothing n 0
406.71 s
[really-safe-money-gen] +fromNatural n = DecimalLiteral Nothing n 1
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Natural'
406.71 s
[really-safe-money-gen] toNatural :: DecimalLiteral -> Maybe Natural
406.71 s
[really-safe-money-gen] Covering tests:
406.71 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Natural.fromNatural.renders to valid decimal literals
406.71 s
[really-safe-money-gen]
406.71 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:332:11-46:
406.71 s
[really-safe-money-gen] @@ -329,7 +329,7 @@
406.71 s
[really-safe-money-gen] toInt :: DecimalLiteral -> Maybe Int
406.71 s
[really-safe-money-gen] toInt dl = do
406.71 s
[really-safe-money-gen] n <- toInteger dl
406.72 s
[really-safe-money-gen] - guard $ n <= fromIntegral (maxBound :: Int)
406.72 s
[really-safe-money-gen] + guard $ True
406.72 s
[really-safe-money-gen] guard $ n >= fromIntegral (minBound :: Int)
406.72 s
[really-safe-money-gen] pure $ fromIntegral n
406.72 s
[really-safe-money-gen]
406.72 s
[really-safe-money-gen] Covering tests:
406.72 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Int.fromInt.can parse any rendered literal
406.72 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Int.toInt.renders to valid words
406.72 s
[really-safe-money-gen]
406.72 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:299:11-47:
406.72 s
[really-safe-money-gen] @@ -296,7 +296,7 @@
406.72 s
[really-safe-money-gen] toWord :: DecimalLiteral -> Maybe Word
406.72 s
[really-safe-money-gen] toWord dl = do
406.72 s
[really-safe-money-gen] n <- toNatural dl
406.72 s
[really-safe-money-gen] - guard $ n <= fromIntegral (maxBound :: Word)
406.72 s
[really-safe-money-gen] + guard $ False
406.72 s
[really-safe-money-gen] pure $ fromIntegral n
406.72 s
[really-safe-money-gen]
406.72 s
[really-safe-money-gen] -- | Construct a 'DecimalLiteral' from a 'Natural'
406.72 s
[really-safe-money-gen] Covering tests:
406.72 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Natural.fromNatural.can parse any rendered literal
406.72 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Word.fromWord.can parse any rendered literal
406.72 s
[really-safe-money-gen]
406.72 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:299:11-47:
406.72 s
[really-safe-money-gen] @@ -296,7 +296,7 @@
406.72 s
[really-safe-money-gen] toWord :: DecimalLiteral -> Maybe Word
406.72 s
[really-safe-money-gen] toWord dl = do
406.72 s
[really-safe-money-gen] n <- toNatural dl
406.72 s
[really-safe-money-gen] - guard $ n <= fromIntegral (maxBound :: Word)
406.72 s
[really-safe-money-gen] + guard $ True
406.72 s
[really-safe-money-gen] pure $ fromIntegral n
406.72 s
[really-safe-money-gen]
406.72 s
[really-safe-money-gen] -- | Construct a 'DecimalLiteral' from a 'Natural'
406.72 s
[really-safe-money-gen] Covering tests:
406.72 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Natural.fromNatural.can parse any rendered literal
406.72 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Word.fromWord.can parse any rendered literal
406.72 s
[really-safe-money-gen]
406.72 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:245:9-18:
406.72 s
[really-safe-money-gen] @@ -242,7 +242,7 @@
406.72 s
[really-safe-money-gen] Maybe DecimalLiteral
406.72 s
[really-safe-money-gen] fromRationalRepetendLimited l rational
406.72 s
[really-safe-money-gen] | d == 0 = Nothing
406.72 s
[really-safe-money-gen] - | otherwise = toLiteral Nothing <$> longDiv num
406.72 s
[really-safe-money-gen] + | True = toLiteral Nothing <$> longDiv num
406.72 s
[really-safe-money-gen] where
406.72 s
[really-safe-money-gen] toLiteral mSign (m, e) = DecimalLiteral mSign m (fromIntegral e)
406.72 s
[really-safe-money-gen] d = denominator rational
406.72 s
[really-safe-money-gen] Covering tests:
406.72 s
[really-safe-money-gen] Numeric\.DecimalLiteraTesting mutation IntLit at src/Numeric/DecimalLiteral.hs:208:9-10:
406.72 s
[really-safe-money-gen] @@ -205,7 +205,7 @@
406.72 s
[really-safe-money-gen] -- Nothing
406.72 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
406.72 s
[really-safe-money-gen] fromRational (n :% d)
406.72 s
[really-safe-money-gen] - | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
406.72 s
[really-safe-money-gen] + | n < 1 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
406.72 s
[really-safe-money-gen] | otherwise = fromRatio (fromIntegral n % fromIntegral d)
406.72 s
[really-safe-money-gen]
406.72 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
406.93 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:208:5-10:
406.93 s
[really-safe-money-gen] @@ -205,7 +205,7 @@
406.93 s
[really-safe-money-gen] -- Nothing
406.93 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
406.93 s
[really-safe-money-gen] fromRational (n :% d)
406.94 s
[really-safe-money-gen] - | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
406.94 s
[really-safe-money-gen] + | False = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
406.94 s
[really-safe-money-gen] | otherwise = fromRatio (fromIntegral n % fromIntegral d)
406.94 s
[really-safe-money-gen]
406.94 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
406.98 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:208:5-10:
406.98 s
[really-safe-money-gen] @@ -205,7 +205,7 @@
406.98 s
[really-safe-money-gen] -- Nothing
406.98 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
406.98 s
[really-safe-money-gen] fromRational (n :% d)
406.98 s
[really-safe-money-gen] - | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
406.98 s
[really-safe-money-gen] + | True = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
406.99 s
[really-safe-money-gen] | otherwise = fromRatio (fromIntegral n % fromIntegral d)
406.99 s
[really-safe-money-gen]
406.99 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
406.99 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:223:39-41:
406.99 s
[really-safe-money-gen] @@ -220,7 +220,7 @@
406.99 s
[really-safe-money-gen] -- (-3) % 10
406.99 s
[really-safe-money-gen] toRational :: DecimalLiteral -> Rational
406.99 s
[really-safe-money-gen] toRational (DecimalLiteral mSign m e) =
406.99 s
[really-safe-money-gen] - signSignum mSign (fromIntegral m / (10 ^ e))
406.99 s
[really-safe-money-gen] + signSignum mSign (fromIntegral m / (1 ^ e))
406.99 s
[really-safe-money-gen]
406.99 s
[really-safe-money-gen] -- | Parse a 'DecimalLiteral' from a 'Ratio Natural'
406.99 s
[really-safe-money-gen] --
407.16 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:208:62-67:
407.16 s
[really-safe-money-gen] @@ -205,7 +205,7 @@
407.16 s
[really-safe-money-gen] -- Nothing
407.16 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
407.16 s
[really-safe-money-gen] fromRational (n :% d)
407.16 s
[really-safe-money-gen] - | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
407.16 s
[really-safe-money-gen] + | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
407.16 s
[really-safe-money-gen] | otherwise = fromRatio (fromIntegral n % fromIntegral d)
407.16 s
[really-safe-money-gen]
407.16 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
407.20 s
[really-safe-money-gen] Testing mutation Negate at src/Numeric/DecimalLiteral.hs:208:5-10:
407.20 s
[really-safe-money-gen] @@ -205,7 +205,7 @@
407.20 s
[really-safe-money-gen] -- Nothing
407.20 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
407.20 s
[really-safe-money-gen] fromRational (n :% d)
407.20 s
[really-safe-money-gen] - | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
407.20 s
[really-safe-money-gen] + | not (n < 0) = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
407.20 s
[really-safe-money-gen] | otherwise = fromRatio (fromIntegral n % fromIntegral d)
407.20 s
[really-safe-money-gen]
407.20 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
407.22 s
[really-safe-money-gen] Testing mutation Negate at src/Numeric/DecimalLiteral.hs:208:62-67:
407.22 s
[really-safe-money-gen] @@ -205,7 +205,7 @@
407.22 s
[really-safe-money-gen] -- Nothing
407.22 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
407.22 s
[really-safe-money-gen] fromRational (n :% d)
407.22 s
[really-safe-money-gen] - | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
407.22 s
[really-safe-money-gen] + | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just not (False)) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
407.22 s
[really-safe-money-gen] | otherwise = fromRatio (fromIntegral n % fromIntegral d)
407.22 s
[really-safe-money-gen]
407.22 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
407.26 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:209:5-14:
407.26 s
[really-safe-money-gen] @@ -206,7 +206,7 @@
407.26 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
407.26 s
[really-safe-money-gen] fromRational (n :% d)
407.26 s
[really-safe-money-gen] | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
407.26 s
[really-safe-money-gen] - | otherwise = fromRatio (fromIntegral n % fromIntegral d)
407.26 s
[really-safe-money-gen] + | True = fromRatio (fromIntegral n % fromIntegral d)
407.26 s
[really-safe-money-gen]
407.26 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
407.26 s
[really-safe-money-gen] --
407.27 s
[really-safe-money-gen] Testing mutation Negate at src/Numeric/DecimalLiteral.hs:209:5-14:
407.27 s
[really-safe-money-gen] @@ -206,7 +206,7 @@
407.27 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
407.27 s
[really-safe-money-gen] fromRational (n :% d)
407.27 s
[really-safe-money-gen] | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
407.27 s
[really-safe-money-gen] - | otherwise = fromRatio (fromIntegral n % fromIntegral d)
407.27 s
[really-safe-money-gen] + | not (otherwise) = fromRatio (fromIntegral n % fromIntegral d)
407.27 s
[really-safe-money-gen]
407.27 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
407.27 s
[really-safe-money-gen] --
407.39 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:208:62-67:
407.39 s
[really-safe-money-gen] @@ -205,7 +205,7 @@
407.39 s
[really-safe-money-gen] -- Nothing
407.39 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
407.39 s
[really-safe-money-gen] fromRational (n :% d)
407.39 s
[really-safe-money-gen] - | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
407.39 s
[really-safe-money-gen] + | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just True) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
407.39 s
[really-safe-money-gen] | otherwise = fromRatio (fromIntegral n % fromIntegral d)
407.39 s
[really-safe-money-gen]
407.39 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
407.48 s
[really-safe-money-gen] Testing mutation ListLit at src/Numeric/DecimalLiteral.hs:186:15-25:
407.48 s
[really-safe-money-gen] @@ -183,7 +183,7 @@
407.49 s
[really-safe-money-gen]
407.49 s
[really-safe-money-gen] goFrac m e = reverse (go e (reverse (show m)))
407.49 s
[really-safe-money-gen] go :: Word8 -> String -> String
407.49 s
[really-safe-money-gen] - go 0 [] = ['.', '0']
407.49 s
[really-safe-money-gen] + go 0 [] = ['.', '0']
407.49 s
[really-safe-money-gen] go 0 s = '.' : s
407.49 s
[really-safe-money-gen] go e [] = '0' : go (pred e) []
407.49 s
[really-safe-money-gen] go e (c : cs) = c : go (pred e) cs
407.54 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:145:28-30:
407.54 s
[really-safe-money-gen] @@ -142,7 +142,7 @@
407.54 s
[really-safe-money-gen] parseDigits :: (a -> Int -> Maybe a) -> a -> ReadP a
407.54 s
[really-safe-money-gen] parseDigits f z = do
407.54 s
[really-safe-money-gen] c <- ReadP.satisfy Char.isDigit
407.54 s
[really-safe-money-gen] - let digit = Char.ord c - 48
407.54 s
[really-safe-money-gen] + let digit = Char.ord c - 0
407.54 s
[really-safe-money-gen] case f z digit of
407.54 s
[really-safe-money-gen] Nothing -> fail "Failed to step the first digit"
407.54 s
[really-safe-money-gen] Just a -> ReadP.look >>= go a
407.55 s
[really-safe-money-gen] Testing mutation ListLit at src/Numeric/DecimalLiteral.hs:186:15-25:
407.55 s
[really-safe-money-gen] @@ -183,7 +183,7 @@
407.55 s
[really-safe-money-gen]
407.55 s
[really-safe-money-gen] goFrac m e = reverse (go e (reverse (show m)))
407.55 s
[really-safe-money-gen] go :: Word8 -> String -> String
407.55 s
[really-safe-money-gen] - go 0 [] = ['.', '0']
407.55 s
[really-safe-money-gen] + go 0 [] = ['.', '0']
407.55 s
[really-safe-money-gen] go 0 s = '.' : s
407.55 s
[really-safe-money-gen] go e [] = '0' : go (pred e) []
407.55 s
[really-safe-money-gen] go e (c : cs) = c : go (pred e) cs
407.61 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:145:28-30:
407.61 s
[really-safe-money-gen] @@ -142,7 +142,7 @@
407.61 s
[really-safe-money-gen] parseDigits :: (a -> Int -> Maybe a) -> a -> ReadP a
407.61 s
[really-safe-money-gen] parseDigits f z = do
407.61 s
[really-safe-money-gen] c <- ReadP.satisfy Char.isDigit
407.61 s
[really-safe-money-gen] - let digit = Char.ord c - 48
407.61 s
[really-safe-money-gen] + let digit = Char.ord c - 1
407.61 s
[really-safe-money-gen] case f z digit of
407.61 s
[really-safe-money-gen] Nothing -> fail "Failed to step the first digit"
407.61 s
[really-safe-money-gen] Just a -> ReadP.look >>= go a
407.69 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:145:28-30:
407.69 s
[really-safe-money-gen] @@ -142,7 +142,7 @@
407.69 s
[really-safe-money-gen] parseDigits :: (a -> Int -> Maybe a) -> a -> ReadP a
407.69 s
[really-safe-money-gen] parseDigits f z = do
407.70 s
[really-safe-money-gen] c <- ReadP.satisfy Char.isDigit
407.70 s
[really-safe-money-gen] - let digit = Char.ord c - 48
407.70 s
[really-safe-money-gen] + let digit = Char.ord c - -48
407.70 s
[really-safe-money-gen] case f z digit of
407.70 s
[really-safe-money-gen] Nothing -> fail "Failed to step the first digit"
407.70 s
[really-safe-money-gen] Just a -> ReadP.look >>= go a
407.75 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:152:9-23:
407.75 s
[really-safe-money-gen] @@ -149,7 +149,7 @@
407.75 s
[really-safe-money-gen] where
407.75 s
[really-safe-money-gen] go !a [] = return a
407.75 s
[really-safe-money-gen] go !a (c : cs)
407.75 s
[really-safe-money-gen] - | Char.isDigit c = do
407.75 s
[really-safe-money-gen] + | False = do
407.75 s
[really-safe-money-gen] _ <- ReadP.get
407.75 s
[really-safe-money-gen] let digit = Char.ord c - 48
407.75 s
[really-safe-money-gen] case f a digit of
407.78 s
[really-safe-money-gen] Testing mutation Negate at src/Numeric/DecimalLiteral.hs:152:9-23:
407.78 s
[really-safe-money-gen] @@ -149,7 +149,7 @@
407.78 s
[really-safe-money-gen] where
407.78 s
[really-safe-money-gen] go !a [] = return a
407.78 s
[really-safe-money-gen] go !a (c : cs)
407.78 s
[really-safe-money-gen] - | Char.isDigit c = do
407.78 s
[really-safe-money-gen] + | not (Char.isDigit c) = do
407.78 s
[really-safe-money-gen] _ <- ReadP.get
407.78 s
[really-safe-money-gen] let digit = Char.ord c - 48
407.78 s
[really-safe-money-gen] case f a digit of
407.86 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:154:36-38:
407.86 s
[really-safe-money-gen] @@ -151,7 +151,7 @@
407.86 s
[really-safe-money-gen] go !a (c : cs)
407.86 s
[really-safe-money-gen] | Char.isDigit c = do
407.86 s
[really-safe-money-gen] _ <- ReadP.get
407.86 s
[really-safe-money-gen] - let digit = Char.ord c - 48
407.86 s
[really-safe-money-gen] + let digit = Char.ord c - 1
407.86 s
[really-safe-money-gen] case f a digit of
407.86 s
[really-safe-money-gen] Nothing -> fail "Failed to step the digit"
407.86 s
[really-safe-money-gen] Just a' -> go a' cs
407.87 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:154:36-38:
407.87 s
[really-safe-money-gen] @@ -151,7 +151,7 @@
407.87 s
[really-safe-money-gen] go !a (c : cs)
407.87 s
[really-safe-money-gen] | Char.isDigit c = do
407.87 s
[really-safe-money-gen] _ <- ReadP.get
407.87 s
[really-safe-money-gen] - let digit = Char.ord c - 48
407.87 s
[really-safe-money-gen] + let digit = Char.ord c - 0
407.87 s
[really-safe-money-gen] case f a digit of
407.87 s
[really-safe-money-gen] Nothing -> fail "Failed to step the digit"
407.87 s
[really-safe-money-gen] Just a' -> go a' cs
407.91 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:154:36-38:
407.91 s
[really-safe-money-gen] @@ -151,7 +151,7 @@
407.91 s
[really-safe-money-gen] go !a (c : cs)
407.91 s
[really-safe-money-gen] | Char.isDigit c = do
407.91 s
[really-safe-money-gen] _ <- ReadP.get
407.92 s
[really-safe-money-gen] - let digit = Char.ord c - 48
407.92 s
[really-safe-money-gen] + let digit = Char.ord c - -48
407.92 s
[really-safe-money-gen] case f a digit of
407.92 s
[really-safe-money-gen] Nothing -> fail "Failed to step the digit"
407.92 s
[really-safe-money-gen] Just a' -> go a' cs
408.09 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:158:9-18:
408.09 s
[really-safe-money-gen] @@ -155,7 +155,7 @@
408.09 s
[really-safe-money-gen] case f a digit of
408.09 s
[really-safe-money-gen] Nothing -> fail "Failed to step the digit"
408.09 s
[really-safe-money-gen] Just a' -> go a' cs
408.09 s
[really-safe-money-gen] - | otherwise = return a
408.09 s
[really-safe-money-gen] + | True = return a
408.09 s
[really-safe-money-gen]
408.09 s
[really-safe-money-gen] -- | Render a decimal literal to a string
408.09 s
[really-safe-money-gen] --
408.13 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:152:9-23:
408.13 s
[really-safe-money-gen] @@ -149,7 +149,7 @@
408.13 s
[really-safe-money-gen] where
408.13 s
[really-safe-money-gen] go !a [] = return a
408.13 s
[really-safe-money-gen] go !a (c : cs)
408.13 s
[really-safe-money-gen] - | Char.isDigit c = do
408.13 s
[really-safe-money-gen] + | True = do
408.13 s
[really-safe-money-gen] _ <- ReadP.get
408.13 s
[really-safe-money-gen] let digit = Char.ord c - 48
408.13 s
[really-safe-money-gen] case f a digit of
408.14 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:158:9-18:
408.14 s
[really-safe-money-gen] @@ -155,7 +155,7 @@
408.14 s
[really-safe-money-gen] case f a digit of
408.14 s
[really-safe-money-gen] Nothing -> fail "Failed to step the digit"
408.14 s
[really-safe-money-gen] Just a' -> go a' cs
408.14 s
[really-safe-money-gen] - | otherwise = return a
408.14 s
[really-safe-money-gen] + | False = return a
408.14 s
[really-safe-money-gen]
408.14 s
[really-safe-money-gen] -- | Render a decimal literal to a string
408.14 s
[really-safe-money-gen] --
408.16 s
[really-safe-money-gen] Testing mutation Negate at src/Numeric/DecimalLiteral.hs:158:9-18:
408.16 s
[really-safe-money-gen] @@ -155,7 +155,7 @@
408.16 s
[really-safe-money-gen] case f a digit of
408.16 s
[really-safe-money-gen] Nothing -> fail "Failed to step the digit"
408.16 s
[really-safe-money-gen] Just a' -> go a' cs
408.16 s
[really-safe-money-gen] - | otherwise = return a
408.16 s
[really-safe-money-gen] + | not (otherwise) = return a
408.16 s
[really-safe-money-gen]
408.16 s
[really-safe-money-gen] -- | Render a decimal literal to a string
408.16 s
[really-safe-money-gen] --
408.18 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:139:27-29:
408.18 s
[really-safe-money-gen] @@ -136,7 +136,7 @@
408.18 s
[really-safe-money-gen] stepFraction (m, e) digit = Just (m * 10 + fromIntegral digit, succ e)
408.18 s
[really-safe-money-gen]
408.18 s
[really-safe-money-gen] step :: Natural -> Int -> Maybe Natural
408.18 s
[really-safe-money-gen] -step a digit = Just $ a * 10 + fromIntegral digit
408.18 s
[really-safe-money-gen] +step a digit = Just $ a * 0 + fromIntegral digit
408.18 s
[really-safe-money-gen] {-# INLINE step #-}
408.18 s
[really-safe-money-gen]
408.18 s
[really-safe-money-gen] parseDigits :: (a -> Int -> Maybe a) -> a -> ReadP a
408.36 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:139:27-29:
408.36 s
[really-safe-money-gen] @@ -136,7 +136,7 @@
408.36 s
[really-safe-money-gen] stepFraction (m, e) digit = Just (m * 10 + fromIntegral digit, succ e)
408.36 s
[really-safe-money-gen]
408.36 s
[really-safe-money-gen] step :: Natural -> Int -> Maybe Natural
408.36 s
[really-safe-money-gen] -step a digit = Just $ a * 10 + fromIntegral digit
408.36 s
[really-safe-money-gen] +step a digit = Just $ a * 1 + fromIntegral digit
408.36 s
[really-safe-money-gen] {-# INLINE step #-}
408.36 s
[really-safe-money-gen]
408.36 s
[really-safe-money-gen] parseDigits :: (a -> Int -> Maybe a) -> a -> ReadP a
408.42 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:136:39-41:
408.43 s
[really-safe-money-gen] @@ -133,7 +133,7 @@
408.43 s
[really-safe-money-gen]
408.43 s
[really-safe-money-gen] stepFraction :: (Natural, Word8) -> Int -> Maybe (Natural, Word8)
408.43 s
[really-safe-money-gen] stepFraction (_, 255) _ = Nothing
408.43 s
[really-safe-money-gen] -stepFraction (m, e) digit = Just (m * 10 + fromIntegral digit, succ e)
408.43 s
[really-safe-money-gen] +stepFraction (m, e) digit = Just (m * 0 + fromIntegral digit, succ e)
408.43 s
[really-safe-money-gen]
408.43 s
[really-safe-money-gen] step :: Natural -> Int -> Maybe Natural
408.43 s
[really-safe-money-gen] step a digit = Just $ a * 10 + fromIntegral digit
408.46 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:136:39-41:
408.46 s
[really-safe-money-gen] @@ -133,7 +133,7 @@
408.46 s
[really-safe-money-gen]
408.46 s
[really-safe-money-gen] stepFraction :: (Natural, Word8) -> Int -> Maybe (Natural, Word8)
408.46 s
[really-safe-money-gen] stepFraction (_, 255) _ = Nothing
408.46 s
[really-safe-money-gen] -stepFraction (m, e) digit = Just (m * 10 + fromIntegral digit, succ e)
408.46 s
[really-safe-money-gen] +stepFraction (m, e) digit = Just (m * 1 + fromIntegral digit, succ e)
408.46 s
[really-safe-money-gen]
408.46 s
[really-safe-money-gen] step :: Natural -> Int -> Maybe Natural
408.46 s
[really-safe-money-gen] step a digit = Just $ a * 10 + fromIntegral digit
408.51 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:119:22-30:
408.51 s
[really-safe-money-gen] @@ -116,7 +116,7 @@
408.51 s
[really-safe-money-gen] decimalLiteralP :: ReadP DecimalLiteral
408.51 s
[really-safe-money-gen] decimalLiteralP = do
408.51 s
[really-safe-money-gen] let isSignChar :: Char -> Bool
408.52 s
[really-safe-money-gen] - isSignChar c = c == '-' || c == '+'
408.52 s
[really-safe-money-gen] + isSignChar c = True || c == '+'
408.52 s
[really-safe-money-gen]
408.52 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
408.52 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
408.89 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:119:22-30:
408.89 s
[really-safe-money-gen] @@ -116,7 +116,7 @@
408.89 s
[really-safe-money-gen] decimalLiteralP :: ReadP DecimalLiteral
408.89 s
[really-safe-money-gen] decimalLiteralP = do
408.89 s
[really-safe-money-gen] let isSignChar :: Char -> Bool
408.89 s
[really-safe-money-gen] - isSignChar c = c == '-' || c == '+'
408.89 s
[really-safe-money-gen] + isSignChar c = False || c == '+'
408.89 s
[really-safe-money-gen]
408.89 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
408.89 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
408.89 s
[really-safe-money-gen] Testing mutation Negate at src/Numeric/DecimalLiteral.hs:119:22-30:
408.89 s
[really-safe-money-gen] @@ -116,7 +116,7 @@
408.89 s
[really-safe-money-gen] decimalLiteralP :: ReadP DecimalLiteral
408.89 s
[really-safe-money-gen] decimalLiteralP = do
408.89 s
[really-safe-money-gen] let isSignChar :: Char -> Bool
408.89 s
[really-safe-money-gen] - isSignChar c = c == '-' || c == '+'
408.89 s
[really-safe-money-gen] + isSignChar c = not (c == '-') || c == '+'
408.89 s
[really-safe-money-gen]
408.89 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
408.89 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
408.90 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:119:34-42:
408.90 s
[really-safe-money-gen] @@ -116,7 +116,7 @@
408.90 s
[really-safe-money-gen] decimalLiteralP :: ReadP DecimalLiteral
408.90 s
[really-safe-money-gen] decimalLiteralP = do
408.90 s
[really-safe-money-gen] let isSignChar :: Char -> Bool
408.90 s
[really-safe-money-gen] - isSignChar c = c == '-' || c == '+'
408.90 s
[really-safe-money-gen] + isSignChar c = c == '-' || True
408.90 s
[really-safe-money-gen]
408.90 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
408.90 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
408.91 s
[really-safe-money-gen] Testing mutation Negate at src/Numeric/DecimalLiteral.hs:119:34-42:
408.91 s
[really-safe-money-gen] @@ -116,7 +116,7 @@
408.91 s
[really-safe-money-gen] decimalLiteralP :: ReadP DecimalLiteral
408.91 s
[really-safe-money-gen] decimalLiteralP = do
408.91 s
[really-safe-money-gen] let isSignChar :: Char -> Bool
408.91 s
[really-safe-money-gen] - isSignChar c = c == '-' || c == '+'
408.91 s
[really-safe-money-gen] + isSignChar c = c == '-' || not (c == '+')
408.91 s
[really-safe-money-gen]
408.91 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
408.91 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
408.94 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:119:34-42:
408.94 s
[really-safe-money-gen] @@ -116,7 +116,7 @@
408.94 s
[really-safe-money-gen] decimalLiteralP :: ReadP DecimalLiteral
408.94 s
[really-safe-money-gen] decimalLiteralP = do
408.94 s
[really-safe-money-gen] let isSignChar :: Char -> Bool
408.94 s
[really-safe-money-gen] - isSignChar c = c == '-' || c == '+'
408.94 s
[really-safe-money-gen] + isSignChar c = c == '-' || False
408.94 s
[really-safe-money-gen]
408.94 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
408.95 s
[really-safe-money-gen] signCTheasrt i<n-g RmeuatdaPt.isoant iCsofnys tiBsoSoilg naCth asrr
408.95 s
[really-safe-money-gen] c/Numeric/DecimalLiteral.hs:119:22-42:
408.95 s
[really-safe-money-gen] @@ -116,7 +116,7 @@
408.95 s
[really-safe-money-gen] decimalLiteralP :: ReadP DecimalLiteral
408.95 s
[really-safe-money-gen] decimalLiteralP = do
408.96 s
[really-safe-money-gen] let isSignChar :: Char -> Bool
408.96 s
[really-safe-money-gen] - isSignChar c = c == '-' || c == '+'
408.96 s
[really-safe-money-gen] + isSignChar c = True
408.96 s
[really-safe-money-gen]
408.96 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
408.96 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
409.00 s
[really-safe-money-gen] Testing mutation Negate at src/Numeric/DecimalLiteral.hs:119:22-42:
409.00 s
[really-safe-money-gen] @@ -116,7 +116,7 @@
409.00 s
[really-safe-money-gen] decimalLiteralP :: ReadP DecimalLiteral
409.00 s
[really-safe-money-gen] decimalLiteralP = do
409.00 s
[really-safe-money-gen] let isSignChar :: Char -> Bool
409.00 s
[really-safe-money-gen] - isSignChar c = c == '-' || c == '+'
409.00 s
[really-safe-money-gen] + isSignChar c = not (c == '-' || c == '+')
409.00 s
[really-safe-money-gen]
409.00 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
409.00 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
409.03 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:123:19-34:
409.03 s
[really-safe-money-gen] @@ -120,7 +120,7 @@
409.03 s
[really-safe-money-gen]
409.03 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
409.03 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
409.03 s
[really-safe-money-gen] - pure $ Just $ signChar == '+'
409.03 s
[really-safe-money-gen] + pure $ Just $ True
409.03 s
[really-safe-money-gen]
409.04 s
[really-safe-money-gen] units <- parseDigits step 0
409.04 s
[really-safe-money-gen]
409.26 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:123:19-34:
409.26 s
[really-safe-money-gen] @@ -120,7 +120,7 @@
409.26 s
[really-safe-money-gen]
409.26 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
409.26 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
409.26 s
[really-safe-money-gen] - pure $ Just $ signChar == '+'
409.26 s
[really-safe-money-gen] + pure $ Just $ False
409.26 s
[really-safe-money-gen]
409.26 s
[really-safe-money-gen] units <- parseDigits step 0
409.26 s
[really-safe-money-gen]
409.38 s
[really-safe-money-gen] Testing mutation Negate at src/Numeric/DecimalLiteral.hs:123:19-34:
409.38 s
[really-safe-money-gen] @@ -120,7 +120,7 @@
409.38 s
[really-safe-money-gen]
409.38 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
409.38 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
409.38 s
[really-safe-money-gen] - pure $ Just $ signChar == '+'
409.38 s
[really-safe-money-gen] + pure $ Just $ not (signChar == '+')
409.38 s
[really-safe-money-gen]
409.38 s
[really-safe-money-gen] units <- parseDigits step 0
409.38 s
[really-safe-money-gen]
409.39 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:125:29-30:
409.39 s
[really-safe-money-gen] @@ -122,7 +122,7 @@
409.39 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
409.39 s
[really-safe-money-gen] pure $ Just $ signChar == '+'
409.39 s
[really-safe-money-gen]
409.39 s
[really-safe-money-gen] - units <- parseDigits step 0
409.39 s
[really-safe-money-gen] + units <- parseDigits step 1
409.39 s
[really-safe-money-gen]
409.39 s
[really-safe-money-gen] ReadP.option (DecimalLiteral mSign units 0) $ do
409.39 s
[really-safe-money-gen] _ <- ReadP.satisfy (== '.')
409.44 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:127:44-45:
409.44 s
[really-safe-money-gen] @@ -124,7 +124,7 @@
409.44 s
[really-safe-money-gen]
409.45 s
[really-safe-money-gen] units <- parseDigits step 0
409.45 s
[really-safe-money-gen]
409.45 s
[really-safe-money-gen] - ReadP.option (DecimalLiteral mSign units 0) $ do
409.45 s
[really-safe-money-gen] + ReadP.option (DecimalLiteral mSign units 1) $ do
409.45 s
[really-safe-money-gen] _ <- ReadP.satisfy (== '.')
409.45 s
[really-safe-money-gen]
409.45 s
[really-safe-money-gen] (m, e) <- parseDigits stepFraction (units, 0)
409.47 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:130:48-49:
409.47 s
[really-safe-money-gen] @@ -127,7 +127,7 @@
409.47 s
[really-safe-money-gen] ReadP.option (DecimalLiteral mSign units 0) $ do
409.47 s
[really-safe-money-gen] _ <- ReadP.satisfy (== '.')
409.47 s
[really-safe-money-gen]
409.47 s
[really-safe-money-gen] - (m, e) <- parseDigits stepFraction (units, 0)
409.47 s
[really-safe-money-gen] + (m, e) <- parseDigits stepFraction (units, 1)
409.47 s
[really-safe-money-gen]
409.47 s
[really-safe-money-gen] pure $ DecimalLiteral mSign m e
409.47 s
[really-safe-money-gen]
409.53 s
[really-safe-money-gen] Testing mutation ListLit at src/Money/Account/Codec.hs:51:33-76:
409.53 s
[really-safe-money-gen] @@ -48,7 +48,7 @@
409.53 s
[really-safe-money-gen] where
409.53 s
[really-safe-money-gen] f :: String -> Either String Account
409.53 s
[really-safe-money-gen] f s = case readMaybe s >>= Account.fromMinimalQuantisations of
409.54 s
[really-safe-money-gen] - Nothing -> Left $ unwords ["Could not read string as an Account:", s]
409.54 s
[really-safe-money-gen] + Nothing -> Left $ unwords ["Could not read string as an Account:", s]
409.54 s
[really-safe-money-gen] Just a -> Right a
409.54 s
[really-safe-money-gen] g :: Account -> String
409.54 s
[really-safe-money-gen] g = show . Account.toMinimalQuantisations
409.54 s
[really-safe-money-gen] Testing mutation ListLit at src/Money/Account/Codec.hs:51:33-76:
409.54 s
[really-safe-money-gen] @@ -48,7 +48,7 @@
409.54 s
[really-safe-money-gen] where
409.54 s
[really-safe-money-gen] f :: String -> Either String Account
409.54 s
[really-safe-money-gen] f s = case readMaybe s >>= Account.fromMinimalQuantisations of
409.54 s
[really-safe-money-gen] - Nothing -> Left $ unwords ["Could not read string as an Account:", s]
409.54 s
[really-safe-money-gen] + Nothing -> Left $ unwords ["Could not read string as an Account:", s]
409.54 s
[really-safe-money-gen] Just a -> Right a
409.55 s
[really-safe-money-gen] g :: Account -> String
409.55 s
[really-safe-money-gen] g = show . Account.toMinimalQuantisations
409.55 s
[really-safe-money-gen] Testing mutation ListLit at src/Money/Amount/Codec.hs:47:33-75:
409.55 s
[really-safe-money-gen] @@ -44,7 +44,7 @@
409.55 s
[really-safe-money-gen] where
409.55 s
[really-safe-money-gen] f :: String -> Either String Amount
409.55 s
[really-safe-money-gen] f s = case readMaybe s of
409.55 s
[really-safe-money-gen] - Nothing -> Left $ unwords ["Could not read string as an Amount:", s]
409.55 s
[really-safe-money-gen] + Nothing -> Left $ unwords ["Could not read string as an Amount:", s]
409.55 s
[really-safe-money-gen] Just i ->
409.55 s
[really-safe-money-gen] if (i :: Integer) < toInteger (minBound :: Word64)
409.55 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.55 s
[really-safe-money-gen] Testing mutation ListLit at src/Money/Amount/Codec.hs:47:33-75:
409.55 s
[really-safe-money-gen] @@ -44,7 +44,7 @@
409.55 s
[really-safe-money-gen] where
409.55 s
[really-safe-money-gen] f :: String -> Either String Amount
409.55 s
[really-safe-money-gen] f s = case readMaybe s of
409.55 s
[really-safe-money-gen] - Nothing -> Left $ unwords ["Could not read string as an Amount:", s]
409.55 s
[really-safe-money-gen] + Nothing -> Left $ unwords ["Could not read string as an Amount:", s]
409.55 s
[really-safe-money-gen] Just i ->
409.55 s
[really-safe-money-gen] if (i :: Integer) < toInteger (minBound :: Word64)
409.55 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.56 s
[really-safe-money-gen] Testing mutation ConstBool at src/Money/Amount/Codec.hs:49:12-59:
409.56 s
[really-safe-money-gen] @@ -46,7 +46,7 @@
409.56 s
[really-safe-money-gen] f s = case readMaybe s of
409.56 s
[really-safe-money-gen] Nothing -> Left $ unwords ["Could not read string as an Amount:", s]
409.56 s
[really-safe-money-gen] Just i ->
409.56 s
[really-safe-money-gen] - if (i :: Integer) < toInteger (minBound :: Word64)
409.56 s
[really-safe-money-gen] + if True
409.56 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.56 s
[really-safe-money-gen] else
409.56 s
[really-safe-money-gen] if (i :: Integer) > toInteger (maxBound :: Word64)
409.57 s
[really-safe-money-gen] Testing mutation ConstBool at src/Money/Amount/Codec.hs:49:12-59:
409.57 s
[really-safe-money-gen] @@ -46,7 +46,7 @@
409.57 s
[really-safe-money-gen] f s = case readMaybe s of
409.57 s
[really-safe-money-gen] Nothing -> Left $ unwords ["Could not read string as an Amount:", s]
409.57 s
[really-safe-money-gen] Just i ->
409.57 s
[really-safe-money-gen] - if (i :: Integer) < toInteger (minBound :: Word64)
409.57 s
[really-safe-money-gen] + if False
409.57 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.57 s
[really-safe-money-gen] else
409.57 s
[really-safe-money-gen] if (i :: Integer) > toInteger (maxBound :: Word64)
409.57 s
[really-safe-money-gen] Testing mutation Negate at src/Money/Amount/Codec.hs:49:12-59:
409.57 s
[really-safe-money-gen] @@ -46,7 +46,7 @@
409.57 s
[really-safe-money-gen] f s = case readMaybe s of
409.57 s
[really-safe-money-gen] Nothing -> Left $ unwords ["Could not read string as an Amount:", s]
409.57 s
[really-safe-money-gen] Just i ->
409.57 s
[really-safe-money-gen] - if (i :: Integer) < toInteger (minBound :: Word64)
409.57 s
[really-safe-money-gen] + if not ((i :: Integer) < toInteger (minBound :: Word64))
409.57 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.57 s
[really-safe-money-gen] else
409.57 s
[really-safe-money-gen] if (i :: Integer) > toInteger (maxBound :: Word64)
409.57 s
[really-safe-money-gen] Testing mutation ListLit at src/Money/Amount/Codec.hs:50:31-84:
409.57 s
[really-safe-money-gen] @@ -47,7 +47,7 @@
409.57 s
[really-safe-money-gen] Nothing -> Left $ unwords ["Could not read string as an Amount:", s]
409.57 s
[really-safe-money-gen] Just i ->
409.57 s
[really-safe-money-gen] if (i :: Integer) < toInteger (minBound :: Word64)
409.57 s
[really-safe-money-gen] - then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.57 s
[really-safe-money-gen] + then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.57 s
[really-safe-money-gen] else
409.57 s
[really-safe-money-gen] if (i :: Integer) > toInteger (maxBound :: Word64)
409.57 s
[really-safe-money-gen] then Left $ unwords ["Number of minimal quantisations is too big:", show i]
409.57 s
[really-safe-money-gen] Testing mutation ListLit at src/Money/Amount/Codec.hs:50:31-84:
409.57 s
[really-safe-money-gen] @@ -47,7 +47,7 @@
409.57 s
[really-safe-money-gen] Nothing -> Left $ unwords ["Could not read string as an Amount:", s]
409.57 s
[really-safe-money-gen] Just i ->
409.58 s
[really-safe-money-gen] if (i :: Integer) < toInteger (minBound :: Word64)
409.58 s
[really-safe-money-gen] - then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.58 s
[really-safe-money-gen] + then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.58 s
[really-safe-money-gen] else
409.58 s
[really-safe-money-gen] if (i :: Integer) > toInteger (maxBound :: Word64)
409.58 s
[really-safe-money-gen] then Left $ unwords ["Number of minimal quantisations is too big:", show i]
409.58 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:119:22-42:
409.58 s
[really-safe-money-gen] @@ -116,7 +116,7 @@
409.58 s
[really-safe-money-gen] decimalLiteralP :: ReadP DecimalLiteral
409.58 s
[really-safe-money-gen] decimalLiteralP = do
409.58 s
[really-safe-money-gen] let isSignChar :: Char -> Bool
409.58 s
[really-safe-money-gen] - isSignChar c = c == '-' || c == '+'
409.58 s
[really-safe-money-gen] + isSignChar c = False
409.58 s
[really-safe-money-gen]
409.58 s
[really-safe-money-gen] mSign <- ReadP.option Nothing $ do
409.59 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignCharT
409.59 s
[really-safe-money-gen] esting mutation ConstBool at src/Money/Amount/Codec.hs:52:16-63:
409.59 s
[really-safe-money-gen] @@ -49,7 +49,7 @@
409.59 s
[really-safe-money-gen] if (i :: Integer) < toInteger (minBound :: Word64)
409.59 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.59 s
[really-safe-money-gen] else
409.59 s
[really-safe-money-gen] - if (i :: Integer) > toInteger (maxBound :: Word64)
409.59 s
[really-safe-money-gen] + if True
409.59 s
[really-safe-money-gen] then Left $ unwords ["Number of minimal quantisations is too big:", show i]
409.59 s
[really-safe-money-gen] else Right $ Amount.fromMinimalQuantisations (fromIntegral i :: Word64)
409.59 s
[really-safe-money-gen] g :: Amount -> String
409.60 s
[really-safe-money-gen] Testing mutation ConstBool at src/Money/Amount/Codec.hs:52:16-63:
409.60 s
[really-safe-money-gen] @@ -49,7 +49,7 @@
409.60 s
[really-safe-money-gen] if (i :: Integer) < toInteger (minBound :: Word64)
409.60 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.60 s
[really-safe-money-gen] else
409.60 s
[really-safe-money-gen] - if (i :: Integer) > toInteger (maxBound :: Word64)
409.60 s
[really-safe-money-gen] + if False
409.60 s
[really-safe-money-gen] then Left $ unwords ["Number of minimal quantisations is too big:", show i]
409.60 s
[really-safe-money-gen] else Right $ Amount.fromMinimalQuantisations (fromIntegral i :: Word64)
409.60 s
[really-safe-money-gen] g :: Amount -> String
409.60 s
[really-safe-money-gen] Testing mutation ListLit at src/Money/Amount/Codec.hs:53:35-90:
409.60 s
[really-safe-money-gen] @@ -50,7 +50,7 @@
409.60 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.60 s
[really-safe-money-gen] else
409.60 s
[really-safe-money-gen] if (i :: Integer) > toInteger (maxBound :: Word64)
409.60 s
[really-safe-money-gen] - then Left $ unwords ["Number of minimal quantisations is too big:", show i]
409.60 s
[really-safe-money-gen] + then Left $ unwords ["Number of minimal quantisations is too big:", show i]
409.60 s
[really-safe-money-gen] else Right $ Amount.fromMinimalQuantisations (fromIntegral i :: Word64)
409.60 s
[really-safe-money-gen] g :: Amount -> String
409.60 s
[really-safe-money-gen] g = show . Amount.toMinimalQuantisations
409.60 s
[really-safe-money-gen] Testing mutation Negate at src/Money/Amount/Codec.hs:52:16-63:
409.60 s
[really-safe-money-gen] @@ -49,7 +49,7 @@
409.60 s
[really-safe-money-gen] if (i :: Integer) < toInteger (minBound :: Word64)
409.60 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.60 s
[really-safe-money-gen] else
409.60 s
[really-safe-money-gen] - if (i :: Integer) > toInteger (maxBound :: Word64)
409.60 s
[really-safe-money-gen] + if not ((i :: Integer) > toInteger (maxBound :: Word64))
409.60 s
[really-safe-money-gen] then Left $ unwords ["Number of minimal quantisations is too big:", show i]
409.60 s
[really-safe-money-gen] else Right $ Amount.fromMinimalQuantisations (fromIntegral i :: Word64)
409.60 s
[really-safe-money-gen] g :: Amount -> String
409.60 s
[really-safe-money-gen] Testing mutation ListLit at src/Money/Amount/Codec.hs:53:35-90:
409.60 s
[really-safe-money-gen] @@ -50,7 +50,7 @@
409.60 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.60 s
[really-safe-money-gen] else
409.61 s
[really-safe-money-gen] if (i :: Integer) > toInteger (maxBound :: Word64)
409.61 s
[really-safe-money-gen] - then Left $ unwords ["Number of minimal quantisations is too big:", show i]
409.61 s
[really-safe-money-gen] + then Left $ unwords ["Number of minimal quantisations is too big:", show i]
409.61 s
[really-safe-money-gen] else Right $ Amount.fromMinimalQuantisations (fromIntegral i :: Word64)
409.61 s
[really-safe-money-gen] g :: Amount -> String
409.61 s
[really-safe-money-gen] g = show . Amount.toMinimalQuantisations
409.61 s
[really-safe-money-gen] Testing mutation CondFlip at src/Money/Amount/Codec.hs:52:13-86:
409.61 s
[really-safe-money-gen] @@ -49,7 +49,7 @@
409.61 s
[really-safe-money-gen] if (i :: Integer) < toInteger (minBound :: Word64)
409.61 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.61 s
[really-safe-money-gen] else
409.61 s
[really-safe-money-gen] - if (i :: Integer) > toInteger (maxBound :: Word64)
409.61 s
[really-safe-money-gen] + if (i :: Integer) > toInteger (maxBound :: Word64)
409.61 s
[really-safe-money-gen] then Left $ unwords ["Number of minimal quantisations is too big:", show i]
409.61 s
[really-safe-money-gen] else Right $ Amount.fromMinimalQuantisations (fromIntegral i :: Word64)
409.61 s
[really-safe-money-gen] g :: Amount -> String
409.61 s
[really-safe-money-gen] Testing mutation CondFlip at src/Money/Amount/Codec.hs:49:9-86:
409.61 s
[really-safe-money-gen] @@ -46,7 +46,7 @@
409.61 s
[really-safe-money-gen] f s = case readMaybe s of
409.61 s
[really-safe-money-gen] Nothing -> Left $ unwords ["Could not read string as an Amount:", s]
409.61 s
[really-safe-money-gen] Just i ->
409.61 s
[really-safe-money-gen] - if (i :: Integer) < toInteger (minBound :: Word64)
409.61 s
[really-safe-money-gen] + if (i :: Integer) < toInteger (minBound :: Word64)
409.61 s
[really-safe-money-gen] then Left $ unwords ["Negative number of minimal quantisations:", show i]
409.61 s
[really-safe-money-gen] else
409.61 s
[really-safe-money-gen] if (i :: Integer) > toInteger (maxBound :: Word64)
409.61 s
[really-safe-money-gen] Testing mutation ListLit at src/Numeric/DecimalLiteral/Codec.hs:40:33-82:
409.61 s
[really-safe-money-gen] @@ -37,5 +37,5 @@
409.61 s
[really-safe-money-gen] where
409.61 s
[really-safe-money-gen] f :: String -> Either String DecimalLiteral
409.61 s
[really-safe-money-gen] f s = case DecimalLiteral.fromString s of
409.61 s
[really-safe-money-gen] - Nothing -> Left $ unwords ["Could not read string as a DecimalLiteral:", s]
409.61 s
[really-safe-money-gen] + Nothing -> Left $ unwords ["Could not read string as a DecimalLiteral:", s]
409.61 s
[really-safe-money-gen] Just a -> Right a
409.61 s
[really-safe-money-gen] Testing mutation ListLit at src/Numeric/DecimalLiteral/Codec.hs:40:33-82:
409.61 s
[really-safe-money-gen] @@ -37,5 +37,5 @@
409.61 s
[really-safe-money-gen] where
409.61 s
[really-safe-money-gen] f :: String -> Either String DecimalLiteral
409.61 s
[really-safe-money-gen] f s = case DecimalLiteral.fromString s of
409.61 s
[really-safe-money-gen] - Nothing -> Left $ unwords ["Could not read string as a DecimalLiteral:", s]
409.61 s
[really-safe-money-gen] + Nothing -> Left $ unwords ["Could not read string as a DecimalLiteral:", s]
409.62 s
[really-safe-money-gen] Just a -> Right a
409.62 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:209:5-14:
409.62 s
[really-safe-money-gen] @@ -206,7 +206,7 @@
409.62 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
409.62 s
[really-safe-money-gen] fromRational (n :% d)
409.63 s
[really-safe-money-gen] | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
409.63 s
[really-safe-money-gen] - | otherwise = fromRatio (fromIntegral n % fromIntegral d)
409.63 s
[really-safe-money-gen] + | False = fromRatio (fromIntegral n % fromIntegral d)
409.63 s
[really-safe-money-gen]
409.63 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
409.63 s
[really-safe-money-gen] --
415.32 s
[really-safe-money-gen] lSpec.Rational.can turn rational 400 % 1 into DecimalLiteral Nothing 400 0
415.32 s
[really-safe-money-gen]
415.32 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:245:9-18:
415.34 s
[really-safe-money-gen] @@ -242,7 +242,7 @@
415.34 s
[really-safe-money-gen] Maybe DecimalLiteral
415.34 s
[really-safe-money-gen] fromRationalRepetendLimited l rational
415.34 s
[really-safe-money-gen] | d == 0 = Nothing
415.34 s
[really-safe-money-gen] - | otherwise = toLiteral Nothing <$> longDiv num
415.34 s
[really-safe-money-gen] + | False = toLiteral Nothing <$> longDiv num
415.34 s
[really-safe-money-gen] where
415.34 s
[really-safe-money-gen] toLiteral mSign (m, e) = DecimalLiteral mSign m (fromIntegral e)
415.34 s
[really-safe-money-gen] d = denominator rational
415.34 s
[really-safe-money-gen] Covering tests:
415.34 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Rational.can turn rational 400 % 1 into DecimalLiteral Nothing 400 0
415.34 s
[really-safe-money-gen]
415.34 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:270:13-22:
415.34 s
[really-safe-money-gen] @@ -267,7 +267,7 @@
415.34 s
[really-safe-money-gen] | n < d =
415.34 s
[really-safe-money-gen] let !ns' = S.insert n ns
415.34 s
[really-safe-money-gen] in longDivWithLimit (c * 10) (succ e) ns' (n * 10)
415.34 s
[really-safe-money-gen] - | otherwise =
415.34 s
[really-safe-money-gen] + | True =
415.34 s
[really-safe-money-gen] let (q, r') = n `quotRem` d
415.34 s
[really-safe-money-gen] in longDivWithLimit (c + q) e ns r'
415.34 s
[really-safe-money-gen]
415.34 s
[really-safe-money-gen] Covering tests:
415.34 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Rational.can turn rational 400 % 1 into DecimalLiteral Nothing 400 0
415.34 s
[really-safe-money-gen]
415.34 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:270:13-22:
415.34 s
[really-safe-money-gen] @@ -267,7 +267,7 @@
415.34 s
[really-safe-money-gen] | n < d =
415.34 s
[really-safe-money-gen] let !ns' = S.insert n ns
415.34 s
[really-safe-money-gen] in longDivWithLimit (c * 10) (succ e) ns' (n * 10)
415.34 s
[really-safe-money-gen] - | otherwise =
415.34 s
[really-safe-money-gen] + | False =
415.34 s
[really-safe-money-gen] let (q, r') = n `quotRem` d
415.34 s
[really-safe-money-gen] in longDivWithLimit (c + q) e ns r'
415.34 s
[really-safe-money-gen]
415.34 s
[really-safe-money-gen] Covering tests:
415.34 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Rational.can turn rational 400 % 1 into DecimalLiteral Nothing 400 0
415.34 s
[really-safe-money-gen]
415.34 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:145:28-30:
415.34 s
[really-safe-money-gen] @@ -142,7 +142,7 @@
415.34 s
[really-safe-money-gen] parseDigits :: (a -> Int -> Maybe a) -> a -> ReadP a
415.34 s
[really-safe-money-gen] parseDigits f z = do
415.34 s
[really-safe-money-gen] c <- ReadP.satisfy Char.isDigit
415.34 s
[really-safe-money-gen] - let digit = Char.ord c - 48
415.34 s
[really-safe-money-gen] + let digit = Char.ord c - 1
415.34 s
[really-safe-money-gen] case f z digit of
415.34 s
[really-safe-money-gen] Nothing -> fail "Failed to step the first digit"
415.34 s
[really-safe-money-gen] Just a -> ReadP.look >>= go a
415.34 s
[really-safe-money-gen] Covering tests:
415.34 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.DecimalLiteral\.fromString.fails to parse scientific notation
415.34 s
[really-safe-money-gen]
415.34 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:145:28-30:
415.34 s
[really-safe-money-gen] @@ -142,7 +142,7 @@
415.34 s
[really-safe-money-gen] parseDigits :: (a -> Int -> Maybe a) -> a -> ReadP a
415.34 s
[really-safe-money-gen] parseDigits f z = do
415.34 s
[really-safe-money-gen] c <- ReadP.satisfy Char.isDigit
415.34 s
[really-safe-money-gen] - let digit = Char.ord c - 48
415.34 s
[really-safe-money-gen] + let digit = Char.ord c - 0
415.34 s
[really-safe-money-gen] case f z digit of
415.34 s
[really-safe-money-gen] Nothing -> fail "Failed to step the first digit"
415.34 s
[really-safe-money-gen] Just a -> ReadP.look >>= go a
415.34 s
[really-safe-money-gen] Covering tests:
415.34 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.DecimalLiteral\.fromString.fails to parse scientific notation
415.34 s
[really-safe-money-gen]
415.34 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:209:5-14:
415.35 s
[really-safe-money-gen] @@ -206,7 +206,7 @@
415.35 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
415.35 s
[really-safe-money-gen] fromRational (n :% d)
415.35 s
[really-safe-money-gen] | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
415.35 s
[really-safe-money-gen] - | otherwise = fromRatio (fromIntegral n % fromIntegral d)
415.35 s
[really-safe-money-gen] + | True = fromRatio (fromIntegral n % fromIntegral d)
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
415.35 s
[really-safe-money-gen] --
415.35 s
[really-safe-money-gen] Covering tests:
415.35 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Rational.can turn rational 400 % 1 into DecimalLiteral Nothing 400 0
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:145:28-30:
415.35 s
[really-safe-money-gen] @@ -142,7 +142,7 @@
415.35 s
[really-safe-money-gen] parseDigits :: (a -> Int -> Maybe a) -> a -> ReadP a
415.35 s
[really-safe-money-gen] parseDigits f z = do
415.35 s
[really-safe-money-gen] c <- ReadP.satisfy Char.isDigit
415.35 s
[really-safe-money-gen] - let digit = Char.ord c - 48
415.35 s
[really-safe-money-gen] + let digit = Char.ord c - -48
415.35 s
[really-safe-money-gen] case f z digit of
415.35 s
[really-safe-money-gen] Nothing -> fail "Failed to step the first digit"
415.35 s
[really-safe-money-gen] Just a -> ReadP.look >>= go a
415.35 s
[really-safe-money-gen] Covering tests:
415.35 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.DecimalLiteral\.fromString.fails to parse scientific notation
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:208:9-10:
415.35 s
[really-safe-money-gen] @@ -205,7 +205,7 @@
415.35 s
[really-safe-money-gen] -- Nothing
415.35 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
415.35 s
[really-safe-money-gen] fromRational (n :% d)
415.35 s
[really-safe-money-gen] - | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
415.35 s
[really-safe-money-gen] + | n < 1 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
415.35 s
[really-safe-money-gen] | otherwise = fromRatio (fromIntegral n % fromIntegral d)
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
415.35 s
[really-safe-money-gen] Covering tests:
415.35 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Rational.can turn rational 400 % 1 into DecimalLiteral Nothing 400 0
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:158:9-18:
415.35 s
[really-safe-money-gen] @@ -155,7 +155,7 @@
415.35 s
[really-safe-money-gen] case f a digit of
415.35 s
[really-safe-money-gen] Nothing -> fail "Failed to step the digit"
415.35 s
[really-safe-money-gen] Just a' -> go a' cs
415.35 s
[really-safe-money-gen] - | otherwise = return a
415.35 s
[really-safe-money-gen] + | True = return a
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] -- | Render a decimal literal to a string
415.35 s
[really-safe-money-gen] --
415.35 s
[really-safe-money-gen] Covering tests:
415.35 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.DecimalLiteral\.fromString.fails to parse scientific notation
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:158:9-18:
415.35 s
[really-safe-money-gen] @@ -155,7 +155,7 @@
415.35 s
[really-safe-money-gen] case f a digit of
415.35 s
[really-safe-money-gen] Nothing -> fail "Failed to step the digit"
415.35 s
[really-safe-money-gen] Just a' -> go a' cs
415.35 s
[really-safe-money-gen] - | otherwise = return a
415.35 s
[really-safe-money-gen] + | False = return a
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] -- | Render a decimal literal to a string
415.35 s
[really-safe-money-gen] --
415.35 s
[really-safe-money-gen] Covering tests:
415.35 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.DecimalLiteral\.fromString.fails to parse scientific notation
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] Testing mutation IntLit at src/Numeric/DecimalLiteral.hs:125:29-30:
415.35 s
[really-safe-money-gen] @@ -122,7 +122,7 @@
415.35 s
[really-safe-money-gen] signChar <- ReadP.satisfy isSignChar
415.35 s
[really-safe-money-gen] pure $ Just $ signChar == '+'
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] - units <- parseDigits step 0
415.35 s
[really-safe-money-gen] + units <- parseDigits step 1
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] ReadP.option (DecimalLiteral mSign units 0) $ do
415.35 s
[really-safe-money-gen] _ <- ReadP.satisfy (== '.')
415.35 s
[really-safe-money-gen] Covering tests:
415.35 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.DecimalLiteral\.fromString.fails to parse scientific notation
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] Testing mutation ConstBool at src/Numeric/DecimalLiteral.hs:209:5-14:
415.35 s
[really-safe-money-gen] @@ -206,7 +206,7 @@
415.35 s
[really-safe-money-gen] fromRational :: Rational -> Maybe DecimalLiteral
415.35 s
[really-safe-money-gen] fromRational (n :% d)
415.35 s
[really-safe-money-gen] | n < 0 = (\(DecimalLiteral _ m e) -> DecimalLiteral (Just False) m e) <$> fromRatio (fromIntegral (abs n) % fromIntegral d)
415.35 s
[really-safe-money-gen] - | otherwise = fromRatio (fromIntegral n % fromIntegral d)
415.35 s
[really-safe-money-gen] + | False = fromRatio (fromIntegral n % fromIntegral d)
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] -- | Turn a 'DecimalLiteral' into a 'Rational'
415.35 s
[really-safe-money-gen] --
415.35 s
[really-safe-money-gen] Covering tests:
415.35 s
[really-safe-money-gen] Numeric\.DecimalLiteralSpec.Rational.can turn rational 400 % 1 into DecimalLiteral Nothing 400 0
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] Testing mutation ListLit at src/Money/ConversionRate.hs:37:7-8:
415.35 s
[really-safe-money-gen] @@ -34,7 +34,7 @@
415.35 s
[really-safe-money-gen] instance Validity ConversionRate where
415.35 s
[really-safe-money-gen] validate cr@(ConversionRate r) =
415.35 s
[really-safe-money-gen] mconcat
415.35 s
[really-safe-money-gen] - [ genericValidate cr,
415.35 s
[really-safe-money-gen] + [ genericValidate cr,
415.35 s
[really-safe-money-gen] declare "The rate is nonzero" $ numerator r /= 0
415.35 s
[really-safe-money-gen] ]
415.35 s
[really-safe-money-gen]
415.35 s
[really-safe-money-gen] Covering tests:
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.ADA.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.ADA.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.BTC.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.BTC.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.CHF.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.CHF.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.INR.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.INR.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.USD.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.USD.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.ADA.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.ADA.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.BTC.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.BTC.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.CHF.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.CHF.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.INR.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.INR.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.USD.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.USD.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.ADA.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.ADA.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.BTC.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.BTC.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.CHF.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.CHF.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.INR.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.INR.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.USD.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.USD.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.ADA.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.ADA.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.BTC.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.BTC.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.CHF.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.CHF.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.INR.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.INR.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.USD.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.USD.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.ADA.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.ADA.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.BTC.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.BTC.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.CHF.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.CHF.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.INR.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.INR.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.USD.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.USD.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountSpec.convert.converts this USD to CHF correctly
415.35 s
[really-safe-money-gen] Money\.AccountSpec.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AccountSpec.convert.succeeds in converting 1\:1 without rounding if the quantisation factor is the same
415.35 s
[really-safe-money-gen] Money\.AccountSpec.rate.computes a rate that can be used to do a conversion without rounding
415.35 s
[really-safe-money-gen] Money\.AccountSpec.rate.computes this USD to CHF rate correctly
415.35 s
[really-safe-money-gen] Money\.AccountSpec.rate.produces valid conversion rates
415.35 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.ADA.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.ADA.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.BTC.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.BTC.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.CHF.convert.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.CHF.rate.produces valid amounts
415.35 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.INR.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.INR.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.USD.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.USD.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.ADA.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.ADA.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.BTC.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.BTC.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.CHF.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.CHF.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.INR.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.INR.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.USD.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.USD.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.ADA.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.ADA.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.BTC.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.BTC.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.CHF.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.CHF.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.INR.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.INR.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.USD.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.USD.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.ADA.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.ADA.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.BTC.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.BTC.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.CHF.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.CHF.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.INR.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.INR.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.USD.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.USD.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.ADA.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.ADA.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.BTC.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.BTC.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.CHF.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.CHF.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.INR.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.INR.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.USD.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.USD.rate.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountSpec.convert.converts this USD to CHF correctly
415.36 s
[really-safe-money-gen] Money\.AmountSpec.convert.produces valid amounts
415.36 s
[really-safe-money-gen] Money\.AmountSpec.convert.succeeds in converting 1\:1 without rounding if the quantisation factor is the same
415.36 s
[really-safe-money-gen] Money\.AmountSpec.rate.computes a rate that can be used to do a conversion without rounding
415.36 s
[really-safe-money-gen] Money\.AmountSpec.rate.computes this USD to CHF rate correctly
415.36 s
[really-safe-money-gen] Money\.AmountSpec.rate.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.GenValid (ConversionRateOf ADA ADA).genValid \:\: Gen (ConversionRateOf ADA ADA).only generates valid '(ConversionRateOf ADA ADA)'s
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Ratio.fromRatio.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Ratio.fromRatio.roundtrips with toRatio
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Rational.fromRational.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Rational.fromRational.roundtrips with toRational
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.compose.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.invert.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.GenValid (ConversionRateOf ADA BTC).genValid \:\: Gen (ConversionRateOf ADA BTC).only generates valid '(ConversionRateOf ADA BTC)'s
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Ratio.fromRatio.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Ratio.fromRatio.roundtrips with toRatio
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Rational.fromRational.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Rational.fromRational.roundtrips with toRational
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.compose.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.invert.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.GenValid (ConversionRateOf ADA CHF).genValid \:\: Gen (ConversionRateOf ADA CHF).only generates valid '(ConversionRateOf ADA CHF)'s
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Ratio.fromRatio.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Ratio.fromRatio.roundtrips with toRatio
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Rational.fromRational.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Rational.fromRational.roundtrips with toRational
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.compose.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.invert.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.GenValid (ConversionRateOf ADA INR).genValid \:\: Gen (ConversionRateOf ADA INR).only generates valid '(ConversionRateOf ADA INR)'s
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Ratio.fromRatio.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Ratio.fromRatio.roundtrips with toRatio
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Rational.fromRational.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Rational.fromRational.roundtrips with toRational
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.compose.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.invert.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.GenValid (ConversionRateOf ADA USD).genValid \:\: Gen (ConversionRateOf ADA USD).only generates valid '(ConversionRateOf ADA USD)'s
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Ratio.fromRatio.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Ratio.fromRatio.roundtrips with toRatio
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Rational.fromRational.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Rational.fromRational.roundtrips with toRational
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.compose.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.invert.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.GenValid (ConversionRateOf BTC ADA).genValid \:\: Gen (ConversionRateOf BTC ADA).only generates valid '(ConversionRateOf BTC ADA)'s
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Ratio.fromRatio.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Ratio.fromRatio.roundtrips with toRatio
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Rational.fromRational.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Rational.fromRational.roundtrips with toRational
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.compose.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.invert.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.GenValid (ConversionRateOf BTC BTC).genValid \:\: Gen (ConversionRateOf BTC BTC).only generates valid '(ConversionRateOf BTC BTC)'s
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Ratio.fromRatio.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Ratio.fromRatio.roundtrips with toRatio
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Rational.fromRational.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Rational.fromRational.roundtrips with toRational
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.compose.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.invert.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.GenValid (ConversionRateOf BTC CHF).genValid \:\: Gen (ConversionRateOf BTC CHF).only generates valid '(ConversionRateOf BTC CHF)'s
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Ratio.fromRatio.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Ratio.fromRatio.roundtrips with toRatio
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Rational.fromRational.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Rational.fromRational.roundtrips with toRational
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.compose.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.invert.produces valid rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.GenValid (ConversionRateOf BTC INR).genValid \:\: Gen (ConversionRateOf BTC INR).only generates valid '(ConversionRateOf BTC INR)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.GenValid (ConversionRateOf BTC USD).genValid \:\: Gen (ConversionRateOf BTC USD).only generates valid '(ConversionRateOf BTC USD)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.GenValid (ConversionRateOf CHF ADA).genValid \:\: Gen (ConversionRateOf CHF ADA).only generates valid '(ConversionRateOf CHF ADA)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.GenValid (ConversionRateOf CHF BTC).genValid \:\: Gen (ConversionRateOf CHF BTC).only generates valid '(ConversionRateOf CHF BTC)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.GenValid (ConversionRateOf CHF CHF).genValid \:\: Gen (ConversionRateOf CHF CHF).only generates valid '(ConversionRateOf CHF CHF)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.GenValid (ConversionRateOf CHF INR).genValid \:\: Gen (ConversionRateOf CHF INR).only generates valid '(ConversionRateOf CHF INR)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.GenValid (ConversionRateOf CHF USD).genValid \:\: Gen (ConversionRateOf CHF USD).only generates valid '(ConversionRateOf CHF USD)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.GenValid (ConversionRateOf INR ADA).genValid \:\: Gen (ConversionRateOf INR ADA).only generates valid '(ConversionRateOf INR ADA)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.GenValid (ConversionRateOf INR BTC).genValid \:\: Gen (ConversionRateOf INR BTC).only generates valid '(ConversionRateOf INR BTC)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.GenValid (ConversionRateOf INR CHF).genValid \:\: Gen (ConversionRateOf INR CHF).only generates valid '(ConversionRateOf INR CHF)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.GenValid (ConversionRateOf INR INR).genValid \:\: Gen (ConversionRateOf INR INR).only generates valid '(ConversionRateOf INR INR)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.GenValid (ConversionRateOf INR USD).genValid \:\: Gen (ConversionRateOf INR USD).only generates valid '(ConversionRateOf INR USD)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.GenValid (ConversionRateOf USD ADA).genValid \:\: Gen (ConversionRateOf USD ADA).only generates valid '(ConversionRateOf USD ADA)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.GenValid (ConversionRateOf USD BTC).genValid \:\: Gen (ConversionRateOf USD BTC).only generates valid '(ConversionRateOf USD BTC)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Ratio.fromRatio.roundtrips with toRatio
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Rational.fromRational.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Rational.fromRational.roundtrips with toRational
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.compose.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.invert.produces valid rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.GenValid (ConversionRateOf USD CHF).genValid \:\: Gen (ConversionRateOf USD CHF).only generates valid '(ConversionRateOf USD CHF)'s
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Ratio.fromRatio.produces valid conversion rates
415.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Ratio.fromRatio.roundtrips with toRatio
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Rational.fromRational.produces valid conversion rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Rational.fromRational.roundtrips with toRational
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.compose.produces valid rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.invert.produces valid rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.GenValid (ConversionRateOf USD INR).genValid \:\: Gen (ConversionRateOf USD INR).only generates valid '(ConversionRateOf USD INR)'s
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Ratio.fromRatio.produces valid conversion rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Ratio.fromRatio.roundtrips with toRatio
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Rational.fromRational.produces valid conversion rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Rational.fromRational.roundtrips with toRational
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.compose.produces valid rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.invert.produces valid rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.GenValid (ConversionRateOf USD USD).genValid \:\: Gen (ConversionRateOf USD USD).only generates valid '(ConversionRateOf USD USD)'s
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Ratio.fromRatio.produces valid conversion rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Ratio.fromRatio.roundtrips with toRatio
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Rational.fromRational.produces valid conversion rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Rational.fromRational.roundtrips with toRational
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.compose.produces valid rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.invert.produces valid rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateSpec.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateSpec.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.70 s
[really-safe-money-gen] Money\.ConversionRateSpec.GenValid ConversionRate.genValid \:\: Gen ConversionRate.only generates valid 'ConversionRate's
415.70 s
[really-safe-money-gen] Money\.ConversionRateSpec.Ratio.fromRatio.produces valid conversion rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateSpec.Ratio.fromRatio.roundtrips with toRatio
415.70 s
[really-safe-money-gen] Money\.ConversionRateSpec.Rational.fromRational.produces valid conversion rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateSpec.Rational.fromRational.roundtrips with toRational
415.70 s
[really-safe-money-gen] Money\.ConversionRateSpec.compose.produces valid rates
415.70 s
[really-safe-money-gen] Money\.ConversionRateSpec.invert.produces valid rates
415.70 s
[really-safe-money-gen]
415.70 s
[really-safe-money-gen] Testing mutation ListLit at src/Money/ConversionRate.hs:37:7-8:
415.70 s
[really-safe-money-gen] @@ -34,7 +34,7 @@
415.70 s
[really-safe-money-gen] instance Validity ConversionRate where
415.70 s
[really-safe-money-gen] validate cr@(ConversionRate r) =
415.70 s
[really-safe-money-gen] mconcat
415.70 s
[really-safe-money-gen] - [ genericValidate cr,
415.70 s
[really-safe-money-gen] + [ genericValidate cr,
415.70 s
[really-safe-money-gen] declare "The rate is nonzero" $ numerator r /= 0
415.70 s
[really-safe-money-gen] ]
415.70 s
[really-safe-money-gen]
415.70 s
[really-safe-money-gen] Covering tests:
415.70 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.ADA.convert.produces valid amounts
415.70 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.ADA.rate.produces valid amounts
415.70 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.BTC.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.BTC.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.CHF.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.CHF.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.INR.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.INR.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.USD.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.USD.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.ADA.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.ADA.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.BTC.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.BTC.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.CHF.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.CHF.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.INR.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.INR.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.USD.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.USD.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.ADA.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.ADA.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.BTC.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.BTC.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.CHF.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.CHF.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.INR.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.INR.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.USD.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.USD.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.ADA.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.ADA.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.BTC.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.BTC.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.CHF.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.CHF.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.INR.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.INR.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.USD.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.USD.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.ADA.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.ADA.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.BTC.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.BTC.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.CHF.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.CHF.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.INR.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.INR.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.USD.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.USD.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountSpec.convert.converts this USD to CHF correctly
415.71 s
[really-safe-money-gen] Money\.AccountSpec.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AccountSpec.convert.succeeds in converting 1\:1 without rounding if the quantisation factor is the same
415.71 s
[really-safe-money-gen] Money\.AccountSpec.rate.computes a rate that can be used to do a conversion without rounding
415.71 s
[really-safe-money-gen] Money\.AccountSpec.rate.computes this USD to CHF rate correctly
415.71 s
[really-safe-money-gen] Money\.AccountSpec.rate.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.ADA.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.ADA.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.BTC.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.BTC.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.CHF.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.CHF.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.INR.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.INR.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.USD.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.USD.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.ADA.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.ADA.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.BTC.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.BTC.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.CHF.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.CHF.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.INR.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.INR.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.USD.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.USD.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.ADA.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.ADA.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.BTC.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.BTC.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.CHF.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.CHF.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.INR.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.INR.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.USD.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.USD.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.ADA.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.ADA.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.BTC.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.BTC.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.CHF.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.CHF.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.INR.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.INR.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.USD.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.USD.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.ADA.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.ADA.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.BTC.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.BTC.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.CHF.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.CHF.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.INR.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.INR.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.USD.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.USD.rate.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountSpec.convert.converts this USD to CHF correctly
415.71 s
[really-safe-money-gen] Money\.AmountSpec.convert.produces valid amounts
415.71 s
[really-safe-money-gen] Money\.AmountSpec.convert.succeeds in converting 1\:1 without rounding if the quantisation factor is the same
415.71 s
[really-safe-money-gen] Money\.AmountSpec.rate.computes a rate that can be used to do a conversion without rounding
415.71 s
[really-safe-money-gen] Money\.AmountSpec.rate.computes this USD to CHF rate correctly
415.71 s
[really-safe-money-gen] Money\.AmountSpec.rate.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.GenValid (ConversionRateOf ADA ADA).genValid \:\: Gen (ConversionRateOf ADA ADA).only generates valid '(ConversionRateOf ADA ADA)'s
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Ratio.fromRatio.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Ratio.fromRatio.roundtrips with toRatio
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Rational.fromRational.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Rational.fromRational.roundtrips with toRational
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.compose.produces valid rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.invert.produces valid rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.GenValid (ConversionRateOf ADA BTC).genValid \:\: Gen (ConversionRateOf ADA BTC).only generates valid '(ConversionRateOf ADA BTC)'s
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Ratio.fromRatio.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Ratio.fromRatio.roundtrips with toRatio
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Rational.fromRational.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Rational.fromRational.roundtrips with toRational
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.compose.produces valid rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.invert.produces valid rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.GenValid (ConversionRateOf ADA CHF).genValid \:\: Gen (ConversionRateOf ADA CHF).only generates valid '(ConversionRateOf ADA CHF)'s
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Ratio.fromRatio.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Ratio.fromRatio.roundtrips with toRatio
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Rational.fromRational.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Rational.fromRational.roundtrips with toRational
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.compose.produces valid rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.invert.produces valid rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.71 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.GenValid (ConversionRateOf ADA INR).genValid \:\: Gen (ConversionRateOf ADA INR).only generates valid '(ConversionRateOf ADA INR)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.GenValid (ConversionRateOf ADA USD).genValid \:\: Gen (ConversionRateOf ADA USD).only generates valid '(ConversionRateOf ADA USD)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.GenValid (ConversionRateOf BTC ADA).genValid \:\: Gen (ConversionRateOf BTC ADA).only generates valid '(ConversionRateOf BTC ADA)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.GenValid (ConversionRateOf BTC BTC).genValid \:\: Gen (ConversionRateOf BTC BTC).only generates valid '(ConversionRateOf BTC BTC)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.GenValid (ConversionRateOf BTC CHF).genValid \:\: Gen (ConversionRateOf BTC CHF).only generates valid '(ConversionRateOf BTC CHF)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.GenValid (ConversionRateOf BTC INR).genValid \:\: Gen (ConversionRateOf BTC INR).only generates valid '(ConversionRateOf BTC INR)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.GenValid (ConversionRateOf BTC USD).genValid \:\: Gen (ConversionRateOf BTC USD).only generates valid '(ConversionRateOf BTC USD)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.GenValid (ConversionRateOf CHF ADA).genValid \:\: Gen (ConversionRateOf CHF ADA).only generates valid '(ConversionRateOf CHF ADA)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.GenValid (ConversionRateOf CHF BTC).genValid \:\: Gen (ConversionRateOf CHF BTC).only generates valid '(ConversionRateOf CHF BTC)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.GenValid (ConversionRateOf CHF CHF).genValid \:\: Gen (ConversionRateOf CHF CHF).only generates valid '(ConversionRateOf CHF CHF)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.GenValid (ConversionRateOf CHF INR).genValid \:\: Gen (ConversionRateOf CHF INR).only generates valid '(ConversionRateOf CHF INR)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.GenValid (ConversionRateOf CHF USD).genValid \:\: Gen (ConversionRateOf CHF USD).only generates valid '(ConversionRateOf CHF USD)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.GenValid (ConversionRateOf INR ADA).genValid \:\: Gen (ConversionRateOf INR ADA).only generates valid '(ConversionRateOf INR ADA)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.GenValid (ConversionRateOf INR BTC).genValid \:\: Gen (ConversionRateOf INR BTC).only generates valid '(ConversionRateOf INR BTC)'s
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Ratio.fromRatio.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Ratio.fromRatio.roundtrips with toRatio
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Rational.fromRational.produces valid conversion rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Rational.fromRational.roundtrips with toRational
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.compose.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.invert.produces valid rates
415.72 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.GenValid (ConversionRateOf INR CHF).genValid \:\: Gen (ConversionRateOf INR CHF).only generates valid '(ConversionRateOf INR CHF)'s
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Ratio.fromRatio.produces valid conversion rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Ratio.fromRatio.roundtrips with toRatio
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Rational.fromRational.produces valid conversion rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Rational.fromRational.roundtrips with toRational
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.compose.produces valid rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.invert.produces valid rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.GenValid (ConversionRateOf INR INR).genValid \:\: Gen (ConversionRateOf INR INR).only generates valid '(ConversionRateOf INR INR)'s
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Ratio.fromRatio.produces valid conversion rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Ratio.fromRatio.roundtrips with toRatio
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Rational.fromRational.produces valid conversion rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Rational.fromRational.roundtrips with toRational
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.compose.produces valid rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.invert.produces valid rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.GenValid (ConversionRateOf INR USD).genValid \:\: Gen (ConversionRateOf INR USD).only generates valid '(ConversionRateOf INR USD)'s
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Ratio.fromRatio.produces valid conversion rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Ratio.fromRatio.roundtrips with toRatio
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Rational.fromRational.produces valid conversion rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Rational.fromRational.roundtrips with toRational
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.compose.produces valid rates
416.32 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.invert.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.GenValid (ConversionRateOf USD ADA).genValid \:\: Gen (ConversionRateOf USD ADA).only generates valid '(ConversionRateOf USD ADA)'s
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Ratio.fromRatio.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Ratio.fromRatio.roundtrips with toRatio
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Rational.fromRational.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Rational.fromRational.roundtrips with toRational
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.compose.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.invert.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.GenValid (ConversionRateOf USD BTC).genValid \:\: Gen (ConversionRateOf USD BTC).only generates valid '(ConversionRateOf USD BTC)'s
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Ratio.fromRatio.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Ratio.fromRatio.roundtrips with toRatio
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Rational.fromRational.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Rational.fromRational.roundtrips with toRational
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.compose.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.invert.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.GenValid (ConversionRateOf USD CHF).genValid \:\: Gen (ConversionRateOf USD CHF).only generates valid '(ConversionRateOf USD CHF)'s
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Ratio.fromRatio.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Ratio.fromRatio.roundtrips with toRatio
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Rational.fromRational.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Rational.fromRational.roundtrips with toRational
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.compose.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.invert.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.GenValid (ConversionRateOf USD INR).genValid \:\: Gen (ConversionRateOf USD INR).only generates valid '(ConversionRateOf USD INR)'s
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Ratio.fromRatio.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Ratio.fromRatio.roundtrips with toRatio
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Rational.fromRational.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Rational.fromRational.roundtrips with toRational
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.compose.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.invert.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.GenValid (ConversionRateOf USD USD).genValid \:\: Gen (ConversionRateOf USD USD).only generates valid '(ConversionRateOf USD USD)'s
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Ratio.fromRatio.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Ratio.fromRatio.roundtrips with toRatio
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Rational.fromRational.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Rational.fromRational.roundtrips with toRational
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.compose.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.invert.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateSpec.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateSpec.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.33 s
[really-safe-money-gen] Money\.ConversionRateSpec.GenValid ConversionRate.genValid \:\: Gen ConversionRate.only generates valid 'ConversionRate's
416.33 s
[really-safe-money-gen] Money\.ConversionRateSpec.Ratio.fromRatio.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateSpec.Ratio.fromRatio.roundtrips with toRatio
416.33 s
[really-safe-money-gen] Money\.ConversionRateSpec.Rational.fromRational.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateSpec.Rational.fromRational.roundtrips with toRational
416.33 s
[really-safe-money-gen] Money\.ConversionRateSpec.compose.produces valid rates
416.33 s
[really-safe-money-gen] Money\.ConversionRateSpec.invert.produces valid rates
416.33 s
[really-safe-money-gen]
416.33 s
[really-safe-money-gen] Testing mutation ConstBool at src/Money/ConversionRate.hs:38:41-57:
416.33 s
[really-safe-money-gen] @@ -35,7 +35,7 @@
416.33 s
[really-safe-money-gen] validate cr@(ConversionRate r) =
416.33 s
[really-safe-money-gen] mconcat
416.33 s
[really-safe-money-gen] [ genericValidate cr,
416.33 s
[really-safe-money-gen] - declare "The rate is nonzero" $ numerator r /= 0
416.33 s
[really-safe-money-gen] + declare "The rate is nonzero" $ True
416.33 s
[really-safe-money-gen] ]
416.33 s
[really-safe-money-gen]
416.33 s
[really-safe-money-gen] instance NFData ConversionRate
416.33 s
[really-safe-money-gen] Covering tests:
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.ADA.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.ADA.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.BTC.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.BTC.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.CHF.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.CHF.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.INR.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.INR.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.USD.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.USD.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.ADA.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.ADA.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.BTC.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.BTC.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.CHF.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.CHF.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.INR.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.INR.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.USD.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.USD.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.ADA.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.ADA.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.BTC.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.BTC.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.CHF.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.CHF.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.INR.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.INR.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.USD.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.USD.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.ADA.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.ADA.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.BTC.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.BTC.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.CHF.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.CHF.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.INR.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.INR.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.USD.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.USD.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.ADA.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.ADA.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.BTC.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.BTC.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.CHF.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.CHF.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.INR.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.INR.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.USD.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.USD.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountSpec.convert.converts this USD to CHF correctly
416.33 s
[really-safe-money-gen] Money\.AccountSpec.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AccountSpec.convert.succeeds in converting 1\:1 without rounding if the quantisation factor is the same
416.33 s
[really-safe-money-gen] Money\.AccountSpec.rate.computes a rate that can be used to do a conversion without rounding
416.33 s
[really-safe-money-gen] Money\.AccountSpec.rate.computes this USD to CHF rate correctly
416.33 s
[really-safe-money-gen] Money\.AccountSpec.rate.produces valid conversion rates
416.33 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.ADA.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.ADA.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.BTC.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.BTC.rate.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.CHF.convert.produces valid amounts
416.33 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.CHF.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.INR.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.INR.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.USD.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.USD.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.ADA.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.ADA.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.BTC.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.BTC.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.CHF.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.CHF.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.INR.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.INR.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.USD.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.USD.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.ADA.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.ADA.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.BTC.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.BTC.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.CHF.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.CHF.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.INR.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.INR.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.USD.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.USD.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.ADA.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.ADA.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.BTC.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.BTC.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.CHF.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.CHF.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.INR.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.INR.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.USD.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.USD.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.ADA.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.ADA.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.BTC.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.BTC.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.CHF.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.CHF.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.INR.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.INR.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.USD.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.USD.rate.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountSpec.convert.converts this USD to CHF correctly
416.34 s
[really-safe-money-gen] Money\.AmountSpec.convert.produces valid amounts
416.34 s
[really-safe-money-gen] Money\.AmountSpec.convert.succeeds in converting 1\:1 without rounding if the quantisation factor is the same
416.34 s
[really-safe-money-gen] Money\.AmountSpec.rate.computes a rate that can be used to do a conversion without rounding
416.34 s
[really-safe-money-gen] Money\.AmountSpec.rate.computes this USD to CHF rate correctly
416.34 s
[really-safe-money-gen] Money\.AmountSpec.rate.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.GenValid (ConversionRateOf ADA ADA).genValid \:\: Gen (ConversionRateOf ADA ADA).only generates valid '(ConversionRateOf ADA ADA)'s
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Ratio.fromRatio.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Ratio.fromRatio.roundtrips with toRatio
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Rational.fromRational.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Rational.fromRational.roundtrips with toRational
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.compose.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.invert.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.GenValid (ConversionRateOf ADA BTC).genValid \:\: Gen (ConversionRateOf ADA BTC).only generates valid '(ConversionRateOf ADA BTC)'s
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Ratio.fromRatio.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Ratio.fromRatio.roundtrips with toRatio
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Rational.fromRational.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Rational.fromRational.roundtrips with toRational
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.compose.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.invert.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.GenValid (ConversionRateOf ADA CHF).genValid \:\: Gen (ConversionRateOf ADA CHF).only generates valid '(ConversionRateOf ADA CHF)'s
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Ratio.fromRatio.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Ratio.fromRatio.roundtrips with toRatio
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Rational.fromRational.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Rational.fromRational.roundtrips with toRational
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.compose.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.invert.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.GenValid (ConversionRateOf ADA INR).genValid \:\: Gen (ConversionRateOf ADA INR).only generates valid '(ConversionRateOf ADA INR)'s
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Ratio.fromRatio.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Ratio.fromRatio.roundtrips with toRatio
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Rational.fromRational.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Rational.fromRational.roundtrips with toRational
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.compose.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.invert.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.GenValid (ConversionRateOf ADA USD).genValid \:\: Gen (ConversionRateOf ADA USD).only generates valid '(ConversionRateOf ADA USD)'s
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Ratio.fromRatio.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Ratio.fromRatio.roundtrips with toRatio
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Rational.fromRational.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Rational.fromRational.roundtrips with toRational
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.compose.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.invert.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.GenValid (ConversionRateOf BTC ADA).genValid \:\: Gen (ConversionRateOf BTC ADA).only generates valid '(ConversionRateOf BTC ADA)'s
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Ratio.fromRatio.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Ratio.fromRatio.roundtrips with toRatio
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Rational.fromRational.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Rational.fromRational.roundtrips with toRational
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.compose.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.invert.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.GenValid (ConversionRateOf BTC BTC).genValid \:\: Gen (ConversionRateOf BTC BTC).only generates valid '(ConversionRateOf BTC BTC)'s
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Ratio.fromRatio.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Ratio.fromRatio.roundtrips with toRatio
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Rational.fromRational.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Rational.fromRational.roundtrips with toRational
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.compose.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.invert.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.GenValid (ConversionRateOf BTC CHF).genValid \:\: Gen (ConversionRateOf BTC CHF).only generates valid '(ConversionRateOf BTC CHF)'s
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Ratio.fromRatio.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Ratio.fromRatio.roundtrips with toRatio
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Rational.fromRational.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Rational.fromRational.roundtrips with toRational
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.compose.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.invert.produces valid rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.34 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.GenValid (ConversionRateOf BTC INR).genValid \:\: Gen (ConversionRateOf BTC INR).only generates valid '(ConversionRateOf BTC INR)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.GenValid (ConversionRateOf BTC USD).genValid \:\: Gen (ConversionRateOf BTC USD).only generates valid '(ConversionRateOf BTC USD)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.GenValid (ConversionRateOf CHF ADA).genValid \:\: Gen (ConversionRateOf CHF ADA).only generates valid '(ConversionRateOf CHF ADA)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.GenValid (ConversionRateOf CHF BTC).genValid \:\: Gen (ConversionRateOf CHF BTC).only generates valid '(ConversionRateOf CHF BTC)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.GenValid (ConversionRateOf CHF CHF).genValid \:\: Gen (ConversionRateOf CHF CHF).only generates valid '(ConversionRateOf CHF CHF)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.GenValid (ConversionRateOf CHF INR).genValid \:\: Gen (ConversionRateOf CHF INR).only generates valid '(ConversionRateOf CHF INR)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.GenValid (ConversionRateOf CHF USD).genValid \:\: Gen (ConversionRateOf CHF USD).only generates valid '(ConversionRateOf CHF USD)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.GenValid (ConversionRateOf INR ADA).genValid \:\: Gen (ConversionRateOf INR ADA).only generates valid '(ConversionRateOf INR ADA)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.GenValid (ConversionRateOf INR BTC).genValid \:\: Gen (ConversionRateOf INR BTC).only generates valid '(ConversionRateOf INR BTC)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.GenValid (ConversionRateOf INR CHF).genValid \:\: Gen (ConversionRateOf INR CHF).only generates valid '(ConversionRateOf INR CHF)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.GenValid (ConversionRateOf INR INR).genValid \:\: Gen (ConversionRateOf INR INR).only generates valid '(ConversionRateOf INR INR)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.GenValid (ConversionRateOf INR USD).genValid \:\: Gen (ConversionRateOf INR USD).only generates valid '(ConversionRateOf INR USD)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.invert.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.GenValid (ConversionRateOf USD ADA).genValid \:\: Gen (ConversionRateOf USD ADA).only generates valid '(ConversionRateOf USD ADA)'s
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Ratio.fromRatio.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Ratio.fromRatio.roundtrips with toRatio
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Rational.fromRational.produces valid conversion rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Rational.fromRational.roundtrips with toRational
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.compose.produces valid rates
416.35 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.invert.produces valid rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.GenValid (ConversionRateOf USD BTC).genValid \:\: Gen (ConversionRateOf USD BTC).only generates valid '(ConversionRateOf USD BTC)'s
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Ratio.fromRatio.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Ratio.fromRatio.roundtrips with toRatio
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Rational.fromRational.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Rational.fromRational.roundtrips with toRational
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.compose.produces valid rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.invert.produces valid rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.GenValid (ConversionRateOf USD CHF).genValid \:\: Gen (ConversionRateOf USD CHF).only generates valid '(ConversionRateOf USD CHF)'s
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Ratio.fromRatio.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Ratio.fromRatio.roundtrips with toRatio
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Rational.fromRational.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Rational.fromRational.roundtrips with toRational
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.compose.produces valid rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.invert.produces valid rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.GenValid (ConversionRateOf USD INR).genValid \:\: Gen (ConversionRateOf USD INR).only generates valid '(ConversionRateOf USD INR)'s
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Ratio.fromRatio.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Ratio.fromRatio.roundtrips with toRatio
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Rational.fromRational.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Rational.fromRational.roundtrips with toRational
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.compose.produces valid rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.invert.produces valid rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.GenValid (ConversionRateOf USD USD).genValid \:\: Gen (ConversionRateOf USD USD).only generates valid '(ConversionRateOf USD USD)'s
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Ratio.fromRatio.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Ratio.fromRatio.roundtrips with toRatio
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Rational.fromRational.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Rational.fromRational.roundtrips with toRational
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.compose.produces valid rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.invert.produces valid rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateSpec.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateSpec.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.36 s
[really-safe-money-gen] Money\.ConversionRateSpec.GenValid ConversionRate.genValid \:\: Gen ConversionRate.only generates valid 'ConversionRate's
416.36 s
[really-safe-money-gen] Money\.ConversionRateSpec.Ratio.fromRatio.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateSpec.Ratio.fromRatio.roundtrips with toRatio
416.36 s
[really-safe-money-gen] Money\.ConversionRateSpec.Rational.fromRational.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateSpec.Rational.fromRational.roundtrips with toRational
416.36 s
[really-safe-money-gen] Money\.ConversionRateSpec.compose.produces valid rates
416.36 s
[really-safe-money-gen] Money\.ConversionRateSpec.invert.produces valid rates
416.36 s
[really-safe-money-gen]
416.36 s
[really-safe-money-gen] Testing mutation ConstBool at src/Money/ConversionRate.hs:38:41-57:
416.36 s
[really-safe-money-gen] @@ -35,7 +35,7 @@
416.36 s
[really-safe-money-gen] validate cr@(ConversionRate r) =
416.36 s
[really-safe-money-gen] mconcat
416.36 s
[really-safe-money-gen] [ genericValidate cr,
416.36 s
[really-safe-money-gen] - declare "The rate is nonzero" $ numerator r /= 0
416.36 s
[really-safe-money-gen] + declare "The rate is nonzero" $ False
416.36 s
[really-safe-money-gen] ]
416.36 s
[really-safe-money-gen]
416.36 s
[really-safe-money-gen] instance NFData ConversionRate
416.36 s
[really-safe-money-gen] Covering tests:
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.ADA.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.ADA.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.BTC.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.BTC.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.CHF.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.CHF.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.INR.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.INR.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.USD.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.ADA.USD.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.ADA.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.ADA.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.BTC.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.BTC.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.CHF.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.CHF.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.INR.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.INR.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.USD.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.BTC.USD.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.ADA.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.ADA.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.BTC.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.BTC.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.CHF.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.CHF.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.INR.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.INR.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.USD.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.CHF.USD.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.ADA.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.ADA.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.BTC.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.BTC.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.CHF.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.CHF.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.INR.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.INR.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.USD.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.INR.USD.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.ADA.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.ADA.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.BTC.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.BTC.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.CHF.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.CHF.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.INR.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.INR.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.USD.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountOfSpec.USD.USD.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountSpec.convert.converts this USD to CHF correctly
416.36 s
[really-safe-money-gen] Money\.AccountSpec.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AccountSpec.convert.succeeds in converting 1\:1 without rounding if the quantisation factor is the same
416.36 s
[really-safe-money-gen] Money\.AccountSpec.rate.computes a rate that can be used to do a conversion without rounding
416.36 s
[really-safe-money-gen] Money\.AccountSpec.rate.computes this USD to CHF rate correctly
416.36 s
[really-safe-money-gen] Money\.AccountSpec.rate.produces valid conversion rates
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.ADA.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.ADA.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.BTC.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.BTC.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.CHF.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.CHF.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.INR.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.INR.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.USD.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.ADA.USD.rate.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.ADA.convert.produces valid amounts
416.36 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.ADA.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.BTC.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.BTC.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.CHF.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.CHF.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.INR.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.INR.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.USD.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.BTC.USD.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.ADA.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.ADA.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.BTC.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.BTC.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.CHF.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.CHF.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.INR.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.INR.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.USD.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.CHF.USD.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.ADA.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.ADA.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.BTC.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.BTC.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.CHF.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.CHF.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.INR.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.INR.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.USD.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.INR.USD.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.ADA.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.ADA.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.BTC.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.BTC.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.CHF.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.CHF.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.INR.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.INR.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.USD.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountOfSpec.USD.USD.rate.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountSpec.convert.converts this USD to CHF correctly
416.37 s
[really-safe-money-gen] Money\.AmountSpec.convert.produces valid amounts
416.37 s
[really-safe-money-gen] Money\.AmountSpec.convert.succeeds in converting 1\:1 without rounding if the quantisation factor is the same
416.37 s
[really-safe-money-gen] Money\.AmountSpec.rate.computes a rate that can be used to do a conversion without rounding
416.37 s
[really-safe-money-gen] Money\.AmountSpec.rate.computes this USD to CHF rate correctly
416.37 s
[really-safe-money-gen] Money\.AmountSpec.rate.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.GenValid (ConversionRateOf ADA ADA).genValid \:\: Gen (ConversionRateOf ADA ADA).only generates valid '(ConversionRateOf ADA ADA)'s
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Ratio.fromRatio.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Ratio.fromRatio.roundtrips with toRatio
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Rational.fromRational.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.Rational.fromRational.roundtrips with toRational
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.compose.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.ADA.invert.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.GenValid (ConversionRateOf ADA BTC).genValid \:\: Gen (ConversionRateOf ADA BTC).only generates valid '(ConversionRateOf ADA BTC)'s
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Ratio.fromRatio.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Ratio.fromRatio.roundtrips with toRatio
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Rational.fromRational.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.Rational.fromRational.roundtrips with toRational
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.compose.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.BTC.invert.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.GenValid (ConversionRateOf ADA CHF).genValid \:\: Gen (ConversionRateOf ADA CHF).only generates valid '(ConversionRateOf ADA CHF)'s
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Ratio.fromRatio.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Ratio.fromRatio.roundtrips with toRatio
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Rational.fromRational.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.Rational.fromRational.roundtrips with toRational
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.compose.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.CHF.invert.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.GenValid (ConversionRateOf ADA INR).genValid \:\: Gen (ConversionRateOf ADA INR).only generates valid '(ConversionRateOf ADA INR)'s
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Ratio.fromRatio.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Ratio.fromRatio.roundtrips with toRatio
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Rational.fromRational.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.Rational.fromRational.roundtrips with toRational
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.compose.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.INR.invert.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.GenValid (ConversionRateOf ADA USD).genValid \:\: Gen (ConversionRateOf ADA USD).only generates valid '(ConversionRateOf ADA USD)'s
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Ratio.fromRatio.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Ratio.fromRatio.roundtrips with toRatio
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Rational.fromRational.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.Rational.fromRational.roundtrips with toRational
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.compose.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.ADA.USD.invert.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.GenValid (ConversionRateOf BTC ADA).genValid \:\: Gen (ConversionRateOf BTC ADA).only generates valid '(ConversionRateOf BTC ADA)'s
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Ratio.fromRatio.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Ratio.fromRatio.roundtrips with toRatio
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Rational.fromRational.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.Rational.fromRational.roundtrips with toRational
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.compose.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.ADA.invert.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.GenValid (ConversionRateOf BTC BTC).genValid \:\: Gen (ConversionRateOf BTC BTC).only generates valid '(ConversionRateOf BTC BTC)'s
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Ratio.fromRatio.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Ratio.fromRatio.roundtrips with toRatio
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Rational.fromRational.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.Rational.fromRational.roundtrips with toRational
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.compose.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.BTC.invert.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.GenValid (ConversionRateOf BTC CHF).genValid \:\: Gen (ConversionRateOf BTC CHF).only generates valid '(ConversionRateOf BTC CHF)'s
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Ratio.fromRatio.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Ratio.fromRatio.roundtrips with toRatio
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Rational.fromRational.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.Rational.fromRational.roundtrips with toRational
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.compose.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.CHF.invert.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.GenValid (ConversionRateOf BTC INR).genValid \:\: Gen (ConversionRateOf BTC INR).only generates valid '(ConversionRateOf BTC INR)'s
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Ratio.fromRatio.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Ratio.fromRatio.roundtrips with toRatio
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Rational.fromRational.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.Rational.fromRational.roundtrips with toRational
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.compose.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.INR.invert.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.GenValid (ConversionRateOf BTC USD).genValid \:\: Gen (ConversionRateOf BTC USD).only generates valid '(ConversionRateOf BTC USD)'s
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Ratio.fromRatio.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Ratio.fromRatio.roundtrips with toRatio
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Rational.fromRational.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.Rational.fromRational.roundtrips with toRational
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.compose.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.BTC.USD.invert.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.GenValid (ConversionRateOf CHF ADA).genValid \:\: Gen (ConversionRateOf CHF ADA).only generates valid '(ConversionRateOf CHF ADA)'s
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Ratio.fromRatio.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Ratio.fromRatio.roundtrips with toRatio
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Rational.fromRational.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.Rational.fromRational.roundtrips with toRational
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.compose.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.ADA.invert.produces valid rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.37 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.GenValid (ConversionRateOf CHF BTC).genValid \:\: Gen (ConversionRateOf CHF BTC).only generates valid '(ConversionRateOf CHF BTC)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.BTC.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.GenValid (ConversionRateOf CHF CHF).genValid \:\: Gen (ConversionRateOf CHF CHF).only generates valid '(ConversionRateOf CHF CHF)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.CHF.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.GenValid (ConversionRateOf CHF INR).genValid \:\: Gen (ConversionRateOf CHF INR).only generates valid '(ConversionRateOf CHF INR)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.INR.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.GenValid (ConversionRateOf CHF USD).genValid \:\: Gen (ConversionRateOf CHF USD).only generates valid '(ConversionRateOf CHF USD)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.CHF.USD.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.GenValid (ConversionRateOf INR ADA).genValid \:\: Gen (ConversionRateOf INR ADA).only generates valid '(ConversionRateOf INR ADA)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.ADA.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.GenValid (ConversionRateOf INR BTC).genValid \:\: Gen (ConversionRateOf INR BTC).only generates valid '(ConversionRateOf INR BTC)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.BTC.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.GenValid (ConversionRateOf INR CHF).genValid \:\: Gen (ConversionRateOf INR CHF).only generates valid '(ConversionRateOf INR CHF)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.CHF.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.GenValid (ConversionRateOf INR INR).genValid \:\: Gen (ConversionRateOf INR INR).only generates valid '(ConversionRateOf INR INR)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.INR.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.GenValid (ConversionRateOf INR USD).genValid \:\: Gen (ConversionRateOf INR USD).only generates valid '(ConversionRateOf INR USD)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.INR.USD.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.GenValid (ConversionRateOf USD ADA).genValid \:\: Gen (ConversionRateOf USD ADA).only generates valid '(ConversionRateOf USD ADA)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.ADA.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.GenValid (ConversionRateOf USD BTC).genValid \:\: Gen (ConversionRateOf USD BTC).only generates valid '(ConversionRateOf USD BTC)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.BTC.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.GenValid (ConversionRateOf USD CHF).genValid \:\: Gen (ConversionRateOf USD CHF).only generates valid '(ConversionRateOf USD CHF)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.CHF.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.GenValid (ConversionRateOf USD INR).genValid \:\: Gen (ConversionRateOf USD INR).only generates valid '(ConversionRateOf USD INR)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.INR.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.GenValid (ConversionRateOf USD USD).genValid \:\: Gen (ConversionRateOf USD USD).only generates valid '(ConversionRateOf USD USD)'s
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateOfSpec.USD.USD.invert.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateSpec.DecimalLiteral.fromDecimalLiteral.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateSpec.DecimalLiteral.fromDecimalLiteral.roundtrips with toDecimalLiteral
416.38 s
[really-safe-money-gen] Money\.ConversionRateSpec.GenValid ConversionRate.genValid \:\: Gen ConversionRate.only generates valid 'ConversionRate's
416.38 s
[really-safe-money-gen] Money\.ConversionRateSpec.Ratio.fromRatio.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateSpec.Ratio.fromRatio.roundtrips with toRatio
416.38 s
[really-safe-money-gen] Money\.ConversionRateSpec.Rational.fromRational.produces valid conversion rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateSpec.Rational.fromRational.roundtrips with toRational
416.38 s
[really-safe-money-gen] Money\.ConversionRateSpec.compose.produces valid rates
416.38 s
[really-safe-money-gen] Money\.ConversionRateSpec.invert.produces valid rates
416.38 s
[really-safe-money-gen]
416.38 s
[really-safe-money-gen] Killed: 233
416.38 s
[really-safe-money-gen] Survived: 79
416.38 s
[really-safe-money-gen] Uncovered: 21
416.40 s
[really-safe-money-gen] checkPhase completed in 5 minutes 57 seconds
416.40 s
[really-safe-money-gen] Phase: haddockPhase
416.57 s
[really-safe-money-gen] Preprocessing library for really-safe-money-gen-0.0.0.0...
416.57 s
[really-safe-money-gen] Running Haddock on library for really-safe-money-gen-0.0.0.0...
416.57 s
[really-safe-money-gen] Warning: The documentation for the following packages are not installed. No
416.57 s
[really-safe-money-gen] links will be generated to these packages: really-safe-money-0.0.0.0
416.80 s
[really-safe-money-gen] [ 1 of 13] Compiling Money.Amount.Gen ( src/Money/Amount/Gen.hs, nothing )
416.93 s
[really-safe-money-gen] [ 2 of 13] Compiling Money.Account.Gen ( src/Money/Account/Gen.hs, nothing )
416.93 s
[really-safe-money-gen] [ 3 of 13] Compiling Money.AccountOf.Gen ( src/Money/AccountOf/Gen.hs, nothing )
416.94 s
[really-safe-money-gen] [ 4 of 13] Compiling Money.AmountOf.Gen ( src/Money/AmountOf/Gen.hs, nothing )
416.94 s
[really-safe-money-gen] [ 5 of 13] Compiling Money.ConversionRate.Gen ( src/Money/ConversionRate/Gen.hs, nothing )
416.95 s
[really-safe-money-gen] [ 6 of 13] Compiling Money.ConversionRateOf.Gen ( src/Money/ConversionRateOf/Gen.hs, nothing )
416.96 s
[really-safe-money-gen] [ 7 of 13] Compiling Money.QuantisationFactor.Gen ( src/Money/QuantisationFactor/Gen.hs, nothing )
416.96 s
[really-safe-money-gen] [ 8 of 13] Compiling Money.Currency.Gen ( src/Money/Currency/Gen.hs, nothing )
416.96 s
[really-safe-money-gen] [ 9 of 13] Compiling Money.MultiAmount.Gen ( src/Money/MultiAmount/Gen.hs, nothing )
416.97 s
[really-safe-money-gen] [10 of 13] Compiling Money.MultiAccount.Gen ( src/Money/MultiAccount/Gen.hs, nothing )
416.98 s
[really-safe-money-gen] [11 of 13] Compiling Money.Gen ( src/Money/Gen.hs, nothing )
416.98 s
[really-safe-money-gen] [12 of 13] Compiling Numeric.DecimalLiteral.Gen ( src/Numeric/DecimalLiteral/Gen.hs, nothing )
416.99 s
[really-safe-money-gen] [13 of 13] Compiling Paths_really_safe_money_gen ( dist/build/autogen/Paths_really_safe_money_gen.hs, nothing )
417.00 s
[really-safe-money-gen] Haddock coverage:
417.00 s
[really-safe-money-gen] 0% ( 0 / 1) in 'Money.Amount.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] 0% ( 0 / 1) in 'Money.Account.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] 0% ( 0 / 1) in 'Money.AccountOf.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] 0% ( 0 / 1) in 'Money.AmountOf.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] 0% ( 0 / 1) in 'Money.ConversionRate.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] 0% ( 0 / 1) in 'Money.ConversionRateOf.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] 0% ( 0 / 1) in 'Money.QuantisationFactor.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] 0% ( 0 / 1) in 'Money.Currency.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] 0% ( 0 / 1) in 'Money.MultiAmount.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] 0% ( 0 / 1) in 'Money.MultiAccount.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] Warning: Money.Gen: Could not find documentation for exported module: Money.Gen
417.00 s
[really-safe-money-gen] 90% ( 10 / 11) in 'Money.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] 0% ( 0 / 2) in 'Numeric.DecimalLiteral.Gen'
417.00 s
[really-safe-money-gen] Missing documentation for:
417.00 s
[really-safe-money-gen] Module header
417.00 s
[really-safe-money-gen] shrinkSign (src/Numeric/DecimalLiteral/Gen.hs:16)
417.09 s
[really-safe-money-gen] Warning: Money.Amount.Gen: could not find link destinations for:
417.09 s
[really-safe-money-gen] - Money.Amount.Amount
417.09 s
[really-safe-money-gen] - Money.Amount.Distribution
417.09 s
[really-safe-money-gen] - Money.Amount.Rounding
417.10 s
[really-safe-money-gen] Warning: Money.Account.Gen: could not find link destinations for:
417.10 s
[really-safe-money-gen] - Money.Account.Account
417.10 s
[really-safe-money-gen] Warning: Money.AccountOf.Gen: could not find link destinations for:
417.10 s
[really-safe-money-gen] - Money.AccountOf.AccountOf
417.10 s
[really-safe-money-gen] Warning: Money.AmountOf.Gen: could not find link destinations for:
417.10 s
[really-safe-money-gen] - Money.AmountOf.AmountOf
417.10 s
[really-safe-money-gen] Warning: Money.ConversionRate.Gen: could not find link destinations for:
417.10 s
[really-safe-money-gen] - Money.ConversionRate.ConversionRate
417.10 s
[really-safe-money-gen] Warning: Money.ConversionRateOf.Gen: could not find link destinations for:
417.10 s
[really-safe-money-gen] - Money.ConversionRateOf.ConversionRateOf
417.10 s
[really-safe-money-gen] Warning: Money.QuantisationFactor.Gen: could not find link destinations for:
417.10 s
[really-safe-money-gen] - Money.QuantisationFactor.QuantisationFactor
417.10 s
[really-safe-money-gen] Warning: Money.Currency.Gen: could not find link destinations for:
417.10 s
[really-safe-money-gen] - Money.Currency.Currency
417.10 s
[really-safe-money-gen] Warning: Money.MultiAmount.Gen: could not find link destinations for:
417.10 s
[really-safe-money-gen] - Money.MultiAmount.MultiAmount
417.10 s
[really-safe-money-gen] Warning: Money.MultiAccount.Gen: could not find link destinations for:
417.10 s
[really-safe-money-gen] - Money.MultiAccount.MultiAccount
417.10 s
[really-safe-money-gen] Warning: Numeric.DecimalLiteral.Gen: could not find link destinations for:
417.10 s
[really-safe-money-gen] - Numeric.DecimalLiteral.DecimalLiteral
422.03 s
[really-safe-money-gen] Documentation created: dist/doc/html/really-safe-money-gen/,
422.03 s
[really-safe-money-gen] dist/doc/html/really-safe-money-gen/really-safe-money-gen.txt
422.21 s
[really-safe-money-gen] Preprocessing test suite 'really-safe-money-test' for really-safe-money-gen-0.0.0.0...
422.21 s
[really-safe-money-gen] Phase: installPhase
422.27 s
[really-safe-money-gen] Installing library in /nix/store/m9m22lyckpbrxwj0acv4gclrkj64kwid-really-safe-money-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/really-safe-money-gen-0.0.0.0-9DfdU4DcgbWHMkem9yRL5h
422.72 s
[really-safe-money-gen] Phase: fixupPhase
422.74 s
[really-safe-money-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/m9m22lyckpbrxwj0acv4gclrkj64kwid-really-safe-money-gen-0.0.0.0
422.75 s
[really-safe-money-gen] shrinking /nix/store/m9m22lyckpbrxwj0acv4gclrkj64kwid-really-safe-money-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/libHSreally-safe-money-gen-0.0.0.0-9DfdU4DcgbWHMkem9yRL5h-ghc9.10.3.so
422.77 s
[really-safe-money-gen] checking for references to /build/ in /nix/store/m9m22lyckpbrxwj0acv4gclrkj64kwid-really-safe-money-gen-0.0.0.0...
422.81 s
[really-safe-money-gen] patching script interpreter paths in /nix/store/m9m22lyckpbrxwj0acv4gclrkj64kwid-really-safe-money-gen-0.0.0.0
422.81 s
[really-safe-money-gen] stripping (with command strip and flags -S -p) in /nix/store/m9m22lyckpbrxwj0acv4gclrkj64kwid-really-safe-money-gen-0.0.0.0/lib
422.89 s
[really-safe-money-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/zq5b9inl970gfygw3m9wswh7z8kiab2i-really-safe-money-gen-0.0.0.0-doc
422.90 s
[really-safe-money-gen] checking for references to /build/ in /nix/store/zq5b9inl970gfygw3m9wswh7z8kiab2i-really-safe-money-gen-0.0.0.0-doc...
422.93 s
[really-safe-money-gen] patching script interpreter paths in /nix/store/zq5b9inl970gfygw3m9wswh7z8kiab2i-really-safe-money-gen-0.0.0.0-doc
422.94 s
[really-safe-money-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/jsb4vixqjvqxcpxdvmjblzlxfksqhl49-really-safe-money-gen-0.0.0.0-report
422.96 s
[really-safe-money-gen] checking for references to /build/ in /nix/store/jsb4vixqjvqxcpxdvmjblzlxfksqhl49-really-safe-money-gen-0.0.0.0-report...
422.98 s
[really-safe-money-gen] patching script interpreter paths in /nix/store/jsb4vixqjvqxcpxdvmjblzlxfksqhl49-really-safe-money-gen-0.0.0.0-report
423.13 s
[post-build-hook] Uploading to cachix cache "sydtest": /nix/store/jsb4vixqjvqxcpxdvmjblzlxfksqhl49-really-safe-money-gen-0.0.0.0-report /nix/store/m9m22lyckpbrxwj0acv4gclrkj64kwid-really-safe-money-gen-0.0.0.0 /nix/store/zq5b9inl970gfygw3m9wswh7z8kiab2i-really-safe-money-gen-0.0.0.0-doc
423.69 s
[post-build-hook] Pushing 3 paths (196 are already present) using zstd to cache sydtest ⏳
423.69 s
[post-build-hook]
424.10 s
[post-build-hook] Pushing /nix/store/jsb4vixqjvqxcpxdvmjblzlxfksqhl49-really-safe-money-gen-0.0.0.0-report (562.31 KiB)
424.21 s
[post-build-hook] Pushing /nix/store/zq5b9inl970gfygw3m9wswh7z8kiab2i-really-safe-money-gen-0.0.0.0-doc (288.17 KiB)
424.45 s
[post-build-hook] Pushing /nix/store/m9m22lyckpbrxwj0acv4gclrkj64kwid-really-safe-money-gen-0.0.0.0 (1.35 MiB)
425.48 s
[post-build-hook]
425.48 s
[post-build-hook] All done.
425.50 s
[post-build-hook] Uploading to the NixCI staging cache: /nix/store/jsb4vixqjvqxcpxdvmjblzlxfksqhl49-really-safe-money-gen-0.0.0.0-report /nix/store/m9m22lyckpbrxwj0acv4gclrkj64kwid-really-safe-money-gen-0.0.0.0 /nix/store/zq5b9inl970gfygw3m9wswh7z8kiab2i-really-safe-money-gen-0.0.0.0-doc
425.54 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
425.81 s
[post-build-hook] copying 3 paths...
425.81 s
[post-build-hook] copying path '/nix/store/jsb4vixqjvqxcpxdvmjblzlxfksqhl49-really-safe-money-gen-0.0.0.0-report' to 'https://cache.staging.nix-ci.com'...
425.81 s
[post-build-hook] copying path '/nix/store/zq5b9inl970gfygw3m9wswh7z8kiab2i-really-safe-money-gen-0.0.0.0-doc' to 'https://cache.staging.nix-ci.com'...
425.94 s
[post-build-hook] copying path '/nix/store/m9m22lyckpbrxwj0acv4gclrkj64kwid-really-safe-money-gen-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
426.43 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
426.68 s
[post-build-hook] copying 1 paths...
426.68 s
[post-build-hook] copying path '/nix/store/qyh2h7rhl3rvypm9249yccfzqqv46lm6-really-safe-money-gen-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
426.86 s
Progress: 5 of 6 built, 8 of 8 downloaded from cache