Module Interpreter.FregeInterpreter

Frege Interpreter

Imports

• import Compiler.Classes as Classes
• import Compiler.common.Types as CommonTypes
• import Compiler.common.CompilerOptions as CompilerOptions
• import Compiler.common.Desugar as Desugar
• import Compiler.common.Errors as E
• import Compiler.passes.Easy as EA
• import Compiler.passes.Enter as Enter
• import Compiler.types.External as External
• import Compiler.grammar.Frege as F
• import Compiler.passes.Fields as Fields
• import Compiler.passes.Fix as Fix
• import Compiler.enums.Flags as Flags
• import Compiler.passes.GlobalLam as GL
• import Compiler.GenMeta as GM
• import Compiler.passes.GenCode as GenCode
• import Compiler.types.Global as Global
• import Compiler.passes.Imp as Imp
• import Compiler.types.ImportDetails as ImportDetails
• import Compiler.passes.Instances as Instances
• import Compiler.types.JNames as JNames
• import Compiler.common.JavaName as JavaName
• import Control.arrow.Kleisli as Kleisli
• import Compiler.grammar.Lexer as L
• import Compiler.passes.LetUnroll as LU
• import Data.List as List
• import Control.monad.trans.MonadIO as MonadIO
• import Control.monad.trans.MonadTrans as MonadTrans
• import Compiler.types.NSNames as NSNames
• import Java.Net as Net
• import Compiler.classes.Nice as Nice
• import Lib.PP as PP
• import Compiler.types.Packs as Packs
• 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 Compiler.types.QNames as QNames
• import Compiler.common.Resolve as R
• import Control.monad.Reader as Reader
• import Java.util.Regex as Regexp
• import Compiler.passes.Strict as SC
• import Compiler.types.SNames as SNames
• import Compiler.types.SourceDefinitions as SourceDefinitions
• import Control.monad.State as State
• import Compiler.types.Symbols as Symbols
• import Compiler.Typecheck as TC
• import Compiler.types.Targets as Targets
• import Compiler.enums.TokenID as TokenID
• import Compiler.types.Tokens as Tokens
• import Compiler.passes.Transdef as Transdef
• import Data.TreeMap as TreeMap
• import Compiler.passes.TypeAlias as TypeAlias
• import Compiler.types.Types as Types
• import Ide.Utilities as Util

Table of Content

