Hoogle Search
Within LTS Haskell 24.32 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
coarbitraryEnum :: Enum a => a -> Gen b -> Gen btasty-quickcheck Test.Tasty.QuickCheck A coarbitrary implementation for enums.
functionBoundedEnum :: (Eq a, Bounded a, Enum a) => (a -> b) -> a :-> btasty-quickcheck Test.Tasty.QuickCheck Provides a Function instance for types with Bounded and Enum. Use only for small types (i.e. not integers): creates the list [minBound..maxBound]!
shrinkBoundedEnum :: (Bounded a, Enum a, Eq a) => a -> [a]tasty-quickcheck Test.Tasty.QuickCheck Shrink an element of a bounded enumeration.
Example
data MyEnum = E0 | E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8 | E9 deriving (Bounded, Enum, Eq, Ord, Show)
>>> shrinkBoundedEnum E9 [E0,E5,E7,E8]
>>> shrinkBoundedEnum E5 [E0,E3,E4]
>>> shrinkBoundedEnum E0 []
uniformEnumM :: (Enum a, Bounded a, StatefulGen g m) => g -> m arandom System.Random.Stateful Generates uniformly distributed Enum. One can use it to define a Uniform instance:
data Colors = Red | Green | Blue deriving (Enum, Bounded) instance Uniform Colors where uniformM = uniformEnumM
uniformEnumRM :: (Enum a, StatefulGen g m) => (a, a) -> g -> m arandom System.Random.Stateful Generates uniformly distributed Enum in the given range. One can use it to define a UniformRange instance:
data Colors = Red | Green | Blue deriving (Enum) instance UniformRange Colors where uniformRM = uniformEnumRM inInRange (lo, hi) x = isInRange (fromEnum lo, fromEnum hi) (fromEnum x)
-
ghc-prim GHC.Prim No documentation available.
fromEnum :: Enum a => a -> Inthedgehog Hedgehog.Internal.Prelude Convert to an Int. It is implementation-dependent what fromEnum returns when applied to a value that is too large to fit in an Int.
-
hedgehog Hedgehog.Internal.Prelude Convert from an Int.
updateNumCapabilities :: WorkerCount -> IO ()hedgehog Hedgehog.Internal.Queue Update the number of capabilities but never set it lower than it already is.
toEnumDef :: (Enum a, Bounded a) => a -> Int -> asafe Safe No documentation available.