Documentation

indexing :: Indexable i p q => (s -> i) -> p s t -> q s t Source #

itraversed :: Traversing p => IndexedOptic Int p [a] [b] a b Source #

itoListOf :: IndexedOptic i (Forget [(i, a)]) s t a b -> s -> [(i, a)] Source #

iover :: IndexedOptic i (->) s t a b -> (i -> a -> b) -> s -> t Source #

iset :: IndexedOptic i (->) s t a b -> (i -> b) -> s -> t Source #