• Definitions

  type ByteArray = JArray Byte

  type InterpreterState = StateT (Mutable RealWorld InterpreterClassLoader) (StateT Global (ST RealWorld))

  data HashMap k v = native java.util.HashMap

  data Interpreter result

  data InterpreterClassLoader = native frege.interpreter.javasupport.InterpreterClassLoader

  data InterpreterConfig

  data InterpreterResult

  data JMap k v = native java.util.Map

  data JavaCompilationInfo = native frege.interpreter.javasupport.CompilationInfo

  data MemoryJavaCompiler = native frege.interpreter.javasupport.MemoryJavaCompiler

  data Message

  data MessageType

  data Method = pure native java.lang.reflect.Method

  data SourceInfo

  data SourceType

  createopts ∷ [String] → Flags → String → [String] → String → String → Options

  standardOptions ∷ MutableIO InterpreterClassLoader → IO Global

  javaSourceGen ∷ Global → Interpreter (Maybe String)

  javagen ∷ Global → Interpreter (Maybe String)

  typecheck ∷ String → Interpreter (Global, Maybe SourceInfo)

  interpret ∷ String → Interpreter InterpreterResult

  run ∷ String → String → (String → [(StIO (String, Int), String)]) → StIO (Maybe SourceInfo)

  browseModule ∷ String → Interpreter (Maybe ([Symbol], Global))

  browse ∷ String → Interpreter (Maybe ([Symbol], Global))

  typeof ∷ String → Interpreter ([Message] | String)

  javaSource ∷ String → Interpreter ([Message] | String)

  docHelp ∷ String → Interpreter ([Message] | String)

  removeDuplicateDefs ∷ [DefinitionS] → StG [DefinitionS]

  symbolVar ∷ Symbol → Global → String

  symbolClass ∷ Symbol → Global → String

  findSourceType ∷ String → String → StIO SourceType

  isDefinitionOrExpr ∷ String → String → StIO SourceType

  interpreterCompilerEnv ∷ MutableIO InterpreterClassLoader → Flags → IO Global

  runpass ∷ (StIO (String, Int), String) → StIO ()

  browseSymbols ∷ String → StIO [Symbol]

  getEnv ∷ Global → QName → Maybe Symtab

  outlineSymbols ∷ Global → [String]

  newLine ∷ String

  className ∷ Global → String

  noDocComment ∷ Token → Bool

  moduleDeclScript ∷ String → String

  variableDeclScript ∷ String → String → String

  intercalateNewLine ∷ [String] → String

  buildScript ∷ String → SourceType → String → String → String → String

  freshVarPrefix ∷ String

  freshVarRegex ∷ Regex

  findUnusedVariableName ∷ String → String → String

  helpDoc ∷ String → StIO [String]

  sNameToQName ∷ SName → StG [QName]

  resolveSymbol ∷ String → StG [Symbol]

  createSName ∷ String → SName

  match ∷ String → Regex → Maybe [Maybe String]

  buildShowScript ∷ String → Int → Global → Symbol → String

  openPrinter ∷ MutableIO StringWriter → StIO (String, Int)

  javaSourcePasses ∷ MutableIO StringWriter → [(StIO (String, Int), String)]

  javagenPasses ∷ MutableIO StringWriter → MutableIO MemoryJavaCompiler → [(StIO (String, Int), String)]

  typecheckPasses ∷ InterpreterConfig → String → [(StIO (String, Int), String)]

  derivePass ∷ StG (String, Int)

  javacPass ∷ MutableIO MemoryJavaCompiler → MutableIO StringWriter → StIO (String, Int)

  matching ∷ DefinitionS → DefinitionS → Bool

  funcMatching ∷ DefinitionS → DefinitionS → Bool

  getSymbolType ∷ Global → Symbol → String

  showSymbol ∷ Global → Symbol → String

  getSymbols ∷ Global → Symtab → [Symbol]

  iparsePass ∷ ([DefinitionS]→StG [DefinitionS]) → StG (String, Int)

  interpreterPreludeImport ∷ DefinitionS

  preludeHidingImport ∷ DefinitionS

  transformDefs ∷ InterpreterConfig → [DefinitionS] → StG [DefinitionS]

  indent ∷ Int → String → String

  lexPass ∷ String → StIO (String, Int)

  isVariable ∷ Global → Symbol → Bool

  isIO ∷ Global → Symbol → Bool

  isString ∷ Global → Symbol → Bool

  showThrowableCause ∷ Throwable → String

  showThrowableCause' ∷ Int → Throwable → String

  groupCount ∷ MatchResult → Int 

  fieldValue ∷ String → String → MutableIO InterpreterClassLoader → IO (Maybe Object) 

  sandboxFieldValue ∷ String → String → String → MutableIO StringWriter → MutableIO StringWriter → MutableIO InterpreterClassLoader → IO (Maybe Object) 

  fieldValueWithRuntime ∷ String → String → String → MutableIO StringWriter → MutableIO StringWriter → MutableIO InterpreterClassLoader → IO (Maybe Object) 

  longToString ∷ Long → Int → String 

  showNative ∷ a → String 

  throwableCause ∷ Throwable → Maybe Throwable 

  split ∷ String → String → JArray String 

  trim ∷ String → String 

  asURLClassLoader ∷ MutableIO InterpreterClassLoader → STMutable RealWorld URLClassLoader 

• Instances

  instance MonadIO Interpreter

  instance Monad Interpreter

  instance Show Message

  instance Show MessageType

  instance Show SourceInfo

  instance Show SourceType

• Functions and Values by Type

Definitions

data InterpreterConfig

Constructors

InterpreterConfig {predefs ∷ String, compilerFlags ∷ Flags, useSandbox ∷ Bool}

Member Functions

compilerFlags ∷ InterpreterConfig → Flags

access field compilerFlags

initialState ∷ InterpreterConfig

predefs ∷ InterpreterConfig → String

access field predefs

useSandbox ∷ InterpreterConfig → Bool

access field useSandbox

type InterpreterState = StateT (Mutable RealWorld InterpreterClassLoader) (StateT Global (ST RealWorld))

data Interpreter result

Constructors

Interpreter {un ∷ ReaderT InterpreterState InterpreterConfig result}

Member Functions

ask ∷ Interpreter InterpreterConfig

get ∷ Interpreter (MutableIO InterpreterClassLoader)

getCompilerState ∷ Interpreter Global

modify ∷ (MutableIO InterpreterClassLoader→MutableIO InterpreterClassLoader) → Interpreter ()

