• Home
• io.7mind.izumi
• fundamentals-bio_3
• 1.2.16
• source code
• package.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.

izumi.functional.bio.data.package.scala Maven / Gradle / Ivy

package izumi.functional.bio

package object data {
  type ~>[-F[_], +G[_]] = Morphism1.Morphism1[F, G]
  type ~>>[-F[_, _], +G[_, _]] = Morphism2.Morphism2[F, G]
  type ~>>>[-F[_, _, _], +G[_, _, _]] = Morphism3.Morphism3[F, G]

  type Morphism1[-F[_], +G[_]] = Morphism1.Morphism1[F, G]
  type Morphism2[-F[_, _], +G[_, _]] = Morphism2.Morphism2[F, G]
  type Morphism3[-F[_, _, _], +G[_, _, _]] = Morphism3.Morphism3[F, G]

  type Isomorphism1[F[_], G[_]] = Isomorphism3[λ[(R, E, A) => F[A]], λ[(R, E, A) => G[A]]]
  type Isomorphism2[F[_, _], G[_, _]] = Isomorphism3[λ[(R, E, A) => F[E, A]], λ[(R, E, A) => G[E, A]]]

  type RestoreInterruption2[F[_, _]] = Morphism2.Morphism2[F, F]
  type RestoreInterruption3[F[_, _, _]] = Morphism3.Morphism3[F, F]
}