• Home
• net.katsstuff
• perspective_3
• 0.2.0
• source code
• MonadK.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

perspective.MonadK.scala Maven / Gradle / Ivy

package perspective

//TODO: Check if this is the valid way to define MonadK
trait MonadK[F[_[_], _]] extends ApplicativeK[F]:

  extension [A[_], C](ffa: F[F[A, *], C]) def flattenK: F[A, C] = ffa.flatMapK(FunctionK.identity[F[A, *]])

  extension [A[_], C](fa: F[A, C]) def flatMapK[B[_]](f: A :~>: F[B, *]): F[B, C]

  // TODO: Implement mapK and map2K in terms of flatMapK
object MonadK:
    given idInstanceC[A]: MonadKC[IdFC[A]] = instances.idInstanceC[A]

type MonadKC[F[_[_]]] = MonadK[IgnoreC[F]]