Safe Haskell	None
Language	Haskell2010

Data.Functor.Infix

Synopsis

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))))))))))))))))))) infixl 4 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)))))))))))))))))) infixl 4 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))))))))))))))))) infixl 4 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)))))))))))))))) infixl 4 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))))))))))))))) infixl 4 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)))))))))))))) infixl 4 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))))))))))))) infixl 4 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)))))))))))) infixl 4 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))))))))))) infixl 4 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)))))))))) infixl 4 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))))))))) infixl 4 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)))))))) infixl 4 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))))))) infixl 4 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)))))) infixl 4 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))))) infixl 4 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)))) infixl 4 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))) infixl 4 Source

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

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

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

(<&&&&&&&&&&&&&&&&&&&&>) :: 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))))))))))))))))))) infixl 1 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)))))))))))))))))) infixl 1 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))))))))))))))))) infixl 1 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)))))))))))))))) infixl 1 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))))))))))))))) infixl 1 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)))))))))))))) infixl 1 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))))))))))))) infixl 1 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)))))))))))) infixl 1 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))))))))))) infixl 1 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)))))))))) infixl 1 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))))))))) infixl 1 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)))))))) infixl 1 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))))))) infixl 1 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)))))) infixl 1 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))))) infixl 1 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)))) infixl 1 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))) infixl 1 Source

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

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

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

declareInfixFmapForFunctorCompositionOfDegree :: Int -> Q [Dec] Source

declareFlippedInfixFmapForFunctorCompositionOfDegree :: Int -> Q [Dec] Source

declareInfixFmapN :: Int -> Q [Dec] Source

Deprecated: Use declareInfixFmapForFunctorCompositionOfDegree and/or reconsider your life choices.

declareInfixPamfN :: Int -> Q [Dec] Source

Deprecated: Use declareFlippedInfixFmapForFunctorCompositionOfDegree and/or reconsider your life choices.