tofu.lift.IsoK.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tofu-core_2.11 Show documentation

Opinionated Set of tool for functional programming in scala

The newest version!

package tofu.lift

import cats.~>
import tofu.syntax.functionK._

/** bidirectional transformation */
trait IsoK[F[_], G[_]] { self =>
  def to[A](fa: F[A]): G[A]
  def from[A](ga: G[A]): F[A]

  def tof: F ~> G = makeFunctionK(to(_))
  def fromF: G ~> F = makeFunctionK(from(_))

  def inverse: IsoK[G, F] = new IsoK[G, F] {
    def to[A](fa: G[A]): F[A]   = self.from(fa)
    def from[A](ga: F[A]): G[A] = self.to(ga)

    override def inverse: IsoK[F, G] = self
  }

  def andThen[H[_]](that: IsoK[G, H]): IsoK[F, H] =
    new IsoK[F, H] {
      def to[A](fa: F[A]): H[A]   = that.to(self.to(fa))
      def from[A](ga: H[A]): F[A] = self.from(that.from(ga))
    }
}

object IsoK {
  def id[F[_]]: IsoK[F, F] = new IsoK[F, F] {
    def to[A](fa: F[A]): F[A]   = fa
    def from[A](ga: F[A]): F[A] = ga
  }
}