Test.Dahdit.GenDefault

Documentation

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

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

genFractional :: Fractional a => Gen a

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

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

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

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

genString :: Word -> Word -> Gen String

genSBS :: Word -> Word -> Gen ShortByteString

genText :: Word -> Word -> Gen Text

newtype ViaSigned a

Constructors

ViaSigned

Fields

• unViaSigned :: a

Instances

(Integral a, FiniteBits a, Bounded a) => GenDefault p (ViaSigned a)

Defined in Test.Dahdit.GenDefault

Methods

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

newtype ViaUnsigned a

Constructors

ViaUnsigned

Fields

• unViaUnsigned :: a

Instances

(Integral a, FiniteBits a, Bounded a) => GenDefault p (ViaUnsigned a)

Defined in Test.Dahdit.GenDefault

Methods

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

newtype ViaFractional a

Constructors

ViaFractional

Fields

• unViaFractional :: a

Instances

Fractional a => GenDefault p (ViaFractional a)

Defined in Test.Dahdit.GenDefault

Methods

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

class LengthBounds p a where

Methods

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

data DahditTag p