DeepArrow 0.3.2 → 0.3.3

raw patch · 2 files changed

+3/−2 lines, 2 filesdep ~TypeComposePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: TypeCompose

API changes (from Hackage documentation)

- Control.Arrow.DeepArrow: instance (FunDble h) => DeepArrow (FunA h)

+ Control.Arrow.DeepArrow: instance FunDble h => DeepArrow (FunA h)

- Control.Arrow.DeepArrow: class (Arrow ~>) => DeepArrow ~>

+ Control.Arrow.DeepArrow: class Arrow ~> => DeepArrow ~>

- Control.Arrow.DeepArrow: class (FunAble h) => FunDble h

+ Control.Arrow.DeepArrow: class FunAble h => FunDble h

- Control.Arrow.DeepArrow: curryA :: (DeepArrow ~>) => ((a, b) -> c) ~> (a -> b -> c)

+ Control.Arrow.DeepArrow: curryA :: DeepArrow ~> => ((a, b) -> c) ~> (a -> b -> c)

- Control.Arrow.DeepArrow: curryAFun :: (FunDble h) => h ((a, b) -> c) -> h (a -> b -> c)

+ Control.Arrow.DeepArrow: curryAFun :: FunDble h => h ((a, b) -> c) -> h (a -> b -> c)

- Control.Arrow.DeepArrow: dupA :: (DeepArrow ~>) => a ~> (a, a)

+ Control.Arrow.DeepArrow: dupA :: DeepArrow ~> => a ~> (a, a)

- Control.Arrow.DeepArrow: dupAFun :: (FunDble h) => h a -> h (a, a)

+ Control.Arrow.DeepArrow: dupAFun :: FunDble h => h a -> h (a, a)

- Control.Arrow.DeepArrow: flipA :: (DeepArrow ~>) => (a -> c -> b) ~> (c -> a -> b)

+ Control.Arrow.DeepArrow: flipA :: DeepArrow ~> => (a -> c -> b) ~> (c -> a -> b)

- Control.Arrow.DeepArrow: fstA :: (DeepArrow ~>) => (a, b) ~> a

+ Control.Arrow.DeepArrow: fstA :: DeepArrow ~> => (a, b) ~> a

- Control.Arrow.DeepArrow: fstAFun :: (FunDble h) => h (a, b) -> h a

+ Control.Arrow.DeepArrow: fstAFun :: FunDble h => h (a, b) -> h a

- Control.Arrow.DeepArrow: funF :: (DeepArrow ~>) => (c -> a, b) ~> (c -> (a, b))

+ Control.Arrow.DeepArrow: funF :: DeepArrow ~> => (c -> a, b) ~> (c -> (a, b))

- Control.Arrow.DeepArrow: funFFun :: (FunDble h) => h (c -> a, b) -> h (c -> (a, b))

+ Control.Arrow.DeepArrow: funFFun :: FunDble h => h (c -> a, b) -> h (c -> (a, b))

- Control.Arrow.DeepArrow: funFirst :: (DeepArrow ~>) => (a ~> (d -> a')) -> ((a, b) ~> (d -> (a', b)))

+ Control.Arrow.DeepArrow: funFirst :: DeepArrow ~> => (a ~> (d -> a')) -> ((a, b) ~> (d -> (a', b)))

- Control.Arrow.DeepArrow: funR :: (DeepArrow ~>) => (a -> c -> b) ~> (c -> a -> b)

+ Control.Arrow.DeepArrow: funR :: DeepArrow ~> => (a -> c -> b) ~> (c -> a -> b)

- Control.Arrow.DeepArrow: funRFun :: (FunDble h) => h (a -> c -> b) -> h (c -> a -> b)

+ Control.Arrow.DeepArrow: funRFun :: FunDble h => h (a -> c -> b) -> h (c -> a -> b)

- Control.Arrow.DeepArrow: funResult :: (DeepArrow ~>) => (b ~> (d -> b')) -> ((a -> b) ~> (d -> (a -> b')))

+ Control.Arrow.DeepArrow: funResult :: DeepArrow ~> => (b ~> (d -> b')) -> ((a -> b) ~> (d -> (a -> b')))

- Control.Arrow.DeepArrow: funS :: (DeepArrow ~>) => (a, c -> b) ~> (c -> (a, b))

+ Control.Arrow.DeepArrow: funS :: DeepArrow ~> => (a, c -> b) ~> (c -> (a, b))

- Control.Arrow.DeepArrow: funSFun :: (FunDble h) => h (a, c -> b) -> h (c -> (a, b))

+ Control.Arrow.DeepArrow: funSFun :: FunDble h => h (a, c -> b) -> h (c -> (a, b))

