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

Transportive

libretto.CoreLib.Transportive
See theTransportive companion trait
object Transportive

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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

Pair is covariant in the first argument.

Pair is covariant in the first argument.

Attributes

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

Pair is covariant in the second argument.

Pair is covariant in the second argument.

Attributes

Generated with