| Safe Haskell | Safe-Inferred |
|---|
Derive.Parse.Ky
Contents
Synopsis
- data Ky a = Ky {}
- data Loaded = Loaded !FilePath !Code
- data Definitions = Definitions {
- def_note :: !([Definition], [Definition])
- def_control :: !([Definition], [Definition])
- def_pitch :: !([Definition], [Definition])
- def_val :: ![Definition]
- def_aliases :: ![(ScoreT.Instrument, ScoreT.Instrument)]
- type Definition = (FilePath, (Expr.Symbol, Expr))
- load_ky :: [FilePath] -> Code -> IO (Either ParseText.Error (Ky Loaded))
- get_ky :: Ui.M m => m Code
- newtype Expr = Expr (NonEmpty Call)
- data Call = Call !Expr.Symbol ![Term]
- data Term
- newtype Var = Var Text
Documentation
A parsed .ky file
Constructors
| Ky | |
Fields
| |
Record a loaded .ky file, with its path and content. A path of "" is used for the code directly in the UiConfig.
data Definitions Source #
This is a mirror of Library, but with expressions instead of
calls. (generators, transformers)
Constructors
| Definitions | |
Fields
| |
Instances
| Monoid Definitions Source # | |
Defined in Derive.Parse.Ky Methods mempty :: Definitions # mappend :: Definitions -> Definitions -> Definitions # mconcat :: [Definitions] -> Definitions # | |
| Semigroup Definitions Source # | |
Defined in Derive.Parse.Ky Methods (<>) :: Definitions -> Definitions -> Definitions # sconcat :: NonEmpty Definitions -> Definitions # stimes :: Integral b => b -> Definitions -> Definitions # | |
| Show Definitions Source # | |
Defined in Derive.Parse.Ky Methods showsPrec :: Int -> Definitions -> ShowS # show :: Definitions -> String # showList :: [Definitions] -> ShowS # | |
type Definition = (FilePath, (Expr.Symbol, Expr)) Source #
(defining_file, (Symbol, Expr))
load_ky :: [FilePath] -> Code -> IO (Either ParseText.Error (Ky Loaded)) Source #
Parse ky text and load and parse all the files it imports. parse_ky
describes the format of the ky file.
get_ky :: Ui.M m => m Code Source #
Get UiConfig.ky with UiConfig.allocations merged in. See Derive.Parse.Instruments.
types
Constructors
| Call !Expr.Symbol ![Term] |
A variable to be substituted via the Derive.Call.Macro mechanism.