Symantic.HTTP.Pipes

Documentation

produceBS :: IsString r => Monad m => m ByteString -> Producer' ByteString m r

Produce ByteString from a Monad.

NoFraming

NewlineFraming

newlineEncode :: (a -> ByteString) -> a -> ByteString

digit0 :: Word8

digit9 :: Word8

colon :: Word8

comma :: Word8

newline :: Word8

encodeNetstring :: (a -> ByteString) -> a -> ByteString

decodeNetstring :: IsString r => Monad m => (ByteString -> Either String a) -> ParserP ByteString a m r

Type Parser

type ParserP inp out m r = forall x. StateT (Producer inp m x) (Producer out m) r

A Parser, which is itself a Producer, and thus can yieldP immediately.

yieldP :: Monad m => out -> ParserP inp out m ()

drawP :: Monad m => ParserP inp out m (Maybe inp)

drawAllP :: Monad m => ParserP inp out m [inp]

drawByteP :: Monad m => ParserP ByteString out m (Maybe Word8)

unDrawP :: Monad m => inp -> ParserP inp out m ()

parseMany :: Monad m => (Producer a m r -> Producer b m (Producer a m r)) -> Producer a m r -> FreeT (Producer b m) m r

'parseMany f' groups a Producer of ByteStrings into a series of Producers delimited by f, where the delimiter is dropped

Orphan instances

IsString ()

Methods

fromString :: String -> ()

FramingEncode NoFraming (ListT IO a)

Methods

framingEncode :: Proxy NoFraming -> (FramingYield (ListT IO a) -> ByteString) -> ListT IO a -> IO (Either (FramingReturn (ListT IO a)) (ByteString, ListT IO a))

FramingEncode NoFraming (Producer a (SafeT IO) r)

Methods

framingEncode :: Proxy NoFraming -> (FramingYield (Producer a (SafeT IO) r) -> ByteString) -> Producer a (SafeT IO) r -> IO (Either (FramingReturn (Producer a (SafeT IO) r)) (ByteString, Producer a (SafeT IO) r))

FramingEncode NoFraming (Producer a IO r)

Methods

framingEncode :: Proxy NoFraming -> (FramingYield (Producer a IO r) -> ByteString) -> Producer a IO r -> IO (Either (FramingReturn (Producer a IO r)) (ByteString, Producer a IO r))

FramingEncode NewlineFraming (Producer a (SafeT IO) r)

Methods

framingEncode :: Proxy NewlineFraming -> (FramingYield (Producer a (SafeT IO) r) -> ByteString) -> Producer a (SafeT IO) r -> IO (Either (FramingReturn (Producer a (SafeT IO) r)) (ByteString, Producer a (SafeT IO) r))

FramingEncode NewlineFraming (Producer a IO r)

Methods

framingEncode :: Proxy NewlineFraming -> (FramingYield (Producer a IO r) -> ByteString) -> Producer a IO r -> IO (Either (FramingReturn (Producer a IO r)) (ByteString, Producer a IO r))

FramingEncode NetstringFraming (Producer a (SafeT IO) r)

Methods

framingEncode :: Proxy NetstringFraming -> (FramingYield (Producer a (SafeT IO) r) -> ByteString) -> Producer a (SafeT IO) r -> IO (Either (FramingReturn (Producer a (SafeT IO) r)) (ByteString, Producer a (SafeT IO) r))

FramingEncode NetstringFraming (Producer a IO r)

Methods

framingEncode :: Proxy NetstringFraming -> (FramingYield (Producer a IO r) -> ByteString) -> Producer a IO r -> IO (Either (FramingReturn (Producer a IO r)) (ByteString, Producer a IO r))

IsString r => FramingDecode NoFraming (Producer a m r)

Methods

framingDecode :: (FramingMonad (Producer a m r) ~ m0, Monad m0) => Proxy NoFraming -> (ByteString -> Either String (FramingYield (Producer a m r))) -> m0 ByteString -> Producer a m r

IsString r => FramingDecode NewlineFraming (Producer a m r)

Methods

framingDecode :: (FramingMonad (Producer a m r) ~ m0, Monad m0) => Proxy NewlineFraming -> (ByteString -> Either String (FramingYield (Producer a m r))) -> m0 ByteString -> Producer a m r

IsString r => FramingDecode NetstringFraming (Producer a m r)

Methods

framingDecode :: (FramingMonad (Producer a m r) ~ m0, Monad m0) => Proxy NetstringFraming -> (ByteString -> Either String (FramingYield (Producer a m r))) -> m0 ByteString -> Producer a m r