arrows 0.4.1.2 → 0.4.2.0

raw patch · 2 files changed

+8/−2 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Arrow.Transformer.Automaton: instance (Arrow a) => Applicative (Automaton a b)

- Control.Arrow.Transformer.Automaton: instance (Arrow a) => Arrow (Automaton a)

- Control.Arrow.Transformer.Automaton: instance (Arrow a) => ArrowTransformer Automaton a

- Control.Arrow.Transformer.Automaton: instance (Arrow a) => Category (Automaton a)

- Control.Arrow.Transformer.Automaton: instance (Arrow a) => Functor (Automaton a b)

- Control.Arrow.Transformer.Automaton: instance (ArrowAddReader r a a') => ArrowAddReader r (Automaton a) (Automaton a')

- Control.Arrow.Transformer.Automaton: instance (ArrowAddState r a a') => ArrowAddState r (Automaton a) (Automaton a')

- Control.Arrow.Transformer.Automaton: instance (ArrowAddWriter w a a') => ArrowAddWriter w (Automaton a) (Automaton a')

- Control.Arrow.Transformer.Automaton: instance (ArrowChoice a) => ArrowChoice (Automaton a)

- Control.Arrow.Transformer.Automaton: instance (ArrowError r a) => ArrowError r (Automaton a)

- Control.Arrow.Transformer.Automaton: instance (ArrowLoop a) => ArrowCircuit (Automaton a)

- Control.Arrow.Transformer.Automaton: instance (ArrowLoop a) => ArrowLoop (Automaton a)

- Control.Arrow.Transformer.Automaton: instance (ArrowPlus a) => Alternative (Automaton a b)

- Control.Arrow.Transformer.Automaton: instance (ArrowPlus a) => ArrowPlus (Automaton a)

- Control.Arrow.Transformer.Automaton: instance (ArrowPlus a) => Monoid (Automaton a b c)

- Control.Arrow.Transformer.Automaton: instance (ArrowReader r a) => ArrowReader r (Automaton a)

- Control.Arrow.Transformer.Automaton: instance (ArrowState s a) => ArrowState s (Automaton a)

- Control.Arrow.Transformer.Automaton: instance (ArrowWriter w a) => ArrowWriter w (Automaton a)

- Control.Arrow.Transformer.Automaton: instance (ArrowZero a) => ArrowZero (Automaton a)

- Control.Arrow.Transformer.CoState: instance (Arrow a) => Applicative (CoStateArrow s a b)

- Control.Arrow.Transformer.CoState: instance (Arrow a) => Arrow (CoStateArrow s a)

- Control.Arrow.Transformer.CoState: instance (Arrow a) => Functor (CoStateArrow s a b)

- Control.Arrow.Transformer.CoState: instance (ArrowLoop a) => ArrowLoop (CoStateArrow s a)

- Control.Arrow.Transformer.CoState: instance (ArrowPlus a) => Alternative (CoStateArrow s a b)

- Control.Arrow.Transformer.CoState: instance (ArrowPlus a) => ArrowPlus (CoStateArrow s a)

- Control.Arrow.Transformer.CoState: instance (ArrowPlus a) => Monoid (CoStateArrow s a b c)

- Control.Arrow.Transformer.CoState: instance (ArrowZero a) => ArrowZero (CoStateArrow s a)

- Control.Arrow.Transformer.CoState: instance (Category a) => Category (CoStateArrow s a)

- Control.Arrow.Transformer.Error: instance (ArrowChoice a) => Applicative (ErrorArrow ex a b)

- Control.Arrow.Transformer.Error: instance (ArrowChoice a) => Arrow (ErrorArrow ex a)

- Control.Arrow.Transformer.Error: instance (ArrowChoice a) => ArrowAddError ex (ErrorArrow ex a) a

- Control.Arrow.Transformer.Error: instance (ArrowChoice a) => ArrowChoice (ErrorArrow ex a)

- Control.Arrow.Transformer.Error: instance (ArrowChoice a) => ArrowError ex (ErrorArrow ex a)

- Control.Arrow.Transformer.Error: instance (ArrowChoice a) => ArrowTransformer (ErrorArrow ex) a

- Control.Arrow.Transformer.Error: instance (ArrowChoice a) => Category (ErrorArrow ex a)

- Control.Arrow.Transformer.Error: instance (ArrowChoice a) => Functor (ErrorArrow ex a b)

