假设我有一个包含12个音符的列表(它们有自己的数据类型),我想要一个函数,返回一个以给定音符开始并循环的音符列表。
data Note = C | CsDb | D | DsEb | E | F | FsGb | G | GsAb | A | AsBb | B deriving (Read, Eq, Ord, Enum, Bounded)
getNotes :: Note -> [Note]
getNotes root = take 12 $ doSomething root $ cycle noteList
where noteList :: [Note]
noteList = [minBound..maxBound]这样的话
ghci> getNotes E
[E, F, FsGb, G, GsAb, A, AsBb, B, C, CsDb, D, DsEb] 我可以想出一些草率的方法来做这件事,但我觉得应该有一个明显的,非常Haskellian的方式。有什么建议吗?
发布于 2015-11-24 21:25:01
你能做的最小的改变就是使用dropWhile
getNotes :: Note -> [Note]
getNotes root = take 12 . dropWhile (/= root) . cycle $ [minBound .. maxBound]发布于 2015-11-24 17:03:02
我只是
getNotes root = [root .. maxBound] ++ init [minBound .. root]但我看得出来你更喜欢循环的方法。怎么样
getNotes root = map snd . take 12 $ [(0,root) .. ]...sadly,这实际上是行不通的:它需要一个(Enum a, Enum b, Bounded b) => Enum (a,b)实例,由于某种原因没有定义它,至少在序曲中没有定义。
或者,您可以使用root的索引。
getNotes root = take 12 . drop (fromEnum root) $ cycle [minBound .. maxBound]发布于 2015-11-24 17:45:34
基于@leftaroundabout的第二个想法,这是一个有用的版本--以防您好奇并想玩它:
{-# LANGUAGE ScopedTypeVariables #-}
module Stackoverflow where
data Note = C | CsDb | D | DsEb | E | F | FsGb | G | GsAb | A | AsBb | B
deriving (Show, Enum, Bounded)
instance (Enum a, Enum b, Bounded b) => Enum (a,b) where
toEnum i =
let (d,m) = i `divMod` (fromEnum (maxBound :: b) + 1)
in (toEnum d, toEnum m)
fromEnum (a, b) = fromEnum a * (fromEnum (maxBound :: b) + 1) + fromEnum b
getNotes :: Note -> [Note]
getNotes root = map snd . take 12 $ [(0,root) .. ]示例:
λ> getNotes E
[E,F,FsGb,G,GsAb,A,AsBb,B,C,CsDb,D,DsEb]PS:这个想法非常聪明--左撇子--所以男人们一定要给他很多选票;)
https://stackoverflow.com/questions/33899439
复制相似问题