reactive-midyim 0.4.1.1 → 0.4.1.2

raw patch · 1 files changed

+9/−8 lines, 1 filesdep ~semigroupsPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: semigroups

API changes (from Hackage documentation)

- Reactive.Banana.MIDI.Common: Future :: T m Relative Ticks -> a -> Future m a

+ Reactive.Banana.MIDI.Common: Future :: T m Relative Ticks -> a -> Future (m :: Type -> Type) a

- Reactive.Banana.MIDI.Common: [futureData] :: Future m a -> a

+ Reactive.Banana.MIDI.Common: [futureData] :: Future (m :: Type -> Type) a -> a

- Reactive.Banana.MIDI.Common: [futureTime] :: Future m a -> T m Relative Ticks

+ Reactive.Banana.MIDI.Common: [futureTime] :: Future (m :: Type -> Type) a -> T m Relative Ticks

- Reactive.Banana.MIDI.Common: data Future m a

+ Reactive.Banana.MIDI.Common: data Future (m :: Type -> Type) a

- Reactive.Banana.MIDI.Common: immediateBundle :: [a] -> Bundle m a

+ Reactive.Banana.MIDI.Common: immediateBundle :: forall a (m :: Type -> Type). [a] -> Bundle m a

- Reactive.Banana.MIDI.Common: mergeEither :: (C time) => T time a -> T time b -> T time (Either a b)

+ Reactive.Banana.MIDI.Common: mergeEither :: C time => T time a -> T time b -> T time (Either a b)

- Reactive.Banana.MIDI.Common: mergeStable :: (C time) => T time body -> T time body -> T time body

+ Reactive.Banana.MIDI.Common: mergeStable :: C time => T time body -> T time body -> T time body

- Reactive.Banana.MIDI.Common: now :: a -> Future m a

+ Reactive.Banana.MIDI.Common: now :: forall a (m :: Type -> Type). a -> Future m a

- Reactive.Banana.MIDI.Common: singletonBundle :: a -> Bundle m a

+ Reactive.Banana.MIDI.Common: singletonBundle :: forall a (m :: Type -> Type). a -> Bundle m a

- Reactive.Banana.MIDI.Common: splitFraction :: (RealFrac a) => a -> (Int, a)

+ Reactive.Banana.MIDI.Common: splitFraction :: RealFrac a => a -> (Int, a)

- Reactive.Banana.MIDI.Common: type Bundle m a = [Future m a]

+ Reactive.Banana.MIDI.Common: type Bundle (m :: Type -> Type) a = [Future m a]

- Reactive.Banana.MIDI.Controller: duration :: (RelativeTickTime m, RelativeTickTime m) -> Int -> RelativeTickTime m

+ Reactive.Banana.MIDI.Controller: duration :: forall (m :: Type -> Type). (RelativeTickTime m, RelativeTickTime m) -> Int -> RelativeTickTime m

- Reactive.Banana.MIDI.Controller: durationExponential :: (RelativeTickTime m, RelativeTickTime m) -> Int -> RelativeTickTime m

+ Reactive.Banana.MIDI.Controller: durationExponential :: forall (m :: Type -> Type). (RelativeTickTime m, RelativeTickTime m) -> Int -> RelativeTickTime m

- Reactive.Banana.MIDI.Controller: durationLinear :: (RelativeTickTime m, RelativeTickTime m) -> Int -> RelativeTickTime m

+ Reactive.Banana.MIDI.Controller: durationLinear :: forall (m :: Type -> Type). (RelativeTickTime m, RelativeTickTime m) -> Int -> RelativeTickTime m

- Reactive.Banana.MIDI.Controller: type RelativeTickTime m = T m Relative Ticks

+ Reactive.Banana.MIDI.Controller: type RelativeTickTime (m :: Type -> Type) = T m Relative Ticks

- Reactive.Banana.MIDI.Guitar: choosePitchForString :: (C pitch) => [pitch] -> Pitch -> Maybe pitch

+ Reactive.Banana.MIDI.Guitar: choosePitchForString :: C pitch => [pitch] -> Pitch -> Maybe pitch

- Reactive.Banana.MIDI.Guitar: mapChordToString :: (C pitch) => [Pitch] -> [pitch] -> [pitch]

+ Reactive.Banana.MIDI.Guitar: mapChordToString :: C pitch => [Pitch] -> [pitch] -> [pitch]

- Reactive.Banana.MIDI.KeySet: class C set

+ Reactive.Banana.MIDI.KeySet: class C (set :: Type -> Type -> Type)

- Reactive.Banana.MIDI.KeySet: class Map set