- Control.Arrow.DeepArrow: funSecond :: (DeepArrow ~>) => (b ~> (d -> b')) -> ((a, b) ~> (d -> (a, b')))

+ Control.Arrow.DeepArrow: funSecond :: DeepArrow ~> => (b ~> (d -> b')) -> ((a, b) ~> (d -> (a, b')))

- Control.Arrow.DeepArrow: idA :: (DeepArrow ~>) => a ~> a

+ Control.Arrow.DeepArrow: idA :: DeepArrow ~> => a ~> a

- Control.Arrow.DeepArrow: inpF :: (DeepArrow ~>) => ((a, b) -> c) ~> (a -> (b -> c))

+ Control.Arrow.DeepArrow: inpF :: DeepArrow ~> => ((a, b) -> c) ~> (a -> (b -> c))

- Control.Arrow.DeepArrow: inpFirst :: (DeepArrow ~>) => ((a -> c) ~> (d -> (a' -> c))) -> (((a, b) -> c) ~> (d -> ((a', b) -> c)))

+ Control.Arrow.DeepArrow: inpFirst :: DeepArrow ~> => ((a -> c) ~> (d -> (a' -> c))) -> (((a, b) -> c) ~> (d -> ((a', b) -> c)))

- Control.Arrow.DeepArrow: inpS :: (DeepArrow ~>) => ((a, b) -> c) ~> (b -> (a -> c))

+ Control.Arrow.DeepArrow: inpS :: DeepArrow ~> => ((a, b) -> c) ~> (b -> (a -> c))

- Control.Arrow.DeepArrow: inpSecond :: (DeepArrow ~>) => ((b -> c) ~> (d -> (b' -> c))) -> (((a, b) -> c) ~> (d -> ((a, b') -> c)))

+ Control.Arrow.DeepArrow: inpSecond :: DeepArrow ~> => ((b -> c) ~> (d -> (b' -> c))) -> (((a, b) -> c) ~> (d -> ((a, b') -> c)))

- Control.Arrow.DeepArrow: lAssocA :: (DeepArrow ~>) => (a, (b, c)) ~> ((a, b), c)

+ Control.Arrow.DeepArrow: lAssocA :: DeepArrow ~> => (a, (b, c)) ~> ((a, b), c)

- Control.Arrow.DeepArrow: lAssocAFun :: (FunDble h) => h (a, (b, c)) -> h ((a, b), c)

+ Control.Arrow.DeepArrow: lAssocAFun :: FunDble h => h (a, (b, c)) -> h ((a, b), c)

- Control.Arrow.DeepArrow: rAssocA :: (DeepArrow ~>) => ((a, b), c) ~> (a, (b, c))

+ Control.Arrow.DeepArrow: rAssocA :: DeepArrow ~> => ((a, b), c) ~> (a, (b, c))

- Control.Arrow.DeepArrow: rAssocAFun :: (FunDble h) => h ((a, b), c) -> h (a, (b, c))

+ Control.Arrow.DeepArrow: rAssocAFun :: FunDble h => h ((a, b), c) -> h (a, (b, c))

- Control.Arrow.DeepArrow: result :: (DeepArrow ~>) => (b ~> b') -> ((a -> b) ~> (a -> b'))

+ Control.Arrow.DeepArrow: result :: DeepArrow ~> => (b ~> b') -> ((a -> b) ~> (a -> b'))

- Control.Arrow.DeepArrow: resultFun :: (FunDble h) => (h b -> h b') -> (h (a -> b) -> h (a -> b'))

+ Control.Arrow.DeepArrow: resultFun :: FunDble h => (h b -> h b') -> (h (a -> b) -> h (a -> b'))

- Control.Arrow.DeepArrow: sndA :: (DeepArrow ~>) => (a, b) ~> b

+ Control.Arrow.DeepArrow: sndA :: DeepArrow ~> => (a, b) ~> b

- Control.Arrow.DeepArrow: sndAFun :: (FunDble h) => h (a, b) -> h b

+ Control.Arrow.DeepArrow: sndAFun :: FunDble h => h (a, b) -> h b

- Control.Arrow.DeepArrow: swapA :: (DeepArrow ~>) => (a, b) ~> (b, a)

+ Control.Arrow.DeepArrow: swapA :: DeepArrow ~> => (a, b) ~> (b, a)

- Control.Arrow.DeepArrow: swapAFun :: (FunDble h) => h (a, b) -> h (b, a)

+ Control.Arrow.DeepArrow: swapAFun :: FunDble h => h (a, b) -> h (b, a)

- Control.Arrow.DeepArrow: uncurryA :: (DeepArrow ~>) => (a -> b -> c) ~> ((a, b) -> c)

+ Control.Arrow.DeepArrow: uncurryA :: DeepArrow ~> => (a -> b -> c) ~> ((a, b) -> c)

