• Home
• com.github.danslapman
• morphling_2.13
• 4.0.0
• 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.

morphling.package.scala Maven / Gradle / Ivy

import cats.~>

package object morphling {
  type HAlgebra[F[_[_], _], G[_]]   = F[G, *] ~> G
  type HCoAlgebra[F[_[_], _], G[_]] = G ~> F[G, *]

  type HCofree[F[_[_], _], A[_], I] = HFix[HEnvT[A, F, *[_], *], I]
}