Documentation

type DataModeIO m a = MonadIO m => (Handle -> m a, Handle -> a -> m ()) Source #

type SinkIO m k = MonadIO m => forall a. ProcessT m k a Source #

type SourceIO m a = MonadIO m => forall k. MachineT m k a Source #

type IODataMode a = (Handle -> IO a, Handle -> a -> IO ()) Source #

type IOSink k = forall a. ProcessT IO k a Source #

type IOSource a = forall k. MachineT IO k a Source #

byChar :: IODataMode Char Source #

byChunk :: IOData a => IODataMode a Source #

byChunkOf :: Int -> IODataMode ByteString Source #

byWord8 :: IODataMode Word8 Source #

byLine :: IOData a => DataModeIO m a Source #

sourceIO :: IO a -> SourceIO m a Source #

sourceHandle :: DataModeIO m a -> Handle -> SourceIO m a Source #

sourceIOWith :: m r -> (r -> m Bool) -> (r -> m a) -> SourceIO m a Source #

sourceHandleWith :: (Handle -> m a) -> Handle -> SourceIO m a Source #

sinkIO :: (a -> IO ()) -> SinkIO m a Source #

sinkHandle :: IODataMode a -> Handle -> SinkIO m a Source #

sinkHandleWith :: (Handle -> a -> IO ()) -> Handle -> SinkIO m a Source #

filteredIO :: (a -> IO Bool) -> ProcessT IO a a Source #

printer :: Show a => SinkIO m a Source #