Documentation

spec :: Test IO n -> n () Source #

arbitrary :: Gen Element Source #

shrink :: Element -> [Element] Source #

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