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

Single

libretto.lambda.SourceNAry.Single
case class Single[->[_, _], ||[_, _], Nil, A, B](f: A -> B) extends SourceNAry[->, ||, Nil, A, Nil || B]

Attributes

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

Members list

Value members

Concrete methods

override def after[Z](g: Z -> A)(using s: Semigroupoid[->]): SourceNAry[->, ||, Nil, Z, Nil || B]

Attributes

Definition Classes
override def asSink: SinkNAry[[x, y] =>> y -> x, ||, Nil, Nil || B, 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, 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

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with