CanModifyFP

dev.constructive.eo.CanModifyFP
See theCanModifyFP companion trait
object CanModifyFP

Attributes

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

Members list

Givens

Givens

given given_CanModifyFP_S_T_A_B: [S, T, A, B, F[_, _]] => (Optic[S, T, A, B, F], ForgetfulTraverse[F, Functor]) => given_CanModifyFP_S_T_A_B[S, T, A, B, F]

Derive from any optic in scope whose carrier traverses under Functor. Optic before gate in the same using clause — see CanGet for the SIP-64 ordering rationale.

Derive from any optic in scope whose carrier traverses under Functor. Optic before gate in the same using clause — see CanGet for the SIP-64 ordering rationale.

Attributes

Source
CanModifyF.scala