+ Reactive.Banana.MIDI.KeySet: class Map (set :: Type -> Type -> Type)

- Reactive.Banana.MIDI.KeySet: releasePlayedKeys :: (Map set) => State (set key value) [Boundary key value]

+ Reactive.Banana.MIDI.KeySet: releasePlayedKeys :: Map set => State (set key value) [Boundary key value]

- Reactive.Banana.MIDI.KeySet: sizeGen :: (Map set) => set key value -> Int

+ Reactive.Banana.MIDI.KeySet: sizeGen :: Map set => set key value -> Int

- Reactive.Banana.MIDI.KeySet: toListGen :: (Map set) => set key value -> [(key, value)]

+ Reactive.Banana.MIDI.KeySet: toListGen :: Map set => set key value -> [(key, value)]

- Reactive.Banana.MIDI.Note: BoundaryExt :: (Boundary key value) -> BoundaryExt key value

+ Reactive.Banana.MIDI.Note: BoundaryExt :: Boundary key value -> BoundaryExt key value

- Reactive.Banana.MIDI.Note: bundle :: (C msg) => T m Relative Ticks -> T m Relative Ticks -> (PitchChannel, Velocity) -> Bundle m msg

+ Reactive.Banana.MIDI.Note: bundle :: forall msg (m :: Type -> Type). C msg => T m Relative Ticks -> T m Relative Ticks -> (PitchChannel, Velocity) -> Bundle m msg

- Reactive.Banana.MIDI.Note: lift :: (C msg, C msg) => (Boundary PitchChannel Velocity -> Boundary PitchChannel Velocity) -> (msg -> Maybe msg)

+ Reactive.Banana.MIDI.Note: lift :: (C msg, C msg) => (Boundary PitchChannel Velocity -> Boundary PitchChannel Velocity) -> msg -> Maybe msg

- Reactive.Banana.MIDI.Note: liftMaybe :: (C msg, C msg) => (Boundary PitchChannel Velocity -> Maybe (Boundary PitchChannel Velocity)) -> (msg -> Maybe msg)

+ Reactive.Banana.MIDI.Note: liftMaybe :: (C msg, C msg) => (Boundary PitchChannel Velocity -> Maybe (Boundary PitchChannel Velocity)) -> msg -> Maybe msg

- Reactive.Banana.MIDI.Pattern: Poly :: (Selector set key value i) -> (T Int [IndexNote i]) -> Poly set key value i

+ Reactive.Banana.MIDI.Pattern: Poly :: Selector set key value i -> T Int [IndexNote i] -> Poly (set :: Type -> Type -> Type) key value i

- Reactive.Banana.MIDI.Pattern: crossSumIndex :: (MonadMoment m) => Behavior Int -> Event time -> m (Event Int)

+ Reactive.Banana.MIDI.Pattern: crossSumIndex :: MonadMoment m => Behavior Int -> Event time -> m (Event Int)

- Reactive.Banana.MIDI.Pattern: crossSumStaticIndex :: (MonadMoment m) => Int -> Event time -> m (Event Int)

+ Reactive.Banana.MIDI.Pattern: crossSumStaticIndex :: MonadMoment m => Int -> Event time -> m (Event Int)

- Reactive.Banana.MIDI.Pattern: cycleDownIndex :: (MonadMoment m) => Behavior Int -> Event time -> m (Event Int)

+ Reactive.Banana.MIDI.Pattern: cycleDownIndex :: MonadMoment m => Behavior Int -> Event time -> m (Event Int)

- Reactive.Banana.MIDI.Pattern: cycleUpIndex :: (MonadMoment m) => Behavior Int -> Event time -> m (Event Int)

+ Reactive.Banana.MIDI.Pattern: cycleUpIndex :: MonadMoment m => Behavior Int -> Event time -> m (Event Int)

- Reactive.Banana.MIDI.Pattern: data Poly set key value i

+ Reactive.Banana.MIDI.Pattern: data Poly (set :: Type -> Type -> Type) key value i

- Reactive.Banana.MIDI.Pattern: fromList :: (MonadMoment m) => [a] -> Event time -> m (Event a)

+ Reactive.Banana.MIDI.Pattern: fromList :: MonadMoment m => [a] -> Event time -> m (Event a)

- Reactive.Banana.MIDI.Pattern: mono :: (MonadMoment m) => Selector set key Velocity i -> Behavior (set key Velocity) -> Event i -> m (Event [Boundary key Velocity])

+ Reactive.Banana.MIDI.Pattern: mono :: MonadMoment m => Selector set key Velocity i -> Behavior (set key Velocity) -> Event i -> m (Event [Boundary key Velocity])