put ∷ MutableIO InterpreterClassLoader → Interpreter ()

putCompilerState ∷ Global → Interpreter ()

run ∷ Interpreter result → InterpreterConfig → MutableIO InterpreterClassLoader → IO (result, MutableIO InterpreterClassLoader)

un ∷ Interpreter α → ReaderT InterpreterState InterpreterConfig α

access field un

createopts ∷ [String] → Flags → String → [String] → String → String → Options

utility function to create Options data structure

standardOptions ∷ MutableIO InterpreterClassLoader → IO Global

data InterpreterResult

Constructors

Failure [Message]

Success {sourceRepr ∷ SourceInfo, compilerState ∷ Global}

Member Functions

compilerState ∷ InterpreterResult → Global

access field compilerState

sourceRepr ∷ InterpreterResult → SourceInfo

access field sourceRepr

javaSourceGen ∷ Global → Interpreter (Maybe String)

javagen ∷ Global → Interpreter (Maybe String)

typecheck ∷ String → Interpreter (Global, Maybe SourceInfo)

interpret ∷ String → Interpreter InterpreterResult

run ∷ String → String → (String → [(StIO (String, Int), String)]) → StIO (Maybe SourceInfo)

run all passes, one after another until one of them returns an error

browseModule ∷ String → Interpreter (Maybe ([Symbol], Global))

browse ∷ String → Interpreter (Maybe ([Symbol], Global))

typeof ∷ String → Interpreter ([Message] | String)

javaSource ∷ String → Interpreter ([Message] | String)

docHelp ∷ String → Interpreter ([Message] | String)

removeDuplicateDefs ∷ [DefinitionS] → StG [DefinitionS]

data MessageType

Constructors

ERROR

HINT

INFO

WARNING

Member Functions

translateCompilerMsgType ∷ Severity → MessageType

data Message

Constructors

Message {pos ∷ Position, msgType ∷ MessageType, text ∷ String}

Member Functions

error ∷ String → Message

fromCompilerMessage ∷ Global.Message → Message

fromGlobal ∷ Global → [Message]

hint ∷ String → Message

info ∷ String → Message

msgType ∷ Message → MessageType

access field msgType

pos ∷ Message → Position

access field pos

text ∷ Message → String

access field text

warning ∷ String → Message

symbolVar ∷ Symbol → Global → String

symbolClass ∷ Symbol → Global → String

findSourceType ∷ String → String → StIO SourceType

isDefinitionOrExpr ∷ String → String → StIO SourceType

interpreterCompilerEnv ∷ MutableIO InterpreterClassLoader → Flags → IO Global

runpass ∷ (StIO (String, Int), String) → StIO ()

browseSymbols ∷ String → StIO [Symbol]

getEnv ∷ Global → QName → Maybe Symtab

outlineSymbols ∷ Global → [String]

newLine ∷ String

className ∷ Global → String

data SourceType

Constructors

DefinitionsSource

ExpressionSource

ModuleSource

data SourceInfo

Constructors

Definitions [Symbol]

Expression (Symbol)

Module (String)

noDocComment ∷ Token → Bool

moduleDeclScript ∷ String → String

variableDeclScript ∷ String → String → String

intercalateNewLine ∷ [String] → String

buildScript ∷ String → SourceType → String → String → String → String

freshVarPrefix ∷ String

freshVarRegex ∷ Regex

findUnusedVariableName ∷ String → String → String

helpDoc ∷ String → StIO [String]

sNameToQName ∷ SName → StG [QName]

resolveSymbol ∷ String → StG [Symbol]

createSName ∷ String → SName

match ∷ String → Regex → Maybe [Maybe String]

buildShowScript ∷ String → Int → Global → Symbol → String

openPrinter ∷ MutableIO StringWriter → StIO (String, Int)

javaSourcePasses ∷ MutableIO StringWriter → [(StIO (String, Int), String)]

javagenPasses ∷ MutableIO StringWriter → MutableIO MemoryJavaCompiler → [(StIO (String, Int), String)]

typecheckPasses ∷ InterpreterConfig → String → [(StIO (String, Int), String)]

derivePass ∷ StG (String, Int)

javacPass ∷ MutableIO MemoryJavaCompiler → MutableIO StringWriter → StIO (String, Int)

matching ∷ DefinitionS → DefinitionS → Bool

funcMatching ∷ DefinitionS → DefinitionS → Bool

