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

Knitted

libretto.lambda.Knit$package.Knitted
object Knitted

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Knitted.type

Members list

Value members

Concrete methods

def fromProjection[**[_, _], P, Q](p: Projection[**, P, Q])(using BiInjective[**]): Option[ExistsK[[F[_]] =>> Knitted[**, F, Q]]]
def functional[**[_, _], F[_], F1, F2](k1: Knitted[**, F, F1], k2: Knitted[**, F, F2]): F1 =:= F2
def inFst[**[_, _], F1[_], B, A](k: Knitted[**, F1, A]): Knitted[**, [x] =>> F1[x] ** B, A ** B]
def inSnd[**[_, _], A, F2[_], B](k: Knitted[**, F2, B]): Knitted[**, [y] =>> A ** F2[y], A ** B]
def keepFst[**[_, _], A]: Knitted[**, [x] =>> A ** x, A]
def keepSnd[**[_, _], B]: Knitted[**, **, B]
Generated with