monad-transformers

6Nhiệt

1Trả lời

Haskell ReaderT Env IO boilerplate

Tôi có bản mẫu sau đây mà tôi thường làm, và muốn loại bỏ. Nó trông giống như sau: type Configured = ReaderT Config doSomething :: Configured IO Data doSomething = do getMeta <- asks getMetaDa

haskell monads monad-transformers 2011-11-16

---

5Nhiệt

4Trả lời

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

Vấn đề là vấn đề này. Tôi có: f :: MonadIO m => ReaderT FooBar m Answer; f = (liftIO getArgs) >>= ... Tôi cần chạy điều này với các đối số đã sửa đổi. Tuy nhiên, vì m là không rõ, tôi có thể không

haskell monads monad-transformers 2011-07-06

---

10Nhiệt

3Trả lời

làm thế nào tôi có thể thực hiện biến áp đơn nguyên này với sự tiếp tục?

động lực. Tôi đang cố gắng để tạo ra một biến áp đơn lẻ, với một hướng dẫn đặc biệt f <||> g có nghĩa là "lặp lại toàn bộ khối này có chứa f <||> g, một lần với f, lần sau với g". Điều này được dự địn

haskell monads continuations monad-transformers 2011-12-04

---

14Nhiệt

1Trả lời

scalaz List [StateT] .sequence - không thể tìm thấy giá trị ngầm cho tham số n: scalaz.Applicative

Tôi đang cố gắng tìm ra cách sử dụng StateT để kết hợp hai máy biến áp trạng thái State dựa trên nhận xét về câu trả lời Scalaz state monad examples của tôi. Có vẻ như tôi rất gần nhưng tôi gặp sự cố

scala scalaz monad-transformers state-monad 2011-10-16

---

15Nhiệt

3Trả lời

Làm việc trên ngăn xếp biến đổi đơn điệu được điều chỉnh

Một trong những vấn đề với máy biến áp đơn nguyên mà tôi thấy là cần phải thực hiện các thao tác vào đơn nguyên phải. Một đơn lift đây và ở đó không phải là xấu, nhưng đôi khi có những chức năng mà tr

haskell monads monad-transformers 2011-12-05

---

5Nhiệt

2Trả lời

Làm thế nào để tạo một ngăn xếp cơ sở dữ liệu trong Happstack?

Tôi muốn tạo ứng dụng Happstack với nhiều quyền truy cập vào cơ sở dữ liệu. Tôi nghĩ rằng một Monad Stack với IO ở phía dưới và một cơ sở dữ liệu Write-như đơn nguyên trên đầu trang (với văn bản ghi ở

haskell monads monad-transformers happstack 2011-10-18

---

17Nhiệt

3Trả lời

Biến áp đơn lẻ để theo dõi tiến độ

Tôi đang tìm một biến thế đơn lẻ có thể được sử dụng để theo dõi tiến trình của một quy trình. Để giải thích làm thế nào nó sẽ được sử dụng, hãy xem xét đoạn mã sau: procedure :: ProgressT IO() proce

haskell functional-programming monads coroutine monad-transformers 2011-12-19

---

5Nhiệt

2Trả lời

Mono Haskell và lỗi không yêu cầu chuỗi

Tôi có biến thế đơn nguyên sau để xử lý lỗi trong Haskell. instance (Monad m, Error e) => Monad (EitherT e m) where return = EitherT . return . return m >>= k = EitherT $ do a <- runE

haskell monads monad-transformers 2011-12-22

---

5Nhiệt

2Trả lời

Tóm tắt thành phần đơn lẻ làm biến áp

Xin lỗi nếu câu hỏi có vẻ hơi tầm thường ... nó không phải dành cho tôi. Tôi đã hạnh phúc bao gồm các đơn nguyên sau: type SB i a = ReaderT (AlgRO i) (State (AlgState i)) a đó là, tốt, một đơn nguyê

haskell monads composition monad-transformers 2011-09-14

---

10Nhiệt

2Trả lời

Đằng Parsec Monad

Nhiều combinators Parsec tôi sử dụng là của một loại như: foo :: CharParser st Foo CharParser được định nghĩa here như: type CharParser st = GenParser Char st CharParser là như vậy, một từ đồng ng

parsing haskell monads monad-transformers 2011-11-08

---