Проект разросся сильно

Ребят такой тупой вопрос, есть вот у нас IO монада из cats.effect, как мне проверить на ней к примеру left identity law?

полтора часа на полный билд. Главный оффендер - тайпскрипт, но сборка скалы тоже минут десять отжирает

спасибо, кстати. Реально полезно, надеюсь на практике будет похоже

тест написать

Да но как его правильно написать, ведь IO(x).flatMap(f) == f(x) не вернёт мне true

class MonadLaws[F[_] : Monad : Runnable] {

 import syntax._

 def leftIdentity[A](a: => A, f: A => F[A]): Boolean = {
   Cat(a).flatMap(f).run() == f(a).run()
 }

 def rightIdentity[A](m: F[A]): Boolean = {
   m.run() == m.flatMap(a => Cat(a)).run()
 }

 def associativity[A](m: F[A], f: A => F[A], g: A => F[A]): Boolean = {
   val combined = (x: A) => f(x).flatMap(g)
   m.flatMap(f).flatMap(g).run() == m.flatMap(combined).run()
 }

}

примерно вот так

А то есть надо дёрнуть run

но проблема в том, что проверять надо для всех a для каждого A, что , очевидно, невозможно

ну я так и думал, спасибо друзья!!

Друзья все на джаве пишут, а мы подсказываем, хреново подсказываем

Но всё равно спасибо

@jey_lee единственный человек на моей памяти, который в этом чате получил бан в свое время.

Вчера под другим ником опять был мат.

Так что можно считать это последним предупреждением.

Дай душеньке разгуляться

не единственный, просто ты выпилился в свое время

скорее единственный на кого глаза закрываем

И не закрываем, в коке написано что только оффенсив мат плохо, остальное это вы сами придумали. А жей ли мата оффенсив не выдавал, только как восклицания. Но я понимаю, 19ый век всё-таки. Табу.

в коке еще написано "на все воля админа и случая (с какой ноги админ встал)"