Функциите A => A са моноидни с identity като empty и композиция като combine. За съжаление не го намерих в библиотеката cats. Предоставя ли библиотеката моноиден екземпляр за тези функции?
Какво ще кажете за A => M[A], където M е монада или апликативно?
Cats има Monoid екземпляр на A => A в instances/function.scala.
A => M[A] за монада M шевове, за да образуват моноид с a => M.pure(a) като empty следната combine операция:
def compose(f1 = A => M[A], f2 = A => M[A]): A => M[A] =
a => f1(a).flatMap { e => f2(e) }
Това не изглежда да бъде приложено в библиотеката.
Доказателство за моноидните закони, оставено като упражнение за читателя.
X => A[X], където е A е апликативен, моноид?
- person Michael; 18.03.2017
combine операция без flatMap?
- person OlivierBlanvillain; 18.03.2017
