core/higherkindness.droste.data/Mu

Mu

object Mu
Companion:
class
class Object
trait Matchable
class Any
Mu.type

Value members

Concrete methods

def algebra[F[_] : Functor]: Algebra[F, Mu[F]]
def apply[F[_] : Functor](fmf: F[Mu[F]]): Mu[F]
def coalgebra[F[_] : Functor]: Coalgebra[F, Mu[F]]
def un[F[_] : Functor](mf: Mu[F]): F[Mu[F]]
def unapply[F[_] : Functor](mf: Mu[F]): Some[F[Mu[F]]]

Implicits

Implicits

implicit def drosteBasisForMu[F[_] : Functor]: Basis[F, Mu[F]]
implicit val drosteBasisSolveForMu: Aux[[F[_]] =>> Mu[F], <none>]