diff --git a/base/docs/Control.App.Console.html b/base/docs/Control.App.Console.html index ddae3ee80a..6d24bb6385 100644 --- a/base/docs/Control.App.Console.html +++ b/base/docs/Control.App.Console.html @@ -61,4 +61,4 @@ -
import public Control.App
interface Console : List Error -> Type
putChar : Console e => Char -> App e ()
putStr : Console e => String -> App e ()
getChar : Console e => App e Char
getLine : Console e => App e String
putStrLn : Console e => String -> App e ()
putCharLn : Console e => Char -> App e ()
print : Show a => Console e => a -> App e ()
printLn : Show a => Console e => a -> App e ()