Documentation

spec :: Spec Source #

arbitrary :: Gen Field Source #

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

shrink :: Field -> [Field] Source #

shrinkNonEmpty :: (a -> [a]) -> NonEmpty a -> [NonEmpty a] Source #

new :: MonadFail m => [[Word8]] -> m Field Source #