Monadstateのインスタンスがありません

Question

私はこのライブラリを使用してslackbotを構築しようとしています：​​ちょっと勉強して、うまくいけば、ついにmonads -_-を理解しています。

私は、次の種類があります。

data BotState = BotState 
    { 
    _appState :: AppState 
    } 

makeLenses ''BotState 


type AppState = HM.Map String ChannelState 

emptyState :: AppState 
emptyState = HM.empty 

data ChannelState = ChannelState 
{ _counter :: Int} 

type Bot = Slack.Slack BotState 

をし、私は私のボットを実行します。

initApp = lookupEnv "SLACK_API_TOKEN" >>= 
    \apiToken -> case apiToken of 
    Nothing -> throwM ApiTokenMissingException 
    Just t -> void $ Slack.runBot (Slack.SlackConfig t) runApp $ BotState emptyState 

：

runApp :: Slack.Event -> Bot() 
runApp m@(Slack.Message cid uid body _ _ _) = sendMessage cid "GAH I CAN HAZ CHZBURGHER!" 

これは私が追加したい今、正常に動作システムの状態を更新する機能（カウンタをインクリメントする、または他の方法で）

ので、私は私のボットにmodifyState機能を追加します。

modifyState :: (AppState -> AppState) -> Bot() 
modifyState f = uses Slack.userState $ view appState >>= 
    \state -> modifying Slack.userState $ set appState $ f state 

これはで壊れる：

modifyingの署名与えられた意味を成し

No instance for (Control.Monad.State.Class.MonadState 
          (Slack.SlackState BotState) ((->) BotState)) 
      arising from a use of ‘modifying’ 
     In the expression: modifying Slack.userState 
     In the expression: 
      modifying Slack.userState $ set appState $ f state 
     In the second argument of ‘(>>=)’, namely 
      ‘\ state -> modifying Slack.userState $ set appState $ f state’ 

：

modifying :: MonadState s m => ASetter s s a b -> (a -> b) -> m() 

しかし、 Slack.userStateのドキュメントを見て：

userState :: forall s s. Lens (SlackState s) (SlackState s) s s Source 

そして：

data SlackState s 

... Constructor ... 
    Instances 
Show s => Show (SlackState s)Source 
MonadState (SlackState s) (Slack s)Source 

それではなぜMonadStateのインスタンスすでにBotStateではないでしょうか？どうすればこの問題を解決できますか？

Answer 1

$オペレータは>>=は固定性1を持っているので、このようなコードが動作するだろうが、固定性0を持っています

main :: IO() 
main = do 
    putStrLn "hello world" >>= \_ -> putStrLn "hi" 

でもないが、この1：

：

main :: IO() 
main = do 
    putStrLn $ "hello world" >>= \_ -> putStrLn "hi" 

それは次のように解釈されています

main :: IO() 
main = do 
    putStrLn ("hello world" >>= \_ -> putStrLn "hi") 

修正情報を表示するには、 ghciさん:infoコマンド：あなたがわからない場合も

:info $ 
($) :: 
    forall (r :: ghc-prim-0.5.0.0:GHC.Types.RuntimeRep) a (b :: TYPE 
                   r). 
    (a -> b) -> a -> b 
    -- Defined in ‘GHC.Base’ 
infixr 0 $ 
:info >>= 
class Applicative m => Monad (m :: * -> *) where 
    (>>=) :: m a -> (a -> m b) -> m b 
    ... 
    -- Defined in ‘GHC.Base’ 
infixl 1 >>= 

、古き良き括弧は、それがMonadState（SlackState BotState） `を探していませんので救助:)