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

ForgetPull

dev.constructive.eo.data.Forget$package.ForgetK.ForgetPull
See theForgetPull companion object
trait ForgetPull[F[_]]

Strategy for "redistribute the inner from across the F-context" on the pull side. The Monad form ignores the F[D] and lifts a single inner.from(xd) via pure; the Comonad form coflatMaps inner.from over the existing F[D]. Other lawful strategies (e.g. Distributive[F].cosequence over an inner F[F[B]]) could be added as further instances.

Attributes

Companion
object
Source
Forget.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def redistribute[D, B](xd: F[D])(fromInner: F[D] => B): F[B]

Given an F[D] and a D => F[B] (the inner's from post-composed with pure to lift scalar results when needed), produce an F[B] to feed the outer's from.

Given an F[D] and a D => F[B] (the inner's from post-composed with pure to lift scalar results when needed), produce an F[B] to feed the outer's from.

Attributes

Source
Forget.scala
Generated with