all

trait FixSyntax
class Object
trait Matchable
class Any
all.type

Type members

Inherited types

type [F[_], G[_]] = { type λ = [α] =>> F[G[α]]; }

Compose two functors F and G.

Compose two functors F and G.

This allows you to inline what would otherwise require a type alias.

Consider the method

def method[F[_]]: Unit = ()

Calling method with a simple type is easy:

method[Option]

Calling method with a nested type is more complicated. The traditional way to do this is to use an alias:

type ListOption[A] = List[Option[A]]
method[ListOption]

This type provides a convenient (maybe?) way to inline the above type:

method[(List ∘ Option)#λ]

Note: If you have the kind projector plugin enabled, this alias is equivalent to:

method[λ[α => List[Option[α]]]]
Inherited from:
ComposeSyntax

Implicits

Inherited implicits

implicit def toAttrySyntaxOps[V[_], A](lower: V[A]): Ops[V, A]
Inherited from:
AttrSyntax
implicit def toEmbedSyntaxOps[F[_], T](t: F[T])(implicit E: Embed[F, T]): Ops[F, T]
Inherited from:
EmbedSyntax
implicit def toFixSyntaxOps[F[_], A](unfix: F[A]): Ops[F, A]
Inherited from:
FixSyntax
implicit def toFoldableProjectSyntaxOps[F[_], T](t: T)(implicit PFT: Project[F, T], FF: Foldable[F]): ProjectFoldableOps[F, T]
Inherited from:
ProjectSyntax
implicit def toLiftSyntaxOps[A, B](f: A => B): Ops[A, B]
Inherited from:
LiftSyntax
implicit def toProjectSyntaxOps[F[_], T](t: T)(implicit PFT: Project[F, T]): ProjectOps[F, T]
Inherited from:
ProjectSyntax
implicit def toUnfixSyntaxOps[F[_]](fix: Fix[F]): Ops[F]
Inherited from:
UnfixSyntax