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

Cmd.Repl.LState

Description

Repl cmds providing general UI state operations.

Synopsis

Documentation

find :: Text -> Cmd.CmdL Text Source #

Find text in block titles, track titles, or events.

summary :: Cmd.CmdL Text Source #

Summarize the various types. Is this really useful?

configure

get_ky :: Ui.M m => m Text Source #

meta

set_notes :: Cmd.M m => Text -> m () Source #

performance

save_midi :: Cmd.CmdT IO () Source #

Save the current root MIDI performance as "correct".

verify_performance :: Cmd.CmdL Text Source #

Compare the current root block performance against the saved one.

transform

rename :: Id.Namespace -> Cmd.CmdL () Source #

Set the score namespace to the given one. Also update the project_dir and move the actual directory.

fix :: Cmd.M m => m [Text] Source #

load

load_merge :: Bool -> FilePath -> Cmd.CmdL () Source #

Load the state from the file and merge it with the current state. This will fail if any IDs collide, so hopefully they live in different namespaces. In fact, this is why IDs have namespaces.

load_as Source #

Arguments

:: Text 
-> Bool

if True, open views

-> FilePath 
-> Cmd.CmdL () 

Load another score and put it in a new namespace. Will probably fail if the score itself uses multiple namespaces.

unload :: Ui.M m => Text -> m () Source #

Destroy the given namespace.