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

FocusedContra

libretto.CoreLib.FocusedContra
class FocusedContra[F[_], B](f: F[B])(implicit F: ContraExternalizer[F])

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

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

Alias for contramap.

Alias for contramap.

Attributes

def choiceL: FocusedContra[F, B1]
Implicitly added by FocusedOnChoiceContra
def choiceR: FocusedContra[[x] =>> F[B1 |&| x], B2]
Implicitly added by FocusedOnChoiceContra
def co[G[_]](implicit G: Functor[G], U: Unapply[B, G]): FocusedContra[[x] =>> F[G[x]], A]
def contra[G[_]](implicit G: ContraFunctor[G], U: Unapply[B, G]): FocusedCo[[x] =>> F[G[x]], A]
def contramap[A](g: A -⚬ B): F[A]
def fst: FocusedContra[F, B1]
Implicitly added by FocusedOnPairContra
def left: FocusedContra[F, B1]
Implicitly added by FocusedOnPlusContra
def right: FocusedContra[[x] =>> F[B1 |+| x], B2]
Implicitly added by FocusedOnPlusContra
def snd: FocusedContra[[x] =>> F[B1 |*| x], B2]
Implicitly added by FocusedOnPairContra
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]): FocusedContra[[x] =>> F[G[x]], C]
def zoomContra[G[_], C](G: ContraFunctor[G])(implicit ev: B =:= G[C]): FocusedCo[[x] =>> F[G[x]], C]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL