Safe Haskell	Safe-Inferred

Derive.Call.Speed

Description

Utilities dealing with speeds.

Synopsis

data Speed
- = Score !ScoreTime.ScoreTime
- | Real !RealTime.RealTime
arg :: Sig.Parser Typecheck.RealTimeFunctionT
starts :: Internal.Time t => Typecheck.RealTimeFunctionT -> (t, t) -> Bool -> Deriver [RealTime.RealTime]
starts_curve :: ControlUtil.CurveF -> Speed -> Speed -> (RealTime.RealTime, RealTime.RealTime) -> Bool -> Deriver [RealTime.RealTime]
speed_to_duration :: Speed -> DeriveT.Duration
real_starts :: ScoreT.Function -> RealTime.RealTime -> RealTime.RealTime -> Deriver [RealTime.RealTime]
score_starts :: ScoreT.Function -> ScoreTime.ScoreTime -> ScoreTime.ScoreTime -> Deriver [ScoreTime.ScoreTime]
convert_score_signal :: ScoreT.Function -> Deriver (ScoreTime.ScoreTime -> ScoreTime.ScoreTime)
duration_starts :: (Num a, Ord a, Show a) => (a -> a) -> a -> a -> Either Text [a]

Documentation

data Speed Source #

Constructors

Score !ScoreTime.ScoreTime
Real !RealTime.RealTime

Instances

Instances details

Show Speed Source #
Instance details Defined in Derive.Call.Speed Methods showsPrec :: Int -> Speed -> ShowS # show :: Speed -> String # showList :: [Speed] -> ShowS #
ShowVal.ShowVal Speed Source #
Instance details Defined in Derive.Call.Speed Methods show_val :: Speed -> Text Source #
Typecheck.ToVal Speed Source #
Instance details Defined in Derive.Call.Speed Methods to_val :: Speed -> DeriveT.Val Source #
Typecheck.Typecheck Speed Source #
Instance details Defined in Derive.Call.Speed Methods from_val :: DeriveT.Val -> Typecheck.Checked Speed Source # to_type :: Proxy Speed -> ValType.Type Source # from_subtrack :: Track -> Maybe Speed Source #
Typecheck.TypecheckNum Speed Source #
Instance details Defined in Derive.Call.Speed Methods num_type :: Proxy Speed -> ValType.NumType Source #

arg :: Sig.Parser Typecheck.RealTimeFunctionT Source #

starts Source #

Arguments

:: Internal.Time t
=> Typecheck.RealTimeFunctionT
-> (t, t)
-> Bool	If True, include a sample at the end time.
-> Deriver [RealTime.RealTime]

Get start times until the end of the range, at the given speed.

starts_curve Source #

Arguments

:: ControlUtil.CurveF
-> Speed
-> Speed
-> (RealTime.RealTime, RealTime.RealTime)
-> Bool	If True, include a sample at the end time.
-> Deriver [RealTime.RealTime]

Get start times for a changing speed. The difference with starts is that the start and end speeds can be different types.

speed_to_duration :: Speed -> DeriveT.Duration Source #

real_starts :: ScoreT.Function -> RealTime.RealTime -> RealTime.RealTime -> Deriver [RealTime.RealTime] Source #

Emit RealTimes at the given speed, which may change over time. The speed is taken as hertz in real time, and must be >0.

This returns samples up to and including the end.

score_starts :: ScoreT.Function -> ScoreTime.ScoreTime -> ScoreTime.ScoreTime -> Deriver [ScoreTime.ScoreTime] Source #

Emit ScoreTimes at the given speed, which may change over time. The ScoreTimes are emitted as the reciprocal of the signal at the given point in time, so it must be >0.

The result is that the speed of the emitted samples should depend on the tempo in effect.

This returns samples up to and including the end.

convert_score_signal :: ScoreT.Function -> Deriver (ScoreTime.ScoreTime -> ScoreTime.ScoreTime) Source #

Convert a function from RealTime to a ScoreTime duration to a function from ScoreTime to ScoreTime duration.

duration_starts :: (Num a, Ord a, Show a) => (a -> a) -> a -> a -> Either Text [a] Source #