1
Scalaz iteratees: "Піднімаючи" `EnumeratorT`, щоб відповідати` IterateeT` для "більшої" монади
Якщо у мене є EnumeratorTвідповідне, IterateeTя можу запустити їх разом: val en: EnumeratorT[String, Task] = EnumeratorT.enumList(List("a", "b", "c")) val it: IterateeT[String, Task, Int] = IterateeT.length (it &= en).run : Task[Int] Якщо монада перелічувача "більша", ніж монада ітерату, я можу використовувати upабо, взагалі Hoistкажучи , "підняти" ітерацію на збіг: val en: …