gistfile1.hs

proxy1 :: (Proxy p) => String -> Server p String Int IO ()                       
proxy1 = fromListS [1..] >-> mapU (const ()) >-> useU putStrLn

retpmorp :: (Proxy p) => () -> p String () () C IO r
retpmorp () = turn $ prompter ()

prompter :: (Proxy p) => () -> Producer p String IO r
prompter () = runIdentityP $ forever $ do
  lift $ putStr "> "
  lift $ hFlush stdout
  n <- lift getLine
  respond n

debugD s = execD (putStrLn s)
            
runit = runProxy $
        proxy1
        >-> printD
        >-> mapD (const ())
        >-> takeB_ 3
        >-> retpmorp