Papa.Lens.Implement.Data.Collapse

Documentation

collapse0 :: (Cons r r a a, AsEmpty r) => Getting (Endo r) s a -> s -> r

collapse1 :: (Cons r r a a, AsEmpty r) => Getting (Endo r) (Compose f g b) a -> f (g b) -> r

collapse2 :: (Cons r r a a, AsEmpty r) => Getting (Endo r) (Compose (Compose f g) h b) a -> f (g (h b)) -> r

map0 :: (Cons r r a a, AsEmpty r, Functor f) => Getting (Endo r) (f c) a -> (b -> c) -> f b -> r

map1 :: (Cons r r a a, AsEmpty r, Functor f) => Getting (Endo r) (Compose f g c) a -> (b -> g c) -> f b -> r

map2 :: (Cons r r a a, AsEmpty r, Functor f) => Getting (Endo r) (Compose (Compose f g) h c) a -> (b -> g (h c)) -> f b -> r

mapMaybe :: (Cons r r c c, AsEmpty r, Foldable f, Functor f, Foldable g) => (b -> g c) -> f b -> r

catMaybes :: (Cons r r b b, AsEmpty r, Foldable f, Foldable g) => f (g b) -> r