monad-transformers

21Nhiệt

1Trả lời

Các lớp thâm nhập Monad Stack với Transformers Monad miễn phí/hoạt động?

Có thể có cơ chế giống như mtl cho máy biến áp đơn nguyên do FreeT/ProgramT tạo ra không? Sự hiểu biết của tôi về lịch sử như sau. Đã có một thời gian biến áp monad được phát minh. Sau đó, mọi người b

11Nhiệt

1Trả lời

Làm thế nào để tránh cầu thang bước với Monad Transformers trong scala?

Tôi có đoạn mã sau sử dụng đơn Reader để cấu hình và cũng phải xử lý IO[Option[String]] và tôi đã kết thúc bằng mã mà bước cầu thang trong hàm encode của tôi. Làm cách nào tôi có thể xây dựng một biến

6Nhiệt

1Trả lời

Làm thế nào để bạn lý do về thứ tự thực hiện các chức năng trong một ngăn xếp monadT?

Chủ đề chung: Trong khi tôi tìm thấy ý tưởng sắp xếp các monads với nhau rất hấp dẫn, tôi gặp rất nhiều rắc rối khi xem mã được thực hiện như thế nào và các lệnh thích hợp để chạy các lớp là gì. Dưới

6Nhiệt

1Trả lời

Biến thế Monad và chức năng nâng

Tại sao không cần sử dụng thang máy để thực hiện một chức năng trong môi trường biến áp đơn lẻ nội bộ, ngoại trừ IO? Ý tôi là, nếu tôi có StateT trên WriterT và WriterT trên ReaderT, tại sao tôi có th

15Nhiệt

1Trả lời

Biến áp Monad cho NonEmptyList?

Dường như với tôi rằng Scalaz 'NonEmptyList có một ví dụ đơn nhất, do đó, một biến áp monad cho nó (một chút tương tự như ListT) nên có thể. Đúng không? Nếu có, có ai không? (Tôi không thể tìm thấy mộ

21Nhiệt

2Trả lời

Làm thế nào để thiết kế một ngăn xếp monadic?

Làm thế nào để bạn thiết kế và xây dựng ngăn xếp monadic của bạn? Lần đầu tiên tôi cần xây dựng một chồng đơn (sử dụng máy biến thế) để giải quyết vấn đề thế giới thực, nhưng tôi không chắc chắn trong

7Nhiệt

2Trả lời

Cách trả lại một tuple bên trong EitherT

Tôi đang sử dụng EitherT của Scalaz 7 để xây dựng cho sự hiểu biết pha trộn trạng thái và \ /. Càng xa càng tốt; Tôi nhận được nội dung cơ bản: State[MyStateType, MyLeftType \/ MyRightType] và cho p

6Nhiệt

1Trả lời

Có cách nào để tạo ra hai máy biến áp đơn nguyên nếu chúng thuộc loại khác nhau, nhưng đơn nguyên cơ bản của chúng là cùng loại?

Tôi không thể làm gì để mở rộng câu hỏi. Nhưng đây là một trường hợp sử dụng: giả sử bạn có hai máy biến áp đơn nguyên, t và s, chuyển so với cùng đơn nguyên m: master :: (MonadTrans t, Monad m) => t

7Nhiệt

2Trả lời

Làm cách nào để triển khai biến áp đơn lẻ `List` trong Scala?

Tôi có một đơn vị rất giống với một bộ sưu tập. Tôi hiện đang cố gắng để thực hiện một biến áp monad cho nó, nhưng tôi thất bại. Tôi đã xem triển khai ListT ở Scalaz 6 và 7, nhưng tôi không thể hiểu c

14Nhiệt

3Trả lời

Có thể thực hiện `(Áp dụng m) => Áp dụng (StateT s m)`?

Tôi hiện đang làm việc theo số Data.Fresh và Control.Monad.Trans.Fresh. xác định một giao diện để tạo ra các biến mới, và một biến áp đơn lẻ thực hiện giao diện này. Tôi bước đầu nghĩ rằng có thể triể