Module Repl.FregeRepl

Imports

• import Java.Awt as Awt
• import Compiler.common.CompilerOptions as CompilerOptions
• import Compiler.enums.Flags as Flags
• import Interpreter.FregeInterpreter as FregeInterpreter
• import Compiler.types.Global as Global
• import Repl.Gui as Gui
• import Data.List as List
• import Control.monad.trans.MonadIO as MonadIO
• import Java.Net as Net
• import Compiler.types.Positions as Positions
• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.util.Regex as Regexp
• import Control.monad.State as State
• import Java.Swing as Swing
• import Java.Util as Util
• import frege.Version as Version

Table of Content

• Definitions

  class ReplIO a

  data Command

  data ConsoleReader = native jline.console.ConsoleReader

  data JLineConsole

  data ReaderWriterConsole

  data Repl a

  data ReplEnv

  data ReplOpts

  data ReplResult

  data Terminal = native jline.Terminal

  repl ∷ ReplIO a ⇒ a → ReplEnv → IO ()

  read ∷ ReplIO a ⇒ a → ReplEnv → IO Command

  print ∷ ReplIO a ⇒ a → Command → ReplResult → ReplEnv → IO ()

  loop ∷ ReplIO a ⇒ a → Command → ReplResult → ReplEnv → IO ()

  eval ∷ Command → Repl ReplResult

  parseAndSetCompilerFlag ∷ String → Repl ReplResult

  clearCompilerFlag ∷ Flag → Repl ReplResult

  setCompilerFlag ∷ Flag → Repl ReplResult

  symbolsToReplInfo ∷ Global → [Symbol] → ReplResult

  java ∷ String → Repl ReplResult

  slurp ∷ String → IO (Message | Command)

  printMessages ∷ ReplIO a ⇒ a → [Message] → IO ()

  printSymbolType ∷ ReplIO a ⇒ a → Global → Symbol → IO ()

  readMultiline ∷ ReplIO a ⇒ a → String → IO String

  hoogle ∷ String → String

  cmdHelp ∷ [(String, String)]

  renderCmdHelp ∷ [(String, String)] → [String]

  help ∷ [(String, String)] → [String]

  urlContents ∷ URL → IO String

  fileContents ∷ String → IO String

  scannerFromInputStream ∷ MutableIO InputStream → STMutable RealWorld Scanner 

  javaSourceGUI ∷ String → IO ()

  toURI ∷ URL → ST s URI   throws URISyntaxException

  asObject ∷ a → Object 

  isEmpty ∷ String → Bool 

  replaceAll ∷ String → String → String → String 

  indexOf ∷ String → String → Int 

  substring ∷ String → Int → String String → Int → Int → String 

  substringα ∷ String → Int → String   overloads substring

  substringβ ∷ String → Int → Int → String   overloads substring

  vmVendor ∷ String

  vmName ∷ String

  javaVersion ∷ String

  toString ∷ Object → String 

  sysin ∷ MutableIO InputStream 

  welcome ∷ String

  readResourceAsString ∷ String → IO String

  getResourceAsStream ∷ MutableIO ClassLoader → String → STMutable RealWorld InputStream 

  containsStr ∷ String → String → Bool 

  launchBrowser ∷ String → String → IO () 

  encodeURIComponent ∷ String → String 

  warmup ∷ IO ()

  main ∷ IO ()

• Instances

  instance Eq Command

  instance MonadIO Repl

  instance Monad Repl

  instance ReplIO JLineConsole

  instance ReplIO ReaderWriterConsole

  instance Show Command

• Functions and Values by Type

Definitions

data ReplEnv

Constructors

ReplEnv {lastJavaGenSrc ∷ Maybe String, lastExternalScript ∷ Maybe String, opts ∷ ReplOpts, config ∷ InterpreterConfig, lineStart ∷ Int, state ∷ MutableIO InterpreterClassLoader}

Member Functions

config ∷ ReplEnv → InterpreterConfig

access field config

initialState ∷ IO ReplEnv

lastExternalScript ∷ ReplEnv → Maybe String

access field lastExternalScript

