| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Elara.JVM.Query
Contents
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 :: forall (es :: [Effect]). (QueryEffects es, Rock Query :> es) => ModuleName -> Eff es Module
- runGetJVMClassFilesQuery :: forall (es :: [Effect]). (QueryEffects es, Rock Query :> es) => ModuleName -> Eff es [ClassFile]
- runGetJVMClassBytesQuery :: forall (es :: [Effect]). (QueryEffects es, Rock Query :> es) => ModuleName -> Eff es [(FilePath, LByteString)]
Documentation
runGetJVMIRModuleQuery :: forall (es :: [Effect]). (QueryEffects es, Rock Query :> es) => ModuleName -> Eff es Module Source #
Lower a Core module to JVM IR
runGetJVMClassFilesQuery :: forall (es :: [Effect]). (QueryEffects es, Rock Query :> es) => ModuleName -> Eff es [ClassFile] Source #
Emit JVM IR to ClassFiles
runGetJVMClassBytesQuery :: forall (es :: [Effect]). (QueryEffects es, Rock Query :> es) => ModuleName -> Eff es [(FilePath, LByteString)] Source #
Serialize ClassFiles to bytes with file paths
Orphan instances
| Pretty CodeConverterError Source # | Orphan instance, TODO: sort this out by improving h2jvm |
| ElaraDiagnostic CodeConverterError Source # | |
Methods diagnosticReports :: CodeConverterError -> [ElaraReport] Source # diagnosticSeverity :: CodeConverterError -> ElaraSeverity Source # diagnosticCode :: CodeConverterError -> Maybe ErrorCode Source # diagnosticMessage :: CodeConverterError -> Doc AnsiStyle Source # diagnosticMarkers :: CodeConverterError -> [ElaraMarker] Source # diagnosticNotes :: CodeConverterError -> [ElaraNote] Source # | |
| Exception CodeConverterError Source # | |
Methods toException :: CodeConverterError -> SomeException # fromException :: SomeException -> Maybe CodeConverterError # | |