Documentation

vView :: CoindexedOptic e (Forget (Either e a)) s t a b -> s -> Either e a Source #

vPrism :: (Coindexable e p q, Choice p, Choice q) => (t -> e) -> Prism s t a b -> Optical p q s t a b Source #

_Just' :: (Choice p, Choice q, Coindexable String p q) => Optical p q (Maybe a) (Maybe b) a b Source #

coindexing :: forall e p s t a b. Profunctor p => Optic (Coindexed e p) s t a b -> Optic p s (Either e t) a b Source #

vOver :: Optic (Coindexed e (->)) s t a b -> (a -> b) -> s -> Either e t Source #

vFirst :: forall p a. Traversing p => p a a -> Coindexed String p [a] [a] Source #