| |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
Description | |||||||||||||||||||||||||||||||||
Core types and functions for the Builder monoid and the Put monad based based on the 'blaze-builder' library by Jasper van der Jeugt and Simon Meier. | |||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
Documentation | |||||||||||||||||||||||||||||||||
data BufRange | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
data BuildSignal a | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
newtype BuildStep a | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
done :: Ptr Word8 -> a -> BuildSignal a | |||||||||||||||||||||||||||||||||
bufferFull :: Int -> Ptr Word8 -> (BufRange -> IO (BuildSignal a)) -> BuildSignal a | |||||||||||||||||||||||||||||||||
insertByteString :: Ptr Word8 -> ByteString -> (BufRange -> IO (BuildSignal a)) -> BuildSignal a | |||||||||||||||||||||||||||||||||
buildStep :: (BufRange -> IO (BuildSignal a)) -> BuildStep a | |||||||||||||||||||||||||||||||||
newtype Builder | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
newtype Put a | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
putBuildStepCont :: (forall r. (a -> BufRange -> IO (BuildSignal r)) -> BufRange -> IO (BuildSignal r)) -> Put a | |||||||||||||||||||||||||||||||||
fromBuildStepCont :: (forall r. (BufRange -> IO (BuildSignal r)) -> BufRange -> IO (BuildSignal r)) -> Builder | |||||||||||||||||||||||||||||||||
putBuilder :: Builder -> Put () | |||||||||||||||||||||||||||||||||
Put the given builder. | |||||||||||||||||||||||||||||||||
fromPut :: Put a -> Builder | |||||||||||||||||||||||||||||||||
Ignore the value of a put and only exploit its output side effect. | |||||||||||||||||||||||||||||||||
Produced by Haddock version 2.6.0 |