monad-transformers

3熱

1答えて

Writerでラッピングをしてログを追加する可能性があります

私は完全に立ち往生しています。 Maybeを返す関数にロギング機能を追加するだけの単純なものが欲しいですが、どれほど難しいのですか、タイプを正しく取得できません。まだ私の入力ミス得 import Data.Maybe import Control.Monad import Control.Monad.Writer q :: Integer -> Maybe Integer q x = i

haskell monad-transformers maybe writer-monad 2016-03-27

---

1熱

1答えて

Kleisli [Future、Context、\ /]からKleisli [どちらかのT、Context、...]

Futureで失敗する可能性のある長いメソッドKleisliを組み合わせたいと思っています。 Kleisliにエフェクトを積み重ねるコードを次に示します。スカラズに既存のコンビネータがあるか？ type FutureEitherT[A] = EitherT[Future, String, A] def toKleisliEitherTFromDisjunction[A](f: Kleisli[

scala scalaz monad-transformers 2016-04-12

---

1熱

1答えて

ここでStateTモナドを正しく使うには？

私は、私が従うコースのためにハスケルで非常に小さな試合をしなければなりません。だから私は演奏機能を作りましたが、今はタイプシグネチャを変更するのに問題があります。 play :: [[String]] -> StateT GameState IO Score play input = do liftIO $ clearScreen (answered, correct) <

haskell monads monad-transformers state-monad 2016-04-12

---

2熱

1答えて

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

私はいくつかのモナドアクションを持っています：Stateアクションのいくつかは、現在の状態と任意選択で結果を生成する他の入力に基づいて決定を行います。この2つのタイプのアクションはお互いを呼び出します。 StateとStateT Maybeで2つのアクションタイプをモデル化しました。次の（考案された）例は私の現在のアプローチを示しています。 {-# LANGUAGE MultiWayIf #-}

haskell monad-transformers 2016-04-13

---

5熱

1答えて

Scalazモナドトランス。適用F1：A => G [B]、F2：B => G [C] Iは、2つ（またはそれ以上）の関数として定義した

F [G []オブジェクトに機能： val functionM: String => Option[Int] = s => Some(s.length) val functionM2: Int => Option[String] = i => Some(i.toString) 私は李ない data.map(_.flatMap(functionM).flatMap(functionM2))

scala functional-programming scalaz monad-transformers function-composition 2016-04-15

---

1熱

2答えて

Haskellの

私は（IOとの組み合わせで）StateT-モナドを使用していますHaskellの中の小さなインタプリタとEitherTモナドを書いている中2つの状態からデータを取得します。今度は、interpArithmic関数によって解釈される値に整数関数を適用したいと思います。しかし問題は、interpArithmic自体にもEitherT InterpError (StateT Environment IO

haskell monads interpreter monad-transformers 2016-04-20

---

5熱

1答えて

2つのモナド・トランススタックを組み合わせた場合、Applicativeを派生させることができません。

開発中のドメイン固有の言語用に2つのモナドを書きました。最初はLangです。これは、行ごとに言語を解析するために必要なものがすべて含まれているはずです。私はリーダー、ライター、および状態にしたいことを知っていたので、私はRWSモナド使用： newtype Repl a = Repl { unRepl :: MaybeT (InputT IO) a } deriving (Fun

haskell monad-transformers deriving newtype 2016-04-26

---

3熱

2答えて

部分的にネストされていないトランスフォーマをどのように呼び出すのですか？

変圧器の入れ子を:: T2 of T1 of M0とすれば、どうすれば:: T2 of M0,:: M2を利用できますか？ ここでは例を示します。読み込み、ログ、状態を必要とする関数を書いています。定義：私はいくつかの stateFunction :: State Viable NUM あるいはstateWithReaderFunction :: ReaderT Env (State Viable

haskell monads monad-transformers 2016-03-26

---

2熱

1答えて

ネストされたタイプをモナドトランススタックに変換する

モナドトランスフォーマーの章の演習の1つに、Haskell Programming From First Principlesの問題があります。私は、これは命令がするだけですが、我々は、ネストされた構造を変えることができないことを意味すると仮定 import Control.Monad.Trans.Except import Control.Monad.Trans.Maybe import C

haskell nested monads monad-transformers 2016-03-27

---

1熱

1答えて

なぜこれらのタイプを置き換えることが可能ですか？

いくつかの事が信じられないほどのようだ： foo :: a -> StateT Env (ReaderT Env (ErrorT String IO)) String は、それが可能であるどのように foo :: a -> ErrorT String IO String で置き換えることができますか？結局のところ、彼らは絶対に異なるタイプです...

haskell monads monad-transformers 2016-04-20

---