libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/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

Concise view

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.

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
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL