Searched defs:IndexedLens (Results 1 – 10 of 10) sorted by relevance
156 type IndexedLens i s t a b = forall f p. (Indexable i p, Functor f) => p a (f b) -> s -> f t type161 type IndexedLens' i s a = IndexedLens i s s a a function
66 newtype ReifiedIndexedLens i s t a b = IndexedLens { runIndexedLens :: IndexedLens i s t a b } constructor
159 type IndexedLens i s t a b = forall f p. (Indexable i p, Functor f) => p a (f b) -> s -> f t function164 type IndexedLens' i s a = IndexedLens i s s a a type
65 newtype ReifiedIndexedLens i s t a b = IndexedLens { runIndexedLens :: IndexedLens i s t a b } constructor
159 type IndexedLens i s t a b = forall f p. (Indexable i p, Functor f) => p a (f b) -> s -> f t type164 type IndexedLens' i s a = IndexedLens i s s a a type