Control.Optics.Linear.Lens · linear-base-0.8.1

value(.>) :: Optic_ arr s t a b -> Optic_ arr a b x y -> Optic_ arr s t x y

value_1 :: Strong Tuple2 () arr => Optic_ arr (a, c) (b, c) a b

value_2 :: Strong Tuple2 () arr => Optic_ arr (c, a) (c, b) a b

valueget :: Optic_ (Kleisli (Const a)) s t a b -> s -> a

valuegets :: Optic_ (Kleisli (Const r)) s t a b -> (a -> r) -> s -> r

valuelens :: (s %1 -> (a, b %1 -> t)) -> Lens s t a b

valueover :: Optic_ (FUN 'One) s t a b -> (a %1 -> b) -> s %1 -> t

valueoverU :: Optic_ (->) s t a b -> (a -> b) -> s -> t

valuereifyLens

valueset :: Optic_ (->) s t a b -> b -> s -> t

valuesetSwap

valuewithLens

typetype Lens s t a b = Optic (Strong Tuple2 ()) s t a b

typetype Lens' s a = Lens s s a a