Safe Haskell | None |
---|
- data AST
- data Kernel
- hermitKernel :: (Kernel -> AST -> IO ()) -> ModGuts -> CoreM ModGuts
- resumeK :: Kernel -> AST -> IO ()
- abortK :: Kernel -> IO ()
- applyK :: Kernel -> AST -> RewriteH ModGuts -> HermitMEnv -> IO (KureM AST)
- queryK :: Kernel -> forall a. AST -> TranslateH ModGuts a -> HermitMEnv -> IO (KureM a)
- deleteK :: Kernel -> AST -> IO ()
- listK :: Kernel -> IO [AST]
The HERMIT Kernel
queryK :: Kernel -> forall a. AST -> TranslateH ModGuts a -> HermitMEnv -> IO (KureM a)Source
Apply a TranslateH
to the AST
and return the resulting value.