AssociativeFunctor

dev.constructive.eo.compose.AssociativeFunctor
See theAssociativeFunctor companion trait

Typeclass instances for AssociativeFunctor.

Attributes

Companion
trait
Source
AssociativeFunctor.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Grouped members

Instances

given eitherAssocF: [Xo, Xi] => eitherAssocF[Xo, Xi]

Either — bubbles Left miss branches up. Powers prism.andThen(prism).

Either — bubbles Left miss branches up. Powers prism.andThen(prism).

Attributes

Source
AssociativeFunctor.scala
given tupleAssocF: [Xo, Xi] => tupleAssocF[Xo, Xi]

Tuple2Z = (Xo, Xi). Powers lens.andThen(lens).

Tuple2Z = (Xo, Xi). Powers lens.andThen(lens).

Attributes

Source
AssociativeFunctor.scala