functor-infix-0.0.1: Compositions of functors.

Safe HaskellNone

Data.Functor.Infix

Documentation

(<$$$$$$$$$$$$$$$$$$$$>) :: forall a b f f f f f f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a))))))))))))))))))) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b)))))))))))))))))))Source

(<$$$$$$$$$$$$$$$$$$$>) :: forall a b f f f f f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a)))))))))))))))))) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b))))))))))))))))))Source

(<$$$$$$$$$$$$$$$$$$>) :: forall a b f f f f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a))))))))))))))))) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b)))))))))))))))))Source

(<$$$$$$$$$$$$$$$$$>) :: forall a b f f f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a)))))))))))))))) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b))))))))))))))))Source

(<$$$$$$$$$$$$$$$$>) :: forall a b f f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a))))))))))))))) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b)))))))))))))))Source

(<$$$$$$$$$$$$$$$>) :: forall a b f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a)))))))))))))) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b))))))))))))))Source

(<$$$$$$$$$$$$$$>) :: forall a b f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f a))))))))))))) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f b)))))))))))))Source

(<$$$$$$$$$$$$$>) :: forall a b f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f a)))))))))))) -> f (f (f (f (f (f (f (f (f (f (f (f (f b))))))))))))Source

(<$$$$$$$$$$$$>) :: forall a b f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f a))))))))))) -> f (f (f (f (f (f (f (f (f (f (f (f b)))))))))))Source

(<$$$$$$$$$$$>) :: forall a b f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f (f (f a)))))))))) -> f (f (f (f (f (f (f (f (f (f (f b))))))))))Source

(<$$$$$$$$$$>) :: forall a b f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f (f a))))))))) -> f (f (f (f (f (f (f (f (f (f b)))))))))Source

(<$$$$$$$$$>) :: forall a b f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f (f a)))))))) -> f (f (f (f (f (f (f (f (f b))))))))Source

(<$$$$$$$$>) :: forall a b f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f (f a))))))) -> f (f (f (f (f (f (f (f b)))))))Source

(<$$$$$$$>) :: forall a b f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f (f a)))))) -> f (f (f (f (f (f (f b))))))Source

(<$$$$$$>) :: forall a b f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f (f a))))) -> f (f (f (f (f (f b)))))Source

(<$$$$$>) :: forall a b f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f (f a)))) -> f (f (f (f (f b))))Source

(<$$$$>) :: forall a b f f f f. (Functor f, Functor f, Functor f, Functor f) => (a -> b) -> f (f (f (f a))) -> f (f (f (f b)))Source

(<$$$>) :: forall a b f f f. (Functor f, Functor f, Functor f) => (a -> b) -> f (f (f a)) -> f (f (f b))Source

(<$$>) :: forall a b f f. (Functor f, Functor f) => (a -> b) -> f (f a) -> f (f b)Source

(<$>) :: forall a b f. Functor f => (a -> b) -> f a -> f bSource

(<&&&&&&&&&&&&&&&&&&&&>) :: forall a b f f f f f f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a))))))))))))))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b)))))))))))))))))))Source

(<&&&&&&&&&&&&&&&&&&&>) :: forall a b f f f f f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a)))))))))))))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b))))))))))))))))))Source

(<&&&&&&&&&&&&&&&&&&>) :: forall a b f f f f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a))))))))))))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b)))))))))))))))))Source

(<&&&&&&&&&&&&&&&&&>) :: forall a b f f f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a)))))))))))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b))))))))))))))))Source

(<&&&&&&&&&&&&&&&&>) :: forall a b f f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a))))))))))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b)))))))))))))))Source

(<&&&&&&&&&&&&&&&>) :: forall a b f f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f (f (f (f (f (f (f a)))))))))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f b))))))))))))))Source

(<&&&&&&&&&&&&&&>) :: forall a b f f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f (f (f (f (f (f a))))))))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f (f b)))))))))))))Source

(<&&&&&&&&&&&&&>) :: forall a b f f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f (f (f (f (f a)))))))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f (f b))))))))))))Source

(<&&&&&&&&&&&&>) :: forall a b f f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f (f (f (f a))))))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f (f (f (f b)))))))))))Source

(<&&&&&&&&&&&>) :: forall a b f f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f (f (f a)))))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f (f (f b))))))))))Source

(<&&&&&&&&&&>) :: forall a b f f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f (f a))))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f (f b)))))))))Source

(<&&&&&&&&&>) :: forall a b f f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f (f a)))))))) -> (a -> b) -> f (f (f (f (f (f (f (f (f b))))))))Source

(<&&&&&&&&>) :: forall a b f f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f (f a))))))) -> (a -> b) -> f (f (f (f (f (f (f (f b)))))))Source

(<&&&&&&&>) :: forall a b f f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f (f a)))))) -> (a -> b) -> f (f (f (f (f (f (f b))))))Source

(<&&&&&&>) :: forall a b f f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f (f a))))) -> (a -> b) -> f (f (f (f (f (f b)))))Source

(<&&&&&>) :: forall a b f f f f f. (Functor f, Functor f, Functor f, Functor f, Functor f) => f (f (f (f (f a)))) -> (a -> b) -> f (f (f (f (f b))))Source

(<&&&&>) :: forall a b f f f f. (Functor f, Functor f, Functor f, Functor f) => f (f (f (f a))) -> (a -> b) -> f (f (f (f b)))Source

(<&&&>) :: forall a b f f f. (Functor f, Functor f, Functor f) => f (f (f a)) -> (a -> b) -> f (f (f b))Source

(<&&>) :: forall a b f f. (Functor f, Functor f) => f (f a) -> (a -> b) -> f (f b)Source

(<&>) :: forall a b f. Functor f => f a -> (a -> b) -> f bSource