Idris2Doc : Control.App.Console

Control.App.Console

interfaceConsole : ListError -> Type
Parameters: e
Methods:
putChar : Char -> Appe ()
putStr : String -> Appe ()
getChar : AppeChar
getLine : AppeString

Implementation: 
PrimIOe => Consolee
getChar : Consolee => AppeChar
Totality: total
getLine : Consolee => AppeString
Totality: total
print : (Consolee, Showa) => a -> Appe ()
Totality: total
printLn : (Consolee, Showa) => a -> Appe ()
Totality: total
putChar : Consolee => Char -> Appe ()
Totality: total
putCharLn : Consolee => Char -> Appe ()
Totality: total
putStr : Consolee => String -> Appe ()
Totality: total
putStrLn : Consolee => String -> Appe ()
Totality: total