Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Robert Morris and D. Starr. "The Structure of All-Interval Series". Journal of Music Theory, 18:364-389, 1974.
- fromList :: MonadPlus m => [a] -> m a
- all_interval_m :: MonadLogic m => Int -> m [Int]
- all_interval :: Int -> [[Int]]
Documentation
all_interval_m :: MonadLogic m => Int -> m [Int] Source #
MonadLogic
all-interval series.
map (length . L.observeAll . all_interval_m) [4,6,8,10] == [2,4,24,288] [0,1,3,2,9,5,10,4,7,11,8,6] `elem` L.observeAll (all_interval_m 12) length (L.observeAll (all_interval_m 12)) == 3856
all_interval :: Int -> [[Int]] Source #
let r = [[0,1,5,2,4,3],[0,2,1,4,5,3],[0,4,5,2,1,3],[0,5,1,4,2,3]] in all_interval 6 == r