- data SamplingRate = SamplingRate Integer
- data Samples = Samples Integer
- data Progression = Progression Float
- getProgression (Samples s) (SamplingRate sr) = Progression $ ((fromIntegral s) / (fromIntegral sr))
- getNumSamples (Progression p) (SamplingRate sr) = Samples $ floor $ p * fromIntegral sr
- data Cycle a = Cycle a
- data Frequency = Frequency SafeValue
- data Amplitude = Amplitude SafeValue
- cycleFunc func (Cycle val_a ) (Cycle val_b ) = Cycle $ func val_a val_b
- fromCycleProgression (Cycle (Progression cp)) (Frequency f) = Progression (cp / f)
- toCycleProgression (Progression tp) (Frequency f) = Cycle $ Progression (tp * f)
- fromCycleSignalValue (Cycle (SignalValue sv)) (Amplitude a) = SignalValue (sv * a)
- type BasicFunction = Cycle Progression -> Cycle Progression -> Cycle SignalValue
- class Addable a where
- (-:) :: a -> a -> a
- (+:) :: a -> a -> a
- instance Addable Progression where
- (-:) (Progression a) (Progression b) = Progression (a - b)
- (+:) (Progression a) (Progression b) = Progression (a + b)
- instance (Addable a) => Addable (Cycle a) where
- (-:) (Cycle a) (Cycle b) = Cycle (a -: b)
- (+:) (Cycle a) (Cycle b) = Cycle (a +: b)
- instance Eq Progression where
- (==) (Progression a) (Progression b) = a == b
- instance (Eq a) => Eq (Cycle a) where
- (==) (Cycle a) (Cycle b) = a == b
- instance Ord Progression where
- compare (Progression a) (Progression b) = compare a b
- instance (Ord a) => Ord (Cycle a) where
- compare (Cycle a) (Cycle b) = compare a b
- samplesPerCycle = Cycle $ SamplingRate 100000
- oscillator :: BasicFunction -> BasicOscillator
- oscillator basicFunc fSig aSig Nothing = oscillator basicFunc fSig aSig (Just $ specialize $ flatSignal 0.5)
- oscillator basicFunc fSig aSig (Just pSig) = Signal $ oscillator_ fVals aVals pVals (Cycle (Progression 0)) where
- fVals = sanitize fSig
- aVals = sanitize aSig
- pVals = sanitize pSig
- oscillator_ :: [SafeValue] -> [SafeValue] -> [SafeValue] -> Cycle Progression -> [SignalValue]
- oscillator_ fVals aVals pVals t | t >= (Cycle $ Progression 1) = oscillator_ fVals aVals pVals $ t -: (Cycle $ Progression 1)
- | otherwise = (fromCycleSignalValue basicFunc_ (Amplitude aVal)): oscillatorRest
- where
- fVal:fRest = fVals
- aVal:aRest = aVals
- pVal:pRest = pVals
- basicFunc_ = basicFunc (Cycle (Progression pVal)) t
- oscillatorRest = oscillator_ fRest aRest pRest (t +: cycleProgressionDelta)
- progressionDelta = getProgression (Samples 1) (SamplingRate samplesPerSecond)
- cycleProgressionDelta = toCycleProgression progressionDelta (Frequency fVal)
- osc_square_2 = oscillator basicFunc where
- basicFunc (Cycle (Progression pw)) (Cycle (Progression t)) | t > pw = Cycle $ SignalValue 1
- | otherwise = Cycle $ SignalValue (-1)
create a new version of this paste
RAW Paste Data