getSymbolType ∷ Global → Symbol → String

showSymbol ∷ Global → Symbol → String

getSymbols ∷ Global → Symtab → [Symbol]

iparsePass ∷ ([DefinitionS]→StG [DefinitionS]) → StG (String, Int)

interpreterPreludeImport ∷ DefinitionS

preludeHidingImport ∷ DefinitionS

transformDefs ∷ InterpreterConfig → [DefinitionS] → StG [DefinitionS]

indent ∷ Int → String → String

lexPass ∷ String → StIO (String, Int)

isVariable ∷ Global → Symbol → Bool

isIO ∷ Global → Symbol → Bool

isString ∷ Global → Symbol → Bool

showThrowableCause ∷ Throwable → String

showThrowableCause' ∷ Int → Throwable → String

data MemoryJavaCompiler = native frege.interpreter.javasupport.MemoryJavaCompiler

Member Functions

classLoader ∷ Mutable s MemoryJavaCompiler → STMutable s InterpreterClassLoader
native classLoader

compile ∷ Mutable s MemoryJavaCompiler → String → String → STMutable s JavaCompilationInfo
native compile

new ∷ Mutable s InterpreterClassLoader → STMutable s MemoryJavaCompiler
native new

data InterpreterClassLoader = native frege.interpreter.javasupport.InterpreterClassLoader

Member Functions

classes ∷ MutableIO InterpreterClassLoader → STMutable RealWorld (JMap String ByteArray)
native classes

new ∷ () → STMutable s InterpreterClassLoader
     | MutableIO ClassLoader → STMutable RealWorld InterpreterClassLoader
     | Mutable s (JMap String ByteArray) → STMutable s InterpreterClassLoader
     | MutableIO ClassLoader → MutableIO (JMap String ByteArray) → STMutable RealWorld InterpreterClassLoader
native new

newα ∷ () → STMutable s InterpreterClassLoader
native new  overloads new

newβ ∷ MutableIO ClassLoader → STMutable RealWorld InterpreterClassLoader
native new  overloads new

newγ ∷ Mutable s (JMap String ByteArray) → STMutable s InterpreterClassLoader
native new  overloads new

newδ ∷ MutableIO ClassLoader → MutableIO (JMap String ByteArray) → STMutable RealWorld InterpreterClassLoader
native new  overloads new

data JavaCompilationInfo = native frege.interpreter.javasupport.CompilationInfo

Member Functions

errorsAsString ∷ Mutable s JavaCompilationInfo → ST s String
native errorsAsString

isSuccess ∷ Mutable s JavaCompilationInfo → ST s Bool
native isSuccess

type ByteArray = JArray Byte

data JMap k v = native java.util.Map

Member Functions

get ∷ Mutable s (JMap k v) → k → ST s (Maybe v)
native get

isEmpty ∷ Mutable s (JMap k v) → ST s Bool
native isEmpty

put ∷ Mutable s (JMap k v) → k → v → ST s ()
native put

putAll ∷ Mutable s (JMap k v) → Mutable s (JMap k v) → ST s ()
native putAll

data HashMap k v = native java.util.HashMap

Member Functions

new ∷ () → STMutable s (HashMap k v)
native new

groupCount ∷ MatchResult → Int
pure native groupCount

fieldValue ∷ String → String → MutableIO InterpreterClassLoader → IO (Maybe Object)
native frege.interpreter.javasupport.JavaUtils.fieldValue

sandboxFieldValue ∷ String → String → String → MutableIO StringWriter → MutableIO StringWriter → MutableIO InterpreterClassLoader → IO (Maybe Object)
native frege.interpreter.javasupport.JavaUtils.sandboxFieldValue

fieldValueWithRuntime ∷ String → String → String → MutableIO StringWriter → MutableIO StringWriter → MutableIO InterpreterClassLoader → IO (Maybe Object)
native frege.interpreter.javasupport.JavaUtils.fieldValueWithRuntime

longToString ∷ Long → Int → String
pure native Long.toString

showNative ∷ a → String
pure native String.valueOf

throwableCause ∷ Throwable → Maybe Throwable
pure native getCause

data Method = pure native java.lang.reflect.Method

Member Functions

getName ∷ Method → String
pure native getName

split ∷ String → String → JArray String
pure native split

trim ∷ String → String
pure native trim

asURLClassLoader ∷ MutableIO InterpreterClassLoader → STMutable RealWorld URLClassLoader
native (java.net.URLClassLoader)

