PolyFunction2

smithy4s.kinds.PolyFunction2$
See thePolyFunction2 companion trait

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Types

type From[F[_, _]] = { type Algebra = [G[_, _]] =>> PolyFunction2[F, G]; }

Value members

Concrete methods

def identity[F[_, _]]: PolyFunction2[F, F]

Implicits

Implicits

implicit def polyfunction2_transformation[Alg[_[_, _]] : FunctorK2, F[_, _], G[_, _]]: Transformation[PolyFunction2[F, G], Alg[F], Alg[G]]