libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreLib/FocusedCo

FocusedCo

libretto.CoreLib.FocusedCo
class FocusedCo[F[_], B](f: F[B])(implicit 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

Concise view

Value members

Concrete methods

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

Alias for map.

Alias for map.

Attributes

def assocLR[X, Y](implicit ev: B1 =:= X |&| Y): F[X |&| Y |&| B2]
Implicitly added by FocusedOnChoiceCo
def assocLR[X, Y](implicit ev: B1 =:= X |*| Y): F[X |*| Y |*| B2]
Implicitly added by FocusedOnPairCo
def assocLR[X, Y](implicit ev: B1 =:= X |+| Y): F[X |+| Y |+| B2]
Implicitly added by FocusedOnPlusCo
def assocRL[X, Y](implicit ev: B2 =:= X |&| Y): F[B1 |&| X |&| Y]
Implicitly added by FocusedOnChoiceCo
def assocRL[X, Y](implicit ev: B2 =:= X |*| Y): F[B1 |*| X |*| Y]
Implicitly added by FocusedOnPairCo
def assocRL[X, Y](implicit ev: B2 =:= X |+| Y): F[B1 |+| X |+| Y]
Implicitly added by FocusedOnPlusCo
def awaitFst(neglect: B1 -⚬ Done)(implicit j: Positive[B2]): F[B2]
Implicitly added by FocusedOnPairCo
def awaitSnd(neglect: B2 -⚬ Done)(implicit j: Positive[B1]): F[B1]
Implicitly added by FocusedOnPairCo
def bi[G[_, _]](implicit 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[_]](implicit G: Functor[G], U: Unapply[B, G]): FocusedCo[[x] =>> F[G[x]], A]
def contra[G[_]](implicit G: ContraFunctor[G], U: Unapply[B, G]): FocusedContra[[x] =>> F[G[x]], A]
def fst: FocusedCo[F, B1]
Implicitly added by FocusedOnPairCo
def injectL[C]: F[B |+| C]
def injectR[C]: F[C |+| B]
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 signalFst(implicit B: Positive[B]): F[Done |*| B]
def signalSnd(implicit B: Positive[B]): F[B |*| Done]
def snd: FocusedCo[[x] =>> F[B1 |*| x], B2]
Implicitly added by FocusedOnPairCo
def subst[C](implicit ev: B =:= C): F[C]
def unsubst[C](implicit ev: C =:= B): F[C]
def zoomCo[G[_], C](G: Functor[G])(implicit ev: B =:= G[C]): FocusedCo[[x] =>> F[G[x]], C]
def zoomContra[G[_], C](G: ContraFunctor[G])(implicit ev: B =:= G[C]): FocusedContra[[x] =>> F[G[x]], C]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL