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

Forget

dev.constructive.eo.data.Forget$package.Forget
object Forget

API façade under the carrier's public name. The instances live in ForgetK (the opaque anchor's companion, where implicit scope finds them); this re-export keeps Forget.assocFor call-shapes and legacy import data.Forget.given working.

Attributes

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

Members list

Grouped members

Instances

export assocForgetComonad: [F[_] : FlatMap : Comonad, Xo, Xi]
Exported from LowPriorityForgetInstances

Comonad-pull composition for F: FlatMap + Comonad. Composes via coflatMap on from.

Comonad-pull composition for F: FlatMap + Comonad. Composes via coflatMap on from.

Attributes

Source
Forget.scala
export assocForgetMonad: [F[_] : Monad, Xo, Xi]
Exported from ForgetK

Algebraic-lens composition for F: Monad. Push: outer.to(s).flatMap(inner.to). Pull: the inner's from collapses F[D] to B, re-lifted via pure for the outer's F[B] => T. Higher priority than LowPriorityForgetInstances.assocForgetComonad so Monad wins.

Algebraic-lens composition for F: Monad. Push: outer.to(s).flatMap(inner.to). Pull: the inner's from collapses F[D] to B, re-lifted via pure for the outer's F[B] => T. Higher priority than LowPriorityForgetInstances.assocForgetComonad so Monad wins.

Attributes

Source
Forget.scala
export bifunctor: [F[_] : Functor]
Exported from ForgetK

Bifunctor[Forget[F]] via the underlying Functor[F]. Left parameter is phantom; bimap routes only through the right-side F.

Bifunctor[Forget[F]] via the underlying Functor[F]. Left parameter is phantom; bimap routes only through the right-side F.

Attributes

Source
Forget.scala
export forgetFApplicative: [F[_] : Applicative]
Exported from ForgetK

ForgetfulApplicative[Forget[F]] via any Applicative[F]. Unlocks Optic.put on Forget-carrier optics.

ForgetfulApplicative[Forget[F]] via any Applicative[F]. Unlocks Optic.put on Forget-carrier optics.

Attributes

Source
Forget.scala
export forgetFFold: [F[_] : Foldable]
Exported from ForgetK

ForgetfulFold[Forget[F]] — delegates to the underlying Foldable[F]. Powers Fold.apply[F, A].

ForgetfulFold[Forget[F]] — delegates to the underlying Foldable[F]. Powers Fold.apply[F, A].

Attributes

Source
Forget.scala
export forgetFFunctor: [F[_]] => Functor[F]
Exported from ForgetK

Direct ForgetfulFunctor — calls Functor[F].map without routing through Bifunctor.

Direct ForgetfulFunctor — calls Functor[F].map without routing through Bifunctor.

Attributes

Source
Forget.scala
export forgetFTraverse: [F[_] : Traverse]
Exported from ForgetK

ForgetfulTraverse[Forget[F], Applicative] — lifts Traverse[F] into the two-parameter carrier shape. Core of Fold in its effectful form.

ForgetfulTraverse[Forget[F], Applicative] — lifts Traverse[F] into the two-parameter carrier shape. Core of Fold in its effectful form.

Attributes

Source
Forget.scala

Exports

Defined exports

final val ForgetPull: ForgetPull
Exported from ForgetK

Attributes

Source
Forget.scala
final type ForgetPull = ForgetPull
Exported from ForgetK$

Attributes

Source
Forget.scala
transparent inline def apply[F[_], X, A](fa: F[A]): ForgetK[F, X, A]
Exported from ForgetK

Wrap an F[A] into the Forget[F] carrier. Identity at runtime (the opaque type erases to F[A]); needed only so construction sites outside this file satisfy the Forget[F][X, A] type.

Wrap an F[A] into the Forget[F] carrier. Identity at runtime (the opaque type erases to F[A]); needed only so construction sites outside this file satisfy the Forget[F][X, A] type.

Attributes

Source
Forget.scala
Generated with