Safe Haskell	Safe-Inferred

Derive.Derive

Description

Re-export the core deriver library. Most calls should import this module rather than the lower level ones.

Synopsis

module Derive.Deriver.Monad
module Derive.Deriver.Lib
class Time a where
- real :: a -> Deriver RealTime
- score :: a -> Deriver ScoreTime
- to_duration :: a -> Duration
get_environ :: Deriver Environ
get_ui_state :: (State -> a) -> Deriver a
get_ui_config :: (Config -> a) -> Deriver a
get_track :: TrackId -> Deriver Track
get_block :: BlockId -> Deriver Block
eval_ui :: Stack => StateId a -> Deriver a
in_real_time :: Deriver a -> Deriver a
at :: ScoreTime -> Deriver a -> Deriver a
stretch :: ScoreTime -> Deriver a -> Deriver a
place :: ScoreTime -> ScoreTime -> Deriver a -> Deriver a
block_logical_range :: BlockId -> Deriver (TrackTime, TrackTime)

Documentation

module Derive.Deriver.Monad

module Derive.Deriver.Lib

class Time a where Source #

Times are types that can be converted to RealTime and ScoreTime.

Methods

real :: a -> Deriver RealTime Source #

score :: a -> Deriver ScoreTime Source #

to_duration :: a -> Duration Source #

Instances

Instances details

Time Duration Source #
Instance details Defined in Derive.Deriver.Internal Methods real :: Duration -> Deriver RealTime Source # score :: Duration -> Deriver ScoreTime Source # to_duration :: Duration -> Duration Source #
Time DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods real :: DefaultReal -> Deriver RealTime Source # score :: DefaultReal -> Deriver ScoreTime Source # to_duration :: DefaultReal -> Duration Source #
Time DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods real :: DefaultScore -> Deriver RealTime Source # score :: DefaultScore -> Deriver ScoreTime Source # to_duration :: DefaultScore -> Duration Source #
Time RealTime Source #
Instance details Defined in Derive.Deriver.Internal Methods real :: RealTime -> Deriver RealTime Source # score :: RealTime -> Deriver ScoreTime Source # to_duration :: RealTime -> Duration Source #
Time ScoreTime Source #
Instance details Defined in Derive.Deriver.Internal Methods real :: ScoreTime -> Deriver RealTime Source # score :: ScoreTime -> Deriver ScoreTime Source # to_duration :: ScoreTime -> Duration Source #

get_environ :: Deriver Environ Source #

get_ui_state :: (State -> a) -> Deriver a Source #

get_ui_config :: (Config -> a) -> Deriver a Source #

get_track :: TrackId -> Deriver Track Source #

Because Deriver is not a UiStateMonad.

TODO I suppose it could be, but then I'd be tempted to make a ReadOnlyUiStateMonad. And I'd have to merge the exceptions. Or just rethrow, right?

get_block :: BlockId -> Deriver Block Source #

eval_ui :: Stack => StateId a -> Deriver a Source #

Evaluate a Ui.M computation, rethrowing any errors.

in_real_time :: Deriver a -> Deriver a Source #

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

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

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

at and stretch in one. It's a little more efficient than using them separately. The order is stretch, then shift.

block_logical_range :: BlockId -> Deriver (TrackTime, TrackTime) Source #

Sub-derived blocks are stretched according to their length, and this function defines the length of a block. This is therefore the logical duration of the block, which may be shorter or lorger than the end of the last event, or the ruler.