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

SourceNAry

libretto.lambda.SourceNAry
See theSourceNAry companion object
trait SourceNAry[->[_, _], ||[_, _], Nil, A, B]

A collection of arrows A -> Bi, where B = Nil || B1 || B2 || ... || Bn, where || associates to the left.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Single[->, ||, Nil, A, B]
class Snoc[->, ||, Nil, A, Init, Z]

Members list

Value members

Abstract methods

def after[Z](f: Z -> A)(using Semigroupoid[->]): SourceNAry[->, ||, Nil, Z, B]
def asSink: SinkNAry[[x, y] =>> y -> x, ||, Nil, B, A]
def pushout[->>[_, _], Obj[_]](binaryPushout: [P, X, Y] => (x$1: P -> X, x$2: P -> Y) => Exists[[Q] =>> (->>[X, Q], ->>[Y, Q], P -> Q)], tgtData: [X, Y] => (X -> Y) => Obj[Y])(using NarrowCategory[->>, Obj]): Exists[[Q] =>> (SinkNAry[->>, ||, Nil, B, Q], A -> Q)]

N-ary pushout from binary, generalized in that the arrows of the resulting sink (n-ary cospan) may be of a different type ->>.

N-ary pushout from binary, generalized in that the arrows of the resulting sink (n-ary cospan) may be of a different type ->>.

Attributes

Generated with