Скаланы, а есть тайпклассы для тайпклассов?, ну типа trait MonadTC[M[_[_]]] {

Question

Скаланы, а есть тайпклассы для тайпклассов?, ну типа trait MonadTC[M[_[_]]] {

def pure[F[_], A](mf: M[F])(a: A): F[A]
def join[F[_], A](mf: M[F])(ffa: F[F[A]]): F[A]
}

object MonadTC {
implicit val catsMonad: MonadTC[cats.Monad] = new MonadTC[cats.Monad] {
override def pure[F[_], A](mf: cats.Monad[F])(a: A): F[A] = mf.pure(a)
override def join[F[_], A](mf: cats.Monad[F])(ffa: F[F[A]]): F[A] = mf.flatten(ffa)
}
}

#programming #russian #scala

0

23.12.2016

1 ответов

11 просмотров

Evgeniy T · Accepted Answer

Evgeniy T

типа Type Families из хаскелла?

0

23.12.2016

169 похожих чатов

Скаланы, а есть тайпклассы для тайпклассов?, ну типа trait MonadTC[M[_[_]]] {

1 ответов

Похожие вопросы