lastJavaGenSrc ∷ ReplEnv → Maybe String

access field lastJavaGenSrc

lineStart ∷ ReplEnv → Int

access field lineStart

opts ∷ ReplEnv → ReplOpts

access field opts

reset ∷ Repl ()

state ∷ ReplEnv → MutableIO InterpreterClassLoader

access field state

data ReplOpts

Constructors

ReplOpts {prompt ∷ String, multilinePrompt ∷ String, showLimit ∷ Int}

Member Functions

initialState ∷ ReplOpts

multilinePrompt ∷ ReplOpts → String

access field multilinePrompt

prompt ∷ ReplOpts → String

access field prompt

showLimit ∷ ReplOpts → Int

access field showLimit

data Repl a

Constructors

Repl {un ∷ StateT ReplEnv IO a}

Member Functions

get ∷ Repl ReplEnv

modify ∷ (ReplEnv→ReplEnv) → Repl ()

put ∷ ReplEnv → Repl ()

run ∷ Repl α → ReplEnv → IO (α, ReplEnv)

runWithDefault ∷ Repl α → IO (α, ReplEnv)

un ∷ Repl α → StateT ReplEnv IO α

access field un

data ReplResult

Constructors

CodeInfo {sourceRepr ∷ SourceInfo, compilerState ∷ Global, messages ∷ [Message]}

JavaSource (String)

ReplInfo [Message]

Member Functions

compilerState ∷ ReplResult → Global

access field compilerState

messages ∷ ReplResult → [Message]

access field messages

sourceRepr ∷ ReplResult → SourceInfo

access field sourceRepr

repl ∷ ReplIO a ⇒ a → ReplEnv → IO ()

read ∷ ReplIO a ⇒ a → ReplEnv → IO Command

print ∷ ReplIO a ⇒ a → Command → ReplResult → ReplEnv → IO ()

loop ∷ ReplIO a ⇒ a → Command → ReplResult → ReplEnv → IO ()

eval ∷ Command → Repl ReplResult

parseAndSetCompilerFlag ∷ String → Repl ReplResult

clearCompilerFlag ∷ Flag → Repl ReplResult

setCompilerFlag ∷ Flag → Repl ReplResult

symbolsToReplInfo ∷ Global → [Symbol] → ReplResult

java ∷ String → Repl ReplResult

slurp ∷ String → IO (Message | Command)

printMessages ∷ ReplIO a ⇒ a → [Message] → IO ()

printSymbolType ∷ ReplIO a ⇒ a → Global → Symbol → IO ()

readMultiline ∷ ReplIO a ⇒ a → String → IO String

hoogle ∷ String → String

cmdHelp ∷ [(String, String)]

renderCmdHelp ∷ [(String, String)] → [String]

help ∷ [(String, String)] → [String]

urlContents ∷ URL → IO String

fileContents ∷ String → IO String

scannerFromInputStream ∷ MutableIO InputStream → STMutable RealWorld Scanner
native new

javaSourceGUI ∷ String → IO ()

toURI ∷ URL → ST s URI
native toURI  throws URISyntaxException

asObject ∷ a → Object
pure native (java.lang.Object)

isEmpty ∷ String → Bool
pure native isEmpty

replaceAll ∷ String → String → String → String
pure native replaceAll

indexOf ∷ String → String → Int
pure native indexOf

substring ∷ String → Int → String
           | String → Int → Int → String
pure native substring

substringα ∷ String → Int → String
pure native substring  overloads substring

substringβ ∷ String → Int → Int → String
pure native substring  overloads substring

data Command

Constructors

Browse

BrowseModule (String)

DefMulti

Eval (String)

Help

HelpDoc (String)

History

Java

Load (String)

LoadExternal (String)   (String)

Quit

Reload

Reset

Set (String)

Skip

Type (String)

Unset (String)

Version

Member Functions

parse ∷ String → (String | Command)

parseCommand ∷ String → (String | Command)

vmVendor ∷ String

vmName ∷ String

javaVersion ∷ String

toString ∷ Object → String
pure native toString

