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.