- Reactive.Banana.MIDI.Pattern: pingPongIndex :: (MonadMoment m) => Behavior Int -> Event time -> m (Event Int)

+ Reactive.Banana.MIDI.Pattern: pingPongIndex :: MonadMoment m => Behavior Int -> Event time -> m (Event Int)

- Reactive.Banana.MIDI.Pattern: poly :: (MonadMoment m) => Selector set key Velocity i -> Behavior (set key Velocity) -> Event [IndexNote i] -> m (Event [Boundary key Velocity])

+ Reactive.Banana.MIDI.Pattern: poly :: MonadMoment m => Selector set key Velocity i -> Behavior (set key Velocity) -> Event [IndexNote i] -> m (Event [Boundary key Velocity])

- Reactive.Banana.MIDI.Pattern: type Selector set key value i = i -> set key value -> [(key, value)]

+ Reactive.Banana.MIDI.Pattern: type Selector (set :: Type -> Type -> Type) key value i = i -> set key value -> [(key, value)]

- Reactive.Banana.MIDI.Pattern: type T m time set key value = Behavior (set key value) -> Event time -> m (Event [Boundary key value])

+ Reactive.Banana.MIDI.Pattern: type T (m :: Type -> Type) time (set :: Type -> Type -> Type) key value = Behavior set key value -> Event time -> m Event [Boundary key value]

- Reactive.Banana.MIDI.Process: beat :: (Reactor reactor) => Behavior (RelativeTicks reactor) -> reactor (Event (AbsoluteTicks reactor))

+ Reactive.Banana.MIDI.Process: beat :: Reactor reactor => Behavior (RelativeTicks reactor) -> reactor (Event (AbsoluteTicks reactor))

- Reactive.Banana.MIDI.Process: beatQuant :: (Reactor reactor) => RelativeTicks reactor -> Behavior (RelativeTicks reactor) -> reactor (Event (AbsoluteTicks reactor))

+ Reactive.Banana.MIDI.Process: beatQuant :: Reactor reactor => RelativeTicks reactor -> Behavior (RelativeTicks reactor) -> reactor (Event (AbsoluteTicks reactor))

- Reactive.Banana.MIDI.Process: beatVar :: (Reactor reactor) => Behavior (AbsoluteTicks reactor) -> Behavior (RelativeTicks reactor) -> reactor (Event (AbsoluteTicks reactor))

+ Reactive.Banana.MIDI.Process: beatVar :: Reactor reactor => Behavior (AbsoluteTicks reactor) -> Behavior (RelativeTicks reactor) -> reactor (Event (AbsoluteTicks reactor))

- Reactive.Banana.MIDI.Process: class MomentIO moment

+ Reactive.Banana.MIDI.Process: class MomentIO (moment :: Type -> Type)

- Reactive.Banana.MIDI.Process: class (MomentIO reactor, Timed reactor) => Reactor reactor

+ Reactive.Banana.MIDI.Process: class (MomentIO reactor, Timed reactor) => Reactor (reactor :: Type -> Type)

- Reactive.Banana.MIDI.Process: delay :: RelativeTicks m -> Event ev -> Event (Future m ev)

+ Reactive.Banana.MIDI.Process: delay :: forall (m :: Type -> Type) ev. RelativeTicks m -> Event ev -> Event (Future m ev)

- Reactive.Banana.MIDI.Process: delayAdd :: RelativeTicks m -> Event ev -> Event (Future m ev)

+ Reactive.Banana.MIDI.Process: delayAdd :: forall (m :: Type -> Type) ev. RelativeTicks m -> Event ev -> Event (Future m ev)

- Reactive.Banana.MIDI.Process: delaySchedule :: (Reactor reactor) => RelativeTicks reactor -> Behavior (AbsoluteTicks reactor) -> Event a -> reactor (Event a)

+ Reactive.Banana.MIDI.Process: delaySchedule :: Reactor reactor => RelativeTicks reactor -> Behavior (AbsoluteTicks reactor) -> Event a -> reactor (Event a)

- Reactive.Banana.MIDI.Process: initialEvent :: (Reactor reactor) => a -> reactor (Event a)

+ Reactive.Banana.MIDI.Process: initialEvent :: Reactor reactor => a -> reactor (Event a)

- Reactive.Banana.MIDI.Process: makeControllerLinear :: (C msg) => Channel -> Controller -> Behavior Int -> Behavior Int -> Event time -> Behavior Double -> Event msg

+ Reactive.Banana.MIDI.Process: makeControllerLinear :: C msg => Channel -> Controller -> Behavior Int -> Behavior Int -> Event time -> Behavior Double -> Event msg

