Scalaz - runnable monad

Question

Есть ли в Scalaz любое понятие «управляемой» монады? - тот, из которого может быть извлечено значение результата, потенциально скрытые побочные эффекты?

trait RunnableM[M[_]] { 
    def runM[T](m: M[T]): T 
} 

Мне понадобится это, чтобы оценить монадическое вычисление и выйти из монады в конце. В Haskell у нас есть разные функции «run» для монадов, которые могут или не могут включать IO, поэтому тип такого типа может быть невозможен, по крайней мере, до моего мышления. Но в Скале это можно сделать.

Answer 1

Неправильное решение, но у Comonad у scalaz есть copoint, который может быть (ab) использован для достижения этого; Comonad экземпляры уже существуют для множества стандартных монадов-скаразов, и вы можете обманывать и определять их, например. Task (это может спровоцировать теоретиков, не забудьте ограничить сферу применения любого такого экземпляра там, где он вам нужен, и будем рады, что произойдет IO, не позволяйте ему заражать удаленный код). Он приглушен к экземплярам:

def runM[T](m: M[T])(implicit cm: Comonad[M]) = m.copoint