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

Snoc

libretto.lambda.SourceNAry.Snoc
case class Snoc[->[_, _], ||[_, _], Nil, A, Init, Z](init: SourceNAry[->, ||, Nil, A, Init], last: A -> Z) extends SourceNAry[->, ||, Nil, A, Init || Z]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait SourceNAry[->, ||, Nil, A, Init || Z]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def after[A0](f: A0 -> A)(using Semigroupoid[->]): SourceNAry[->, ||, Nil, A0, Init || Z]

Attributes

Definition Classes
override def asSink: SinkNAry[[x, y] =>> y -> x, ||, Nil, Init || Z, A]

Attributes

Definition Classes
override 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 cat: NarrowCategory[->>, Obj]): Exists[[Q] =>> (SinkNAry[->>, ||, Nil, Init || Z, 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

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with