Effect.StdIO

putStrLn : String -> Eff () [STDIO]

Write a string to standard output, terminating with a newline.

putStr : String -> Eff () [STDIO]

Write a string to standard output.

putCharLn : Char -> Eff () [STDIO]

Write a character to standard output, terminating with a newline.

putChar : Char -> Eff () [STDIO]

Write a character to standard output.

printLn : Show a => a -> Eff () [STDIO]

Given a parameter a 'show' a to a standard output, terminating with a newline

print : Show a => a -> Eff () [STDIO]

Given a parameter a 'show' a to standard output.

getStr : Eff String [STDIO]

Read a string from standard input.

getChar : Eff Char [STDIO]

Read a character from standard input.

data StdIO : Effect

The internal representation of StdIO effects

PutStr : String -> sig StdIO ()

GetStr : sig StdIO String

PutCh : Char -> sig StdIO ()

GetCh : sig StdIO Char

STDIO : EFFECT