KindTransformer

org.typelevel.otel4s.KindTransformer
See theKindTransformer companion object
trait KindTransformer[F[_], G[_]]

A utility for transforming the higher-kinded type F to another higher-kinded type G.

Attributes

Companion
object
Source
KindTransformer.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def limitedMapK[A](ga: G[A])(f: FunctionK[F, F]): G[A]

Modify the context of G[A] using the natural transformation f.

Modify the context of G[A] using the natural transformation f.

This method is "limited" in the sense that while most mapK methods can modify the context using arbitrary transformations, this method can only modify the context using natural transformations.

Attributes

Note

This method is usually best implemented by a mapK method on G.

Source
KindTransformer.scala

Concrete methods

def liftFunctionK(f: FunctionK[F, F]): FunctionK[G, G]

Lifts a natural transformation from F to F into a natural transformation from G to G.

Lifts a natural transformation from F to F into a natural transformation from G to G.

Attributes

Note

Implementors SHOULD NOT override this method; the only reason it is not final is for optimization of the identity case.

Source
KindTransformer.scala

Abstract fields

val liftK: FunctionK[F, G]

A higher-kinded function that lifts the kind F into a G.

A higher-kinded function that lifts the kind F into a G.

Attributes

Note

This method is usually best implemented by a liftK method on G's companion object.

Source
KindTransformer.scala