- Control.Arrow.DeepArrow: uncurryAFun :: (FunDble h) => h (a -> b -> c) -> h ((a, b) -> c)

+ Control.Arrow.DeepArrow: uncurryAFun :: FunDble h => h (a -> b -> c) -> h ((a, b) -> c)

- Control.Arrow.DeepArrow: unzipA :: (DeepArrow ~>) => (a ~> (b, c)) -> (a ~> b, a ~> c)

+ Control.Arrow.DeepArrow: unzipA :: DeepArrow ~> => (a ~> (b, c)) -> (a ~> b, a ~> c)

- Control.Arrow.DeepArrow.Examples: deep :: (DeepArrow ~>) => (c ~> c') -> (a -> (f, b -> (c, g)), e) ~> (a -> (f, b -> (c', g)), e)

+ Control.Arrow.DeepArrow.Examples: deep :: DeepArrow ~> => (c ~> c') -> (a -> (f, b -> (c, g)), e) ~> (a -> (f, b -> (c', g)), e)

- Control.Arrow.DeepArrow.Examples: extF :: (DeepArrow ~>) => (d ~> (c -> b)) -> (e -> (a, d), f) ~> (c -> (e -> (a, b), f))

+ Control.Arrow.DeepArrow.Examples: extF :: DeepArrow ~> => (d ~> (c -> b)) -> (e -> (a, d), f) ~> (c -> (e -> (a, b), f))

- Control.Arrow.DeepArrow.Examples: extFF :: (DeepArrow ~>) => (e -> (a, c -> b), f) ~> (c -> (e -> (a, b), f))

+ Control.Arrow.DeepArrow.Examples: extFF :: DeepArrow ~> => (e -> (a, c -> b), f) ~> (c -> (e -> (a, b), f))

- Control.Arrow.DeepArrow.Examples: extFI :: (DeepArrow ~>) => (e -> (g, ((a, (b, e)), c) -> d), f) ~> (b -> (e -> (g, ((a, e), c) -> d), f))

+ Control.Arrow.DeepArrow.Examples: extFI :: DeepArrow ~> => (e -> (g, ((a, (b, e)), c) -> d), f) ~> (b -> (e -> (g, ((a, e), c) -> d), f))

- Control.Arrow.DeepArrow.Examples: extI :: (DeepArrow ~>) => (((a, (b, e)), c) -> d) ~> (b -> ((a, e), c) -> d)

+ Control.Arrow.DeepArrow.Examples: extI :: DeepArrow ~> => (((a, (b, e)), c) -> d) ~> (b -> ((a, e), c) -> d)

- Data.FunArr: ($$) :: (FunArr ~> w) => (a ~> b) -> w a -> w b

+ Data.FunArr: ($$) :: FunArr ~> w => (a ~> b) -> w a -> w b

- Data.FunArr: toArr :: (FunArr ~> w) => w (a -> b) -> (a ~> b)

+ Data.FunArr: toArr :: FunArr ~> w => w (a -> b) -> (a ~> b)

- Language.Haskell.ToHs: prettyAsHsExp :: (ToHsExp a) => a -> String

+ Language.Haskell.ToHs: prettyAsHsExp :: ToHsExp a => a -> String

- Language.Haskell.ToHs: toHsApp1 :: (ToHsExp a) => String -> a -> HsExp

+ Language.Haskell.ToHs: toHsApp1 :: ToHsExp a => String -> a -> HsExp

- Language.Haskell.ToHs: toHsExp :: (ToHsExp a) => a -> HsExp

+ Language.Haskell.ToHs: toHsExp :: ToHsExp a => a -> HsExp

Files

DeepArrow.cabal +2/−2
src/Data/FunArr.hs +1/−0

DeepArrow.cabal view

@@ -1,5 +1,5 @@ Name:			DeepArrow-Version:		0.3.2+Version:		0.3.3 Synopsis:		Arrows for "deep application" Category:               Combinators, Control Description:@@ -40,7 +40,7 @@ Copyright:		(c) 2007,2009 by Conal Elliott Build-type:             Simple Hs-Source-Dirs:		src-Build-Depends:		base<5, mtl, TypeCompose>=0.6.5, haskell-src+Build-Depends:		base<5, mtl, TypeCompose>=0.6.7, haskell-src Exposed-Modules:                                 Control.Arrow.DeepArrow                         Data.FunArr

src/Data/FunArr.hs view

@@ -51,6 +51,7 @@  -- -- Oops!  This instance can't work with the mutual functional -- dependencies.  Instead, instantiate it per @h@.+--  -- instance FunArr (FunA h) h where --   toArr = error "toArr: undefined for FunArr" --  Add FunArrable class & delegate --   FunA f $$ ha = f ha