sysin ∷ MutableIO InputStream
native java.lang.System.in

nowarn: Don't warn because of constantness

welcome ∷ String

class ReplIO a

Known Instances

JLineConsole, ReaderWriterConsole

Member Functions

interpretSym ∷ ReplIO a ⇒ a → Global → Symbol → ReplEnv → IO ()

readline ∷ ReplIO a ⇒ a → String → IO (Maybe String)

write ∷ ReplIO a ⇒ a → String → IO ()

writeln ∷ ReplIO a ⇒ a → String → IO ()

data ConsoleReader = native jline.console.ConsoleReader

Member Functions

flush ∷ MutableIO ConsoleReader → IO ()
native flush  throws IOException

new ∷ () → STMutable RealWorld ConsoleReader
         throws IOException
     | String → MutableIO InputStream → MutableIO OutputStream → Maybe Terminal → String → STMutable RealWorld ConsoleReader
         throws IOException
native new

newα ∷ () → STMutable RealWorld ConsoleReader
native new  throws IOException  overloads new

newβ ∷ String → MutableIO InputStream → MutableIO OutputStream → Maybe Terminal → String → STMutable RealWorld ConsoleReader
native new  throws IOException  overloads new

print ∷ MutableIO ConsoleReader → CharSequence → IO ()
native print  throws IOException

println ∷ MutableIO ConsoleReader → CharSequence → IO ()
             throws IOException
         | MutableIO ConsoleReader → IO ()
             throws IOException
native println

printlnα ∷ MutableIO ConsoleReader → CharSequence → IO ()
native println  throws IOException  overloads println

printlnβ ∷ MutableIO ConsoleReader → IO ()
native println  throws IOException  overloads println

readLine ∷ MutableIO ConsoleReader → String → IO (Maybe String)
              throws IOException
          | MutableIO ConsoleReader → IO (Maybe String)
              throws IOException
native readLine

readLineα ∷ MutableIO ConsoleReader → String → IO (Maybe String)
native readLine  throws IOException  overloads readLine

readLineβ ∷ MutableIO ConsoleReader → IO (Maybe String)
native readLine  throws IOException  overloads readLine

setExpandEvents ∷ MutableIO ConsoleReader → Bool → IO ()
native setExpandEvents

setPrompt ∷ MutableIO ConsoleReader → String → IO ()
native setPrompt

data Terminal = native jline.Terminal

data JLineConsole

Constructors

JLineConsole {console ∷ MutableIO ConsoleReader}

Member Functions

console ∷ JLineConsole → MutableIO ConsoleReader

access field console

data ReaderWriterConsole

Constructors

ReaderWriterConsole {input ∷ MutableIO BufferedReader, output ∷ MutableIO PrintWriter}

Member Functions

input ∷ ReaderWriterConsole → MutableIO BufferedReader

access field input

output ∷ ReaderWriterConsole → MutableIO PrintWriter

access field output

readResourceAsString ∷ String → IO String

getResourceAsStream ∷ MutableIO ClassLoader → String → STMutable RealWorld InputStream
native getResourceAsStream

containsStr ∷ String → String → Bool
pure native contains

launchBrowser ∷ String → String → IO ()
native frege.repl.nativedeps.Browser.show

encodeURIComponent ∷ String → String
pure native frege.repl.FregeRepl.encodeURIComponent

warmup ∷ IO ()

main ∷ IO ()

Instances

instance Eq Command

Member Functions

!= ∷ Command → Command → Bool
infix  7

inherited from Eq.!=

== ∷ Command → Command → Bool
infix  7

Function generated for derived instance.

hashCode ∷ Command → Int

Function generated for derived instance.

instance MonadIO Repl

Member Functions

liftIO ∷ IO α → Repl α

instance Monad Repl

Member Functions

*> ∷ Repl α → Repl β → Repl β
infixl  4

inherited from Applicative.*>

<* ∷ Repl α → Repl β → Repl α
infixl  4

inherited from Applicative.<*

<*> ∷ Repl (α→β) → Repl α → Repl β
infixl  4

inherited from Monad.<*>

