libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/ObjectMap

ObjectMap

libretto.lambda.ObjectMap
trait ObjectMap[|*|[_, _], <*>[_, _], F[_, _]] extends Functional[F]

Attributes

<*>

monoidal product in the target "category"

F

mapping on objects. f: F[A, X] means that object A of the source "category" is mapped to object X in the target "category".

|*|

monoidal product in the source "category"

Graph
Supertypes
trait Functional[F]
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Classlikes

object Unpaired

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait Unpaired[A1, A2, X]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Impl[A1, A2, T1, T2]

Value members

Abstract methods

def pair[A1, A2, X1, X2](f1: F[A1, X1], f2: F[A2, X2]): F[A1 |*| A2, X1 <*> X2]
def unpair[A1, A2, X](f: F[A1 |*| A2, X]): Unpaired[A1, A2, X]

Inherited methods

def uniqueOutputType[A, B, C](f: F[A, B], g: F[A, C]): B =:= C

Attributes

Inherited from:
Functional
Generated with