シーケンスで楽しい

Question

私は5つの方法のうちの1つと呼ばれる5つの機能のセットを持っています。私はそうのような摂餌・マッチングで、

barと baz上

type Configure = ReaderT Config IO() 
data Step = PreVal 
      | PreProc 
      | Proc 
      | PostProc 
      | PostVal 

foo :: Step -> Configure 
foo PreVal = do some stuff 
foo PreProc = do some stuff 

ので、が、私はアクションのリストを呼び出すためにsequenceを使用する方法を知っている同様

に設定されていること。表現しています[Step]が与えられたら、どうすれば[foo,bar,baz]に電話をかけることができますか？それぞれの可能なステップを呼び出すことができます。私は追加したい

ので、それがこの foo PreVal foo PreProc を行う...など bar Preval bar PreProc ..に及びそう baz上の必要があります...

Answer 1

mapM_ (\ f -> mapM_ f [PreVal, PreProc, Proc, PostProc, PostVal]) [foo, bar, baz] 

Answer 2

doThemAll steps = sequence_ $ do 
    f <- [foo, bar, baz] 
    step <- steps 
    return (f step) 

Answer 3

前の答えに何か 値コンストラクタの順序がステップの実行順序と同じであれば、deriving (Enum)と指定できます。これにより、すべてのStepのリストを[PreVal..PostVal]と書いてコードを短縮することができます。

さらに、PreValより前またはPostValより前にステップを追加する場合を考えます。あなたの呼び出しが新たに導入されたステップを考慮するためには、Boundedのインスタンスを定義し、コードにminBoundとmaxBoundを使用する方がよいでしょう。