ForgetfulFunctor

dev.constructive.eo.forgetful.ForgetfulFunctor
See theForgetfulFunctor companion trait

Typeclass instances for ForgetfulFunctor. Every shipped carrier has a direct instance; the earlier generic Bifunctor / Profunctor fallbacks were dropped (they never fired). The Forget[F] instance lives with the rest of the capability ladder in data.Forget.

Attributes

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

Members list

Grouped members

Instances

Direct Tuple2 — the hot Lens .modify / .replace path relies on skipping the Bifunctor[Tuple2].bimap closure allocation. Do NOT define competing instances downstream.

Direct Tuple2 — the hot Lens .modify / .replace path relies on skipping the Bifunctor[Tuple2].bimap closure allocation. Do NOT define competing instances downstream.

Attributes

Source
ForgetfulFunctor.scala
object directTuple extends ForgetfulFunctor[Tuple2]

Direct Tuple2 — the hot Lens .modify / .replace path relies on skipping the Bifunctor[Tuple2].bimap closure allocation. Do NOT define competing instances downstream.

Direct Tuple2 — the hot Lens .modify / .replace path relies on skipping the Bifunctor[Tuple2].bimap closure allocation. Do NOT define competing instances downstream.

Attributes

Source
ForgetfulFunctor.scala
Supertypes
trait ForgetfulFunctor[Tuple2]
class Object
trait Matchable
class Any
Self type

Type members

Classlikes

object directEither extends ForgetfulFunctor[Either]

Direct Either — unlocks Prism .modify / .replace. @group Instances

Direct Either — unlocks Prism .modify / .replace. @group Instances

Attributes

Source
ForgetfulFunctor.scala
Supertypes
trait ForgetfulFunctor[Either]
class Object
trait Matchable
class Any
Self type

Givens

Givens

Direct Either — unlocks Prism .modify / .replace. @group Instances

Direct Either — unlocks Prism .modify / .replace. @group Instances

Attributes

Source
ForgetfulFunctor.scala