- Control.Arrow.Transformer.Reader: instance (Arrow a) => Applicative (ReaderArrow r a b)

- Control.Arrow.Transformer.Reader: instance (Arrow a) => Arrow (ReaderArrow r a)

- Control.Arrow.Transformer.Reader: instance (Arrow a) => ArrowAddReader r (ReaderArrow r a) a

- Control.Arrow.Transformer.Reader: instance (Arrow a) => ArrowReader r (ReaderArrow r a)

- Control.Arrow.Transformer.Reader: instance (Arrow a) => ArrowTransformer (ReaderArrow r) a

- Control.Arrow.Transformer.Reader: instance (Arrow a) => Category (ReaderArrow r a)

- Control.Arrow.Transformer.Reader: instance (Arrow a) => Functor (ReaderArrow r a b)

- Control.Arrow.Transformer.Reader: instance (ArrowAddError ex a a') => ArrowAddError ex (ReaderArrow r a) (ReaderArrow r a')

- Control.Arrow.Transformer.Reader: instance (ArrowAddState s a a') => ArrowAddState s (ReaderArrow r a) (ReaderArrow r a')

- Control.Arrow.Transformer.Reader: instance (ArrowAddWriter s a a') => ArrowAddWriter s (ReaderArrow r a) (ReaderArrow r a')

- Control.Arrow.Transformer.Reader: instance (ArrowApply a) => ArrowApply (ReaderArrow r a)

- Control.Arrow.Transformer.Reader: instance (ArrowChoice a) => ArrowChoice (ReaderArrow r a)

- Control.Arrow.Transformer.Reader: instance (ArrowCircuit a) => ArrowCircuit (ReaderArrow r a)

- Control.Arrow.Transformer.Reader: instance (ArrowError ex a) => ArrowError ex (ReaderArrow r a)

- Control.Arrow.Transformer.Reader: instance (ArrowLoop a) => ArrowLoop (ReaderArrow r a)

- Control.Arrow.Transformer.Reader: instance (ArrowPlus a) => Alternative (ReaderArrow r a b)

- Control.Arrow.Transformer.Reader: instance (ArrowPlus a) => ArrowPlus (ReaderArrow r a)

- Control.Arrow.Transformer.Reader: instance (ArrowPlus a) => Monoid (ReaderArrow r a b c)

- Control.Arrow.Transformer.Reader: instance (ArrowState s a) => ArrowState s (ReaderArrow r a)

- Control.Arrow.Transformer.Reader: instance (ArrowWriter s a) => ArrowWriter s (ReaderArrow r a)

- Control.Arrow.Transformer.Reader: instance (ArrowZero a) => ArrowZero (ReaderArrow r a)

- Control.Arrow.Transformer.State: instance (Arrow a) => Applicative (StateArrow s a b)

- Control.Arrow.Transformer.State: instance (Arrow a) => Arrow (StateArrow s a)

- Control.Arrow.Transformer.State: instance (Arrow a) => ArrowAddState s (StateArrow s a) a

- Control.Arrow.Transformer.State: instance (Arrow a) => ArrowState s (StateArrow s a)

- Control.Arrow.Transformer.State: instance (Arrow a) => ArrowTransformer (StateArrow s) a

- Control.Arrow.Transformer.State: instance (Arrow a) => Functor (StateArrow s a b)

- Control.Arrow.Transformer.State: instance (ArrowAddError ex a a') => ArrowAddError ex (StateArrow s a) (StateArrow s a')

- Control.Arrow.Transformer.State: instance (ArrowAddReader r a a') => ArrowAddReader r (StateArrow s a) (StateArrow s a')

- Control.Arrow.Transformer.State: instance (ArrowAddWriter w a a') => ArrowAddWriter w (StateArrow s a) (StateArrow s a')

- Control.Arrow.Transformer.State: instance (ArrowApply a) => ArrowApply (StateArrow s a)

- Control.Arrow.Transformer.State: instance (ArrowChoice a) => ArrowChoice (StateArrow s a)

- Control.Arrow.Transformer.State: instance (ArrowCircuit a) => ArrowCircuit (StateArrow s a)

- Control.Arrow.Transformer.State: instance (ArrowError ex a) => ArrowError ex (StateArrow s a)

- Control.Arrow.Transformer.State: instance (ArrowLoop a) => ArrowLoop (StateArrow s a)

