Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
collapse1 :: (Cons r r a a, AsEmpty r) => Getting (Endo r) (Compose f g b) a -> f (g b) -> r Source #
collapse2 :: (Cons r r a a, AsEmpty r) => Getting (Endo r) (Compose (Compose f g) h b) a -> f (g (h b)) -> r Source #
map0 :: (Cons r r a a, AsEmpty r, Functor f) => Getting (Endo r) (f c) a -> (b -> c) -> f b -> r Source #
map1 :: (Cons r r a a, AsEmpty r, Functor f) => Getting (Endo r) (Compose f g c) a -> (b -> g c) -> f b -> r Source #
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 Source #