dev.constructive.eo.forgetful
Weakened functor hierarchy for carriers that cannot honour full map: ForgetfulFunctor, ForgetfulFold, ForgetfulApplicative and ForgetfulTraverse let read-only carriers (Forget, Direct-collapsed reads) participate in the generic composition machinery by "mapping" in ways that may legally discard or refuse the function.
Attributes
Members list
Type members
Classlikes
Companion stub — no instances live here.
Companion stub — no instances live here.
Attributes
- Companion
- trait
- Source
- ForgetfulApplicative.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ForgetfulApplicative.type
Adds pure to ForgetfulFunctor. Needed by Optic.put, which builds the carrier from scratch ignoring the source. The Forget[F] instance lives in data.Forget.
Adds pure to ForgetfulFunctor. Needed by Optic.put, which builds the carrier from scratch ignoring the source. The Forget[F] instance lives in data.Forget.
Type parameters
- F
-
the carrier
Attributes
- Companion
- object
- Source
- ForgetfulApplicative.scala
- Supertypes
- Known subtypes
-
object applicative
foldMap over the focus of F[_, _]. Miss / absent contributes Monoid.empty; hit runs f and folds.
foldMap over the focus of F[_, _]. Miss / absent contributes Monoid.empty; hit runs f and folds.
Type parameters
- F
-
the carrier
Attributes
- Companion
- object
- Source
- ForgetfulFold.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
Typeclass instances for ForgetfulFold.
Typeclass instances for ForgetfulFold.
Attributes
- Companion
- trait
- Source
- ForgetfulFold.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ForgetfulFold.type
Functor over the second parameter of F[_, _]. Uncurried for allocation-free hot paths.
Functor over the second parameter of F[_, _]. Uncurried for allocation-free hot paths.
Type parameters
- F
-
two-argument carrier
Attributes
- Companion
- object
- Source
- ForgetfulFunctor.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object mapobject maptrait ForgetfulApplicative[F]object applicativeobject directEitherobject directTupleShow all
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.
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
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ForgetfulFunctor.type
Typeclass instances for ForgetfulTraverse.
Typeclass instances for ForgetfulTraverse.
Attributes
- Companion
- trait
- Source
- ForgetfulTraverse.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ForgetfulTraverse.type
Traverse the focus of F[_, _] under an effectful A => G[B]. Parameterised by the applicative constraint C[_[_]] — Applicative for carriers with miss branches, Functor for Tuple2, Distributive for ModifyF.
Traverse the focus of F[_, _] under an effectful A => G[B]. Parameterised by the applicative constraint C[_[_]] — Applicative for carriers with miss branches, Functor for Tuple2, Distributive for ModifyF.
Type parameters
- C
-
constraint on
G - F
-
the carrier
Attributes
- Companion
- object
- Source
- ForgetfulTraverse.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object traverseobject traverseobject traverseobject eitherFTraverseobject tupleFTraverseobject tupleFTraverseApplicativeShow all