HERMIT.Kernel

The HERMIT Kernel

data AST

A handle for a specific version of the ModGuts.

Instances

Enum AST

Eq AST

Ord AST

Read AST

Show AST

Extern AST

Typeable * AST

type Box AST = AST

firstAST :: AST

data ASTMap

data Kernel

A Kernel is a repository for complete Core syntax trees (ModGuts) and Lemmas.

data KernelEnv

Constructors

KernelEnv

Fields

kEnvChan :: DebugMessage -> HermitM ()

hermitKernel

Arguments

:: IORef (Maybe (AST, ASTMap))

Global (across passes) AST store.

-> String

Last GHC pass name

-> (Kernel -> AST -> IO ())

Callback

-> ModGuts

-> CoreM ModGuts

Start a HERMIT client by providing an IO callback that takes the initial Kernel and inital AST handle. The callback is only ever called once. The 'Modguts -> CoreM Modguts' function required by GHC Plugins is returned.

data CommitMsg

Constructors

Always String

Changed String

Never

Kernel Interface

resumeK :: Kernel -> MonadIO m => AST -> m ()

Halt the Kernel and return control to GHC, which compiles the specified AST.

abortK :: Kernel -> MonadIO m => m ()

Halt the Kernel and abort GHC without compiling.

applyK :: Kernel -> (MonadIO m, MonadCatch m) => RewriteH ModGuts -> CommitMsg -> KernelEnv -> AST -> m AST

Apply a Rewrite to the specified AST and return a handle to the resulting AST.

queryK :: Kernel -> (MonadIO m, MonadCatch m) => TransformH ModGuts a -> CommitMsg -> KernelEnv -> AST -> m (AST, a)

Apply a TransformH to the AST, return the resulting value, and potentially a new AST.

deleteK :: Kernel -> MonadIO m => AST -> m ()

Delete the internal record of the specified AST.

listK :: Kernel -> MonadIO m => m [(AST, Maybe String, Maybe AST)]

List all the ASTs tracked by the Kernel, including version data.

tellK :: Kernel -> (MonadIO m, MonadCatch m) => String -> AST -> m AST

Log a new AST with same Lemmas/ModGuts as given AST.