[silver:compiler:driver]

Contents of [silver:compiler:driver]:

Defined in this grammar:

fun compileFiles   (IO<([Root],[ParseError])> ::= svParser::SVParser gpath::String files::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileFiles.sv line 10.

(Undocumented.)


type SVParser

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 10.

(Undocumented.)


function cmdLineRun   (IO<Integer> ::= args::[String] svParser::SVParser )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 15.

(Undocumented.)


fun cmdLineRunInitial   (IOErrorable<Decorated Compilation> ::= args::[String] svParser::SVParser )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 25.

(Undocumented.)


fun performActions   (IO<Integer> ::= unit::IOErrorable<Decorated Compilation> )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 32.

(Undocumented.)


fun computeEnv   (IOErrorable<(Decorated CmdArgs,BuildEnv)> ::= args::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 45.

(Undocumented.)


fun setupBuildRun   (IOErrorable<Decorated Compilation> ::= svParser::SVParser a::Decorated CmdArgs benv::BuildEnv )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 66.

(Undocumented.)


fun buildRun   (IO<Decorated Compilation> ::= svParser::SVParser a::Decorated CmdArgs benv::BuildEnv buildGrammars::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 91.

(Undocumented.)


fun compileGrammars   (IO<[Maybe<RootSpec>]> ::= svParser::SVParser benv::BuildEnv need::[String] clean::Boolean )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 144.

(Undocumented.)


function eatGrammars   ([String] ::= triggered::([String] ::= Decorated RootSpec) n::Integer sofar::[String] rootStream::[Maybe<a>] grammars::[Decorated RootSpec] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 162.

(Undocumented.)


annotation code :: Integer

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 179.

(Undocumented.)


annotation errMsg :: String

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 180.

(Undocumented.)


data nonterminal RunError

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 182.

(Undocumented.)


abstract production runError   (RunError ::= )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 182.

(Undocumented.)


type IOErrorable

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 186.

(Undocumented.)


fun throwRunError   (IOErrorable<a> ::= c::Integer m::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 188.

(Undocumented.)


abstract production touchIfaces   (top::DriverAction ::= r::[Decorated RootSpec] genPath::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 31.

(Undocumented.)


fun sviPath   (String ::= r::Decorated RootSpec genPath::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 37.

(Undocumented.)


abstract production printAllBindingErrors   (top::DriverAction ::= specs::[Decorated RootSpec] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 40.

(Undocumented.)


abstract production printAllBindingErrorsHelp   (top::DriverAction ::= specs::[Decorated RootSpec] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 52.

(Undocumented.)


abstract production printAllParsingErrors   (top::DriverAction ::= specs::[Decorated RootSpec] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 70.

(Undocumented.)


fun renderMessages   (String ::= grammarSource::String msg::Pair<String [Message]> )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 87.

(Undocumented.)


fun grammarContainsErrors   (Boolean ::= es::[Pair<String [Message]>] werr::Boolean )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 90.

(Undocumented.)


synthesized attribute searchPath :: [String]

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 5.

(Undocumented.)


synthesized attribute outName :: [String]

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 6.

(Undocumented.)


synthesized attribute genLocation :: [String]

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 7.

(Undocumented.)


synthesized attribute silverHomeOption :: [String]

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 8.

(Undocumented.)


synthesized attribute displayVersion :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 10.

(Undocumented.)


synthesized attribute doClean :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 11.

(Undocumented.)


synthesized attribute warnError :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 12.

(Undocumented.)


synthesized attribute forceOrigins :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 13.

(Undocumented.)


synthesized attribute noOrigins :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 14.

(Undocumented.)


synthesized attribute noRedex :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 15.

(Undocumented.)


synthesized attribute tracingOrigins :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 16.

(Undocumented.)


synthesized attribute buildGrammars :: [String]

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 18.

(Undocumented.)


synthesized attribute noBindingChecking :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 20.

(Undocumented.)


abstract production versionFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 39.

(Undocumented.)


abstract production cleanFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 45.

(Undocumented.)


abstract production warnErrorFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 51.

(Undocumented.)


abstract production forceOriginsFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 57.

(Undocumented.)


abstract production noOriginsFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 63.

(Undocumented.)


abstract production tracingOriginsFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 69.

(Undocumented.)


abstract production noRedexFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 75.

(Undocumented.)


abstract production outFlag   (top::CmdArgs ::= s::String rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 81.

(Undocumented.)


abstract production includeFlag   (top::CmdArgs ::= s::String rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 87.

(Undocumented.)


abstract production genFlag   (top::CmdArgs ::= s::String rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 93.

(Undocumented.)


abstract production homeFlag   (top::CmdArgs ::= s::String rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 99.

(Undocumented.)


abstract production nobindingFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 105.

(Undocumented.)


function parseArgs   (Either<String Decorated CmdArgs> ::= args::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 112.

(Undocumented.)


fun parseArgsOrError   (Decorated CmdArgs ::= args::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 184.

(Undocumented.)


fun determineBuildEnv   (IOErrorable<BuildEnv> ::= a::Decorated CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 190.

(Undocumented.)


fun checkEnvironment   (IO<[String]> ::= benv::BuildEnv )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 219.

(Undocumented.)


fun checkPreBuild   (IO<[String]> ::= benv::BuildEnv buildGrammars::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 238.

(Undocumented.)


function determineDefaultSilverHome   (IOVal<String> ::= i::IOToken )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 255.

(Undocumented.)


function compileInterface   (MaybeT<IO RootSpec> ::= grammarName::String silverHostGen::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileInterface.sv line 12.

(Undocumented.)


fun findInterfaceLocation   (MaybeT<IO String> ::= gramPath::String searchPaths::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileInterface.sv line 51.

(Undocumented.)


function transformFile   (String ::= path::String contents::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileLiterateFile.sv.md line 8.

(Undocumented.)


function extractSilverCodeBlocks   ([String] ::= path::String markdown::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileLiterateFile.sv.md line 45.

(Undocumented.)


function extractCodeBlocks   ([(String,Location,String)] ::= path::String markdown::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileLiterateFile.sv.md line 88.

(Undocumented.)


function compileGrammar   (MaybeT<IO RootSpec> ::= svParser::SVParser benv::BuildEnv grammarName::String clean::Boolean )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 8.

(Undocumented.)


fun foldRoot   (Grammar ::= l::[Root] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 67.

(Undocumented.)


fun isValidSilverFile   (Boolean ::= f::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 72.

(Undocumented.)


fun listSilverFiles   (IO<[String]> ::= dir::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 74.

(Undocumented.)


fun fileTimes   (IO<Integer> ::= dir::String is::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 84.

(Undocumented.)


fun renderFileNames   (String ::= files::[String] depth::Integer )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 95.

(Undocumented.)


fun findGrammarLocation   (MaybeT<IO String> ::= path::String searchPaths::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 105.

(Undocumented.)


function findGrammarInLocation   (MaybeT<IO String> ::= gram::String inPath::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 118.

(Undocumented.)