Documentation

spec :: Test IO n -> n () 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 #