ステートとステートトランスフォーマーのアクションの作成

Question

私はいくつかのモナドアクションを持っています：Stateアクションのいくつかは、現在の状態と任意選択で結果を生成する他の入力に基づいて決定を行います。この2つのタイプのアクションはお互いを呼び出します。

StateとStateT Maybeで2つのアクションタイプをモデル化しました。次の（考案された）例は私の現在のアプローチを示しています。

{-# LANGUAGE MultiWayIf #-} 

import Control.Monad (guard) 
import Control.Monad.Identity (runIdentity) 
import Control.Monad.Trans.State 

type Producer  = Int -> State [Int] Int 
type MaybeProducer = Int -> StateT [Int] Maybe Int 

produce :: Producer 
produce n 
    | n <= 0 = return 0 

    | otherwise = do accum <- get 
        let mRes = runStateT (maybeProduce n) accum 

        if | Just res <- mRes -> StateT $ const (return res) 
         | otherwise  -> do res <- produce (n - 1) 
               return $ res + n 

maybeProduce :: MaybeProducer 
maybeProduce n = do guard $ odd n 
        modify (n:) 

        mapStateT (return . runIdentity) $ 
         do res <- produce (n - 1) 
          return $ res + n 

私はアクションチェック自体は非常に複雑（仕事の80％）であるので（したがって、単純なステートアクションにそれらを変換する）からチェックを分離して考えると、アクションに必要なバインディングを提供しています。 StateのアクションをStateT Maybeに昇格させたくないのは、不正確なモデルになっているからです。

私が紛失しているより良いまたはより多くのeleganの方法がありますか？特に私はmapStateT/runStateTデュオが好きではありませんが、必要なようです。

PS：私は例が実際にWriterですけど、私はより良い本物の場合、それは不正確をもたらすので、私は、どちらかStateT MaybeへState行動を促進したくない

Answer 1

を反映するためにStateを使用モデル。

「プロモーション」とはどういう意味ですか？私はあなたが意味するこれらのどの伝えることはできません。その種類は、彼らがすべてでMaybeに依存していないにもかかわらず、今StateT Maybeなるよう

は Stateアクションの定義を書き換え
1. 。
2. State s aをStateT s Maybe aに変換するアダプタ関数を使用します。

私は（1）拒絶に同意するが、私にはどちらかを意味している：

• ゴー（2）のために。便利なツールの1つは、mmorph library（blog entry）です。
• State s aのアクションを書き換えてMonad m => StateT s m aを使用してください。第2のケースで

、型は、任意のモナドmと互換であるが、コードは、任意の特定の塩基モナドを想定することができ、あなたがState s aと同じ純度を得ません。

私はmmorphをショットします。注：

• State s a =;
• hoist generalize :: (MFunctor t, Monad m) => t Identity a -> t m a;
• それはhoist generalize :: State s a -> StateT s Maybe aに特化しています。

---

EDIT：それは、これらの逆関数によって与えられState s aとforall m. StateT s m aタイプの間の同型があることは何も価値がある：

{-# LANGUAGE RankNTypes #-} 

import Control.Monad.Morph 
import Control.Monad.Trans 
import Control.Monad.Trans.State 
import Control.Monad.Identity 

fwd :: (MFunctor t, Monad m) => t Identity a -> t m a 
fwd = hoist generalize 

-- The `forall` in the signature forbids callers from demanding any 
-- specific choice of type for `m`, which allows *us* to choose 
-- `Identity` for `m` here. 
bck :: MFunctor t => (forall m. t m a) -> t Identity a 
bck = hoist generalize 

のでMonad m => StateT s m aとmmorphソリューションは、効果的に、あります、 同じ。私はここでmmorphを使用することを好む。