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

Type members

Classlikes

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

Attributes

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
case class Id[|*|[_, _]]() extends Focus[|*|, [x] =>> x]

Attributes

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

Attributes

Supertypes
trait Focus[|*|, F]
class Object
trait Matchable
class Any
Known subtypes
class Fst[|*|, F, B]
class Snd[|*|, F, A]
case class Snd[|*|[_, _], F[_], A](i: Focus[|*|, F]) extends Proper[|*|, [x] =>> A |*| F[x]]

Attributes

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

Inherited and Abstract 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