hydra.codegen

package hydra.codegen

Members list

Value members

Concrete methods

def buildSchemaMap(g: Graph): Map[Name, Type]
def decodeModuleFromJson(bsGraph: Graph)(universeModules: Seq[Module])(jsonVal: Value): Either[Error, Module]
def escapeControlCharsInJson(input: Seq[Int]): Seq[Int]
def formatPrimitive(prim: Primitive): String
def formatTermBinding(binding: Binding): String
def formatTypeBinding(graph: Graph)(binding: Binding): Either[Error, String]
def generateCoderModules[T0, T1, T2, T3](codec: T0 => Graph => T1 => Either[T2, Option[T3]])(bsGraph: Graph)(universeModules: Seq[Module])(typeModules: Seq[T1])(cx: T0): Either[T2, Seq[T3]]
def generateLexicon(graph: Graph): Either[Error, String]
def generateSourceFiles[T0, T1](printDefinitions: Module => (Seq[Definition]) => InferenceContext => Graph => Either[Error, Map[T0, T1]])(lang: Language)(doInfer: Boolean)(bsGraph: Graph)(universeModules: Seq[Module])(modsToGenerate: Seq[Module])(cx: InferenceContext): Either[Error, Seq[(T0, T1)]]
def inferAndGenerateLexicon(cx: InferenceContext)(bsGraph: Graph)(kernelModules: Seq[Module]): Either[Error, String]
def inferModules(cx: InferenceContext)(bsGraph: Graph)(universeMods: Seq[Module])(targetMods: Seq[Module]): Either[Error, Seq[Module]]
def inferModulesGiven(cx: InferenceContext)(bsGraph: Graph)(universeMods: Seq[Module])(targetMods: Seq[Module]): Either[Error, Seq[Module]]
def moduleDepsTransitive(nsMap: Map[ModuleName, Module])(modules: Seq[Module]): Seq[Module]
def moduleNameToPath(ns: ModuleName): String
def moduleToJson(schemaMap: Map[Name, Type])(m: Module): Either[Error, String]
def modulesToGraph(bsGraph: Graph)(universeModules: Seq[Module])(modules: Seq[Module]): Graph
def refreshModule(inferredElements: Seq[Binding])(m: Module): Module
def transitiveDeps(getDeps: Module => Seq[ModuleName])(nsMap: Map[ModuleName, Module])(startMods: Seq[Module]): Set[ModuleName]