| |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
| 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.7.2 | |||||||||||||||||||||||||||||||||