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

SemigroupalObjectMap

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

Attributes

Graph
Supertypes
trait Functional[F]
trait PairwiseRel[|*|, <*>, F]
class Object
trait Matchable
class Any
Known subtypes
trait MonoidalObjectMap[F, |*|, One, <*>, Unit]

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

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