Safe Haskell	Safe-Inferred

Derive.Call.SubT

Synopsis

data Track = Track {
- _source :: !(Either Text Id.TrackId)
- _events :: ![Event]
}
show_track :: Track -> Text
type Event = EventT Derive.NoteDeriver
data EventT a = EventT {
- _start :: !ScoreTime
- _duration :: !ScoreTime
- _note :: !a
}
end :: EventT a -> ScoreTime
overlaps :: ScoreTime -> EventT a -> Bool
place :: ScoreTime -> ScoreTime -> EventT a -> EventT a
stretch :: ScoreTime -> EventT a -> EventT a
at :: ScoreTime -> EventT a -> EventT a

Documentation

data Track Source #

Constructors

Track
Fields _source :: !(Either Text Id.TrackId) Usually this comes from a sliced track with a TrackId, but sometimes from `Derive.ctx_sub_events`, or an unnamed track. _events :: ![Event]

Instances

Instances details

Typecheck Track Source #
Instance details Defined in Derive.Typecheck Methods from_val :: Val -> Checked Track Source # to_type :: Proxy Track -> Type Source # from_subtrack :: Track -> Maybe Track Source #
Pretty.Pretty Track Source #
Instance details Defined in Derive.Call.SubT Methods pretty :: Track -> Text Source # format :: Track -> Doc Source # formatList :: [Track] -> Doc Source #

show_track :: Track -> Text Source #

type Event = EventT Derive.NoteDeriver Source #

Sliced sub-events are represented as a start, duration, and opaque deriver. This is a compromise between a plain NoteDeriver, which is fully abstract but also fully opaque, and some kind of note data structure, which is fully concrete (and thus inflexible), but also transparent to modification.

data EventT a Source #

Constructors

EventT
Fields _start :: !ScoreTime _duration :: !ScoreTime _note :: !a

Instances

Instances details

Functor EventT Source #
Instance details Defined in Derive.Call.SubT Methods fmap :: (a -> b) -> EventT a -> EventT b # (<$) :: a -> EventT b -> EventT a #
Show a => Show (EventT a) Source #
Instance details Defined in Derive.Call.SubT Methods showsPrec :: Int -> EventT a -> ShowS # show :: EventT a -> String # showList :: [EventT a] -> ShowS #
Pretty.Pretty a => Pretty.Pretty (EventT a) Source #
Instance details Defined in Derive.Call.SubT Methods pretty :: EventT a -> Text Source # format :: EventT a -> Doc Source # formatList :: [EventT a] -> Doc Source #

end :: EventT a -> ScoreTime Source #

overlaps :: ScoreTime -> EventT a -> Bool Source #

place :: ScoreTime -> ScoreTime -> EventT a -> EventT a Source #

stretch :: ScoreTime -> EventT a -> EventT a Source #

at :: ScoreTime -> EventT a -> EventT a Source #