composition-extra 2.0.0 → 2.1.0
raw patch · 2 files changed
+36/−2 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Control.Monad.Syntax: infixr 2 >>======
+ Control.Monad.Syntax.Five: infixr 1 ====.<<
+ Control.Monad.Syntax.Four: infixr 1 ===.<<
+ Control.Monad.Syntax.Six: infixr 1 =====.<<
+ Control.Monad.Syntax.Three: infixl 1 ==.<<
+ Control.Monad.Syntax.Two: infixl 1 =.<<
+ Data.Function.Apply: infixl 8 ----$
+ Data.Function.Contravariant.Syntax: infixr 8 -.********
+ Data.Function.Flip: infixl 8 <---->
+ Data.Function.Slip: infixl 8 <<~~~>
+ Data.Function.Syntax: infixl 8 ********.
+ Data.Function.Twist: infixl 8 <<<~~~>>>
+ Data.Functor.Syntax: (<&&&&&>) :: (Functor f0, Functor f1, Functor f2, Functor f3, Functor f4) => f4 (f3 (f2 (f1 (f0 a)))) -> (a -> b) -> f4 (f3 (f2 (f1 (f0 b))))
+ Data.Functor.Syntax: (<&&&&>) :: (Functor f0, Functor f1, Functor f2, Functor f3) => f3 (f2 (f1 (f0 a))) -> (a -> b) -> f3 (f2 (f1 (f0 b)))
+ Data.Functor.Syntax: (<&&&>) :: (Functor f0, Functor f1, Functor f2) => f2 (f1 (f0 a)) -> (a -> b) -> f2 (f1 (f0 b))
+ Data.Functor.Syntax: (<&&>) :: (Functor f0, Functor f1) => f1 (f0 a) -> (a -> b) -> f1 (f0 b)
+ Data.Functor.Syntax: infixl 1 <&&&&&>
+ Data.Functor.Syntax: infixl 8 <$$$$$~~~>
+ Data.Functor.Syntax: infixr 8 <.**$$$$>
Files
- composition-extra.cabal +4/−2
- src/Data/Functor/Syntax.hs +32/−0
composition-extra.cabal view
@@ -1,6 +1,7 @@ name: composition-extra-version: 2.0.0+version: 2.1.0 synopsis: Combinators for unorthodox structure composition+description: Increase the unreadability of your code through operators license: BSD3 license-file: LICENSE@@ -9,7 +10,7 @@ category: Data build-type: Simple-cabal-version: >=1.8+cabal-version: >=1.10 library hs-source-dirs: src@@ -29,6 +30,7 @@ build-depends: base >= 4.6 && < 5 , contravariant , composition+ default-language: Haskell2010 source-repository head type: git
src/Data/Functor/Syntax.hs view
@@ -37,6 +37,38 @@ infixr 8 <$$$$$> +(<&&>) :: (Functor f0, Functor f1) =>+ f1 (f0 a)+ -> (a -> b)+ -> f1 (f0 b)+(<&&>) = flip (fmap . fmap)++infixl 1 <&&>++(<&&&>) :: (Functor f0, Functor f1, Functor f2) =>+ f2 (f1 (f0 a))+ -> (a -> b)+ -> f2 (f1 (f0 b))+(<&&&>) = flip (fmap . fmap . fmap)++infixl 1 <&&&>++(<&&&&>) :: (Functor f0, Functor f1, Functor f2, Functor f3) =>+ f3 (f2 (f1 (f0 a)))+ -> (a -> b)+ -> f3 (f2 (f1 (f0 b)))+(<&&&&>) = flip (fmap . fmap . fmap . fmap)++infixl 1 <&&&&>++(<&&&&&>) :: (Functor f0, Functor f1, Functor f2, Functor f3, Functor f4) =>+ f4 (f3 (f2 (f1 (f0 a))))+ -> (a -> b)+ -> f4 (f3 (f2 (f1 (f0 b))))+(<&&&&&>) = flip (fmap . fmap . fmap . fmap . fmap)++infixl 1 <&&&&&>+ -- * Nested Application (<$~>) :: Functor f0 =>