libretto-core
API
Generated with
libretto-core/libretto/CoreLib/Detained/given_Transportive_Detained

given_Transportive_Detained

libretto.CoreLib.Detained.given_Transportive_Detained
object given_Transportive_Detained extends Transportive[Detained]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def inL[A, B]: A |*| Detained[B] -⚬ Detained[A |*| B]

Attributes

Definition Classes
override def lift[A, B](f: A -⚬ B): Detained[A] -⚬ Detained[B]

Attributes

Definition Classes
override def outL[A, B]: Detained[A |*| B] -⚬ A |*| Detained[B]

Attributes

Definition Classes

Inherited methods

def excludeFst[A, B]: F[A |*| B] -⚬ A |*| F[B]

Alias for outL.

Alias for outL.

Attributes

Inherited from:
Transportive
def excludeSnd[A, B]: F[A |*| B] -⚬ F[A] |*| B

Alias for outR.

Alias for outR.

Attributes

Inherited from:
Transportive
def getL[A](using A: Cosemigroup[A]): F[A] -⚬ A |*| F[A]

Attributes

Inherited from:
Transportive
def getR[A](using A: Cosemigroup[A]): F[A] -⚬ F[A] |*| A

Attributes

Inherited from:
Transportive
def inR[A, B]: F[A] |*| B -⚬ F[A |*| B]

Attributes

Inherited from:
Transportive
def includeFst[A, B]: A |*| F[B] -⚬ F[A |*| B]

Alias for inL.

Alias for inL.

Attributes

Inherited from:
Transportive
def includeSnd[A, B]: F[A] |*| B -⚬ F[A |*| B]

Alias for inR.

Alias for inR.

Attributes

Inherited from:
Transportive
def lens[A]: Lens[F[A], A]

Attributes

Inherited from:
Transportive
def outR[A, B]: F[A |*| B] -⚬ F[A] |*| B

Attributes

Inherited from:
Transportive
def ∘[G[_]](that: ContraFunctor[-⚬, G]): ContraFunctor[->, [x] =>> F[G[x]]]

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

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

Attributes

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

Composition with another covariant functor.

Composition with another covariant functor.

Attributes

Inherited from:
Functor

Concrete fields

override val category: Category[-⚬]
Generated with