| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Elara.JVM.Query
Description
JVM Backend query implementations for the Rock query system.
This module implements the queries for JVM lowering, class file emission, and serialization. Each query is atomic and operates on a single module.
Synopsis
- runGetJVMIRModuleQuery :: ModuleName -> Eff (ConsQueryEffects '[Error JVMLoweringError, Rock Query]) Module
- runGetJVMClassFilesQuery :: ModuleName -> Eff (ConsQueryEffects '[Error JVMLoweringError, Rock Query]) [ClassFile]
- runGetJVMClassBytesQuery :: ModuleName -> Eff (ConsQueryEffects '[Error JVMLoweringError, Error CodeConverterError, Rock Query]) [(FilePath, LByteString)]
Documentation
runGetJVMIRModuleQuery :: ModuleName -> Eff (ConsQueryEffects '[Error JVMLoweringError, Rock Query]) Module Source #
Lower a Core module to JVM IR
runGetJVMClassFilesQuery :: ModuleName -> Eff (ConsQueryEffects '[Error JVMLoweringError, Rock Query]) [ClassFile] Source #
Emit JVM IR to ClassFiles
runGetJVMClassBytesQuery :: ModuleName -> Eff (ConsQueryEffects '[Error JVMLoweringError, Error CodeConverterError, Rock Query]) [(FilePath, LByteString)] Source #
Serialize ClassFiles to bytes with file paths