Hydra.Impl.Haskell.GraphIO

Documentation

addDeepTypeAnnotations :: (Ord m, Show m) => Module m -> GraphFlow m (Module m)

allModules :: [Module Meta]

assignSchemas :: (Ord m, Show m) => Bool -> Module m -> GraphFlow m (Module m)

coreModules :: [Module Meta]

extModules :: [Module Meta]

findType :: Context m -> Term m -> GraphFlow m (Maybe (Type m))

generateSources :: (Module Meta -> GraphFlow Meta (Map FilePath String)) -> [Module Meta] -> FilePath -> IO ()

hydraKernel :: Graph Meta

kernelContext :: Context Meta

modulesToContext :: [Module Meta] -> Context Meta

printTrace :: Bool -> Trace -> IO ()

runFlow :: s -> Flow s a -> IO (Maybe a)

writeHaskell :: [Module Meta] -> FilePath -> IO ()

writeJava :: [Module Meta] -> FilePath -> IO ()

writePdl :: [Module Meta] -> FilePath -> IO ()

writeScala :: [Module Meta] -> FilePath -> IO ()

writeYaml :: [Module Meta] -> FilePath -> IO ()