>> ∷ Repl α → Repl β → Repl β
infixl  3

inherited from Monad.>>

>>= ∷ Repl α → (α → Repl β) → Repl β
infixl  3

fmap ∷ (α → β) → Repl α → Repl β
infixl  4

inherited from Monad.fmap

join ∷ Repl (Repl α) → Repl α

inherited from Monad.join

pure ∷ α → Repl α

instance ReplIO JLineConsole

Member Functions

interpretSym ∷ JLineConsole → Global → Symbol → ReplEnv → IO ()

readline ∷ JLineConsole → String → IO (Maybe String)

write ∷ JLineConsole → String → IO ()

writeln ∷ JLineConsole → String → IO ()

instance ReplIO ReaderWriterConsole

Member Functions

interpretSym ∷ ReaderWriterConsole → Global → Symbol → ReplEnv → IO ()

readline ∷ ReaderWriterConsole → String → IO (Maybe String)

write ∷ ReaderWriterConsole → String → IO ()

writeln ∷ ReaderWriterConsole → String → IO ()

instance Show Command

Member Functions

display ∷ Command → String

inherited from Show.display

show ∷ Command → String

Function generated for derived instance.

showChars ∷ Command → [Char]

inherited from Show.showChars

showList ∷ [Command] → String → String

inherited from Show.showList

showsPrec ∷ Int → Command → String → String

inherited from Show.showsPrec

showsub ∷ Command → String

Function generated for derived instance.

Functions and Values by Type

(ReplEnv→ReplEnv) → Repl ()

Repl.modify

MutableIO BufferedReader → MutableIO PrintWriter → ReaderWriterConsole

ReaderWriterConsole.ReaderWriterConsole

MutableIO InputStream → STMutable RealWorld Scanner

scannerFromInputStream

MutableIO ClassLoader → String → STMutable RealWorld InputStream

getResourceAsStream

MutableIO ConsoleReader → String → IO (Maybe String)

ConsoleReader.readLineα

MutableIO ConsoleReader → String → IO ()

ConsoleReader.setPrompt

MutableIO ConsoleReader → CharSequence → IO ()

ConsoleReader.print, ConsoleReader.printlnα

MutableIO ConsoleReader → Bool → IO ()

ConsoleReader.setExpandEvents

MutableIO ConsoleReader → IO (Maybe String)

ConsoleReader.readLineβ

MutableIO ConsoleReader → IO ()

ConsoleReader.printlnβ, ConsoleReader.flush

MutableIO ConsoleReader → JLineConsole

JLineConsole.JLineConsole

Maybe String → Maybe String → ReplOpts → InterpreterConfig → Int → MutableIO InterpreterClassLoader → ReplEnv

ReplEnv.ReplEnv

String → MutableIO InputStream → MutableIO OutputStream → Maybe Terminal → String → STMutable RealWorld ConsoleReader

ConsoleReader.newβ

String → String → String → String

replaceAll

String → String → Int → ReplOpts

ReplOpts.ReplOpts

String → String → IO ()

launchBrowser

String → String → Bool

containsStr

String → String → Int

indexOf

String → String → Command

Command.LoadExternal

String → Int → Int → String

substringβ

String → Int → String

substringα

String → (String | Command)

Command.parseCommand, Command.parse

String → IO (Message | Command)

slurp

String → IO String

fileContents, readResourceAsString

String → IO ()

javaSourceGUI

String → String

encodeURIComponent, hoogle

String → Repl ReplResult

java, parseAndSetCompilerFlag

String → Bool

isEmpty

String → Command

Command.Type, Command.Unset, Command.Set, Command.Load, Command.HelpDoc, Command.BrowseModule, Command.Eval

String → ReplResult

ReplResult.JavaSource

[(String, String)] → [String]

help, renderCmdHelp

[Message] → ReplResult

ReplResult.ReplInfo

[Command] → String → String

Show_Command.showList

Flag → Repl ReplResult

clearCompilerFlag, setCompilerFlag

Global → [Symbol] → ReplResult

symbolsToReplInfo

SourceInfo → Global → [Message] → ReplResult

