All Downloads are FREE. Search and download functionalities are using the official Maven repository.
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]
}
