dev.constructive.eo.forgetful.ForgetfulApplicative
See theForgetfulApplicative companion object
trait ForgetfulApplicative[F[_, _]] extends ForgetfulFunctor[F]
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
- Graph
-
- Supertypes
- Known subtypes
-
object applicative
Members list
In this article