Data.Flex.Utils

Documentation

inCompose :: (a -> b) -> (c -> d) -> (b -> c) -> a -> d

inCompose2 :: (forall a. f a -> a) -> (d -> e) -> (b -> c -> d) -> f b -> f c -> e

bindWrapper :: (forall q. f q -> g q) -> (d -> e) -> (g a -> (c -> g b) -> d) -> f a -> (c -> f b) -> e