Documentation

produceAndConsume :: Produce input -> Consume input output -> IO output #

produce :: Produce input -> forall x. IO x -> (input -> IO x) -> IO x #

consume :: (forall x. x -> (input -> x) -> IO x) -> Consume input output -> IO output #