- Control.Arrow.Transformer.State: instance (ArrowPlus a) => Alternative (StateArrow s a b)

- Control.Arrow.Transformer.State: instance (ArrowPlus a) => ArrowPlus (StateArrow s a)

- Control.Arrow.Transformer.State: instance (ArrowPlus a) => Monoid (StateArrow s a b c)

- Control.Arrow.Transformer.State: instance (ArrowReader r a) => ArrowReader r (StateArrow s a)

- Control.Arrow.Transformer.State: instance (ArrowWriter w a) => ArrowWriter w (StateArrow s a)

- Control.Arrow.Transformer.State: instance (ArrowZero a) => ArrowZero (StateArrow s a)

- Control.Arrow.Transformer.State: instance (Category a) => Category (StateArrow s a)

- Control.Arrow.Transformer.Stream: instance (Arrow a) => Applicative (StreamArrow a b)

- Control.Arrow.Transformer.Stream: instance (Arrow a) => Arrow (StreamArrow a)

- Control.Arrow.Transformer.Stream: instance (Arrow a) => ArrowChoice (StreamArrow a)

- Control.Arrow.Transformer.Stream: instance (Arrow a) => ArrowTransformer StreamArrow a

- Control.Arrow.Transformer.Stream: instance (Arrow a) => Functor (StreamArrow a b)

- Control.Arrow.Transformer.Stream: instance (ArrowLoop a) => ArrowAddStream (StreamArrow a) a

- Control.Arrow.Transformer.Stream: instance (ArrowLoop a) => ArrowCircuit (StreamArrow a)

- Control.Arrow.Transformer.Stream: instance (ArrowLoop a) => ArrowLoop (StreamArrow a)

- Control.Arrow.Transformer.Stream: instance (ArrowPlus a) => Alternative (StreamArrow a b)

- Control.Arrow.Transformer.Stream: instance (ArrowPlus a) => ArrowPlus (StreamArrow a)

- Control.Arrow.Transformer.Stream: instance (ArrowPlus a) => Monoid (StreamArrow a b c)

- Control.Arrow.Transformer.Stream: instance (ArrowState s a) => ArrowState s (StreamArrow a)

- Control.Arrow.Transformer.Stream: instance (ArrowWriter w a) => ArrowWriter w (StreamArrow a)

- Control.Arrow.Transformer.Stream: instance (ArrowZero a) => ArrowZero (StreamArrow a)

- Control.Arrow.Transformer.Stream: instance (Category a) => Category (StreamArrow a)

+ Control.Arrow.Transformer.Automaton: instance Arrow a => Applicative (Automaton a b)

+ Control.Arrow.Transformer.Automaton: instance Arrow a => Arrow (Automaton a)

+ Control.Arrow.Transformer.Automaton: instance Arrow a => ArrowTransformer Automaton a

+ Control.Arrow.Transformer.Automaton: instance Arrow a => Category (Automaton a)

+ Control.Arrow.Transformer.Automaton: instance Arrow a => Functor (Automaton a b)

+ Control.Arrow.Transformer.Automaton: instance ArrowAddReader r a a' => ArrowAddReader r (Automaton a) (Automaton a')

+ Control.Arrow.Transformer.Automaton: instance ArrowAddState r a a' => ArrowAddState r (Automaton a) (Automaton a')

+ Control.Arrow.Transformer.Automaton: instance ArrowAddWriter w a a' => ArrowAddWriter w (Automaton a) (Automaton a')

+ Control.Arrow.Transformer.Automaton: instance ArrowChoice a => ArrowChoice (Automaton a)

+ Control.Arrow.Transformer.Automaton: instance ArrowError r a => ArrowError r (Automaton a)

+ Control.Arrow.Transformer.Automaton: instance ArrowLoop a => ArrowCircuit (Automaton a)

+ Control.Arrow.Transformer.Automaton: instance ArrowLoop a => ArrowLoop (Automaton a)

+ Control.Arrow.Transformer.Automaton: instance ArrowPlus a => Alternative (Automaton a b)

+ Control.Arrow.Transformer.Automaton: instance ArrowPlus a => ArrowPlus (Automaton a)

+ Control.Arrow.Transformer.Automaton: instance ArrowPlus a => Monoid (Automaton a b c)

+ Control.Arrow.Transformer.Automaton: instance ArrowReader r a => ArrowReader r (Automaton a)