ReplResult.CodeInfo

URL → IO String

urlContents

() → STMutable RealWorld ConsoleReader

ConsoleReader.newα

Int → Command → String → String

Show_Command.showsPrec

Object → String

toString

Command → Command → Bool

Eq_Command.!=, Eq_Command.==

Command → String

Show_Command.showsub, Show_Command.display, Show_Command.show

Command → [Char]

Show_Command.showChars

Command → Repl ReplResult

eval

Command → Int

Eq_Command.hashCode

JLineConsole → (MutableIO ConsoleReader→MutableIO ConsoleReader) → JLineConsole

JLineConsole.chg$console

JLineConsole → MutableIO ConsoleReader → JLineConsole

JLineConsole.upd$console

JLineConsole → String → IO (Maybe String)

ReplIO_JLineConsole.readline

JLineConsole → String → IO ()

ReplIO_JLineConsole.write, ReplIO_JLineConsole.writeln

JLineConsole → Global → Symbol → ReplEnv → IO ()

ReplIO_JLineConsole.interpretSym

JLineConsole → MutableIO ConsoleReader

JLineConsole.console

ReaderWriterConsole → (MutableIO BufferedReader→MutableIO BufferedReader) → ReaderWriterConsole

ReaderWriterConsole.chg$input

ReaderWriterConsole → (MutableIO PrintWriter→MutableIO PrintWriter) → ReaderWriterConsole

ReaderWriterConsole.chg$output

ReaderWriterConsole → MutableIO BufferedReader → ReaderWriterConsole

ReaderWriterConsole.upd$input

ReaderWriterConsole → MutableIO PrintWriter → ReaderWriterConsole

ReaderWriterConsole.upd$output

ReaderWriterConsole → String → IO (Maybe String)

ReplIO_ReaderWriterConsole.readline

ReaderWriterConsole → String → IO ()

ReplIO_ReaderWriterConsole.write, ReplIO_ReaderWriterConsole.writeln

ReaderWriterConsole → Global → Symbol → ReplEnv → IO ()

ReplIO_ReaderWriterConsole.interpretSym

ReaderWriterConsole → MutableIO BufferedReader

ReaderWriterConsole.input

ReaderWriterConsole → MutableIO PrintWriter

ReaderWriterConsole.output

ReplEnv → (MutableIO InterpreterClassLoader→MutableIO InterpreterClassLoader) → ReplEnv

ReplEnv.chg$state

ReplEnv → (Maybe String→Maybe String) → ReplEnv

ReplEnv.chg$lastJavaGenSrc, ReplEnv.chg$lastExternalScript

ReplEnv → (InterpreterConfig→InterpreterConfig) → ReplEnv

ReplEnv.chg$config

ReplEnv → (Int→Int) → ReplEnv

ReplEnv.chg$lineStart

ReplEnv → (ReplOpts→ReplOpts) → ReplEnv

ReplEnv.chg$opts

ReplEnv → MutableIO InterpreterClassLoader → ReplEnv

ReplEnv.upd$state

ReplEnv → Maybe String → ReplEnv

ReplEnv.upd$lastExternalScript, ReplEnv.upd$lastJavaGenSrc

ReplEnv → InterpreterConfig → ReplEnv

ReplEnv.upd$config

ReplEnv → Int → ReplEnv

ReplEnv.upd$lineStart

ReplEnv → ReplOpts → ReplEnv

ReplEnv.upd$opts

ReplEnv → MutableIO InterpreterClassLoader

ReplEnv.state

ReplEnv → Maybe String

ReplEnv.lastJavaGenSrc, ReplEnv.lastExternalScript

ReplEnv → Repl ()

Repl.put

ReplEnv → InterpreterConfig

ReplEnv.config

ReplEnv → Int

ReplEnv.lineStart

ReplEnv → ReplOpts

ReplEnv.opts

ReplOpts → (String→String) → ReplOpts

ReplOpts.chg$prompt, ReplOpts.chg$multilinePrompt

ReplOpts → (Int→Int) → ReplOpts

ReplOpts.chg$showLimit

