Documentation

unpackPeekWord8 :: Unpacking Word8 Source #

shrinkType :: forall f a b. (Applicative f, Integral a, Integral b, Bounded a, Bounded b) => f b -> a -> f b Source #

shrinkTypeIO :: forall m a b. (MonadIO m, Integral a, Integral b, Bounded a, Bounded b) => a -> m b Source #