- Reactive.Banana.MIDI.Process: noteSequence :: RelativeTicks m -> Bool -> [Bool -> msg] -> Bundle m msg

+ Reactive.Banana.MIDI.Process: noteSequence :: forall (m :: Type -> Type) msg. RelativeTicks m -> Bool -> [Bool -> msg] -> Bundle m msg

- Reactive.Banana.MIDI.Process: scheduleQueue :: (Reactor reactor) => Behavior (AbsoluteTicks reactor) -> Event (Bundle reactor a) -> reactor (Event a)

+ Reactive.Banana.MIDI.Process: scheduleQueue :: Reactor reactor => Behavior (AbsoluteTicks reactor) -> Event (Bundle reactor a) -> reactor (Event a)

- Reactive.Banana.MIDI.Process: sweep :: (Reactor reactor) => RelativeSeconds reactor -> (Double -> Double) -> Behavior Double -> reactor (Event (AbsoluteTicks reactor), Behavior Double)

+ Reactive.Banana.MIDI.Process: sweep :: Reactor reactor => RelativeSeconds reactor -> (Double -> Double) -> Behavior Double -> reactor (Event (AbsoluteTicks reactor), Behavior Double)

- Reactive.Banana.MIDI.Process: type AbsoluteTicks m = T m Absolute Ticks

+ Reactive.Banana.MIDI.Process: type AbsoluteTicks (m :: Type -> Type) = T m Absolute Ticks

- Reactive.Banana.MIDI.Process: type RelativeSeconds m = T m Relative Seconds

+ Reactive.Banana.MIDI.Process: type RelativeSeconds (m :: Type -> Type) = T m Relative Seconds

- Reactive.Banana.MIDI.Process: type RelativeTicks m = T m Relative Ticks

+ Reactive.Banana.MIDI.Process: type RelativeTicks (m :: Type -> Type) = T m Relative Ticks

- Reactive.Banana.MIDI.Program: maybeNoteOn :: (C msg) => msg -> Maybe Channel

+ Reactive.Banana.MIDI.Program: maybeNoteOn :: C msg => msg -> Maybe Channel

- Reactive.Banana.MIDI.Program: next :: (C msg) => Channel -> State [Program] (Maybe msg)

+ Reactive.Banana.MIDI.Program: next :: C msg => Channel -> State [Program] (Maybe msg)

- Reactive.Banana.MIDI.Time: Cons :: (Const a (m t)) -> T m t a

+ Reactive.Banana.MIDI.Time: Cons :: Const a (m t) -> T (m :: Type -> Type) t a

- Reactive.Banana.MIDI.Time: class MonadMoment m => Timed m

+ Reactive.Banana.MIDI.Time: class MonadMoment m => Timed (m :: Type -> Type)

- Reactive.Banana.MIDI.Time: cons :: a -> T m t a

+ Reactive.Banana.MIDI.Time: cons :: forall a (m :: Type -> Type) t. a -> T m t a

- Reactive.Banana.MIDI.Time: consRel :: String -> Rational -> T m Relative Seconds

+ Reactive.Banana.MIDI.Time: consRel :: forall (m :: Type -> Type). String -> Rational -> T m Relative Seconds

- Reactive.Banana.MIDI.Time: decons :: T m t a -> a

+ Reactive.Banana.MIDI.Time: decons :: forall (m :: Type -> Type) t a. T m t a -> a

- Reactive.Banana.MIDI.Time: div :: T m Relative Ticks -> T m Relative Ticks -> Double

+ Reactive.Banana.MIDI.Time: div :: forall (m :: Type -> Type). T m Relative Ticks -> T m Relative Ticks -> Double

- Reactive.Banana.MIDI.Time: getTicks :: Num a => T m Relative Ticks -> a

+ Reactive.Banana.MIDI.Time: getTicks :: forall a (m :: Type -> Type). Num a => T m Relative Ticks -> a

- Reactive.Banana.MIDI.Time: inc :: (Monoid a) => T m Relative a -> T m t a -> T m t a

+ Reactive.Banana.MIDI.Time: inc :: forall a (m :: Type -> Type) t. Monoid a => T m Relative a -> T m t a -> T m t a

- Reactive.Banana.MIDI.Time: newtype T m t a

+ Reactive.Banana.MIDI.Time: newtype T (m :: Type -> Type) t a

- Reactive.Banana.MIDI.Time: relative :: (Ord a, Monoid a) => String -> a -> T m Relative a

