monad-transformers

7열

1답변

모나드 변환기에서 유형 동의어 사용

모나드 변환기 유형 생성자의 인수로 유형 동의어를 사용할 수 있습니까? 특히, 적용된 모나드 변환기의 단항 형 동의어가 있다면 다른 모나드 변환기의 기본 모나드 유형으로 사용할 수 있습니까? B a의 정의에 유형의 동의어 A 확대를 방지 할 수있는 방법이 있나요 -- Using type synonym of a monad transformer in anoth

haskell types monad-transformers 2010-07-30

---

4열

1답변

아마도 Maybe-Transformer를 MonadWriter의 인스턴스로 만들 수 있습니까?

나는 장 모나드 트랜스 포머실제 세계 하스켈의 예에 따라 MaybeT - 변압기 모나드를 구축을 위해 노력하고있다 : data MaybeT m a = MaybeT { runMT :: m (Maybe a) } instance (Monad m) => Monad (MaybeT m) where m >>= f = MaybeT $ do a <- runMT

typeclass monad-transformers haskell 2010-05-01

---

5열

2답변

변압기로 모나드 조성을 추상화

죄송합니다. 질문이 조금 사소한 것처럼 보일 경우 ... 그것은 나를위한 것이 아닙니다. type SB i a = ReaderT (AlgRO i) (State (AlgState i)) a 물론입니다, 잘 행동 모나드 : 나는 행복하게 다음 모나드를 구성했다. ReaderT는 모나드 변환기이고 State는 상태 모나드이며, AlgRO와 AlgState는

haskell monads composition monad-transformers 2011-09-14

---

4열

4답변

하스켈에서 트리 데이터 구조를 이진 파일로 저장하는 방법

하스켈을 사용하여 간단한 (하지만 아주 큰) 트리 구조를 이진 파일로 저장하려고합니다. 구조는 다음과 같이 보입니다 : -- For simplicity assume each Node has only 4 childs data Tree = Node [Tree] | Leaf [Int] 를 그리고 여기가 데이터를 디스크에 볼 필요가 방법입니다 각 노드는

haskell functional-programming binary-tree monads monad-transformers 2011-03-01

---

24열

1답변

모나드 트랜스 포머 라이브러리 - 어느 것을 사용할 것인가?

Hackage에는 많은 모나드 변환기 라이브러리가 있습니다. 몇몇 사람들은 다른 사람들보다 더 많은 관심을 얻는 것처럼 보입니다. 몇 가지 예를 들면 다음과 같습니다. mtl (어떤 이유로 변압기에 따라 현재 버전), 변압기, monadLib, monads-tf, mtlx, contstuff. 어떤 것을 선호해야하며 그 이유는 무엇입니까? 고유 한 기능은

haskell functional-programming monads monad-transformers 2011-04-26

---

10열

1답변

하스켈에서 모나드 혼합하기

저는 haskell에서 Ubigraph를 사용하려고 노력하고 있습니다.하지만 제 문제는 좀 더 일반적이라고 생각합니다. 내가 컴파일하려고 해요 : import Graphics.Ubigraph import Control.Monad import System.Posix.Unistd main = do h <- initHubigraph "http:/

haskell monads monad-transformers 2011-04-27

---

4열

2답변

MonadPlus (ST a) 인스턴스가 필요합니다.

나는 Typed Logical Variables in Haskell이라는 글을 읽었으나 궁극적 인 구현 방법에 대해서는 자세히 이해하지 못했습니다. 내가 무슨 문제가 확실 해요 newtype BackT m a = BT { run :: forall b . (a -> m [b]) -> m [b] } instance (Monad m) => Monad (Bac

haskell types state monad-transformers unification 2011-10-06

---

3열

1답변

하스켈 : 나는 형에게이

모나드 변압기 스택을 사용하는 방법을 알아낼 수 없습니다 type T s r a = StateT [s] (ListT (Reader r)) a 나는 현재 상태의 각을 산출 모나드 가치를 창출하고 싶습니다 states :: T a r a 하지만 오늘 바보 같아서 T a r [a] 값을 T a r a으로 변환하는 방법을 알 수 없습니다. states =

haskell monads monad-transformers 2011-08-20

---

4열

3답변

리더 모나드를 스냅으로 사용 (또는 모나드 트랜스포머를 스냅으로 사용)

누군가가 모나드 내부에서 스냅 모나드를 사용하는 방법을 보여줄 수 있습니까? 모나드 변압기가 나를 혼란스럽게합니다. (또는 모나드 변압기에 대한 자습서 제안과 조명을보고 최종적으로 불을 붙이는 방법을 기꺼이 받아 들일 것입니다.) 편집 : 죄송합니다. 특정 일에 대한 도움을 요청하는 대신 실제로 내가하려고하는 것을 지정하는 것을 잊어 버렸습니다. 전술이 아

haskell monads monad-transformers snap-framework 2011-02-06

---

5열

4답변

mapMonadTrans :: MonadTrans xT => (m a -> n b) -> xT m a -> xT n b

문제는 이것입니다. 나는 가지고있다 : f :: MonadIO m => ReaderT FooBar m Answer; f = (liftIO getArgs) >>= ... 나는 이것을 수정 된 인수와 함께 실행해야한다. m를 알 수 있기 때문에 나는 모든 m에 대한 m로 (withArgs의 인수를) 변환 어떻게 든 필요가 있기 때문에, 단순히 mapRea

haskell monads monad-transformers 2011-07-06

---