Reactive.Banana.MIDI.Pattern

reactive patterns

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])

selectors

type Selector set key value i = i -> set key value -> [(key, value)]

data IndexNote i

Constructors

IndexNote Int i

Instances

Functor IndexNote

Methods

fmap :: (a -> b) -> IndexNote a -> IndexNote b

(<$) :: a -> IndexNote b -> IndexNote a

Foldable IndexNote

Methods

fold :: Monoid m => IndexNote m -> m

foldMap :: Monoid m => (a -> m) -> IndexNote a -> m

foldr :: (a -> b -> b) -> b -> IndexNote a -> b

foldr' :: (a -> b -> b) -> b -> IndexNote a -> b

foldl :: (b -> a -> b) -> b -> IndexNote a -> b

foldl' :: (b -> a -> b) -> b -> IndexNote a -> b

foldr1 :: (a -> a -> a) -> IndexNote a -> a

foldl1 :: (a -> a -> a) -> IndexNote a -> a

toList :: IndexNote a -> [a]

null :: IndexNote a -> Bool

length :: IndexNote a -> Int

elem :: Eq a => a -> IndexNote a -> Bool

maximum :: Ord a => IndexNote a -> a

minimum :: Ord a => IndexNote a -> a

sum :: Num a => IndexNote a -> a

product :: Num a => IndexNote a -> a

Traversable IndexNote

Methods

traverse :: Applicative f => (a -> f b) -> IndexNote a -> f (IndexNote b)

sequenceA :: Applicative f => IndexNote (f a) -> f (IndexNote a)

mapM :: Monad m => (a -> m b) -> IndexNote a -> m (IndexNote b)

sequence :: Monad m => IndexNote (m a) -> m (IndexNote a)

Eq i => Eq (IndexNote i)

Methods

(==) :: IndexNote i -> IndexNote i -> Bool

(/=) :: IndexNote i -> IndexNote i -> Bool

Ord i => Ord (IndexNote i)

Methods

compare :: IndexNote i -> IndexNote i -> Ordering

(<) :: IndexNote i -> IndexNote i -> Bool

(<=) :: IndexNote i -> IndexNote i -> Bool

(>) :: IndexNote i -> IndexNote i -> Bool

(>=) :: IndexNote i -> IndexNote i -> Bool

max :: IndexNote i -> IndexNote i -> IndexNote i

min :: IndexNote i -> IndexNote i -> IndexNote i

Show i => Show (IndexNote i)

Methods

showsPrec :: Int -> IndexNote i -> ShowS

show :: IndexNote i -> String

showList :: [IndexNote i] -> ShowS

item :: i -> Int -> IndexNote i

data Poly set key value i

Constructors

Poly (Selector set key value i) (T Int [IndexNote i])

selectFromOctaveChord :: (C set, Ord pitch, C pitch) => Selector set pitch value Int

Generate notes according to the key set, where notes for negative and too large indices are padded with keys that are transposed by octaves.

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

patterns

flipSeq :: Int -> [Int]

See Haskore/FlipSong

flipSeq m !! n = cross sum of the m-ary representation of n modulo m.

For m=2 this yields http://www.research.att.com/cgi-bin/access.cgi/as/njas/sequences/eisA.cgi?Anum=A010060

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

tests

examplePolyTempo0 :: T Int [IndexNote Int]

examplePolyTempo1 :: T Int [IndexNote Int]