Test.Dahdit.GenDefault
genSigned :: (Integral a, Bounded a) => Gen a Source #
genUnsigned :: (Integral 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 #
class LengthBounds p a where Source #
Methods
lengthBounds :: Proxy p -> Proxy a -> (Word, Word) Source #
data DahditTag p Source #