+ Control.Arrow.Transformer.Automaton: instance ArrowState s a => ArrowState s (Automaton a)

+ Control.Arrow.Transformer.Automaton: instance ArrowWriter w a => ArrowWriter w (Automaton a)

+ Control.Arrow.Transformer.Automaton: instance ArrowZero a => ArrowZero (Automaton a)

+ Control.Arrow.Transformer.CoState: instance Arrow a => Applicative (CoStateArrow s a b)

+ Control.Arrow.Transformer.CoState: instance Arrow a => Arrow (CoStateArrow s a)

+ Control.Arrow.Transformer.CoState: instance Arrow a => Functor (CoStateArrow s a b)

+ Control.Arrow.Transformer.CoState: instance ArrowLoop a => ArrowLoop (CoStateArrow s a)

+ Control.Arrow.Transformer.CoState: instance ArrowPlus a => Alternative (CoStateArrow s a b)

+ Control.Arrow.Transformer.CoState: instance ArrowPlus a => ArrowPlus (CoStateArrow s a)

+ Control.Arrow.Transformer.CoState: instance ArrowPlus a => Monoid (CoStateArrow s a b c)

+ Control.Arrow.Transformer.CoState: instance ArrowZero a => ArrowZero (CoStateArrow s a)

+ Control.Arrow.Transformer.CoState: instance Category a => Category (CoStateArrow s a)

+ Control.Arrow.Transformer.Error: instance ArrowChoice a => Applicative (ErrorArrow ex a b)

+ Control.Arrow.Transformer.Error: instance ArrowChoice a => Arrow (ErrorArrow ex a)

+ Control.Arrow.Transformer.Error: instance ArrowChoice a => ArrowAddError ex (ErrorArrow ex a) a

+ Control.Arrow.Transformer.Error: instance ArrowChoice a => ArrowChoice (ErrorArrow ex a)

+ Control.Arrow.Transformer.Error: instance ArrowChoice a => ArrowError ex (ErrorArrow ex a)

+ Control.Arrow.Transformer.Error: instance ArrowChoice a => ArrowTransformer (ErrorArrow ex) a

+ Control.Arrow.Transformer.Error: instance ArrowChoice a => Category (ErrorArrow ex a)

+ Control.Arrow.Transformer.Error: instance ArrowChoice a => Functor (ErrorArrow ex a b)

+ Control.Arrow.Transformer.Reader: instance Arrow a => Applicative (ReaderArrow r a b)

+ Control.Arrow.Transformer.Reader: instance Arrow a => Arrow (ReaderArrow r a)

+ Control.Arrow.Transformer.Reader: instance Arrow a => ArrowAddReader r (ReaderArrow r a) a

+ Control.Arrow.Transformer.Reader: instance Arrow a => ArrowReader r (ReaderArrow r a)

+ Control.Arrow.Transformer.Reader: instance Arrow a => ArrowTransformer (ReaderArrow r) a

+ Control.Arrow.Transformer.Reader: instance Arrow a => Category (ReaderArrow r a)

+ Control.Arrow.Transformer.Reader: instance Arrow a => Functor (ReaderArrow r a b)

+ Control.Arrow.Transformer.Reader: instance ArrowAddError ex a a' => ArrowAddError ex (ReaderArrow r a) (ReaderArrow r a')

+ Control.Arrow.Transformer.Reader: instance ArrowAddState s a a' => ArrowAddState s (ReaderArrow r a) (ReaderArrow r a')

+ Control.Arrow.Transformer.Reader: instance ArrowAddWriter s a a' => ArrowAddWriter s (ReaderArrow r a) (ReaderArrow r a')

+ Control.Arrow.Transformer.Reader: instance ArrowApply a => ArrowApply (ReaderArrow r a)

+ Control.Arrow.Transformer.Reader: instance ArrowChoice a => ArrowChoice (ReaderArrow r a)

+ Control.Arrow.Transformer.Reader: instance ArrowCircuit a => ArrowCircuit (ReaderArrow r a)

+ Control.Arrow.Transformer.Reader: instance ArrowError ex a => ArrowError ex (ReaderArrow r a)

+ Control.Arrow.Transformer.Reader: instance ArrowLoop a => ArrowLoop (ReaderArrow r a)

+ Control.Arrow.Transformer.Reader: instance ArrowPlus a => Alternative (ReaderArrow r a b)

