module Synthesizer.Dimensional.Rate.Control
(
constant, linear, exponential, exponential2, )
where
import qualified Synthesizer.Dimensional.Straight.Signal as SigS
import qualified Synthesizer.State.Control as Ctrl
import qualified Synthesizer.Dimensional.Process as Proc
import qualified Number.DimensionTerm as DN
import qualified Algebra.DimensionTerm as Dim
import qualified Algebra.Transcendental as Trans
import qualified Algebra.Field as Field
import qualified Algebra.Ring as Ring
import NumericPrelude
import PreludeBase
import Prelude ()
constant :: (Ring.C y, Dim.C u) =>
Proc.T s u t (SigS.R s y)
constant = Proc.pure $ SigS.fromSamples $ Ctrl.constant one
linear ::
(Field.C q, Dim.C u) =>
DN.T u q
-> Proc.T s u q (SigS.R s q)
linear dist =
fmap
(SigS.fromSamples . Ctrl.linearMultiscaleNeutral . recip)
(Proc.toTimeScalar dist)
exponential :: (Trans.C q, Dim.C u) =>
DN.T u q
-> Proc.T s u q (SigS.R s q)
exponential time =
fmap
(SigS.fromSamples . Ctrl.exponentialMultiscaleNeutral)
(Proc.toTimeScalar time)
exponential2 :: (Trans.C q, Dim.C u) =>
DN.T u q
-> Proc.T s u q (SigS.R s q)
exponential2 time =
fmap
(SigS.fromSamples . Ctrl.exponential2MultiscaleNeutral)
(Proc.toTimeScalar time)