| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Music.Theory.List.Logic
Description
List/Logic functions.
Synopsis
- all_embeddings_m :: (Eq t, MonadPlus m, MonadLogic m) => [t] -> [t] -> m [Int]
- all_embeddings :: Eq t => [t] -> [t] -> [[Int]]
Documentation
all_embeddings_m :: (Eq t, MonadPlus m, MonadLogic m) => [t] -> [t] -> m [Int] Source #
MonadLogic value to enumerate indices for all embeddings of q in p.
all_embeddings :: Eq t => [t] -> [t] -> [[Int]] Source #
observeAll of all_embeddings_m
all_embeddings "all_embeddings" "leg" == [[1,4,12],[1,7,12],[2,4,12],[2,7,12]]