libretto/libretto/CoreLib/Transportive

Transportive

trait Transportive[F[_]] extends Functor[F]
trait Functor[F]
class Object
trait Matchable
class Any

Value members

Methods

def getL[A](A: Cosemigroup[A]): F[A] -⚬ A |*| F[A]
def getR[A](A: Cosemigroup[A]): F[A] -⚬ F[A] |*| A
def inL[A, B]: A |*| F[B] -⚬ F[A |*| B]
def inR[A, B]: F[A] |*| B -⚬ F[A |*| B]
def lens[A]: Lens[F[A], A]
def outL[A, B]: F[A |*| B] -⚬ A |*| F[B]
def outR[A, B]: F[A |*| B] -⚬ F[A] |*| B

Inherited methods

def lift[A, B](f: A -⚬ B): F[A] -⚬ F[B]
Inherited from
Functor
def ∘[G[_]](that: ContraFunctor[G]): ContraFunctor[[x] =>> F[G[x]]]

Composition with a contravariant functor. Results in a contravariant functor.

Inherited from
Functor
def ∘[G[_]](that: Functor[G]): Functor[[x] =>> F[G[x]]]

Composition with another covariant functor.

Inherited from
Functor