libretto/libretto/CoreLib/Transportive

Transportive

object Transportive
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_]](implicit F: Transportive[F]): Transportive[F]
def fst[B]: Transportive[|*|]

Pair is covariant in the first argument.

Pair is covariant in the first argument.

def snd[A]: Transportive[[x] =>> A |*| x]

Pair is covariant in the second argument.

Pair is covariant in the second argument.