Purescript Eff Monadとdoブロックを理解する

Question

Purescriptで以下が機能しない理由を理解しようとしています。私はそれがハスケルコミュニティによっても答えることができるという気持ちがあるので、私はそれをクロスリストしました。

一般的な要旨は次のとおりです。

私はdoブロックを持っている場合、私は使い捨ての値に投げることができませんか？この例では、一連のモナディック計算の途中で（Haskellのprintに似た）何かを記録しようとしています。

main = do 
    a <- someAction1 
    b <- someAction2 
    _ <- log "here is a statement I want printed" 
    someAction3 a b 

具体的には、私は次のようにとる関数（ハロゲン例のテンプレートプロジェクトから）私の心の中で

data Query a = ToggleState a 

eval :: Query ~> H.ComponentDSL State Query g 
eval (Toggle next) = do 
    H.modify (\state -> state { isOn = not state.isOn }) 
    _ <- log "updating the state!" 
    pure next 

を持っている、これはHaskellの

具体的

barf :: IO Int 
barf = do 
    _ <- print "Here I am!" 
    return 5 

main :: IO() 
main = do 
    a <- barf 
    _ <- print $ "the value is: " ++ (show a) 
    print "done" 

のように動作するはずです、私が得るエラーは、モナドの型の不一致です

など種類 Free (HalogenFP t0 { "isOn" :: t1 | t2 } t3 t4) ...とタイプ Eff ("console" :: CONSOLE | t6)に一致するようにしようとしているとき

は（

私はpurescriptは私が「私はモナドに触れてる事を」宣言します知っている...タイプ Freeとタイプ Effと一致しませんでした。すなわち、 forall e. Eff (a :: SOMEVAR, b :: SOMEOTHERVAR | eff) Unitが、私はこのケースでそれを行う方法がわからないんだけど...

Answer 1

あなたがハロゲンのバージョン0.12.0で作業しているあなたがそうのようhttps://pursuit.purescript.org/packages/purescript-aff-free/3.0.0/docs/Control.Monad.Aff.Free#v:fromEffからfromEffを使用することができるはず場合：

data Query a = ToggleState a 

eval :: Query ~> H.ComponentDSL State Query g 
eval (Toggle next) = do 
    H.modify (\state -> state { isOn = not state.isOn }) 
    _ <- H.fromEff (log "updating the state!") 
    pure next 

これは、liftEffで十分であるはずである次期バージョンのハロゲン（> = 0.13）でもっとうまくいくようになるでしょう。

あなただけのすぐlogを使用できない理由理由は、H.ComponentDSLはなく、Freeため、Effの型同義語ではありませんので、あなたは、単にEffとComponentDSLアクションを混在させることはできませんということです。