+ Control.Arrow.Transformer.Reader: instance ArrowPlus a => ArrowPlus (ReaderArrow r a)

+ Control.Arrow.Transformer.Reader: instance ArrowPlus a => Monoid (ReaderArrow r a b c)

+ Control.Arrow.Transformer.Reader: instance ArrowState s a => ArrowState s (ReaderArrow r a)

+ Control.Arrow.Transformer.Reader: instance ArrowWriter s a => ArrowWriter s (ReaderArrow r a)

+ Control.Arrow.Transformer.Reader: instance ArrowZero a => ArrowZero (ReaderArrow r a)

+ Control.Arrow.Transformer.State: instance Arrow a => Applicative (StateArrow s a b)

+ Control.Arrow.Transformer.State: instance Arrow a => Arrow (StateArrow s a)

+ Control.Arrow.Transformer.State: instance Arrow a => ArrowAddState s (StateArrow s a) a

+ Control.Arrow.Transformer.State: instance Arrow a => ArrowState s (StateArrow s a)

+ Control.Arrow.Transformer.State: instance Arrow a => ArrowTransformer (StateArrow s) a

+ Control.Arrow.Transformer.State: instance Arrow a => Functor (StateArrow s a b)

+ Control.Arrow.Transformer.State: instance ArrowAddError ex a a' => ArrowAddError ex (StateArrow s a) (StateArrow s a')

+ Control.Arrow.Transformer.State: instance ArrowAddReader r a a' => ArrowAddReader r (StateArrow s a) (StateArrow s a')

+ Control.Arrow.Transformer.State: instance ArrowAddWriter w a a' => ArrowAddWriter w (StateArrow s a) (StateArrow s a')

+ Control.Arrow.Transformer.State: instance ArrowApply a => ArrowApply (StateArrow s a)

+ Control.Arrow.Transformer.State: instance ArrowChoice a => ArrowChoice (StateArrow s a)

+ Control.Arrow.Transformer.State: instance ArrowCircuit a => ArrowCircuit (StateArrow s a)

+ Control.Arrow.Transformer.State: instance ArrowError ex a => ArrowError ex (StateArrow s a)

+ Control.Arrow.Transformer.State: instance ArrowLoop a => ArrowLoop (StateArrow s a)

+ Control.Arrow.Transformer.State: instance ArrowPlus a => Alternative (StateArrow s a b)

+ Control.Arrow.Transformer.State: instance ArrowPlus a => ArrowPlus (StateArrow s a)

+ Control.Arrow.Transformer.State: instance ArrowPlus a => Monoid (StateArrow s a b c)

+ Control.Arrow.Transformer.State: instance ArrowReader r a => ArrowReader r (StateArrow s a)

+ Control.Arrow.Transformer.State: instance ArrowWriter w a => ArrowWriter w (StateArrow s a)

+ Control.Arrow.Transformer.State: instance ArrowZero a => ArrowZero (StateArrow s a)

+ Control.Arrow.Transformer.State: instance Category a => Category (StateArrow s a)

+ Control.Arrow.Transformer.Static: unwrap :: (Applicative f, Arrow a) => StaticArrow f a b c -> f (a b c)

+ Control.Arrow.Transformer.Static: wrap :: (Applicative f, Arrow a) => f (a b c) -> StaticArrow f a b c

+ Control.Arrow.Transformer.Stream: instance Arrow a => Applicative (StreamArrow a b)

+ Control.Arrow.Transformer.Stream: instance Arrow a => Arrow (StreamArrow a)

+ Control.Arrow.Transformer.Stream: instance Arrow a => ArrowChoice (StreamArrow a)

+ Control.Arrow.Transformer.Stream: instance Arrow a => ArrowTransformer StreamArrow a

+ Control.Arrow.Transformer.Stream: instance Arrow a => Functor (StreamArrow a b)

+ Control.Arrow.Transformer.Stream: instance ArrowLoop a => ArrowAddStream (StreamArrow a) a

+ Control.Arrow.Transformer.Stream: instance ArrowLoop a => ArrowCircuit (StreamArrow a)

+ Control.Arrow.Transformer.Stream: instance ArrowLoop a => ArrowLoop (StreamArrow a)

+ Control.Arrow.Transformer.Stream: instance ArrowPlus a => Alternative (StreamArrow a b)

