hunk ./synthesizer-inference.cabal 59 - transformers >=0.0.1 && <0.2, + transformers >=0.2 && <0.3, hunk ./src/Synthesizer/Inference/Monad/Signal/Filter.hs 325 - let params = map (Allpass.parameter order phase) freqs + let params = map (Allpass.cascadeParameter order phase) freqs hunk ./synthesizer-inference.cabal 58 - synthesizer-core >=0.2 && <0.4, + synthesizer-core >=0.4 && <0.5, hunk ./synthesizer-inference.cabal 60 - event-list >=0.0.8 && <0.1, - non-negative >=0.0.5 && <0.1, + event-list >=0.0.8 && <0.2, + non-negative >=0.0.5 && <0.2, hunk ./synthesizer-inference.cabal 64 - numeric-prelude >=0.1.1 && <0.2, + numeric-prelude >=0.2 && <0.3, addfile ./Makefile hunk ./Makefile 1 +# HIDE_SYNTH = -hide-package synthesizer + +ghci: + ghci -i:src -Wall $(HIDE_SYNTH) hunk ./alinea/Alinea.hs 1 -{-# OPTIONS -fno-implicit-prelude -fglasgow-exts #-} +{-# LANGUAGE FlexibleContexts #-} +{-# LANGUAGE NoImplicitPrelude #-} replace ./alinea/Alinea.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./alinea/Alinea.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Amplitude/Control.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Amplitude/Control.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Amplitude/Cut.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Amplitude/Cut.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Amplitude/Displacement.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Amplitude/Displacement.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Amplitude/Filter.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Amplitude/Filter.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Amplitude/Signal.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Amplitude/Signal.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Fix/Cut.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Fix/Cut.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Fix/Filter.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Fix/Filter.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Func/Cut.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Func/Cut.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Func/Signal.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Func/Signal.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/Signal.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/Signal.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/Signal/Control.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/Signal/Control.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/Signal/Cut.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/Signal/Cut.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/Signal/Displacement.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/Signal/Displacement.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/Signal/Filter.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/Signal/Filter.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/Signal/Noise.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/Signal/Noise.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/Signal/Oscillator.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/Signal/Oscillator.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/SignalSeq.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/SignalSeq.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/SignalSeq/Control.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/SignalSeq/Cut.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/SignalSeq/Cut.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/SignalSeq/Displacement.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/SignalSeq/Displacement.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/SignalSeq/Filter.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/SignalSeq/Filter.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/SignalSeq/Noise.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/SignalSeq/Noise.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Monad/SignalSeq/Oscillator.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Monad/SignalSeq/Oscillator.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Reader/Control.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Reader/Control.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Reader/Cut.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Reader/Cut.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Reader/Filter.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Reader/Filter.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Reader/Noise.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Reader/Noise.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Reader/Oscillator.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Reader/Oscillator.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Reader/Process.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Reader/Process.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Inference/Reader/Signal.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Inference/Reader/Signal.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Physical/Control.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Physical/Control.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Physical/Cut.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Physical/Cut.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Physical/Displacement.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Physical/Displacement.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Physical/File.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Physical/File.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Physical/Filter.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Physical/Filter.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Physical/Noise.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Physical/Noise.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Physical/Oscillator.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Physical/Oscillator.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Physical/Play.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Physical/Play.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Physical/Signal.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/Physical/Signal.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/SampleRateContext/Control.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/SampleRateContext/Control.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/SampleRateContext/Cut.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/SampleRateContext/Cut.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/SampleRateContext/Displacement.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/SampleRateContext/Displacement.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/SampleRateContext/Filter.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/SampleRateContext/Filter.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/SampleRateContext/Noise.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/SampleRateContext/Noise.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/SampleRateContext/Oscillator.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/SampleRateContext/Oscillator.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/SampleRateContext/Rate.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/SampleRateContext/Rate.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/SampleRateContext/Signal.hs [A-Za-z_0-9\-\.] NumericPrelude NumericPrelude.Numeric replace ./src/Synthesizer/SampleRateContext/Signal.hs [A-Za-z_0-9\-\.] PreludeBase NumericPrelude.Base replace ./src/Synthesizer/Amplitude/Control.hs [A-Za-z_0-9] Real Absolute replace ./src/Synthesizer/Amplitude/Displacement.hs [A-Za-z_0-9] Real Absolute hunk ./src/Synthesizer/Inference/Fix/Cut.hs 121 - (Eq t', Real.C y', Field.C y', Module.C y yv, OccScalar.C y y') => + (Eq t', Ord y', Real.C y', Field.C y', Module.C y yv, OccScalar.C y y') => hunk ./src/Synthesizer/Inference/Fix/Cut.hs 169 -merge :: (Eq t', Real.C y', Field.C y', OccScalar.C y y', +merge :: (Eq t', Ord y', Real.C y', Field.C y', OccScalar.C y y', hunk ./src/Synthesizer/Inference/Fix/Cut.hs 188 -append :: (Eq t', Real.C y', Field.C y', OccScalar.C y y', +append :: (Eq t', Ord y', Real.C y', Field.C y', OccScalar.C y y', hunk ./src/Synthesizer/Inference/Fix/Cut.hs 196 -zip :: (Eq t', Real.C y', Field.C y', OccScalar.C y y', +zip :: (Eq t', Ord y', Real.C y', Field.C y', OccScalar.C y y', replace ./src/Synthesizer/Inference/Fix/Cut.hs [A-Za-z_0-9] Real Absolute replace ./src/Synthesizer/Inference/Fix/Filter.hs [A-Za-z_0-9] Real Absolute hunk ./src/Synthesizer/Inference/Func/Cut.hs 115 - (Eq t', Real.C y', Field.C y', Module.C y yv, OccScalar.C y y') => + (Eq t', Ord y', Real.C y', Field.C y', Module.C y yv, OccScalar.C y y') => hunk ./src/Synthesizer/Inference/Func/Cut.hs 163 -merge :: (Eq t', Real.C y', Field.C y', OccScalar.C y y', +merge :: (Eq t', Ord y', Real.C y', Field.C y', OccScalar.C y y', hunk ./src/Synthesizer/Inference/Func/Cut.hs 182 -append :: (Eq t', Real.C y', Field.C y', OccScalar.C y y', +append :: (Eq t', Ord y', Real.C y', Field.C y', OccScalar.C y y', hunk ./src/Synthesizer/Inference/Func/Cut.hs 190 -zip :: (Eq t', Real.C y', Field.C y', OccScalar.C y y', +zip :: (Eq t', Ord y', Real.C y', Field.C y', OccScalar.C y y', replace ./src/Synthesizer/Inference/Func/Cut.hs [A-Za-z_0-9] Real Absolute hunk ./src/Synthesizer/Inference/Monad/Signal/Control.hs 71 -linear :: (Field.C a, Field.C q, Real.C q, OccScalar.C a q) => +linear :: (Field.C a, Field.C q, Ord q, Real.C q, OccScalar.C a q) => hunk ./src/Synthesizer/Inference/Monad/Signal/Control.hs 116 - Real.C q, Field.C q, OccScalar.C a q) => + Ord q, Real.C q, Field.C q, OccScalar.C a q) => replace ./src/Synthesizer/Inference/Monad/Signal/Control.hs [A-Za-z_0-9] Real Absolute replace ./src/Synthesizer/Inference/Monad/Signal/Cut.hs [A-Za-z_0-9] Real Absolute hunk ./src/Synthesizer/Inference/Monad/Signal/Filter.hs 201 -phaserStereo :: (Additive.C v, Field.C q, Eq q, Real.C q, RealField.C a, +phaserStereo :: (Additive.C v, Field.C q, Ord q, Real.C q, RealField.C a, replace ./src/Synthesizer/Inference/Monad/Signal/Filter.hs [A-Za-z_0-9] Real Absolute replace ./src/Synthesizer/Inference/Monad/SignalSeq/Control.hs [A-Za-z_0-9] Real Absolute replace ./src/Synthesizer/Inference/Monad/SignalSeq/Cut.hs [A-Za-z_0-9] Real Absolute hunk ./src/Synthesizer/Inference/Monad/SignalSeq/Filter.hs 144 -phaserStereo :: (Additive.C v, Field.C q, Eq q, Real.C q, RealField.C a, +phaserStereo :: (Additive.C v, Field.C q, Ord q, Real.C q, RealField.C a, replace ./src/Synthesizer/Inference/Monad/SignalSeq/Filter.hs [A-Za-z_0-9] Real Absolute hunk ./src/Synthesizer/Inference/Reader/Control.hs 46 -import qualified Algebra.Real as Real +import qualified Algebra.Real as Real hunk ./src/Synthesizer/Inference/Reader/Control.hs 50 --- import NumericPrelude.Base as P +import NumericPrelude.Base (Ord, ) hunk ./src/Synthesizer/Inference/Reader/Control.hs 96 - Real.C q', OccScalar.C q q') => + Ord q', Real.C q', OccScalar.C q q') => hunk ./src/Synthesizer/Inference/Reader/Control.hs 129 - Real.C q', Field.C q', OccScalar.C q q') => + Ord q', Real.C q', Field.C q', OccScalar.C q q') => replace ./src/Synthesizer/Inference/Reader/Control.hs [A-Za-z_0-9] Real Absolute replace ./src/Synthesizer/Inference/Reader/Cut.hs [A-Za-z_0-9] Real Absolute replace ./src/Synthesizer/Inference/Reader/Filter.hs [A-Za-z_0-9] Real Absolute replace ./src/Synthesizer/Physical/Control.hs [A-Za-z_0-9] Real Absolute hunk ./src/Synthesizer/Physical/Cut.hs 86 -concat :: (Real.C y', Field.C y', Eq t', OccScalar.C y y', +concat :: (Ord y', Real.C y', Field.C y', Eq t', OccScalar.C y y', hunk ./src/Synthesizer/Physical/Cut.hs 104 -append :: (Eq t', Real.C y', Field.C y', OccScalar.C y y', +append :: (Eq t', Ord y', Real.C y', Field.C y', OccScalar.C y y', hunk ./src/Synthesizer/Physical/Cut.hs 129 -zip :: (Eq t', Real.C y', Field.C y', OccScalar.C y y', +zip :: (Eq t', Ord y', Real.C y', Field.C y', OccScalar.C y y', hunk ./src/Synthesizer/Physical/Cut.hs 137 -zip3 :: (Eq t', Real.C y', Field.C y', OccScalar.C y y', +zip3 :: (Eq t', Ord y', Real.C y', Field.C y', OccScalar.C y y', hunk ./src/Synthesizer/Physical/Cut.hs 146 -propZip :: (Eq t', Eq y', Field.C y', Real.C y', +propZip :: (Eq t', Eq y', Field.C y', Ord y', Real.C y', hunk ./src/Synthesizer/Physical/Cut.hs 153 -propZip3 :: (Eq t', Eq y', Field.C y', Real.C y', +propZip3 :: (Eq t', Eq y', Field.C y', Ord y', Real.C y', replace ./src/Synthesizer/Physical/Cut.hs [A-Za-z_0-9] Real Absolute replace ./src/Synthesizer/Physical/Displacement.hs [A-Za-z_0-9] Real Absolute hunk ./src/Synthesizer/SampleRateContext/Control.hs 92 - Real.C q', OccScalar.C q q') => + Ord q', Real.C q', OccScalar.C q q') => hunk ./src/Synthesizer/SampleRateContext/Control.hs 136 - Real.C q', Field.C q', OccScalar.C q q') => + Ord q', Real.C q', Field.C q', OccScalar.C q q') => replace ./src/Synthesizer/SampleRateContext/Control.hs [A-Za-z_0-9] Real Absolute hunk ./src/Synthesizer/SampleRateContext/Cut.hs 43 +import qualified Algebra.RealRing as RealRing hunk ./src/Synthesizer/SampleRateContext/Cut.hs 58 - let (ss0,ss1) = List.splitAt (RealField.round (toTimeScalar sr t')) (SigC.samples x) + let (ss0,ss1) = List.splitAt (RealRing.round (toTimeScalar sr t')) (SigC.samples x) hunk ./src/Synthesizer/SampleRateContext/Cut.hs 79 - (RealField.ceiling t) (SigC.samples x)) x + (RealRing.ceiling t) (SigC.samples x)) x replace ./src/Synthesizer/SampleRateContext/Displacement.hs [A-Za-z_0-9] Real Absolute replace ./src/Synthesizer/SampleRateContext/Filter.hs [A-Za-z_0-9] Real Absolute replace ./src/Synthesizer/SampleRateContext/Signal.hs [A-Za-z_0-9] Real Absolute hunk ./src/Synthesizer/Inference/Fix.hs 211 + +{- +Is it necessary to write + yParams = closeParameterCycles yResults +and, or is it enough to write + yParams = yResults +? +The latter one would allow any type, +and thus any number of logic variables, +thus a combinator that is general enough for an arrow like operator <<<. +It would require that the Result and the Parameter type is the same. + +If yParams = yResuls is not possible, +is it possible to write a type class that closes the loop? + + +newtype Processor params results inSignals outSignals = + Processor + (((params, inSignals), results) -> + (params, (outSignals, results))) +-}