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

MonoidalObjectMap

libretto.lambda.MonoidalObjectMap
trait MonoidalObjectMap[F[_, _], |*|[_, _], One, <*>[_, _], Unit] extends SemigroupalObjectMap[|*|, <*>, F]

Attributes

Graph
Supertypes
trait SemigroupalObjectMap[|*|, <*>, F]
trait Functional[F]
trait PairwiseRel[|*|, <*>, F]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited classlikes

object Unpaired

Attributes

Inherited from:
PairwiseRel
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
sealed trait Unpaired[A1, A2, X]

Attributes

Inherited from:
PairwiseRel
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Impl[A1, A2, T1, T2]

Value members

Abstract methods

def unit: F[One, Unit]

Inherited and Abstract methods

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

Attributes

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

Attributes

Inherited from:
Functional
def unpair[A1, A2, X](f: F[A1 |*| A2, X]): Unpaired[A1, A2, X]

Attributes

Inherited from:
PairwiseRel
Generated with