libretto-core
API
Generated with
libretto-core/libretto/CoreLib/FocusedCo

FocusedCo

libretto.CoreLib.FocusedCo
class FocusedCo[F[_], B](f: F[B])(using F: Externalizer[F])

Focused on B in F[B], where B is in a covariant position.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def apply[C](g: B -⚬ C): F[C]

Alias for map.

Alias for map.

Attributes

def bi[G[_, _]](using G: Bifunctor[G], U: Unapply2[B, G]): FocusedBi[[x, y] =>> F[G[x, y]], A, B]
def choiceL: FocusedCo[F, B1]
Implicitly added by FocusedOnChoiceCo
def choiceR: FocusedCo[[x] =>> F[B1 |&| x], B2]
Implicitly added by FocusedOnChoiceCo
def co[G[_]](using G: Functor[G], U: Unapply[B, G]): FocusedCo[[x] =>> F[G[x]], A]
def contra[G[_]](using G: ContraFunctor[G], U: Unapply[B, G]): FocusedContra[[x] =>> F[G[x]], A]
def fst: FocusedCo[F, B1]
Implicitly added by FocusedOnPairCo
def left: FocusedCo[F, B1]
Implicitly added by FocusedOnPlusCo
def map[C](g: B -⚬ C): F[C]
def right: FocusedCo[[x] =>> F[B1 |+| x], B2]
Implicitly added by FocusedOnPlusCo
def snd: FocusedCo[[x] =>> F[B1 |*| x], B2]
Implicitly added by FocusedOnPairCo
def subst[C](using ev: B =:= C): F[C]
def unsubst[C](using ev: C =:= B): F[C]
def zoomCo[G[_], C](G: Functor[G])(using ev: B =:= G[C]): FocusedCo[[x] =>> F[G[x]], C]
def zoomContra[G[_], C](G: ContraFunctor[G])(using ev: B =:= G[C]): FocusedContra[[x] =>> F[G[x]], C]
Generated with