+ Reactive.Banana.MIDI.Time: relative :: forall a (m :: Type -> Type). (Ord a, Monoid a) => String -> a -> T m Relative a

- Reactive.Banana.MIDI.Time: scale :: Double -> T m Relative Ticks -> T m Relative Ticks

+ Reactive.Banana.MIDI.Time: scale :: forall (m :: Type -> Type). Double -> T m Relative Ticks -> T m Relative Ticks

- Reactive.Banana.MIDI.Time: scaleCeiling :: Double -> T m Relative Ticks -> T m Relative Ticks

+ Reactive.Banana.MIDI.Time: scaleCeiling :: forall (m :: Type -> Type). Double -> T m Relative Ticks -> T m Relative Ticks

- Reactive.Banana.MIDI.Time: scaleInt :: Integral i => i -> T m Relative Ticks -> T m Relative Ticks

+ Reactive.Banana.MIDI.Time: scaleInt :: forall i (m :: Type -> Type). Integral i => i -> T m Relative Ticks -> T m Relative Ticks

- Reactive.Banana.MIDI.Time: subSat :: Split a => T m t a -> T m t a -> T m Relative a

+ Reactive.Banana.MIDI.Time: subSat :: forall a (m :: Type -> Type) t. Split a => T m t a -> T m t a -> T m Relative a

- Reactive.Banana.MIDI.Time: ticksFromAny :: (Quantity a, (Timed m)) => T m t a -> m (T m t Ticks)

+ Reactive.Banana.MIDI.Time: ticksFromAny :: (Quantity a, Timed m) => T m t a -> m (T m t Ticks)

- Reactive.Banana.MIDI.Utility: bypassM :: (Monad m) => (a -> Maybe b) -> (Event a -> m (Event c)) -> (Event b -> m (Event c)) -> Event a -> m (Event c)

+ Reactive.Banana.MIDI.Utility: bypassM :: Monad m => (a -> Maybe b) -> (Event a -> m (Event c)) -> (Event b -> m (Event c)) -> Event a -> m (Event c)

- Reactive.Banana.MIDI.Utility: mapAdjacent :: (MonadMoment m) => (a -> a -> b) -> a -> Event a -> m (Event b)

+ Reactive.Banana.MIDI.Utility: mapAdjacent :: MonadMoment m => (a -> a -> b) -> a -> Event a -> m (Event b)

- Reactive.Banana.MIDI.Utility: sequence :: (MonadMoment m) => s -> Event (State s a) -> m (Event a, Behavior s)

+ Reactive.Banana.MIDI.Utility: sequence :: MonadMoment m => s -> Event (State s a) -> m (Event a, Behavior s)

- Reactive.Banana.MIDI.Utility: traverse :: (MonadMoment m) => s -> (a -> State s b) -> Event a -> m (Event b, Behavior s)

+ Reactive.Banana.MIDI.Utility: traverse :: MonadMoment m => s -> (a -> State s b) -> Event a -> m (Event b, Behavior s)

Files

reactive-midyim.cabal +9/−8

reactive-midyim.cabal view

@@ -1,5 +1,5 @@ Name:             reactive-midyim-Version:          0.4.1.1+Version:          0.4.1.2 License:          BSD3 License-File:     LICENSE Author:           Henning Thielemann <haskell@henning-thielemann.de>@@ -35,16 +35,16 @@    It is most fun to play with the stream editors in GHCi.    However we provide an example module that demonstrates various effects. Tested-With:      GHC==7.4.1-Cabal-Version:    >=1.6+Cabal-Version:    >=1.10 Build-Type:       Simple Source-Repository head   type:     darcs-  location: http://hub.darcs.net/thielema/reactive-midyim/+  location: https://hub.darcs.net/thielema/reactive-midyim/  Source-Repository this   type:     darcs-  location: http://hub.darcs.net/thielema/reactive-midyim/-  tag:      0.4.1.1+  location: https://hub.darcs.net/thielema/reactive-midyim/+  tag:      0.4.1.2  Library   Build-Depends:@@ -55,12 +55,13 @@     data-accessor-transformers >=0.2.1 && <0.3,     data-accessor >=0.2.1 && <0.3,     utility-ht >=0.0.5 && <0.1,-    containers >=0.2 && <0.7,-    transformers >=0.2 && <0.6,-    semigroups >=0.1 && <1.0,+    containers >=0.2 && <0.9,+    transformers >=0.2 && <0.7,+    semigroups >=0.1 && <1,     random >=1 && <2,     base >=4 && <5 +  Default-Language: Haskell98   GHC-Options:      -Wall   Hs-Source-Dirs:   src   Exposed-Modules: