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

Focus

libretto.lambda.Focus$
See theFocus companion trait
object Focus

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Focus.type

Members list

Concise view

Type members

Classlikes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Focus[|*|, [x] =>> F[x] |*| B]
class Object
trait Matchable
class Any
case class Id[|*|[_, _]]() extends Focus[|*|, [x] =>> x]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Focus[|*|, [x] =>> x]
class Object
trait Matchable
class Any
case class Snd[|*|[_, _], F[_], A](i: Focus[|*|, F]) extends Focus[|*|, [x] =>> A |*| F[x]]

Attributes

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

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def fst[|*|[_, _], F[_], B](i: Focus[|*|, F]): Focus[|*|, [x] =>> F[x] |*| B]
def fst[|*|[_, _], B]: Focus[|*|, |*|]
def id[|*|[_, _]]: Focus[|*|, [x] =>> x]
def snd[|*|[_, _], F[_], A](i: Focus[|*|, F]): Focus[|*|, [x] =>> A |*| F[x]]
def snd[|*|[_, _], A]: Focus[|*|, [x] =>> A |*| x]
Generated with