Reactive.Banana.MIDI.Pattern

Contents

• reactive patterns
• selectors
• patterns
• tests

Synopsis

• type T m time set key value = Behavior (set key value) -> Event time -> m (Event [Boundary key value])
• mono :: MonadMoment m => Selector set key Velocity i -> Behavior (set key Velocity) -> Event i -> m (Event [Boundary key Velocity])
• poly :: MonadMoment m => Selector set key Velocity i -> Behavior (set key Velocity) -> Event [IndexNote i] -> m (Event [Boundary key Velocity])
• type Selector set key value i = i -> set key value -> [(key, value)]
• data IndexNote i = IndexNote Int i
• item :: i -> Int -> IndexNote i
• data Poly set key value i = Poly (Selector set key value i) (T Int [IndexNote i])
• selectFromOctaveChord :: (C set, Ord pitch, C pitch) => Selector set pitch value Int
• selectFromChord :: (C set, Ord key) => Selector set key value Int
• selectFromChordRatio :: (C set, Ord key) => Selector set key value Double
• selectInversion :: (C set, C pitch) => Selector set pitch value Double
• flipSeq :: Int -> [Int]
• cycleUpIndex :: MonadMoment m => Behavior Int -> Event time -> m (Event Int)
• cycleDownIndex :: MonadMoment m => Behavior Int -> Event time -> m (Event Int)
• pingPongIndex :: MonadMoment m => Behavior Int -> Event time -> m (Event Int)
• crossSumIndex :: MonadMoment m => Behavior Int -> Event time -> m (Event Int)
• crossSumStaticIndex :: MonadMoment m => Int -> Event time -> m (Event Int)
• fromList :: MonadMoment m => [a] -> Event time -> m (Event a)
• cycleUp :: (MonadMoment m, C set, Ord key) => Behavior Int -> T m time set key Velocity
• cycleDown :: (MonadMoment m, C set, Ord key) => Behavior Int -> T m time set key Velocity
• pingPong :: (MonadMoment m, C set, Ord key) => Behavior Int -> T m time set key Velocity
• crossSum :: (MonadMoment m, C set, Ord key) => Behavior Int -> T m time set key Velocity
• bruijn :: (MonadMoment m, C set, Ord key) => Int -> Int -> T m time set key Velocity
• binaryStaccato :: (MonadMoment m, C set, Ord key) => T m time set key Velocity
• binaryLegato :: (MonadMoment m, C set, Ord key) => T m time set key Velocity
• binaryAccident :: (MonadMoment m, C set, Ord key) => T m time set key Velocity
• decomposePositional :: Integer -> Integer -> [Integer]
• cycleUpOctave :: (MonadMoment m, C set, Ord pitch, C pitch) => Behavior Int -> T m time set pitch Velocity
• random :: (MonadMoment m, C set, Ord key) => T m time set key Velocity
• randomInversions :: (MonadMoment m, C set, C pitch) => T m time set pitch Velocity
• cycleUpInversions :: (MonadMoment m, C set, C pitch) => Int -> T m time set pitch Velocity
• inversions :: (MonadMoment m, C set, C pitch) => [Double] -> T m time set pitch Velocity
• examplePolyTempo0 :: T Int [IndexNote Int]
• examplePolyTempo1 :: T Int [IndexNote Int]

reactive patterns

selectors

patterns

tests