Package hydra.codeGeneration

Interface CodeGeneration

public interface CodeGeneration

Pure code generation pipeline for bootstrapping Hydra across languages.

Method Summary

Static Methods

Modifier and Type	Method	Description
static Map<Name,Type>	buildSchemaMap(Graph g)
static Either<String,Module>	decodeModuleFromJson(Graph bsGraph, List<Module> universeModules, Boolean doStripTypeSchemes, Value jsonVal)
static List<Integer>	escapeControlCharsInJson(List<Integer> input)
static String	formatPrimitive(Primitive prim)
static String	formatTermBinding(Binding binding)
static Flow<Graph,String>	formatTypeBinding(Binding binding)
static <T0, T1, T2> Flow<T2,List<T1>>	generateCoderModules(Function<T0,Flow<Graph,Maybe<T1>>> codec, Graph bsGraph, List<Module> universeModules, List<T0> typeModules)
static Flow<Graph,String>	generateLexicon(Graph graph)
static <T0, T1> Flow<Graph,List<Tuple.Tuple2<T0,T1>>>	generateSourceFiles(Function<Module,Function<List<Definition>,Flow<Graph,Map<T0,T1>>>> printDefinitions, Language lang, Boolean doInfer, Boolean doExpand, Boolean doHoistCaseStatements, Boolean doHoistPolymorphicLetBindings, Graph bsGraph, List<Module> universeModules, List<Module> modsToGenerate)
static <T0> Flow<T0,String>	inferAndGenerateLexicon(Graph bsGraph, List<Module> kernelModules)
static <T0> Flow<T0,List<Module>>	inferModules(Graph bsGraph, List<Module> universeMods, List<Module> targetMods)
static Graph	modulesToGraph(Graph bsGraph, List<Module> universeModules, List<Module> modules)
static List<Module>	moduleTermDepsTransitive(Map<Namespace,Module> nsMap, List<Module> modules)
static Either<String,String>	moduleToJson(Module m)
static Module	moduleToSourceModule(Module m)
static List<Module>	moduleTypeDepsTransitive(Map<Namespace,Module> nsMap, List<Module> modules)
static String	namespaceToPath(Namespace ns)
static Module	stripModuleTypeSchemes(Module m)
static Set<Namespace>	transitiveDeps(Function<Module,List<Namespace>> getDeps, Map<Namespace,Module> nsMap, List<Module> startMods)

Method Details

namespaceToPath

static String namespaceToPath(Namespace ns)

stripModuleTypeSchemes

static Module stripModuleTypeSchemes(Module m)

transitiveDeps

static Set<Namespace> transitiveDeps(Function<Module,List<Namespace>> getDeps,
 Map<Namespace,Module> nsMap,
 List<Module> startMods)

moduleTermDepsTransitive

static List<Module> moduleTermDepsTransitive(Map<Namespace,Module> nsMap,
 List<Module> modules)

moduleTypeDepsTransitive

static List<Module> moduleTypeDepsTransitive(Map<Namespace,Module> nsMap,
 List<Module> modules)

modulesToGraph

static Graph modulesToGraph(Graph bsGraph,
 List<Module> universeModules,
 List<Module> modules)

generateSourceFiles

static <T0,
T1>
Flow<Graph,List<Tuple.Tuple2<T0,T1>>> generateSourceFiles(Function<Module,Function<List<Definition>,Flow<Graph,Map<T0,T1>>>> printDefinitions,
 Language lang,
 Boolean doInfer,
 Boolean doExpand,
 Boolean doHoistCaseStatements,
 Boolean doHoistPolymorphicLetBindings,
 Graph bsGraph,
 List<Module> universeModules,
 List<Module> modsToGenerate)

formatTermBinding

static String formatTermBinding(Binding binding)

formatPrimitive

static String formatPrimitive(Primitive prim)

formatTypeBinding

static Flow<Graph,String> formatTypeBinding(Binding binding)

buildSchemaMap

static Map<Name,Type> buildSchemaMap(Graph g)

moduleToSourceModule

static Module moduleToSourceModule(Module m)

generateLexicon

static Flow<Graph,String> generateLexicon(Graph graph)

moduleToJson

static Either<String,String> moduleToJson(Module m)

inferModules

static <T0> Flow<T0,List<Module>> inferModules(Graph bsGraph,
 List<Module> universeMods,
 List<Module> targetMods)

generateCoderModules

static <T0,
T1,
T2> Flow<T2,List<T1>> generateCoderModules(Function<T0,Flow<Graph,Maybe<T1>>> codec,
 Graph bsGraph,
 List<Module> universeModules,
 List<T0> typeModules)

inferAndGenerateLexicon

static <T0> Flow<T0,String> inferAndGenerateLexicon(Graph bsGraph,
 List<Module> kernelModules)

escapeControlCharsInJson

static List<Integer> escapeControlCharsInJson(List<Integer> input)

decodeModuleFromJson

static Either<String,Module> decodeModuleFromJson(Graph bsGraph,
 List<Module> universeModules,
 Boolean doStripTypeSchemes,
 Value jsonVal)