monad-transformers

5熱

2答えて

ブレークの種類が異なるステートフルループ

以下のステートフル命令コードをHaskellに変換しようとしています。 while (true) { while (get()) { if (put1()) { failImmediately(); } } if (put2()) { succeedImmediately(); } } 両方put1とput2シ

haskell monads monad-transformers state-monad 2015-09-04

---

6熱

1答えて

2つのモナド変圧器が異なるタイプのものであっても、それらの基礎となるモナドが同じタイプのものであれば、原理的な方法がありますか？

私は質問を拡大するためにあまりできません。しかし、ここで使用する場合は、次のとおりです。あなたが同じモナドm上で変換、2つのモナド変圧器、tとsを持っているとしましょう：彼らは互いに通信することができますslaveよう master :: (MonadTrans t, Monad m) => t m a b slave :: (MonadTrans t, Monad m) => s m a b

haskell monads monad-transformers 2013-08-21

---

6熱

3答えて

リフトの戻り値がモナドに制限されていないのはなぜですか？

なぜMonadTransが class MonadTrans t where lift :: (Monad m, Monad (t m)) => m a -> t m a -- ^^^^^^^^^^^ の代わりに、これは（Why aren't monad transformers constrained to yield monads?における提案とは異なり）のHaskel

haskell monads typeclass monad-transformers 2013-08-28

---

5熱

1答えて

'ExceptT ResourceT'と 'ResourceT ExceptT'

実世界ハスケルは"Transformer stacking order is important"と言っています。しかし、ExceptT (ResourceT m) aとResourceT (ExceptT m) aの間に違いがあるかどうかは分かりません。彼らはお互いに干渉しますか？

haskell monad-transformers 2015-12-21

---

8熱

1答えて

モナドをきれいにする - モナド変圧器を新しいタイプのモナドに応用すること

ExceptT a (StateT A M)、具体的なタイプはA、モナドMとし、それらを新しいカスタムモナドにまとめます。 まず私はStateT A Mその他のコンテキストで頻繁に表示されますので、私はそれだけではモナドM1で、その後M2へExceptT a M1をラップすることをラップするのがベストだろうことを決めたことを確認しました。 所望の特性は、（それがMyMonadClass呼ばれると仮

haskell monad-transformers state-monad newtype lifting 2015-09-14

---

14熱

3答えて

`（Applicative m）=> Applicative（StateT s m）`を実装することは可能ですか？

私は現在Data.FreshとControl.Monad.Trans.Freshに取り組んでいます。新しい変数を生成するためのインタフェースと、このインタフェースを実装するモナド変換器を定義します。 私は最初にFreshT v mのApplicativeインスタンスを実装することが可能であり、唯一の要件はApplicative mであると考えました。しかし、私は立ち往生して、私はMonad mが必

haskell monad-transformers state-monad 2013-09-07

---

10熱

1答えて

、それは本当に私は長い時間モナド変換子のユーザー、初めてモナド変換子のライターをしています

非常に多くのハードコードされたインスタンスを必要としません....そして私は、私は不必要な何かをやったような気がします。 私たちは複数のDBテーブルを持つプロジェクトに取り組んでおり、異なるモナド・スタックにセットをハードコーディングするのは扱いにくくなっていたので、プラグイン可能なモナド・トランスフォーマーに分割して、レベルは、このように doSomething::(HasUserTable m

haskell monads monad-transformers 2016-02-20

---

13熱

1答えて

ネストされたモナドではどうすればきれいに作業できますか？

私は小さな言語のための通訳を書いています。 この言語は突然変異をサポートしているため、評価者はすべての変数（type Store = Map.Map Address Value,type Address = Int、およびdata Valueが言語固有のADTである）のStoreを追跡します。 計算が失敗する可能性もあります（ゼロで割るなど）。結果はEither String Valueである必要

haskell monads monad-transformers 2015-11-14

---

6熱

1答えて

リフトのいずれかを自動的に

のは、私はこの（間違いなく誤解を）持っているとしましょう転がっコードの一部： import System.Environment (getArgs) import Control.Monad.Except parseArgs :: ExceptT String IO User parseArgs = do args <- lift getArgs case s

haskell monads monad-transformers either lifting 2016-01-04

---

7熱

2答えて

GHCはモナドトランスのFunctorインスタンスとApplicativeインスタンスを派生させることはできますか？

私はmtlライブラリの精神でMaybeTを実装しようとしています。この非コンパイル溶液で： {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, UndecidableInstances #-} import Control.Monad import Control.Monad.Trans import Control.Monad.S

haskell monads ghc monad-transformers 2015-10-04

---