Modulelinear-base-0.8.1

Control.Optics.Linear.Iso

Synopsis

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

valueassoc :: SymmetricMonoidal m u => Iso (m a (m b c)) (m d (m e f)) (m (m a b) c) (m (m d e) f)

valueiso :: (s %1 -> a) -> (b %1 -> t) -> Iso s t a b

valueswap :: SymmetricMonoidal m u => Iso (m a b) (m c d) (m b a) (m d c)

valuewithIso

typetype Iso s t a b = Optic Profunctor s t a b

typetype Iso' s a = Iso s s a a