Karya, built on 2023-08-29T07:47:28 (patch 7a412d5d6ba4968ca4155ef276a062ccdeb9109a)

Safe Haskell	Safe-Inferred

Cmd.Ky

Description

Load ky files, which are separate files containing call definitions. The syntax is defined by parse_ky.

Synopsis

update :: Ui.State -> Cmd.State -> Text -> IO (Maybe (Ui.State, Cmd.State, [Log.Msg]))
set :: Text -> Cmd.CmdT IO Text
load :: [FilePath] -> Text -> IO (Either Text (Builtins, InstrumentAliases))
compile_definitions :: Ky.Definitions -> Library.Library

Documentation

update :: Ui.State -> Cmd.State -> Text -> IO (Maybe (Ui.State, Cmd.State, [Log.Msg])) Source #

Check if ky files have changed, and if they have, update Cmd.state_ky_cache and clear the performances.

set :: Text -> Cmd.CmdT IO Text Source #

load :: [FilePath] -> Text -> IO (Either Text (Builtins, InstrumentAliases)) Source #

Like check_cache, but assuming no existing cmd or ui state.

compile_definitions :: Ky.Definitions -> Library.Library Source #