Documentation

vView :: CoindexedOptic e (Forget (Either e a)) s t a b -> s -> Either e a 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 #