Safe Haskell	None
Language	Haskell2010

Control.Monad.Yaftee.IO

Contents

Synopsis

type I = FromFirst IO
putChar :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Char -> E effs i o ()
putStr :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => String -> E effs i o ()
putStrLn :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => String -> E effs i o ()
print :: forall a (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. (Show a, Base I effs) => a -> E effs i o ()
getChar :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => E effs i o Char
getLine :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => E effs i o String
hPutChar :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Handle -> Char -> E effs i o ()
hPutStr :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Handle -> String -> E effs i o ()
hPutStrLn :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Handle -> String -> E effs i o ()
hPrint :: forall a (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. (Show a, Base I effs) => Handle -> a -> E effs i o ()
hGetChar :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Handle -> E effs i o Char
hGetLine :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Handle -> E effs i o String

TYPE

type I = FromFirst IO Source #

STANDARD INPUT/OUTPUT

putChar :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Char -> E effs i o () Source #

putStr :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => String -> E effs i o () Source #

putStrLn :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => String -> E effs i o () Source #

print :: forall a (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. (Show a, Base I effs) => a -> E effs i o () Source #

getChar :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => E effs i o Char Source #

getLine :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => E effs i o String Source #

HANDLE

hPutChar :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Handle -> Char -> E effs i o () Source #

hPutStr :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Handle -> String -> E effs i o () Source #

hPutStrLn :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Handle -> String -> E effs i o () Source #

hPrint :: forall a (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. (Show a, Base I effs) => Handle -> a -> E effs i o () Source #

hGetChar :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Handle -> E effs i o Char Source #

hGetLine :: forall (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Base I effs => Handle -> E effs i o String Source #