IdrisDoc: Effect.StdIO

Effect.StdIO

STDIO : EFFECT
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
getChar : Eff Char [STDIO]

Read a character from standard input.

getStr : Eff String [STDIO]

Read a string from standard input.

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

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

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

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

putChar : Char -> Eff () [STDIO]

Write a character to standard output.

putCharLn : Char -> Eff () [STDIO]

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

putStr : String -> Eff () [STDIO]

Write a string to standard output.

putStrLn : String -> Eff () [STDIO]

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