LiveCoding.GHCi

Support functions to call common live coding functionalities like launching and reloading from a ghci or cabal repl session.

You typically don't need to import this module in your code, but you should load it in your interactive session, ideally by copying the file `essence-of-live-coding/.ghci` to your project, adjusting it to your needs and launching cabal repl.

Documentation

proxyFromLiveProgram :: LiveProgram m -> Proxy m

Retrieving launched programs from the foreign store

possiblyLaunchedProgram :: Launchable m => Proxy m -> IO (Either SomeException (Maybe (LaunchedProgram m)))

Try to retrieve a LiveProgram of a given type from the Store, handling all IO exceptions. Returns 'Right Nothing' if the store didn't exist.

sync :: Launchable m => LiveProgram m -> IO ()

Try to load a LiveProgram of a given type from the Store. If the store doesn't contain a program, it is (re)started.

launchAndSave :: Launchable m => LiveProgram m -> IO ()

Launch a LiveProgram and save it in the Store.

save :: Launchable m => LaunchedProgram m -> IO ()

Save a LiveProgram to the store.

stopStored :: Launchable m => Proxy m -> IO ()

Try to retrieve a LaunchedProgram from the Store, and if successful, stop it.

GHCi commands

Debugging

liveinit :: Monad m => p -> m String

Initialise a launched program in the store, but don't start it.

livestep :: Monad m => p -> m [Char]

Run one program step, assuming you have a launched program in a variable launchedProgram.

Running

livelaunch :: Monad m => p -> m [Char]

Launch or restart a program and save its reference in the store.

livereload :: Monad m => p -> m String

Reload the code and do hot code swap and migration.

livestop :: Monad m => p -> m [Char]

Stop the program.