CanModifyP

dev.constructive.eo.CanModifyP
See theCanModifyP companion trait
object CanModifyP

Attributes

Companion
trait
Source
CanModify.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
CanModifyP.type

Members list

Givens

Givens

given given_CanModifyP_S_T_A_B: [S, T, A, B, F[_, _]] => (Optic[S, T, A, B, F], ForgetfulFunctor[F]) => CanModifyP[S, T, A, B]

Derive from any optic in scope whose carrier can map its focus. Optic before gate in the same using clause — see CanGet for the SIP-64 ordering rationale.

Derive from any optic in scope whose carrier can map its focus. Optic before gate in the same using clause — see CanGet for the SIP-64 ordering rationale.

Attributes

Source
CanModify.scala