    note generator
n -- note (instrument) [inst] When the event has zero duration, dispatc...
n -- note (imported) [prelude] The note call is the main note generator...
    note transformer
n -- note-attributes (imported) [prelude] This is similar to to `=`, bu...

html output

doc_html :: Html.HtmlState -> Document -> Html.Html Source #

Convert a Document to HTML.

html_header :: Html.HtmlState -> Html.Html Source #

css :: Html.Html Source #

javascript :: Html.Html Source #

search_javascript :: Html.Html Source #

hide_empty_javascript :: Html.Html Source #

call_bindings_html :: Html.HtmlState -> Text -> CallBindings -> Html.Html Source #

binding_tags :: CallBindings -> [Text] Source #

Extract explicit tags as well as some implicit tags. Implicit tags are %control for controls in the default arguments, name-arg for environ keys that default the arguments, and note, control, pitch, or val for the call kind.

scale doc

type Scale = [CallBindings] Source #

scales_html :: Html.HtmlState -> [CallBindings] -> Html.Html Source #

scale_docs :: [(Pitch.ScaleId, Text, DocumentedCall)] -> [CallBindings] Source #

Extract documentation from scales.

doc

type Document = [Section] Source #

An intermediate format between Scopes and the eventual textual output.

type Section = (CallKind, [ScopeDoc]) Source #

type CallKind = Text Source #

From the fields of Scope and Scopes: note, control, pitch, or val.

type ScopeDoc = (ScopeSource, [CallBindings]) Source #

Documentation for one type of scope.

type ScopeSource = Maybe.Maybe CallPriority Source #

Nothing is when the source is irrelevant, so don't put it in the docs.

type CallBindings = ([Binding], CallType, CallDoc) Source #

Multiple bound symbols with the same DocumentedCall are grouped together:

type Binding = (SymbolName, CallName) Source #

type SymbolName = Text Source #

This is the name the call is bound to.

data CallType Source #

Constructors

ValCall
GeneratorCall
TransformerCall
TrackCall

Instances

Instances details

Show CallType Source #
Instance details Defined in Cmd.CallDoc Methods showsPrec :: Int -> CallType -> ShowS # show :: CallType -> String # showList :: [CallType] -> ShowS #
Eq CallType Source #
Instance details Defined in Cmd.CallDoc Methods (==) :: CallType -> CallType -> Bool # (/=) :: CallType -> CallType -> Bool #
Ord CallType Source #
Instance details Defined in Cmd.CallDoc Methods compare :: CallType -> CallType -> Ordering # (<) :: CallType -> CallType -> Bool # (<=) :: CallType -> CallType -> Bool # (>) :: CallType -> CallType -> Bool # (>=) :: CallType -> CallType -> Bool # max :: CallType -> CallType -> CallType # min :: CallType -> CallType -> CallType #
Pretty CallType Source #
Instance details Defined in Cmd.CallDoc Methods pretty :: CallType -> Text Source # format :: CallType -> Format.Doc Source # formatList :: [CallType] -> Format.Doc Source #

implementation

filter_calls :: (SymbolName -> CallName -> Bool) -> Document -> Document Source #

Keep only CallDocs whose name or binding name matches the function.

strip_empty :: Document -> Document Source #

builtins :: Builtins -> [Section] Source #

Extract all the documentation from the Builtins. Document extraction is a big mess of walking over nested data and converting it to a parallel nested data structure. It's tedious, but the types make it hard to get wrong.

convert_modules :: CallType -> (call -> DocumentedCall) -> Map mod (CallMap call) -> [ScopeDoc] Source #

scope :: Map Module.Module (CallMap (Call gen)) -> Map Module.Module (CallMap (Call trans)) -> Map Module.Module (CallMap (TrackCall track)) -> [ScopeDoc] Source #

Create docs for generator, transformer, and track calls, and merge and sort them.

type Entry = Library.Entry DocumentedCall Source #

A Library.Entry with the call stripped out and replaced with just documentation. This is so Calls and ValCalls can be treated uniformly.

type CallMap = CallMap DocumentedCall Source #

entry_doc :: (call -> DocumentedCall) -> Library.Entry call -> Entry Source #

Convert Library.Entry to Entry by stripping out the code part of the call, and replacing it with DocumentedCall.

call_map_doc :: (call -> DocumentedCall) -> CallMap call -> CallMap Source #

instrument doc

instrument_calls :: InstrumentCalls -> Document Source #

Get docs for the calls introduced by an instrument.

track doc

track :: Cmd.M m => BlockId -> TrackId -> m Document Source #

Get documentation for calls in scope at the given block and track.

track_sections :: ParseTitle.Type -> Scopes -> [Section] Source #

This is an alternate doc extraction path which extracts the docs from Scopes instead of Builtins.

convert_scope :: (CallMap call -> CallMap) -> ScopePriority call -> ScopePriority DocumentedCall Source #

merged_scope_docs :: [(CallType, ScopePriority DocumentedCall)] -> [ScopeDoc] Source #

Create docs for generator and transformer calls, and merge and sort them.

merge_scope_docs :: [ScopeDoc] -> [ScopeDoc] Source #

sort_calls :: [CallBindings] -> [CallBindings] Source #

imported_scope_doc :: CallType -> [Entry] -> [ScopeDoc] Source #

A Library only has builtins, but ScopeDoc wants a source so it can work uniformly with track_sections, which does have separate sources.

scope_type :: CallType -> ScopePriority DocumentedCall -> [ScopeDoc] Source #

call_map_to_entries :: CallMap -> [Entry] Source #

entries :: CallType -> [Entry] -> [CallBindings] Source #