Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
genUnsigned :: (Integral a, FiniteBits a, Bounded a) => Gen a Source #
genFractional :: Fractional a => Gen a Source #
ViaSigned | |
|
Instances
(Integral a, FiniteBits a, Bounded a) => GenDefault p (ViaSigned a) Source # | |
Defined in Test.Dahdit.GenDefault genDefault :: Proxy p -> Gen (ViaSigned a) # |
newtype ViaUnsigned a Source #
ViaUnsigned | |
|
Instances
(Integral a, FiniteBits a, Bounded a) => GenDefault p (ViaUnsigned a) Source # | |
Defined in Test.Dahdit.GenDefault genDefault :: Proxy p -> Gen (ViaUnsigned a) # |
newtype ViaFractional a Source #
Instances
Fractional a => GenDefault p (ViaFractional a) Source # | |
Defined in Test.Dahdit.GenDefault genDefault :: Proxy p -> Gen (ViaFractional a) # |
class LengthBounds p a where Source #