Instances

instance MonadIO Interpreter

Member Functions

liftIO ∷ IO α → Interpreter α

instance Monad Interpreter

Member Functions

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

inherited from Applicative.*>

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

inherited from Applicative.<*

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

inherited from Monad.<*>

>> ∷ Interpreter α → Interpreter β → Interpreter β
infixl  3

inherited from Monad.>>

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

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

inherited from Monad.fmap

join ∷ Interpreter (Interpreter α) → Interpreter α

inherited from Monad.join

pure ∷ α → Interpreter α

instance Show Message

Member Functions

display ∷ Message → String

inherited from Show.display

show ∷ Message → String

showChars ∷ Message → [Char]

inherited from Show.showChars

showList ∷ [Message] → String → String

inherited from Show.showList

showsPrec ∷ Int → Message → String → String

inherited from Show.showsPrec

showsub ∷ Message → String

inherited from Show.showsub

instance Show MessageType

Member Functions

display ∷ MessageType → String

inherited from Show.display

show ∷ MessageType → String

Function generated for derived instance.

showChars ∷ MessageType → [Char]

inherited from Show.showChars

showList ∷ [MessageType] → String → String

inherited from Show.showList

showsPrec ∷ Int → MessageType → String → String

inherited from Show.showsPrec

showsub ∷ MessageType → String

Function generated for derived instance.

instance Show SourceInfo

Member Functions

display ∷ SourceInfo → String

inherited from Show.display

show ∷ SourceInfo → String

showChars ∷ SourceInfo → [Char]

inherited from Show.showChars

showList ∷ [SourceInfo] → String → String

inherited from Show.showList

showsPrec ∷ Int → SourceInfo → String → String

inherited from Show.showsPrec

showsub ∷ SourceInfo → String

inherited from Show.showsub

instance Show SourceType

Member Functions

display ∷ SourceType → String

inherited from Show.display

show ∷ SourceType → String

Function generated for derived instance.

showChars ∷ SourceType → [Char]

inherited from Show.showChars

showList ∷ [SourceType] → String → String

inherited from Show.showList

showsPrec ∷ Int → SourceType → String → String

inherited from Show.showsPrec

showsub ∷ SourceType → String

Function generated for derived instance.

Functions and Values by Type

(StIO (String, Int), String) → StIO ()

runpass

(MutableIO InterpreterClassLoader→MutableIO InterpreterClassLoader) → Interpreter ()

Interpreter.modify

([DefinitionS]→StG [DefinitionS]) → StG (String, Int)

iparsePass

MutableIO InterpreterClassLoader → Flags → IO Global

interpreterCompilerEnv

MutableIO InterpreterClassLoader → STMutable RealWorld (JMap String ByteArray)

InterpreterClassLoader.classes

MutableIO InterpreterClassLoader → STMutable RealWorld URLClassLoader

asURLClassLoader

MutableIO InterpreterClassLoader → IO Global

standardOptions

MutableIO InterpreterClassLoader → Interpreter ()

Interpreter.put

MutableIO MemoryJavaCompiler → MutableIO StringWriter → StIO (String, Int)

javacPass

MutableIO StringWriter → MutableIO MemoryJavaCompiler → [(StIO (String, Int), String)]

javagenPasses

MutableIO StringWriter → StIO (String, Int)

openPrinter

MutableIO StringWriter → [(StIO (String, Int), String)]

javaSourcePasses

MutableIO ClassLoader → MutableIO (JMap String ByteArray) → STMutable RealWorld InterpreterClassLoader

InterpreterClassLoader.newδ

MutableIO ClassLoader → STMutable RealWorld InterpreterClassLoader

InterpreterClassLoader.newβ

Symbol → Global → String

symbolClass, symbolVar

Symbol → SourceInfo

SourceInfo.Expression

String → Flags → Bool → InterpreterConfig

InterpreterConfig.InterpreterConfig

String → String → (String → [(StIO (String, Int), String)]) → StIO (Maybe SourceInfo)

run

String → String → MutableIO InterpreterClassLoader → IO (Maybe Object)

fieldValue

String → String → String → MutableIO StringWriter → MutableIO StringWriter → MutableIO InterpreterClassLoader → IO (Maybe Object)

fieldValueWithRuntime, sandboxFieldValue

String → String → StIO SourceType

findSourceType, isDefinitionOrExpr

String → String → JArray String

