module Synthesizer.PiecewiseConstant.Private where
import qualified Synthesizer.Generic.Signal as SigG
import qualified Data.EventList.Relative.BodyTime as EventListBT
import qualified Data.EventList.Relative.TimeBody as EventList
import qualified Numeric.NonNegative.Wrapper as NonNegW
import Control.Monad.Trans.State (evalState, get, put, )
import qualified Data.List as List
import Data.Traversable (traverse, )
import Data.Foldable (traverse_, )
type StrictTime = NonNegW.Integer
type ShortStrictTime = NonNegW.Int
{-# INLINE toSignal #-}
toSignal ::
(SigG.Transform sig y) =>
(StrictTime -> y -> sig y) ->
EventListBT.T StrictTime y -> sig y
toSignal :: forall (sig :: * -> *) y.
Transform sig y =>
(StrictTime -> y -> sig y) -> T StrictTime y -> sig y
toSignal StrictTime -> y -> sig y
replicateLong =
forall body time a.
(body -> time -> a -> a) -> a -> T time body -> a
EventListBT.foldrPair
(\y
y StrictTime
t -> forall sig. Monoid sig => sig -> sig -> sig
SigG.append (StrictTime -> y -> sig y
replicateLong StrictTime
t y
y))
forall sig. Monoid sig => sig
SigG.empty
{-# INLINE toSignalInit #-}
toSignalInit ::
(SigG.Transform sig y) =>
(StrictTime -> y -> sig y) ->
y -> EventList.T StrictTime y -> sig y
toSignalInit :: forall (sig :: * -> *) y.
Transform sig y =>
(StrictTime -> y -> sig y) -> y -> T StrictTime y -> sig y
toSignalInit StrictTime -> y -> sig y
replicateLong y
initial =
(\ ~(StrictTime
t,sig y
rest) -> forall sig. Monoid sig => sig -> sig -> sig
SigG.append (StrictTime -> y -> sig y
replicateLong StrictTime
t y
initial) sig y
rest)
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
forall time a b body.
(time -> a -> b) -> (body -> b -> a) -> b -> T time body -> b
EventList.foldr
(,)
(\y
y ~(StrictTime
t,sig y
rest) -> forall sig. Monoid sig => sig -> sig -> sig
SigG.append (StrictTime -> y -> sig y
replicateLong StrictTime
t y
y) sig y
rest)
(StrictTime
0, forall sig. Monoid sig => sig
SigG.empty)
{-# INLINE toSignalInitWith #-}
toSignalInitWith ::
(SigG.Transform sig c) =>
(StrictTime -> c -> sig c) ->
(y -> c) -> c -> EventList.T StrictTime [y] -> sig c
toSignalInitWith :: forall (sig :: * -> *) c y.
Transform sig c =>
(StrictTime -> c -> sig c)
-> (y -> c) -> c -> T StrictTime [y] -> sig c
toSignalInitWith StrictTime -> c -> sig c
replicateLong y -> c
f c
initial =
forall (sig :: * -> *) y.
Transform sig y =>
(StrictTime -> y -> sig y) -> y -> T StrictTime y -> sig y
toSignalInit StrictTime -> c -> sig c
replicateLong c
initial forall b c a. (b -> c) -> (a -> b) -> a -> c
.
forall a b c. (a -> b -> c) -> b -> a -> c
flip forall s a. State s a -> s -> a
evalState c
initial forall b c a. (b -> c) -> (a -> b) -> a -> c
.
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
traverse (\[y]
evs -> forall (t :: * -> *) (f :: * -> *) a b.
(Foldable t, Applicative f) =>
(a -> f b) -> t a -> f ()
traverse_ (forall (m :: * -> *) s. Monad m => s -> StateT s m ()
put forall b c a. (b -> c) -> (a -> b) -> a -> c
. y -> c
f) [y]
evs forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> forall (m :: * -> *) s. Monad m => StateT s m s
get)
{-# INLINE chopLongTime #-}
chopLongTime :: StrictTime -> [ShortStrictTime]
chopLongTime :: StrictTime -> [ShortStrictTime]
chopLongTime StrictTime
n =
let d :: Integer
d = forall a b. (Integral a, Num b) => a -> b
fromIntegral (forall a. Bounded a => a
maxBound :: Int)
(Integer
q,Integer
r) = forall a. Integral a => a -> a -> (a, a)
divMod (forall a. T a -> a
NonNegW.toNumber StrictTime
n) Integer
d
in forall a b. (a -> b) -> [a] -> [b]
map (forall a. (Ord a, Num a) => String -> a -> T a
NonNegW.fromNumberMsg String
"chopLongTime" forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. Num a => Integer -> a
fromInteger) forall a b. (a -> b) -> a -> b
$
forall i a. Integral i => i -> a -> [a]
List.genericReplicate Integer
q Integer
d forall a. [a] -> [a] -> [a]
++
if Integer
rforall a. Eq a => a -> a -> Bool
/=Integer
0 then [Integer
r] else []