IdrisDoc: Effect.StdIO

# 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