split

String → String → String

findUnusedVariableName, variableDeclScript

String → SourceType → String → String → String → String

buildScript

String → Regex → Maybe [Maybe String]

match

String → Int → Global → Symbol → String

buildShowScript

String → StIO (String, Int)

lexPass

String → StIO [Symbol]

browseSymbols

String → StIO [String]

helpDoc

String → StG [Symbol]

resolveSymbol

String → Interpreter (Global, Maybe SourceInfo)

typecheck

String → Interpreter ([Message] | String)

docHelp, javaSource, typeof

String → Interpreter (Maybe ([Symbol], Global))

browse, browseModule

String → Interpreter InterpreterResult

interpret

String → String

moduleDeclScript, trim

String → SName

createSName

String → Message

Message.warning, Message.info, Message.hint, Message.error

String → SourceInfo

SourceInfo.Module

[Symbol] → SourceInfo

SourceInfo.Definitions

[String] → Flags → String → [String] → String → String → Options

createopts

[String] → String

intercalateNewLine

[DefinitionS] → StG [DefinitionS]

removeDuplicateDefs

[Message] → String → String

Show_Message.showList

[Message] → InterpreterResult

InterpreterResult.Failure

[MessageType] → String → String

Show_MessageType.showList

[SourceInfo] → String → String

Show_SourceInfo.showList

[SourceType] → String → String

Show_SourceType.showList

Global → Symtab → [Symbol]

getSymbols

Global → Symbol → String

getSymbolType, showSymbol

Global → Symbol → Bool

isIO, isString, isVariable

Global → QName → Maybe Symtab

getEnv

Global → Interpreter (Maybe String)

javaSourceGen, javagen

Global → Interpreter ()

Interpreter.putCompilerState

Global → String

className

Global → [String]

outlineSymbols

Global → [Message]

Message.fromGlobal

Global.Message → Message

Message.fromCompilerMessage

Severity → MessageType

MessageType.translateCompilerMsgType

Position → MessageType → String → Message

Message.Message

SName → StG [QName]

sNameToQName

DefinitionS → DefinitionS → Bool

funcMatching, matching

Token → Bool

noDocComment

InterpreterConfig → (Flags→Flags) → InterpreterConfig

InterpreterConfig.chg$compilerFlags

InterpreterConfig → (String→String) → InterpreterConfig

InterpreterConfig.chg$predefs

InterpreterConfig → (Bool→Bool) → InterpreterConfig

InterpreterConfig.chg$useSandbox

InterpreterConfig → Flags → InterpreterConfig

InterpreterConfig.upd$compilerFlags

InterpreterConfig → String → [(StIO (String, Int), String)]

typecheckPasses

InterpreterConfig → String → InterpreterConfig

InterpreterConfig.upd$predefs

InterpreterConfig → [DefinitionS] → StG [DefinitionS]

transformDefs

InterpreterConfig → Bool → InterpreterConfig

InterpreterConfig.upd$useSandbox

InterpreterConfig → Flags

InterpreterConfig.compilerFlags

InterpreterConfig → String

InterpreterConfig.predefs

InterpreterConfig → Bool

InterpreterConfig.useSandbox

InterpreterResult → (Global→Global) → InterpreterResult

InterpreterResult.chg$compilerState

InterpreterResult → (SourceInfo→SourceInfo) → InterpreterResult

InterpreterResult.chg$sourceRepr

InterpreterResult → Global → InterpreterResult

InterpreterResult.upd$compilerState

InterpreterResult → SourceInfo → InterpreterResult

InterpreterResult.upd$sourceRepr

InterpreterResult → Global

InterpreterResult.compilerState

InterpreterResult → SourceInfo

InterpreterResult.sourceRepr

InterpreterResult → Bool

InterpreterResult.has$compilerState, InterpreterResult.has$sourceRepr

Message → (String→String) → Message

Message.chg$text

Message → (Position→Position) → Message

Message.chg$pos

Message → (MessageType→MessageType) → Message

Message.chg$msgType

Message → String → Message

Message.upd$text

Message → Position → Message

Message.upd$pos

Message → MessageType → Message

Message.upd$msgType

Message → String

Show_Message.showsub, Show_Message.display, Show_Message.show, Message.text

Message → [Char]

Show_Message.showChars

Message → Position

Message.pos

Message → MessageType

Message.msgType

MessageType → String

Show_MessageType.showsub, Show_MessageType.display, Show_MessageType.show

