080597b3d7aa2c46a49a9c7ac9141fe83880239b588ee844c7ab316e27acb49e

Download raw

Created: 2023-12-19 03:40:10.302489 UTC

Size: 1385

Preview (limited to 512 bytes)

"module Spec.Range\n ( symmetric\n , bounded\n , singleton\n , uniformRangeWithin\n , uniformRangeWithinExcludedF\n , uniformRangeWithinExcludedD\n ) where\n\nimport System.Random.Internal\nimport System.Random.Stateful\nimport Data.Proxy\n\nsymmetric :: (RandomGen g, UniformRange a, Eq a) => Proxy a -> g -> (a, a) -> Bool\nsymmetric _ g (l, r) = fst (uniformR (l, r) g) == fst (uniformR (r, l) g)\n\nbounded :: (RandomGen g, UniformRange a, Ord a) => Proxy a -> g -> (a, a) -> Bool\nbounded _ g (l, r) = bottom <= result"

Casa is a service provided by the Haskell Foundation │ Originally developed by FP Complete