monad-transformers

10열

1답변

나는 두 가지 유형의 인수를 복용 모나드 변압기 유형이있는 경우 liftM

와 Scalaz 7의 EitherT를 사용하는 방법, 나는 변환 된 모나드에 값을 들어 올려 liftM을 사용할 수 있습니다 scala> val e = 1.point[List].liftM[({type l[a[+_],b] = EitherT[a, String, b]})#l] e: scalaz.EitherT[List,java.lang.String,Int] =

scala scalaz monad-transformers 2012-10-12

---

1열

1답변

어떻게 올바르게 (변형) ST 작업을위한 유형의 자격을 임의 모나드 여기

내 코드입니다 : 내가 얻을 ... import System.Random (RandomGen, next, split) import qualified Data.Array.MArray as MAI import Data.Array.ST.Safe(STUArray) import Control.Monad.ST.Safe(ST) import qualified

haskell monads monad-transformers 2012-12-06

---

7열

1답변

Scalaz - List와 State Monad를 결합하여 이해하기

스네이크 상태에 대한 스칼라 코드에서 Monadic 스타일을 사용하기 시작할 계획입니다. 여기서 3 개 모나드 기능을 결합 (및 부작용에 대한 배려 만)의 간략화 된 예 import scalaz._ import Scalaz._ object MonadTest { def adder(i: Int) = State[String, Int] ({str:

scala monads scalaz monad-transformers scalaz7 2012-12-11

---

6열

1답변

를 Reader와 아마 모나드 (실용적은 Functor)

이 같은 수행하는 리더 모나드를 벗어난 실용적은 Functor을 내가 뭘하고 싶은 것입니다 의 조합 만들기 : data MyData = Int Int get2Sum :: Reader [Int] Int get2Sum = do myData <- ask let fst2 = take 2 myData case length fst2 o

haskell monads monad-transformers 2012-10-23

---

13열

1답변

게으른/엄격한 버전의 Writer를 사용하는 데 필요한 점은 무엇입니까?

왜 하스켈에는 두 개의 다른 Writer-type 모나드가 있습니까? 직관적으로 나에게 "엄격한 작성자 모나드"를 읽는 것은 <>이 엄격하다는 것을 의미하므로 로그에 쓰레기가 쌓이지는 않습니다. 패턴이 반박 할 수없는 엄격한 버전에서 -- Lazy Writer instance (Monoid w, Monad m) => Monad (WriterT w m) w

haskell monads monad-transformers writer 2013-02-01

---

0열

1답변

누군가가이 모나드 변환 스 니펫을 설탕 제거 할 수 있습니까?

이 편리한 표기법으로 작성된 이것은 나에게 꽤 분명해 보입니다. 그러나 나는 걱정 스럽다 작동하도록 >>=을 사용하여 설탕이없는 버전을 얻는 것처럼 보일 수 없다. 누군가가 확장 된 표기법으로 이것들을 다시 쓸 수 있었습니까? 는 runIdentity이 필요한 이유를 내가 볼 수 runStack1 및 runStack3의 서명에 비교하여, stack3 ::

haskell monad-transformers 2013-03-23

---

3열

1답변

ErrorT 상단에 변압기에 대한 MonadPlus 인스턴스 정의

다른 것들 중에서도 오류 기능을 가진 기본 모나드를 제공하는 모나드 변환기를 정의하고 싶습니다. 변형 된 모나드는 기본 모나드가 MonadPlus의 인스턴스 여야합니다. 그러나 MonTPlus 인스턴스를 정의하는 방법을 알아낼 수 없으므로 ErrorT 변환기가 두 개 이상의 대답을 반환합니다 (둘 이상의 대답이있는 경우). 내 두 시도는 아래 코드에 있습니

haskell monads monad-transformers 2012-12-18

---

4열

1답변

여러 비표준 트랜스포머를 클래스 제약 조건과 함께 하나의 스택으로 결합하는 방법은 무엇입니까?

이것은 내가 올바른 마음의 틀에 들어 갔는지 확신 할 수 없기 때문에 긴 내용이 될 것입니다. 그래서 나는 각 단계에서 가능한 한 명확하게 내 생각을 설명 할 것입니다. 내가 만들 수있는 코드 조각이 두 가지 정도이므로 두 코드 조각을 자유롭게 사용할 수 있습니다. 난 그냥 시간에 프로그램의 상태를 유지하는 하나의 변압기 FitStateT 엄마, 시작 및

haskell monad-transformers 2012-12-23

---

21열

1답변

Control.Applicative.Lift 란 무엇입니까?

최근 블로그 게시물에 약 transformers이라고 썼고 누군가가 "무엇을 사람들이 Control.Applicative.Lift을 사용합니까?"라고 물었습니다. 나는 이것에 대답 할 수 없었다. 그래서 StackOverflow에 질문을 되풀이한다. - 무엇 은Control.Applicative.Lift에 사용 되는가? 패키지에서 한 가지 사용 예를 볼 수

haskell monads monad-transformers applicative 2012-12-24

---

7열

1답변

MTL 라이브러리에는 어떤 언어 확장이 필요합니까?

저는 기존의 설계를 기반으로 자신의 작은 라이브러리를 구현하여 모나드 변압기를 이해하려고합니다. 나는 언어 확장을 고수하고 있습니다. MonadError에 언급 된 유일한 확장자는 UndecidableInstances입니다. 그러나 FunctionalDependencies 및 FlexibleInstances을 사용하지 않고 비슷한 코드를 컴파일 할 수는 없

haskell typeclass monad-transformers language-extension 2013-03-01

---