ForgetPull

dev.constructive.eo.data.Forget$package.ForgetK.ForgetPull
See theForgetPull companion trait
object ForgetPull

Shipped ForgetPull strategies.

Attributes

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

Members list

Givens

Givens

given monadicPull: [F[_] : Applicative] => monadicPull[F]

Monad-based pull — the algebraic-lens semantics. inner.from(xd) collapses the F[D] to a single B, which is re-lifted via pure so the outer's F[B]-shaped from can rebuild.

Monad-based pull — the algebraic-lens semantics. inner.from(xd) collapses the F[D] to a single B, which is re-lifted via pure so the outer's F[B]-shaped from can rebuild.

Attributes

Source
Forget.scala