libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Focus/Fst

Fst

libretto.lambda.Focus.Fst
case class Fst[|*|[_, _], F[_], B](i: Focus[|*|, F]) extends Proper[|*|, [x] =>> F[x] |*| B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Proper[|*|, [x] =>> F[x] |*| B]
trait Focus[|*|, [x] =>> F[x] |*| B]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def injective(using BiInjective[|*|]): Injective[[x] =>> F[x] |*| B]

Attributes

Definition Classes
override def provePair[X]: Exists[[P] =>> Exists[[Q] =>> (F[X] |*| B) =:= (P |*| Q)]]

Attributes

Definition Classes

Inherited methods

infix def compose[G[_]](that: Focus[|*|, G]): Focus[|*|, [x] =>> [x] =>> F[x] |*| B[G[x]]]

Attributes

Inherited from:
Focus
def inFst[B]: Focus[|*|, [x] =>> [x] =>> F[x] |*| B[x] |*| B]

Attributes

Inherited from:
Focus
def inSnd[A]: Focus[|*|, [x] =>> A |*| [x] =>> F[x] |*| B[x]]

Attributes

Inherited from:
Focus
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with