Где официальное определение "связать" и "вернуть" для писательской монады в Хаскеле?

Question

Где официальное определение "связать" и "вернуть" для писательской монады в Хаскеле?

До сих пор я нашел:

http://monads.haskell.cz/html/writermonad.html
http://en.wikipedia.org/wiki/Monad_(functional_programming)

которые дают определения для >>= а также return

Где официальный код?

0

haskell monads writer-monad

Источник

user814846 23 ноя '13 в 02:12

2 ответа

Решение

Весь источник можно найти на Hackage.

0

Источник

user839246 23 ноя '13 в 02:26

Другие вопросы по тегам haskell monads writer-monad

user791604 23 ноя '13 в 02:48 2013-11-23 02:48 · Accepted Answer · 2013-11-23 02:48

Monad экземпляры для стандартных трансформаторов находятся в transformers пакет. За WriterTпосмотри здесь. К сожалению, в настоящее время нет хорошей инструментальной поддержки для определения того, где определен конкретный экземпляр - вам просто нужно сделать некоторые догадки (или быть умным со своим любимым grep замена).