ReplOpts → String → ReplOpts

ReplOpts.upd$multilinePrompt, ReplOpts.upd$prompt

ReplOpts → Int → ReplOpts

ReplOpts.upd$showLimit

ReplOpts → String

ReplOpts.prompt, ReplOpts.multilinePrompt

ReplOpts → Int

ReplOpts.showLimit

ReplResult → ([Message]→[Message]) → ReplResult

ReplResult.chg$messages

ReplResult → (Global→Global) → ReplResult

ReplResult.chg$compilerState

ReplResult → (SourceInfo→SourceInfo) → ReplResult

ReplResult.chg$sourceRepr

ReplResult → [Message] → ReplResult

ReplResult.upd$messages

ReplResult → Global → ReplResult

ReplResult.upd$compilerState

ReplResult → SourceInfo → ReplResult

ReplResult.upd$sourceRepr

ReplResult → [Message]

ReplResult.messages

ReplResult → Global

ReplResult.compilerState

ReplResult → SourceInfo

ReplResult.sourceRepr

ReplResult → Bool

ReplResult.has$sourceRepr, ReplResult.has$compilerState, ReplResult.has$messages

IO ()

main, warmup

IO ReplEnv

ReplEnv.initialState

MutableIO InputStream

sysin

String

javaVersion, vmName, vmVendor, welcome

[(String, String)]

cmdHelp

Repl ()

ReplEnv.reset

Repl ReplEnv

Repl.get

Command

Command.Version, Command.Reset, Command.Skip, Command.Quit, Command.Java, Command.Help, Command.DefMulti, Command.Browse, Command.History, Command.Reload

ReplOpts

ReplOpts.initialState

StateT ReplEnv IO a → Repl a

Repl.Repl

IO α → Repl α

MonadIO_Repl.liftIO

Repl (Repl α) → Repl α

Monad_Repl.join

Repl α → ReplEnv → IO (α, ReplEnv)

Repl.run

Repl α → StateT ReplEnv IO α

Repl.un

Repl α → IO (α, ReplEnv)

Repl.runWithDefault

URL → ST s URI

toURI

a → Object

asObject

α → Repl α

Monad_Repl.pure

α → Bool

JLineConsole.has$console, ReaderWriterConsole.has$input, ReaderWriterConsole.has$output, Repl.has$un, ReplEnv.has$state, ReplEnv.has$lineStart, ReplEnv.has$lastExternalScript, ReplEnv.has$lastJavaGenSrc, ReplEnv.has$config, ReplEnv.has$opts, ReplOpts.has$showLimit, ReplOpts.has$multilinePrompt, ReplOpts.has$prompt

ReplIO a ⇒ a → String → IO (Maybe String)

ReplIO.readline

ReplIO a ⇒ a → String → IO String

readMultiline

ReplIO a ⇒ a → String → IO ()

ReplIO.write, ReplIO.writeln

ReplIO a ⇒ a → [Message] → IO ()

printMessages

ReplIO a ⇒ a → Global → Symbol → ReplEnv → IO ()

ReplIO.interpretSym

ReplIO a ⇒ a → Global → Symbol → IO ()

printSymbolType

ReplIO a ⇒ a → Command → ReplResult → ReplEnv → IO ()

loop, print

ReplIO a ⇒ a → ReplEnv → IO ()

repl

ReplIO a ⇒ a → ReplEnv → IO Command

read

ω

substring, ConsoleReader.println, ConsoleReader.new, ConsoleReader.readLine

(α → β) → Repl α → Repl β

Monad_Repl.fmap

Repl (α→β) → Repl α → Repl β

Monad_Repl.<*>

Repl α → (α → Repl β) → Repl β

Monad_Repl.>>=

Repl α → StateT ReplEnv IO β → Repl β

Repl.upd$un

Repl α → (StateT ReplEnv IO α→StateT ReplEnv IO β) → Repl β

Repl.chg$un

Repl α → Repl β → Repl α

Monad_Repl.<*

Repl α → Repl β → Repl β

Monad_Repl.>>, Monad_Repl.*>