monad-transformers

3열

2답변

다른 모나드에서 유효성 검사를위한 좋은 구문

모나드 트랜스포머를 좋아합니다. 예를 들어, 내가 같이 잘이 미래의 옵션 값을 결합 할 수 있습니다하십시오 Monad[_] 인스턴스가없는 val val1:OptionT[Task, Int] = ??? val val2:OptionT[Task, Int] = ??? val sum = for { one ← val1 two ← val2 } y

scala scalaz monad-transformers 2013-10-18

---

3열

1답변

Scala에서 모나드 리더를 사용하는 프로그램 아키텍처

모나드 리더를 사용하여 스칼라에서 의존성 삽입에 대한 내 머리를 감싸려고합니다. 나는 스칼라를 최근에 배우기 시작 했으므로 여기에있는 코드는 컴파일되지 않지만 내 문제가 분명 해지기를 바란다. 시작하려면 응용 프로그램에서 사용자가 암호를 변경할 수 있다고 가정합니다. 첫째, 간단한 경우 클래스 사용자를 작성하고 동반자 개체에과 changepassword 방

scala dependency-injection monads monad-transformers 2014-03-28

---

8열

1답변

Future [\/[A, B]]를 스칼라로 연결하는 방법?

for 데이터 유형이 Future[\/[String,Int]] 인 경우 수행 할 수있는 방법 여기는 컴파일하지 않는 시작점입니다. import scala.concurrent.{ExecutionContext,future,Future} import scalaz._ import Scalaz._ import ExecutionContext.Implicits.g

scala scalaz monad-transformers 2014-02-24

---

0열

2답변

Haskell : Snap 및 LevelDB를 멋지게 만들기

LevelDB 라이브러리와 Snap 프레임 워크를 함께 사용하고 있습니다. 내가 가진 : handleWords :: Handler App App() handleWords = do words <- uses thedb $ \db -> $ get db def "words" writeBS $ pack $ show words 나에게 제공합니다

haskell monad-transformers snap-framework leveldb 2014-03-04

---

7열

2답변

Scala에서`List` 모나드 변환기를 구현하는 방법은 무엇입니까?

나는 모나드와 매우 흡사 한 모나드를 가지고있다. 나는 현재 그것을 위해 모나드 변환기를 구현하려고하는데, 실패하고있다. ListT 구현을 Scalaz 6 및 7로 보았습니다.하지만 어떻게 작동하는지 이해할 수 없습니다. 일부 추가 유형 Step을 사용합니다. 그 목적은 나에게 불명확합니다. 따라서 누군가가 Scalaz 접근 방식을 설명하거나 다른 구현을

scala scalaz monad-transformers 2013-08-23

---

6열

3답변

리프트의 반환 값이 모나드로 제한되지 않는 이유는 무엇입니까?

은 왜 대신 현재 class MonadTrans t where lift :: Monad m => m a -> t m a 이 (Why aren't monad transformers constrained to yield monads?의 제안과는 달리) 하스켈 98의 class MonadTrans t where lift :: (Monad m

haskell monads typeclass monad-transformers 2013-08-28

---

1열

1답변

Parsec과 함께 WriterT를 사용하는 가장 좋은 방법은 무엇입니까?

noob 하스켈 질문입니다. 저는 Parsec과 AttoParsec 모두에서 몇 가지 파서를 작성하는 재미를 느꼈습니다. 이제 구문 분석 프로세스 중에 정보를 수집 (기본적으로 심볼 테이블 작성)하고 WriterT 모나드 변환기를 사용하는 것이 좋은 옵션처럼 보입니다. I는이 간단한 예를 들어 지금 일하고 있습니다 : 그것은 위대한 작품을 module Ne

haskell monads parsec monad-transformers 2013-10-22

---

14열

3답변

`(Applicative m) => Applicative (StateT s m)`을 구현할 수 있습니까?

저는 현재 Data.Fresh과 Control.Monad.Trans.Fresh으로 일하고 있습니다. 새로운 변수를 생성하기위한 인터페이스와이 인터페이스를 구현하는 모나드 변환기를 정의한다. 처음에는 FreshT v m에 Applicative 인스턴스를 구현할 수 있다고 생각했지만 Applicative m이라는 유일한 요구 사항이 있습니다. 그러나 나는 갇혀

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

---

0열

1답변

모나드 변압기 실행 취소 방법에 대한 최소한의 예

Undo Monad Transformer 사용 방법에 대한 자습서/예제를 웹에서 검색했지만 찾을 수 없습니다. 누군가 사용법을 보여주는 최소한의 예를 들려 줄 수 있습니까? 또는 설명 된 책을 지적해도 도움이 될 것입니다. 간단한 편집기에서 실행 취소/다시 실행 작업을 구현하는 데 사용하고 싶습니다.

haskell monads monad-transformers 2014-03-25

---

3열

1답변

모나드 트랜스포머 문서 : eval1은 형식 검사를하지 않습니다.

Monad Transformer 문서를 읽고 있습니다. 그리고이 코드 샘플을 가로 질러 온 : import qualified Data.Map as Map import Control.Monad.Identity type Eval1 a = Identity a runEval1 :: Eval1 a -> a runEval1 ev = runIdentity e

haskell monads monad-transformers 2013-12-22

---