cats-eo-api-docs
0.8.1-3-6c70289-SNAPSHOT
API
Generated with
cats-eo-api-docs/dev.constructive.eo/dev.constructive.eo.forgetful/ForgetfulTraverse

ForgetfulTraverse

dev.constructive.eo.forgetful.ForgetfulTraverse
See theForgetfulTraverse companion trait
object ForgetfulTraverse

Typeclass instances for ForgetfulTraverse.

Attributes

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

Members list

Grouped members

Instances

given tupleFTraverseApplicative: tupleFTraverseApplicative

Tuple2 under Applicative[G] — same body, stricter bound (Applicative ext Functor) so Optic.modifyA[G] applies uniformly across carriers.

Tuple2 under Applicative[G] — same body, stricter bound (Applicative ext Functor) so Optic.modifyA[G] applies uniformly across carriers.

Attributes

Source
ForgetfulTraverse.scala
object tupleFTraverseApplicative extends ForgetfulTraverse[Tuple2, Applicative]

Tuple2 under Applicative[G] — same body, stricter bound (Applicative ext Functor) so Optic.modifyA[G] applies uniformly across carriers.

Tuple2 under Applicative[G] — same body, stricter bound (Applicative ext Functor) so Optic.modifyA[G] applies uniformly across carriers.

Attributes

Source
ForgetfulTraverse.scala
Supertypes
class Object
trait Matchable
class Any
Self type

Type members

Classlikes

object eitherFTraverse extends ForgetfulTraverse[Either, Applicative]

Either — Left passes through via .pure. @group Instances

Either — Left passes through via .pure. @group Instances

Attributes

Source
ForgetfulTraverse.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object tupleFTraverse extends ForgetfulTraverse[Tuple2, Functor]

Tuple2 under Functor[G] — cheapest Lens path. @group Instances

Tuple2 under Functor[G] — cheapest Lens path. @group Instances

Attributes

Source
ForgetfulTraverse.scala
Supertypes
trait ForgetfulTraverse[Tuple2, Functor]
class Object
trait Matchable
class Any
Self type

Givens

Givens

given eitherFTraverse: eitherFTraverse

Either — Left passes through via .pure. @group Instances

Either — Left passes through via .pure. @group Instances

Attributes

Source
ForgetfulTraverse.scala
given tupleFTraverse: tupleFTraverse

Tuple2 under Functor[G] — cheapest Lens path. @group Instances

Tuple2 under Functor[G] — cheapest Lens path. @group Instances

Attributes

Source
ForgetfulTraverse.scala
Generated with