core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/smithy4s.kinds/PolyFunction5

PolyFunction5

smithy4s.kinds.PolyFunction5$
See thePolyFunction5 companion trait
object PolyFunction5

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[_, _, _, _, _]] =>> PolyFunction5[F, G]; }

Value members

Concrete methods

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

Implicits

Implicits

implicit def polyfunction5_transformation[Alg[_[_, _, _, _, _]] : FunctorK5, F[_, _, _, _, _], G[_, _, _, _, _]]: Transformation[PolyFunction5[F, G], Alg[F], Alg[G]]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL