Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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 -> TransformH ModGuts a -> HermitMEnv -> IO (KureM a)
- deleteK :: Kernel -> AST -> IO ()
- listK :: Kernel -> IO [AST]
The HERMIT Kernel
queryK :: Kernel -> forall a. AST -> TransformH ModGuts a -> HermitMEnv -> IO (KureM a) Source
Apply a TransformH
to the AST
and return the resulting value.