dahdit-test-0.5.1: Test utils for Dahdit serde
Safe HaskellSafe-Inferred
LanguageGHC2021

Test.Dahdit.GenDefault

Documentation

genSigned :: (Integral a, FiniteBits a, Bounded a) => Gen a Source #

genUnsigned :: (Integral a, FiniteBits a, Bounded a) => Gen a Source #

genFractional :: Fractional a => Gen a Source #

genEnum :: (Enum a, Bounded a) => Gen a Source #

genSum :: NonEmpty (Gen a) -> Gen a Source #

genList :: Word -> Word -> Gen a -> Gen [a] Source #

genSeq :: Word -> Word -> Gen a -> Gen (Seq a) Source #

genString :: Word -> Word -> Gen String Source #

genSBS :: Word -> Word -> Gen ShortByteString Source #

genText :: Word -> Word -> Gen Text Source #

newtype ViaSigned a Source #

Constructors

ViaSigned 

Fields

Instances

Instances details
(Integral a, FiniteBits a, Bounded a) => GenDefault p (ViaSigned a) Source # 
Instance details

Defined in Test.Dahdit.GenDefault

Methods

genDefault :: Proxy p -> Gen (ViaSigned a) #

newtype ViaUnsigned a Source #

Constructors

ViaUnsigned 

Fields

Instances

Instances details
(Integral a, FiniteBits a, Bounded a) => GenDefault p (ViaUnsigned a) Source # 
Instance details

Defined in Test.Dahdit.GenDefault

Methods

genDefault :: Proxy p -> Gen (ViaUnsigned a) #

newtype ViaFractional a Source #

Constructors

ViaFractional 

Fields

Instances

Instances details
Fractional a => GenDefault p (ViaFractional a) Source # 
Instance details

Defined in Test.Dahdit.GenDefault

Methods

genDefault :: Proxy p -> Gen (ViaFractional a) #

class LengthBounds p a where Source #

Methods

lengthBounds :: Proxy p -> Proxy a -> (Word, Word) Source #

data DahditTag p Source #