+ Control.Arrow.Transformer.Stream: instance ArrowPlus a => ArrowPlus (StreamArrow a)

+ Control.Arrow.Transformer.Stream: instance ArrowPlus a => Monoid (StreamArrow a b c)

+ Control.Arrow.Transformer.Stream: instance ArrowState s a => ArrowState s (StreamArrow a)

+ Control.Arrow.Transformer.Stream: instance ArrowWriter w a => ArrowWriter w (StreamArrow a)

+ Control.Arrow.Transformer.Stream: instance ArrowZero a => ArrowZero (StreamArrow a)

+ Control.Arrow.Transformer.Stream: instance Category a => Category (StreamArrow a)

- Control.Arrow.Operations: class (ArrowLoop a) => ArrowCircuit a

+ Control.Arrow.Operations: class ArrowLoop a => ArrowCircuit a

- Control.Arrow.Operations: class (Arrow a) => ArrowError ex a | a -> ex

+ Control.Arrow.Operations: class Arrow a => ArrowError ex a | a -> ex

- Control.Arrow.Operations: class (Arrow a) => ArrowReader r a | a -> r

+ Control.Arrow.Operations: class Arrow a => ArrowReader r a | a -> r

- Control.Arrow.Operations: class (Arrow a) => ArrowState s a | a -> s

+ Control.Arrow.Operations: class Arrow a => ArrowState s a | a -> s

- Control.Arrow.Operations: delay :: (ArrowCircuit a) => b -> a b b

+ Control.Arrow.Operations: delay :: ArrowCircuit a => b -> a b b

- Control.Arrow.Operations: fetch :: (ArrowState s a) => a e s

+ Control.Arrow.Operations: fetch :: ArrowState s a => a e s

- Control.Arrow.Operations: handle :: (ArrowError ex a) => a e b -> a (e, ex) b -> a e b

+ Control.Arrow.Operations: handle :: ArrowError ex a => a e b -> a (e, ex) b -> a e b

- Control.Arrow.Operations: newError :: (ArrowError ex a) => a e b -> a e (Either ex b)

+ Control.Arrow.Operations: newError :: ArrowError ex a => a e b -> a e (Either ex b)

- Control.Arrow.Operations: newReader :: (ArrowReader r a) => a e b -> a (e, r) b

+ Control.Arrow.Operations: newReader :: ArrowReader r a => a e b -> a (e, r) b

- Control.Arrow.Operations: newWriter :: (ArrowWriter w a) => a e b -> a e (b, w)

+ Control.Arrow.Operations: newWriter :: ArrowWriter w a => a e b -> a e (b, w)

- Control.Arrow.Operations: raise :: (ArrowError ex a) => a ex b

+ Control.Arrow.Operations: raise :: ArrowError ex a => a ex b

- Control.Arrow.Operations: readState :: (ArrowReader r a) => a b r

+ Control.Arrow.Operations: readState :: ArrowReader r a => a b r

- Control.Arrow.Operations: store :: (ArrowState s a) => a s ()

+ Control.Arrow.Operations: store :: ArrowState s a => a s ()

- Control.Arrow.Operations: tryInUnless :: (ArrowError ex a) => a e b -> a (e, b) c -> a (e, ex) c -> a e c

+ Control.Arrow.Operations: tryInUnless :: ArrowError ex a => a e b -> a (e, b) c -> a (e, ex) c -> a e c

- Control.Arrow.Operations: write :: (ArrowWriter w a) => a w ()

+ Control.Arrow.Operations: write :: ArrowWriter w a => a w ()

- Control.Arrow.Transformer: lift :: (ArrowTransformer f a) => a b c -> f a b c

+ Control.Arrow.Transformer: lift :: ArrowTransformer f a => a b c -> f a b c

