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

Snoc

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

Attributes

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

Members list

Value members

Concrete methods

override def andThen[C](g: B -> C)(using Semigroupoid[->]): SinkNAry[->, ||, Nil, Init || Z, C]

Attributes

Definition Classes
override def asSource: SourceNAry[[x, y] =>> y -> x, ||, Nil, B, Init || Z]

Attributes

Definition Classes
override def divide[F[_, _], G[_, _]](h: [X, Y] => (X -> Y) => Exists[[Q] =>> (F[X, Q], G[Q, Y])]): Exists[[Q] =>> (ParN[||, Nil, F, Init || Z, Q], SinkNAry[G, ||, Nil, Q, B])]

Attributes

Definition Classes
override def divide3[F[_, _], G[_, _], H[_, _]](h: [X, Y] => (X -> Y) => Exists[[P] =>> Exists[[Q] =>> (F[X, P], G[P, Q], H[Q, Y])]]): Exists[[P] =>> Exists[[Q] =>> (ParN[||, Nil, F, Init || Z, P], ParN[||, Nil, G, P, Q], SinkNAry[H, ||, Nil, Q, B])]]

Attributes

Definition Classes
override def pullback[->>[_, _], Obj[_]](binaryPullback: [X, Y, Q] => (x$1: X -> Q, x$2: Y -> Q) => Exists[[P] =>> (->>[P, X], ->>[P, Y], P -> Q)], srcData: [X, Y] => (X -> Y) => Obj[X])(using cat: NarrowCategory[->>, Obj]): Exists[[P] =>> (SourceNAry[->>, ||, Nil, P, Init || Z], P -> B)]

N-ary pullback from binary, generalized in that the arrows of the resulting source (n-ary span) may be of a different type ->>.

N-ary pullback from binary, generalized in that the arrows of the resulting source (n-ary span) 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