Idris2Doc : Control.App.Console

Control.App.Console

interface Console : List Error -> Type
  Parameters: e
Methods:
  
putChar : Char -> App e ()
  
putStr : String -> App e ()
  
getChar : App e Char
  
getLine : App e String

Implementation: 
PrimIO e => Console e
getChar : Console e => App e Char
  Totality: total
getLine : Console e => App e String
  Totality: total
print : (Console e, Show a) => a -> App e ()
  Totality: total
printLn : (Console e, Show a) => a -> App e ()
  Totality: total
putChar : Console e => Char -> App e ()
  Totality: total
putCharLn : Console e => Char -> App e ()
  Totality: total
putStr : Console e => String -> App e ()
  Totality: total
putStrLn : Console e => String -> App e ()
  Totality: total