úÎb(]ÜD      !"#$%&'()*+,-./0123456789:; < = > ? @ABCNoneLoad and typecheck a module'-s rewrite rules, using exported and imported  definitions from module Language fragment. Path to the module. )Module with types of imports and exports DEDENoneLoad and typecheck a module. <Load and transform a module, printing the result to stdout. 7 The current transform is set with the given string. Load and transform a module,  then print the result to stdout. Language fragment. Path to the module. If true, print errors out Language fragment. Path to the module. FSimplifier specification. *More modules to use as inliner templates. Module file name. GHLanguage definition Source of the code. Program module text. FGHNoneI"Output a document to the console. J.Output a document and newline to the console. K Output a string to the console. L,Output a string and newline to the console. MOutput chatty ok type responses. E These are only displayed in the Interactive and Batch interfaces. IJKLMIJKLMIJKLMNone0What components of the checked type to display.  Show the universe of some type. ,Given the type of some thing (up one level) # show the universe of the thing. -Given the kind of some thing (up two levels) # show the universe of the thing. /Given the sort of some thing (up three levels) # show the universe of the thing.  We can'.t type check naked sorts, so just parse them. Show the kind of a type. "Check if two types are equivlant. Show the type of a witness.  Show the type of an expression. >Check expression and reconstruct type annotations on binders. 0Parse and type-check a core module from a file. 2Parse and type-check a core module from a string. 'Parse a core type, and check its kind. "Parse the given core expression, ; and return it, along with its type, effect and closure. CIf the expression had a parse error, undefined vars, or type error # then print this to the console. FWe include a flag to override the language profile to allow partially K applied primitives. Although a paticular evaluator (or backend) may not J support partially applied primitives, we want to accept them if we are 1 only loading an expression to check its type.  The current language fragment. Current modules )Allow partial application of primitives. (Where this expression was sourced from. Text to parse.      None'Parse, check, and pretty print a module's internal representation. ,Parse, check, and pretty print an expression's internal representation. NoneCompile via the LLVM backend. Compile via the C backend. (Configuration for main compiler stages. Dump intermediate code. *Simplifiers to apply to intermediate code !Backend code generator to use "Runtime system configuration #/The builder to use for the target architecture $!Suppress imports in Core modules % Suppress the #import prelude in C modules &Override output file '&Override directory for build products ( Keep intermediate .ddc.ll files )Keep intermediate .ddc.c files *Keep intermediate .ddc.s files +/Avoid running the type checker where possible. ; When debugging program transformations, use this to get = the invalid code rather than just the type error message. ,Type check Core Flow. -)Prepare a Core Flow module for lowering. .Lower a Core Flow module. # Is needs to already be prepped, # and have full type annotations. /CWind loop primops into tail recursive loops in a Core Flow module. 0Type check Core Lite. 1Optimise Core Lite. 2Optimise Core Salt. 3 Convert Core Lite to Core Salt. 4Convert Core Salt to C code. 5Compile Core Salt via C code. 6Convert Core Salt to LLVM. 7Compile LLVM code. NIf the Dump mode is set : then produce a SinkFile to write a module to a file, ; otherwise produce SinkDiscard to drop it on the floor.  !"#$%&'()*+,-./012345Path of original source file. 0 Build products are placed into the same dir. 'Should we link this into an executable 67Path of original source file. 0 Build products are placed into the same dir. 'Should we link this into an executable N !"#$%&'()*+,-./01234567 !"#$%&'()*+,-./01324657 !"#$%&'()*+,-./01234567NNone8#Lower a flow program to loop code. 8Source of the code. Program module text. 888None92Prepare a Disciple Core Flow module for lowering. 9Source of the code. Program module text. 999None:5Thread a state token through the given flow program.  This can'1t be generic in the language fragment because we A need to provide a specific type to use for the world token, 2 and new types for the effectful combinators. :Source of the code. Program module text. ::: None;#Lower a flow program to loop code. ;Source of the code. Program module text. ;;; None<Compile a source module into a .o file. <<<< NoneOPQ===OPQ= None>)Make a source module into an executable. >>>> None?R???RNone@)Parse, check, and convert a module to C. The output is printed to stdout. @Compiler configuration. Language definition. Source of the code. Program module text. @@@NoneA,Parse, check and convert a module to LLVM. The output is printed to stdout. ACompiler configuration. Language definition. Source of the code. Program module text. AAANoneB0Parse, check, and fully evaluate an expression. The output is printed to stdout. S#Erase the import list of a module. BCompiler configuration. Language definition. Source of the code. Program module text. SBBBSNoneC+Concretize rate variables to loop indices. CSource of the code. Program module text. CCCT !"#$%&'()*+,-.//0123456789:;<=>?@ABCDEFGHIJKL M N O P QRSTUVWXYZ[\]^_` a b c defddc-driver-0.3.2.1DDC.Driver.Command.RewriteRulesDDC.Driver.Command.LoadDDC.Driver.Command.CheckDDC.Driver.Command.AstDDC.Driver.StageDDC.Driver.Command.Flow.LowerDDC.Driver.Command.Flow.PrepDDC.Driver.Command.Flow.ThreadDDC.Driver.Command.Flow.WindDDC.Driver.Command.CompileDDC.Driver.Command.BaseBuildDDC.Driver.Command.MakeDDC.Driver.Command.ParseDDC.Driver.Command.ToCDDC.Driver.Command.ToLlvmDDC.Driver.Command.ToSalt"DDC.Driver.Command.Flow.ConcretizeDDC.Driver.OutputcmdTryReadRules cmdReadModulecmdReadModule'cmdLoadFromFilecmdLoadFromString ShowTypeModeShowTypeClosureShowTypeEffect ShowTypeValue ShowTypeAll cmdUniverse cmdUniverse1 cmdUniverse2 cmdUniverse3 cmdShowKind cmdTypeEquiv cmdShowWType cmdShowType cmdExpReconcmdCheckModuleFromFilecmdCheckModuleFromStringcmdParseCheckTypecmdParseCheckExp cmdAstModule cmdAstExp ViaBackendViaLLVMViaCConfig configDumpconfigSimplLiteconfigSimplSaltconfigViaBackend configRuntime configBuilderconfigSuppressCoreImportsconfigSuppressHashImportsconfigOutputFileconfigOutputDirconfigKeepLlvmFilesconfigKeepSeaFilesconfigKeepAsmFilesconfigTaintAvoidTypeChecks stageFlowLoad stageFlowPrepstageFlowLower stageFlowWind stageLiteLoad stageLiteOpt stageSaltOptstageLiteToSalt stageSaltToCstageCompileSaltstageSaltToLLVMstageCompileLLVM cmdFlowLower cmdFlowPrep cmdFlowThread cmdFlowWind cmdCompile cmdBaseBuildcmdMakecmdParseModulecmdToC cmdToLlvm cmdToSaltcmdFlowConcretizecmdReadRules_parseparsecmdReadModule_parsecmdLoad_languageconfigLoad_simploutDocoutDocLnoutStroutStrLn chatStrLndump baseLiteFiles baseSaltFiles baseSeaFilescmdParseModule_tetra eraseImports