module Synthesizer.Dimensional.Rate.Dirac where
import qualified Synthesizer.Generic.Cut as Cut
import qualified Synthesizer.Dimensional.RatePhantom as RP
import qualified Synthesizer.Dimensional.Amplitude.Signal as SigA
import qualified Synthesizer.Dimensional.Straight.Signal as SigS
import qualified Synthesizer.Dimensional.Process as Proc
import qualified Data.Monoid as Mn
import qualified Algebra.DimensionTerm as Dim
import qualified Algebra.Ring as Ring
import Data.Tuple.HT (mapPair, mapSnd, )
import NumericPrelude (zero, one, )
newtype T s sig = Cons {decons :: sig Bool}
instance Mn.Monoid (sig Bool) => Mn.Monoid (T s sig) where
mempty = Cons Mn.mempty
mappend (Cons x) (Cons y) = Cons (Mn.mappend x y)
instance Cut.Read (sig Bool) => Cut.Read (T s sig) where
null = Cut.null . decons
length = Cut.length . decons
instance Cut.Transform (sig Bool) => Cut.Transform (T s sig) where
take n = Cons . Cut.take n . decons
drop n = Cons . Cut.drop n . decons
splitAt n = mapPair (Cons, Cons) . Cut.splitAt n . decons
dropMarginRem n m = mapSnd Cons . Cut.dropMarginRem n m . decons
reverse = Cons . Cut.reverse . decons
toAmplitudeSignal ::
(Ring.C q, Dim.C u, Functor sig) =>
Proc.T s u q (T s sig -> RP.T s (SigA.D (Dim.Recip u) q (SigS.T sig)) q)
toAmplitudeSignal =
fmap
(\rate ->
RP.fromSignal . SigA.Cons rate . SigS.Cons .
fmap (\c -> if c then one else zero) .
decons)
Proc.getSampleRate