- Control.Arrow.Transformer.Error: elimError :: (ArrowAddError ex a a') => a e b -> a' (e, ex) b -> a' e b

+ Control.Arrow.Transformer.Error: elimError :: ArrowAddError ex a a' => a e b -> a' (e, ex) b -> a' e b

- Control.Arrow.Transformer.Error: liftError :: (ArrowAddError ex a a') => a' e b -> a e b

+ Control.Arrow.Transformer.Error: liftError :: ArrowAddError ex a a' => a' e b -> a e b

- Control.Arrow.Transformer.Error: runError :: (ArrowChoice a) => ErrorArrow ex a e b -> a (e, ex) b -> a e b

+ Control.Arrow.Transformer.Error: runError :: ArrowChoice a => ErrorArrow ex a e b -> a (e, ex) b -> a e b

- Control.Arrow.Transformer.Reader: elimReader :: (ArrowAddReader r a a') => a e b -> a' (e, r) b

+ Control.Arrow.Transformer.Reader: elimReader :: ArrowAddReader r a a' => a e b -> a' (e, r) b

- Control.Arrow.Transformer.Reader: liftReader :: (ArrowAddReader r a a') => a' e b -> a e b

+ Control.Arrow.Transformer.Reader: liftReader :: ArrowAddReader r a a' => a' e b -> a e b

- Control.Arrow.Transformer.Reader: runReader :: (Arrow a) => ReaderArrow r a e b -> a (e, r) b

+ Control.Arrow.Transformer.Reader: runReader :: Arrow a => ReaderArrow r a e b -> a (e, r) b

- Control.Arrow.Transformer.State: elimState :: (ArrowAddState s a a') => a e b -> a' (e, s) (b, s)

+ Control.Arrow.Transformer.State: elimState :: ArrowAddState s a a' => a e b -> a' (e, s) (b, s)

- Control.Arrow.Transformer.State: liftState :: (ArrowAddState s a a') => a' e b -> a e b

+ Control.Arrow.Transformer.State: liftState :: ArrowAddState s a a' => a' e b -> a e b

- Control.Arrow.Transformer.State: runState :: (Arrow a) => StateArrow s a e b -> a (e, s) (b, s)

+ Control.Arrow.Transformer.State: runState :: Arrow a => StateArrow s a e b -> a (e, s) (b, s)

- Control.Arrow.Transformer.Stream: elimStream :: (ArrowAddStream a a') => a (e, b) c -> a' (e, Stream b) (Stream c)

+ Control.Arrow.Transformer.Stream: elimStream :: ArrowAddStream a a' => a (e, b) c -> a' (e, Stream b) (Stream c)

- Control.Arrow.Transformer.Stream: liftStream :: (ArrowAddStream a a') => a' e b -> a e b

+ Control.Arrow.Transformer.Stream: liftStream :: ArrowAddStream a a' => a' e b -> a e b

- Control.Arrow.Transformer.Stream: runStream :: (ArrowLoop a) => StreamArrow a (e, b) c -> a (e, Stream b) (Stream c)

+ Control.Arrow.Transformer.Stream: runStream :: ArrowLoop a => StreamArrow a (e, b) c -> a (e, Stream b) (Stream c)

- Control.Arrow.Transformer.Writer: elimWriter :: (ArrowAddWriter w a a') => a e b -> a' e (b, w)

+ Control.Arrow.Transformer.Writer: elimWriter :: ArrowAddWriter w a a' => a e b -> a' e (b, w)

- Control.Arrow.Transformer.Writer: liftWriter :: (ArrowAddWriter w a a') => a' e b -> a e b

+ Control.Arrow.Transformer.Writer: liftWriter :: ArrowAddWriter w a a' => a' e b -> a e b

Files

Control/Arrow/Transformer/Static.hs +7/−1
arrows.cabal +1/−1

Control/Arrow/Transformer/Static.hs view

@@ -14,7 +14,7 @@  module Control.Arrow.Transformer.Static( 		StaticArrow, StaticMonadArrow, StaticArrowArrow,-		wrapA, unwrapA, wrapM, unwrapM,+		wrap, unwrap, wrapA, unwrapA, wrapM, unwrapM, 	) where  import Control.Arrow.Internals@@ -125,6 +125,12 @@ 		ArrowAddError ex (StaticArrow f a) (StaticArrow f a') where 	liftError (SA f) = SA (liftError <$> f) 	elimError (SA f) (SA h) = SA (elimError <$> f <*> h)++wrap :: (Applicative f, Arrow a) => f (a b c) -> StaticArrow f a b c+wrap = SA++unwrap :: (Applicative f, Arrow a) => StaticArrow f a b c -> f (a b c) +unwrap (SA f) = f  -- | A special case.

arrows.cabal view

@@ -1,5 +1,5 @@ Name:           arrows-Version:        0.4.1.2+Version:        0.4.2.0 Build-Depends:  base >= 4.0 && < 6, Stream Build-Type:     Simple License:        BSD3