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

Distribution

libretto.lambda.Distribution
trait Distribution[->[_, _], **[_, _], ++[_, _]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def distLR[A, B, C]: (A ** (B ++ C)) -> ((A ** B) ++ (A ** C))
def distRL[A, B, C]: ((A ++ B) ** C) -> ((A ** C) ++ (B ** C))

Concrete methods

def distF[F[_], A, B](using F: Focus[**, F]): F[A ++ B] -> (F[A] ++ F[B])

Abstract fields

val cat: SemigroupalCategory[->, **]
Generated with