libretto/libretto/CoreLib/FocusedCo

FocusedCo

class FocusedCo[F[_], B](f: F[B])(F: Externalizer[F])

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

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

class Object
trait Matchable
class Any

Value members

Concrete methods

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

Alias for map.

Alias for map.

def bi[G[_, _]](G: Bifunctor[G], U: Unapply2[B, G]): FocusedBi[[x, y] =>> F[G[x, y]], A, B]
def co[G[_]](G: Functor[G], U: Unapply[B, G]): FocusedCo[[x] =>> F[G[x]], A]
def contra[G[_]](G: ContraFunctor[G], U: Unapply[B, G]): FocusedContra[[x] =>> F[G[x]], A]
def injectL[C]: F[B |+| C]
def injectR[C]: F[C |+| B]
def map[C](g: B -⚬ C): F[C]
def signalFst(B: Positive[B]): F[Done |*| B]
def signalSnd(B: Positive[B]): F[B |*| Done]
def subst[C](ev: B =:= C): F[C]
def unsubst[C](ev: C =:= B): F[C]
def zoomCo[G[_], C](G: Functor[G])(ev: B =:= G[C]): FocusedCo[[x] =>> F[G[x]], C]
def zoomContra[G[_], C](G: ContraFunctor[G])(ev: B =:= G[C]): FocusedContra[[x] =>> F[G[x]], C]