monad-transformers

6熱

1答えて

* ReaderT Monad Transformerの*の目的は何ですか？

Reader monadとReaderTモナドトランスのthe documentationを見ています。 関連の定義は以下のとおりです。 newtype ReaderT k r m a :: forall k. * -> (k -> *) -> k -> * type Reader r = ReaderT * r Identity 私は*の定義に何をしているか理解していません。特に私は、IO

haskell monad-transformers 2017-08-15

---

2熱

1答えて

トランススタックの中央にモナドを追加する

(ExceptT Error IO Foo)を(ExceptT Error (StateT Bar IO) Baz)に「セミリフト」しようとしています。 私は試しましたlift、fmap lift、およびfmap return、そして何もありません。ここに標準的なイディオムはありますか？ > import Control.Monad.Except > import Control.Monad.S

haskell monads monad-transformers 2017-08-20

---

1熱

1答えて

パイプでMonadLogを使用するときに持ち上げる必要がある理由

logging-errorをpipesで処理しようとしています。私は何かが働いているという意味ではほぼそこにいますが、それは正しいとは思えず、それを修正する方法がわかりません。コード：私はそれ以外の場合はコンパイルされませんliftlogInfoに必要readInputMessageで {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE Overload

haskell logging monad-transformers 2017-11-30

---

3熱

1答えて

MonadRandom、State and Monadトランスフォーマー

私はStateと再帰を一緒に使用するいくつかのコードを作成しています。おそらくこの部分は実際には必要ではありません（それは相対的に初心者であっても、すでに私にとっては不器用な感じです）。しかし、おそらくそうする部分があります。 私の初期の純粋な実装は完全です決定論的（入札の選択は、単に機能validBidsが提供する最初のオプションです）： bidOnRound :: (DealerRules d

haskell monad-transformers 2017-10-18

---

1熱

1答えて

ハスケルでMonad.Memoと環境をリーダーと結合する

POMDPのためにopen source libraryをやっています。これはフードの下でDynamic Programmingを使用して、あるコスト関数で他の2D空間を検索します。 DPインプリメンテーションmasterブランチは、Haskellのレイジー評価を使用するDPメモ化の場合はMemoTrieに基づいています。そして私は調整可能であるために費用関数を持つ必要があります。 MemoTri

haskell monads memoization monad-transformers 2017-10-25

---

0熱

1答えて

WriterT Stateになぜメモリが必要なのですか？

私はWriterTとState（それはadvent of code day 15です）を使ってHaskellの練習問題を解決しようとしている概念を理解しようとしています。何らかの理由で、私はメモリの負荷を使用して終了し、私のノートブック（ちょうど4Gラム）が停止に終わることを理解していない。 私の最初のアイデアは、厳密さを使い、周りに振りかけることでしたが、問題は解決しません。 誰かが私がどこに間

haskell monad-transformers state-monad 2017-12-15

---

7熱

2答えて

モナド変圧器では、なぜ知っているモナドは内側のモナドですか？</p> <pre><code>newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a)} </code></pre> <p>でもない：例えば、<code>MaybeT</code>は次のように

を定義している newtype MaybeT m a = MaybeT { runMaybeT :: Maybe (m a) } これはなぜでしょうか？

haskell monads monad-transformers 2017-09-07

---

1熱

2答えて

モナド・トランス・スタック内のevalState

mtlのモナド・スタックがあるとします。 ExceptT String (WriterT String (State s a))、外側のモナドをアンラップする必要なしに内部状態のモナドをどのように評価できますか？ have :: ExceptT String (WriterT String (State s)) a f :: State s a -> a want :: ExceptT St

haskell monad-transformers state-monad 2017-09-11

---

4熱

2答えて

は、別のパーサの出力に受信パーサを実行し、monadically文字列にCSVフィールドのフィールドを解析することを意図し、次の種類や機能、与えられた結果

に参加するパーサを生成します次の関数を実装： customCell :: String -> Parser res -> Parser res customCell typeName subparser = cell >>= either (const $ unexpected typeName) return . parse (subparser <* eo

parsing haskell monads monad-transformers parsec 2017-09-12

---

8熱

1答えて

ブラケット機能のようにMonadUnliftIOまたはMonadMaskを使用しますか？

私は現在、新しいAPIを構築していますし、それが現在提供機能の一つである： inSpan :: Tracer -> Text -> IO a -> IO a 私は私より inSpan :: MonadTracer m => Text -> m a -> m a などの署名を与え、モナドにその Tracerを移動するために探しています inSpanの実装では、私は2つの主要なオプションを持って

haskell monad-transformers 2017-09-26

---