Idris2Doc : Control.App.Console

Control.App.Console

Reexports

importpublic Control.App

Definitions

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

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