composition-extra 0.0.0.1 → 0.0.0.2
raw patch · 2 files changed
+41/−11 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Data.Function.Contravariant.Composition: (-.:.) :: (c -> d) -> (a -> b -> d -> e) -> a -> b -> c -> e
+ Data.Function.Contravariant.Composition: (-.::.) :: (e -> f) -> (a -> b -> c -> d -> f -> g) -> a -> b -> c -> d -> e -> g
+ Data.Function.Contravariant.Composition: (-.:::.) :: (g -> h) -> (a -> b -> c -> d -> e -> f -> h -> i) -> a -> b -> c -> d -> e -> f -> g -> i
+ Data.Function.Contravariant.Composition: (-.::::.) :: (i -> j) -> (a -> b -> c -> d -> e -> f -> g -> h -> j -> k) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> k
- Data.Function.Contravariant.Composition: (-.::) :: (c -> d) -> (a -> b -> d -> e) -> a -> b -> c -> e
+ Data.Function.Contravariant.Composition: (-.::) :: (d -> e) -> (a -> b -> c -> e -> f) -> a -> b -> c -> d -> f
- Data.Function.Contravariant.Composition: (-.:::) :: (d -> e) -> (a -> b -> c -> e -> f) -> a -> b -> c -> d -> f
+ Data.Function.Contravariant.Composition: (-.:::) :: (f -> g) -> (a -> b -> c -> d -> e -> g -> h) -> a -> b -> c -> d -> e -> f -> h
- Data.Function.Contravariant.Composition: (-.::::) :: (e -> f) -> (a -> b -> c -> d -> f -> g) -> a -> b -> c -> d -> e -> g
+ Data.Function.Contravariant.Composition: (-.::::) :: (h -> i) -> (a -> b -> c -> d -> e -> f -> g -> i -> j) -> a -> b -> c -> d -> e -> f -> g -> h -> j
Files
composition-extra.cabal view
@@ -1,5 +1,5 @@ name: composition-extra-version: 0.0.0.1+version: 0.0.0.2 synopsis: Combinators for unorthodox structure composition license: BSD3
src/Data/Function/Contravariant/Composition.hs view
@@ -1,16 +1,46 @@ module Data.Function.Contravariant.Composition where -(-.) :: (a -> b) -> (b -> c) -> a -> c-(-.) g f a = f $ g a+(-.) :: (a -> b)+ -> (b -> c)+ -> a -> c+(-.) = flip (.) -(-.:) :: (b -> c) -> (a -> c -> d) -> a -> b -> d-(-.:) g f a b = f a $ g b+(-.:) :: (b -> c)+ -> (a -> c -> d)+ -> a -> b -> d+(-.:) p q a b = q a $ p b -(-.::) :: (c -> d) -> (a -> b -> d -> e) -> a -> b -> c -> e-(-.::) g f a b c = f a b $ g c+(-.:.) :: (c -> d)+ -> (a -> b -> d -> e)+ -> a -> b -> c -> e+(-.:.) p q a b c = q a b $ p c -(-.:::) :: (d -> e) -> (a -> b -> c -> e -> f) -> a -> b -> c -> d -> f-(-.:::) g f a b c d = f a b c $ g d+(-.::) :: (d -> e)+ -> (a -> b -> c -> e -> f)+ -> a -> b -> c -> d -> f+(-.::) p q a b c d = q a b c $ p d -(-.::::) :: (e -> f) -> (a -> b -> c -> d -> f -> g) -> a -> b -> c -> d -> e -> g-(-.::::) g f a b c d e = f a b c d $ g e+(-.::.) :: (e -> f)+ -> (a -> b -> c -> d -> f -> g)+ -> a -> b -> c -> d -> e -> g+(-.::.) p q a b c d e = q a b c d $ p e++(-.:::) :: (f -> g)+ -> (a -> b -> c -> d -> e -> g -> h)+ -> a -> b -> c -> d -> e -> f -> h+(-.:::) p q a b c d e f = q a b c d e $ p f++(-.:::.) :: (g -> h)+ -> (a -> b -> c -> d -> e -> f -> h -> i)+ -> a -> b -> c -> d -> e -> f -> g -> i+(-.:::.) p q a b c d e f g = q a b c d e f $ p g++(-.::::) :: (h -> i)+ -> (a -> b -> c -> d -> e -> f -> g -> i -> j)+ -> a -> b -> c -> d -> e -> f -> g -> h -> j+(-.::::) p q a b c d e f g h = q a b c d e f g $ p h++(-.::::.) :: (i -> j)+ -> (a -> b -> c -> d -> e -> f -> g -> h -> j -> k)+ -> a -> b -> c -> d -> e -> f -> g -> h -> i -> k+(-.::::.) p q a b c d e f g h i = q a b c d e f g h $ p i