System.IO.Machine

Documentation

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

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

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

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

type IOSink k = forall a. ProcessT IO k a

type IOSource a = forall k. MachineT IO k a

byChar :: IODataMode Char

byWord8 :: IODataMode Word8

byLine :: IOData a => DataModeIO m a

sourceIO :: IO a -> SourceIO m a

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

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

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

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

sinkHandle :: IOData a => IODataMode a -> Handle -> SinkIO m a

sinkHandleWith :: IOData a => (Handle -> a -> IO ()) -> Handle -> SinkIO m a

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

printer :: Show a => SinkIO m a