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

MappedMorphism

libretto.lambda.MappedMorphism
See theMappedMorphism companion trait
object MappedMorphism

Attributes

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

Members list

Value members

Concrete methods

def apply[->>[_, _], F[_, _], X, Y, FX, FY](fx: F[X, FX], g: ->>[FX, FY], fy: F[Y, FY]): MappedMorphism[->>, F, X, Y]
def composeFst[->>[_, _], F[_, _], <*>[_, _], |*|[_, _], A1, A2, B, Z1](h: MappedMorphism[->>, F, <*>[A1, A2], B], g1: MappedMorphism[->>, F, Z1, A1])(using F: SemigroupalObjectMap[<*>, |*|, F], cat: SemigroupalCategory[->>, |*|]): MappedMorphism[->>, F, Z1 <*> A2, B]
def composeIntroFst[->>[_, _], F[_, _], <*>[_, _], |*|[_, _], One, Unit, A2, B](h: MappedMorphism[->>, F, <*>[One, A2], B])(using F: MonoidalObjectMap[F, <*>, One, |*|, Unit], cat: MonoidalCategory[->>, |*|, Unit]): MappedMorphism[->>, F, A2, B]
def composeIntroSnd[->>[_, _], F[_, _], <*>[_, _], |*|[_, _], One, Unit, A1, B](h: MappedMorphism[->>, F, <*>[A1, One], B])(using F: MonoidalObjectMap[F, <*>, One, |*|, Unit], cat: MonoidalCategory[->>, |*|, Unit]): MappedMorphism[->>, F, A1, B]
def composeSnd[->>[_, _], F[_, _], <*>[_, _], |*|[_, _], A1, A2, B, Z2](h: MappedMorphism[->>, F, <*>[A1, A2], B], g2: MappedMorphism[->>, F, Z2, A2])(using F: SemigroupalObjectMap[<*>, |*|, F], cat: SemigroupalCategory[->>, |*|]): MappedMorphism[->>, F, A1 <*> Z2, B]
def par[->>[_, _], F[_, _], <*>[_, _], |*|[_, _], A1, A2, B1, B2](f1: MappedMorphism[->>, F, A1, B1], f2: MappedMorphism[->>, F, A2, B2])(using F: SemigroupalObjectMap[<*>, |*|, F], cat: SemigroupalCategory[->>, |*|]): MappedMorphism[->>, F, A1 <*> A2, B1 <*> B2]
Generated with