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

CocartesianNAryCategory

libretto.lambda.CocartesianNAryCategory
See theCocartesianNAryCategory companion trait
object CocartesianNAryCategory

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def fromBinary[->[_, _], ++[_, _], Sum[_], ||[_, _], ::[_, _]](cat: CocartesianSemigroupalCategory[->, ++], embed: [Label, A] => DummyImplicit ?=> ->[A, Sum[::[Label, A]]], extract: [Label, A] => DummyImplicit ?=> ->[Sum[::[Label, A]], A], peel: [Init, Label, Z] => DummyImplicit ?=> ->[Sum[||[Init, ::[Label, Z]]], ++[Sum[Init], Z]], unpeel: [Init, Label, Z] => DummyImplicit ?=> ->[++[Sum[Init], Z], Sum[||[Init, ::[Label, Z]]]]): CocartesianNAryCategory[->, Sum, ||, ::]
def fromBinary[->[_, _], ++[_, _], Sum[_], ||[_, _], ::[_, _]](cat: CocartesianSemigroupalCategory[->, ++], inj: [Label, A, Cases] => Member[||, ::, Label, A, Cases] => ->[A, Sum[Cases]], extract: [Label, A] => DummyImplicit ?=> ->[Sum[::[Label, A]], A], peel: [Init, Label, Z] => DummyImplicit ?=> ->[Sum[||[Init, ::[Label, Z]]], ++[Sum[Init], Z]]): CocartesianNAryCategory[->, Sum, ||, ::]
Generated with