Searched defs:IndexedTraversal (Results 1 – 10 of 10) sorted by relevance
223 type IndexedTraversal i s t a b = forall p f. (Indexable i p, Applicative f) => p a (f b) -> s -> f… type228 type IndexedTraversal' i s a = IndexedTraversal i s s a a type
78 newtype ReifiedIndexedTraversal i s t a b = IndexedTraversal { runIndexedTraversal :: IndexedTraver… constructor
226 type IndexedTraversal i s t a b = forall p f. (Indexable i p, Applicative f) => p a (f b) -> s -> f… type231 type IndexedTraversal' i s a = IndexedTraversal i s s a a function
77 newtype ReifiedIndexedTraversal i s t a b = IndexedTraversal { runIndexedTraversal :: IndexedTraver… constructor
226 type IndexedTraversal i s t a b = forall p f. (Indexable i p, Applicative f) => p a (f b) -> s -> f… function231 type IndexedTraversal' i s a = IndexedTraversal i s s a a function