Idris2Doc : Control.App.Console

Control.App.Console

Console : ListError -> Type
Parameters: e
Methods:
putChar : Char -> Appe _
putStr : String -> Appe _
getChar : Appe Char
getLine : Appe String

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