MessageType → [Char]

Show_MessageType.showChars

Method → String

Method.getName

SourceInfo → Global → InterpreterResult

InterpreterResult.Success

SourceInfo → String

Show_SourceInfo.showsub, Show_SourceInfo.display, Show_SourceInfo.show

SourceInfo → [Char]

Show_SourceInfo.showChars

SourceType → String

Show_SourceType.showsub, Show_SourceType.display, Show_SourceType.show

SourceType → [Char]

Show_SourceType.showChars

MatchResult → Int

groupCount

Int → String → String

indent

Int → Message → String → String

Show_Message.showsPrec

Int → MessageType → String → String

Show_MessageType.showsPrec

Int → SourceInfo → String → String

Show_SourceInfo.showsPrec

Int → SourceType → String → String

Show_SourceType.showsPrec

Int → Throwable → String

showThrowableCause'

Long → Int → String

longToString

Throwable → Maybe Throwable

throwableCause

Throwable → String

showThrowableCause

StG (String, Int)

derivePass

Interpreter (MutableIO InterpreterClassLoader)

Interpreter.get

Interpreter Global

Interpreter.getCompilerState

Interpreter InterpreterConfig

Interpreter.ask

String

freshVarPrefix, newLine

DefinitionS

interpreterPreludeImport, preludeHidingImport

InterpreterConfig

InterpreterConfig.initialState

MessageType

MessageType.INFO, MessageType.ERROR, MessageType.HINT, MessageType.WARNING

SourceType

SourceType.DefinitionsSource, SourceType.ExpressionSource, SourceType.ModuleSource

Regex

freshVarRegex

ReaderT InterpreterState InterpreterConfig result → Interpreter result

Interpreter.Interpreter

IO α → Interpreter α

MonadIO_Interpreter.liftIO

Mutable s (JMap String ByteArray) → STMutable s InterpreterClassLoader

InterpreterClassLoader.newγ

Mutable s InterpreterClassLoader → STMutable s MemoryJavaCompiler

MemoryJavaCompiler.new

Mutable s JavaCompilationInfo → ST s String

JavaCompilationInfo.errorsAsString

Mutable s JavaCompilationInfo → ST s Bool

JavaCompilationInfo.isSuccess

Mutable s MemoryJavaCompiler → String → String → STMutable s JavaCompilationInfo

MemoryJavaCompiler.compile

Mutable s MemoryJavaCompiler → STMutable s InterpreterClassLoader

MemoryJavaCompiler.classLoader

Interpreter (Interpreter α) → Interpreter α

Monad_Interpreter.join

Interpreter result → InterpreterConfig → MutableIO InterpreterClassLoader → IO (result, MutableIO InterpreterClassLoader)

Interpreter.run

Interpreter α → ReaderT InterpreterState InterpreterConfig α

Interpreter.un

() → STMutable s InterpreterClassLoader

InterpreterClassLoader.newα

a → String

showNative

α → Interpreter α

Monad_Interpreter.pure

α → Bool

Interpreter.has$un, InterpreterConfig.has$predefs, InterpreterConfig.has$compilerFlags, InterpreterConfig.has$useSandbox, Message.has$text, Message.has$msgType, Message.has$pos

ω

InterpreterClassLoader.new

(α → β) → Interpreter α → Interpreter β

Monad_Interpreter.fmap

Interpreter (α→β) → Interpreter α → Interpreter β

Monad_Interpreter.<*>

Interpreter α → (α → Interpreter β) → Interpreter β

Monad_Interpreter.>>=

Interpreter α → ReaderT InterpreterState InterpreterConfig β → Interpreter β

Interpreter.upd$un

Interpreter α → (ReaderT InterpreterState InterpreterConfig α→ReaderT InterpreterState InterpreterConfig β) → Interpreter β

Interpreter.chg$un

Interpreter α → Interpreter β → Interpreter α

Monad_Interpreter.<*

Interpreter α → Interpreter β → Interpreter β

Monad_Interpreter.*>, Monad_Interpreter.>>

Mutable s (JMap k v) → Mutable s (JMap k v) → ST s ()

JMap.putAll

Mutable s (JMap k v) → k → v → ST s ()

JMap.put

Mutable s (JMap k v) → k → ST s (Maybe v)

JMap.get

Mutable s (JMap k v) → ST s Bool

JMap.isEmpty

() → STMutable s (HashMap k v)

HashMap.new