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

Safe Haskell	Safe-Inferred

Derive.Call.GraceUtil

Contents

standard args
calls
attr grace
util

Description

Functions to emit grace-note like things.

Synopsis

grace_envs :: Sig.Parser (DeriveT.Duration, Typecheck.Normalized)
grace_dur_env :: Sig.Parser DeriveT.Duration
grace_dyn_env :: Sig.Parser Double
grace_place_env :: Sig.Parser Typecheck.Normalized
grace_place_doc :: Doc.Doc
default_grace_dur :: Typecheck.DefaultReal
grace_pitches_arg :: Sig.Parser [Either.Either DeriveT.Pitch (ScoreT.Typed Signal.Y)]
grace_pitches_doc :: Doc.Doc
make_grace :: Module.Module -> Doc.Doc -> (NoteDeriver -> NoteDeriver) -> (PassedArgs Score.Event -> [SubT.Event] -> NoteDeriver) -> Generator Note
make_grace_pitch :: Module.Module -> Doc.Doc -> (PassedArgs Score.Event -> [SubT.EventT DeriveT.Pitch] -> NoteDeriver) -> Generator Note
repeat_notes :: NoteDeriver -> Int -> DeriveT.Duration -> Typecheck.Normalized -> PassedArgs a -> Deriver [SubT.Event]
make_grace_notes :: Maybe ScoreTime -> (ScoreTime, ScoreTime) -> [note] -> DeriveT.Duration -> Typecheck.Normalized -> Deriver [SubT.EventT note]
lily_grace :: PassedArgs d -> RealTime -> [DeriveT.Pitch] -> NoteDeriver
c_attr_grace :: Map Int Attrs.Attributes -> Generator Note
grace_attributes :: RealTime -> Map Int Attrs.Attributes -> [DeriveT.Pitch] -> DeriveT.Pitch -> Deriver (Maybe Attrs.Attributes)
legato_grace :: NoteArgs -> Signal.Y -> [DeriveT.Pitch] -> DeriveT.Duration -> Typecheck.Normalized -> NoteDeriver
basic_grace_dyn :: Signal.Y -> PassedArgs a -> [DeriveT.Pitch] -> DeriveT.Duration -> Typecheck.Normalized -> NoteDeriver
basic_grace_transform :: PassedArgs a -> [DeriveT.Pitch] -> (NoteDeriver -> NoteDeriver) -> DeriveT.Duration -> Typecheck.Normalized -> Deriver [SubT.Event]
basic_grace :: PassedArgs a -> [note] -> DeriveT.Duration -> Typecheck.Normalized -> Deriver [SubT.EventT note]
fit_grace_durs :: (Fractional a, Ord a) => Typecheck.Normalized -> Maybe a -> a -> a -> Int -> a -> [(a, a)]
fit_grace :: (Fractional a, Ord a) => Typecheck.Normalized -> Maybe a -> a -> a -> Int -> a -> [a]
fit_before :: (Fractional a, Ord a) => Maybe a -> a -> Int -> a -> [a]
fit_after :: (Fractional a, Ord a) => a -> a -> Int -> a -> [a]
resolve_pitches :: DeriveT.Pitch -> [Either.Either DeriveT.Pitch (ScoreT.Typed Signal.Y)] -> Deriver [DeriveT.Pitch]
check_pitches :: DeriveT.Pitch -> [Either.Either DeriveT.Pitch (ScoreT.Typed Signal.Y)] -> Either.Either Text [DeriveT.Pitch]

standard args

grace_envs :: Sig.Parser (DeriveT.Duration, Typecheck.Normalized) Source #

grace_dur_env :: Sig.Parser DeriveT.Duration Source #

grace_dyn_env :: Sig.Parser Double Source #

grace_place_env :: Sig.Parser Typecheck.Normalized Source #

grace_place_doc :: Doc.Doc Source #

default_grace_dur :: Typecheck.DefaultReal Source #

It's pretty much arbitrary, but this seems ok.

grace_pitches_arg :: Sig.Parser [Either.Either DeriveT.Pitch (ScoreT.Typed Signal.Y)] Source #

grace_pitches_doc :: Doc.Doc Source #

calls

make_grace :: Module.Module -> Doc.Doc -> (NoteDeriver -> NoteDeriver) -> (PassedArgs Score.Event -> [SubT.Event] -> NoteDeriver) -> Generator Note Source #

Make a grace call with the standard arguments.

make_grace_pitch :: Module.Module -> Doc.Doc -> (PassedArgs Score.Event -> [SubT.EventT DeriveT.Pitch] -> NoteDeriver) -> Generator Note Source #

This is like make_grace, but gives you pitches instead of realized events, in case you want to merge them or something.

repeat_notes Source #

Arguments

:: NoteDeriver
-> Int
-> DeriveT.Duration
-> Typecheck.Normalized	placement, `grace_place_doc`
-> PassedArgs a
-> Deriver [SubT.Event]

make_grace_notes Source #

Arguments

:: Maybe ScoreTime
-> (ScoreTime, ScoreTime)	(start, end)
-> [note]	the last note is the destination
-> DeriveT.Duration
-> Typecheck.Normalized	placement, see `grace_place_doc`
-> Deriver [SubT.EventT note]

lily_grace :: PassedArgs d -> RealTime -> [DeriveT.Pitch] -> NoteDeriver Source #

attr grace

c_attr_grace Source #

Arguments

:: Map Int Attrs.Attributes	Map intervals in semitones (positive or negative) to attrs.
-> Generator Note

grace_attributes :: RealTime -> Map Int Attrs.Attributes -> [DeriveT.Pitch] -> DeriveT.Pitch -> Deriver (Maybe Attrs.Attributes) Source #

util

legato_grace :: NoteArgs -> Signal.Y -> [DeriveT.Pitch] -> DeriveT.Duration -> Typecheck.Normalized -> NoteDeriver Source #

basic_grace_dyn :: Signal.Y -> PassedArgs a -> [DeriveT.Pitch] -> DeriveT.Duration -> Typecheck.Normalized -> NoteDeriver Source #

basic_grace_transform :: PassedArgs a -> [DeriveT.Pitch] -> (NoteDeriver -> NoteDeriver) -> DeriveT.Duration -> Typecheck.Normalized -> Deriver [SubT.Event] Source #

basic_grace :: PassedArgs a -> [note] -> DeriveT.Duration -> Typecheck.Normalized -> Deriver [SubT.EventT note] Source #

fit_grace_durs :: (Fractional a, Ord a) => Typecheck.Normalized -> Maybe a -> a -> a -> Int -> a -> [(a, a)] Source #

Determine grace note starting times and durations if they are to fit in the given time range, shortening them if they don't fit.

fit_grace Source #

Arguments

:: (Fractional a, Ord a)
=> Typecheck.Normalized	placement, see `grace_place_doc`
-> Maybe a
-> a
-> a
-> Int
-> a
-> [a]

fit_before :: (Fractional a, Ord a) => Maybe a -> a -> Int -> a -> [a] Source #

fit_after :: (Fractional a, Ord a) => a -> a -> Int -> a -> [a] Source #

resolve_pitches :: DeriveT.Pitch -> [Either.Either DeriveT.Pitch (ScoreT.Typed Signal.Y)] -> Deriver [DeriveT.Pitch] Source #

check_pitches :: DeriveT.Pitch -> [Either.Either DeriveT.Pitch (ScoreT.Typed Signal.Y)] -> Either.Either Text [DeriveT.Pitch] Source #