• Home
• org.frege-lang
• frege-repl-core
• 1.1.2
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

g.frege-repl-core.1.1.2.source-code.PreludeRepl.fr Maven / Gradle / Ivy

module frege.repl.PreludeRepl where

import frege.Prelude hiding (getLine, getChar, getContents)
import Java.IO(stdin)

{-
Copied from frege/Prelude.fr so that stdin can be thread-local and reset for each run
-}
--- read a character from the standard input reader
getChar = IO.stdin.getChar

--- read a line from the standard input reader, end of line charcters are removed.
getLine = IO.stdin.getLine

--- The 'getContents' operation returns all user input as a single string
getContents = getContentsOf IO.stdin