Control.App.Console

Reexports

Definitions

interface Console : List Error -> Type

Parameters: e
Methods:

putChar : Char -> App e ()

putStr : String -> App e ()

getChar : App e Char

getLine : App e String

Implementations:

PrimIO e => Console e

PrimIO e => Console e

putChar : Console e => Char -> App e ()

Totality: total
Visibility: public export

putStr : Console e => String -> App e ()

Totality: total
Visibility: public export

getChar : Console e => App e Char

Totality: total
Visibility: public export

getLine : Console e => App e String

Totality: total
Visibility: public export

putStrLn : Console e => String -> App e ()

Totality: total
Visibility: export

putCharLn : Console e => Char -> App e ()

Totality: total
Visibility: export

print : Show a => Console e => a -> App e ()

Totality: total
Visibility: export

printLn : Show a => Console e => a -> App e ()

Totality: total
Visibility: export