libretto-core
API
Generated with
libretto-core/libretto/CoreLib/given_Transportive_Id

given_Transportive_Id

libretto.CoreLib.given_Transportive_Id
object given_Transportive_Id extends Transportive[Id]

Attributes

Graph
Supertypes
trait Transportive[Id]
trait Functor[-⚬, Id]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def inL[A, B]: A |*| Id[B] -⚬ Id[A |*| B]
def lift[A, B](f: A -⚬ B): Id[A] -⚬ Id[B]
def outL[A, B]: Id[A |*| B] -⚬ A |*| Id[B]

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