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

Knit

libretto.lambda.Knit
See theKnit companion trait
object Knit

Attributes

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

Members list

Type members

Classlikes

sealed abstract case class InFst[**[_, _], F[_], B](k: Knit[**, F]) extends Knit[**, [x] =>> F[x] ** B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Knit[**, [x] =>> F[x] ** B]
class Object
trait Matchable
class Any
Show all
Known subtypes
class InFstImpl[**, F, B, A]
class InFstImpl[**[_, _], F[_], B, A](val k: Knitted[**, F, A]) extends InFst[**, F, B]

Attributes

Supertypes
class InFst[**, F, B]
trait Serializable
trait Product
trait Equals
trait Knit[**, [x] =>> F[x] ** B]
class Object
trait Matchable
class Any
Show all
sealed abstract case class InSnd[**[_, _], A, G[_]](k: Knit[**, G]) extends Knit[**, [y] =>> A ** G[y]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Knit[**, [y] =>> A ** G[y]]
class Object
trait Matchable
class Any
Show all
Known subtypes
class InSndImpl[**, A, G, B]
class InSndImpl[**[_, _], A, G[_], B](val k: Knitted[**, G, B]) extends InSnd[**, A, G]

Attributes

Supertypes
class InSnd[**, A, G]
trait Serializable
trait Product
trait Equals
trait Knit[**, [y] =>> A ** G[y]]
class Object
trait Matchable
class Any
Show all
case class KeepFst[**[_, _], A]() extends Knit[**, [x] =>> A ** x]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Knit[**, [x] =>> A ** x]
class Object
trait Matchable
class Any
Show all
case class KeepSnd[**[_, _], B]() extends Knit[**, **]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Knit[**, **]
class Object
trait Matchable
class Any
Show all
Generated with