Control.Monad.Eff.Examples.Teletype

Documentation

data Teletype x where

Constructors

GetLine :: Teletype String

PutStrLn :: String -> Teletype ()

ExitSuccess :: Teletype ()

putStrLn' :: Member Teletype r => String -> Eff r ()

getLine' :: Member Teletype r => Eff r String

exitSuccess' :: Member Teletype r => Eff r ()

runTeletype :: [String] -> Eff (Teletype ': r) a -> Eff r [String]

runIOTeletype :: forall r a. MemberU2 Lift (Lift IO) r => Eff (Teletype ': r) a -> Eff r a

example :: Member Teletype r => Eff r ()