extensible-effects 3.1.0.1 → 3.1.0.2
raw patch · 1 files changed
+3/−3 lines, 1 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Data.OpenUnion: instance (t ~ s) => Data.OpenUnion.Member t '[s]
- Data.OpenUnion: instance forall k (p :: GHC.Types.Bool) (a :: k) (b :: k). (p ~ 'GHC.Types.False) => Data.OpenUnion.EQU a b p
+ Control.Eff: type family (<::) (ms :: [* -> *]) r
+ Data.OpenUnion: instance (t Data.Type.Equality.~ s) => Data.OpenUnion.Member t '[s]
+ Data.OpenUnion: instance forall k (p :: GHC.Types.Bool) (a :: k) (b :: k). (p Data.Type.Equality.~ 'GHC.Types.False) => Data.OpenUnion.EQU a b p
+ Data.OpenUnion: type family (<::) (ms :: [* -> *]) r
- Control.Eff.Coroutine: yield :: (Member (Yield a b) r) => a -> Eff r b
+ Control.Eff.Coroutine: yield :: Member (Yield a b) r => a -> Eff r b
- Control.Eff.Example: lastAndSum :: (Num a) => [a] -> (Maybe a, a)
+ Control.Eff.Example: lastAndSum :: Num a => [a] -> (Maybe a, a)
- Control.Eff.Example: sum2 :: ([Reader Int, Reader Float] <:: r) => Eff r Float
+ Control.Eff.Example: sum2 :: [Reader Int, Reader Float] <:: r => Eff r Float
- Control.Eff.Example: sumEff :: (Num a) => [a] -> a
+ Control.Eff.Example: sumEff :: Num a => [a] -> a
- Control.Eff.Example: writeAll :: (Member (Writer a) e) => [a] -> Eff e ()
+ Control.Eff.Example: writeAll :: Member (Writer a) e => [a] -> Eff e ()
- Control.Eff.Exception: liftEither :: (Member (Exc e) r) => Either e a -> Eff r a
+ Control.Eff.Exception: liftEither :: Member (Exc e) r => Either e a -> Eff r a
- Control.Eff.Exception: rethrowError :: (Member (Exc e') r) => (e -> e') -> Eff (Exc e : r) a -> Eff r a
+ Control.Eff.Exception: rethrowError :: Member (Exc e') r => (e -> e') -> Eff (Exc e : r) a -> Eff r a
- Control.Eff.Exception: throwError :: (Member (Exc e) r) => e -> Eff r a
+ Control.Eff.Exception: throwError :: Member (Exc e) r => e -> Eff r a
- Control.Eff.Exception: throwError_ :: (Member (Exc e) r) => e -> Eff r ()
+ Control.Eff.Exception: throwError_ :: Member (Exc e) r => e -> Eff r ()
- Control.Eff.Extend: E :: (Union r b) -> (Arrs r b a) -> Eff r a
+ Control.Eff.Extend: E :: Union r b -> Arrs r b a -> Eff r a
- Control.Eff.Lift: Lift :: (m a) -> Lift m a
+ Control.Eff.Lift: Lift :: m a -> Lift m a
- Control.Eff.Lift: lift :: (SetMember Lift (Lift m) r) => m a -> Eff r a
+ Control.Eff.Lift: lift :: SetMember Lift (Lift m) r => m a -> Eff r a
- Control.Eff.Operational: singleton :: (Member (Program instr) r) => instr a -> Eff r a
+ Control.Eff.Operational: singleton :: Member (Program instr) r => instr a -> Eff r a
- Control.Eff.Operational.Example: adventIO :: (SetMember Lift (Lift IO) r) => Jail a -> Eff r a
+ Control.Eff.Operational.Example: adventIO :: SetMember Lift (Lift IO) r => Jail a -> Eff r a
- Control.Eff.Reader.Lazy: ask :: (Member (Reader e) r) => Eff r e
+ Control.Eff.Reader.Lazy: ask :: Member (Reader e) r => Eff r e
- Control.Eff.Reader.Lazy: reader :: (Member (Reader e) r) => (e -> a) -> Eff r a
+ Control.Eff.Reader.Lazy: reader :: Member (Reader e) r => (e -> a) -> Eff r a
- Control.Eff.Reader.Strict: ask :: (Member (Reader e) r) => Eff r e
+ Control.Eff.Reader.Strict: ask :: Member (Reader e) r => Eff r e
- Control.Eff.Reader.Strict: reader :: (Member (Reader e) r) => (e -> a) -> Eff r a
+ Control.Eff.Reader.Strict: reader :: Member (Reader e) r => (e -> a) -> Eff r a
- Control.Eff.State.Lazy: modify :: (Member (State s) r) => (s -> s) -> Eff r ()
+ Control.Eff.State.Lazy: modify :: Member (State s) r => (s -> s) -> Eff r ()
- Control.Eff.State.Lazy: runStateR :: s -> Eff (Writer s : Reader s : r) a -> Eff r (a, s)
+ Control.Eff.State.Lazy: runStateR :: s -> Eff (Writer s : (Reader s : r)) a -> Eff r (a, s)
- Control.Eff.State.OnDemand: modify :: (Member (OnDemandState s) r) => (s -> s) -> Eff r ()
+ Control.Eff.State.OnDemand: modify :: Member (OnDemandState s) r => (s -> s) -> Eff r ()
- Control.Eff.State.OnDemand: runStateR :: s -> Eff (Writer s : Reader s : r) w -> Eff r (w, s)
+ Control.Eff.State.OnDemand: runStateR :: s -> Eff (Writer s : (Reader s : r)) w -> Eff r (w, s)
- Control.Eff.State.Strict: modify :: (Member (State s) r) => (s -> s) -> Eff r ()
+ Control.Eff.State.Strict: modify :: Member (State s) r => (s -> s) -> Eff r ()
- Control.Eff.State.Strict: runStateR :: s -> Eff (Writer s : Reader s : r) a -> Eff r (a, s)
+ Control.Eff.State.Strict: runStateR :: s -> Eff (Writer s : (Reader s : r)) a -> Eff r (a, s)
- Control.Eff.Writer.Lazy: execMonoidWriter :: (Monoid w) => Eff (Writer w : r) a -> Eff r w
+ Control.Eff.Writer.Lazy: execMonoidWriter :: Monoid w => Eff (Writer w : r) a -> Eff r w
- Control.Eff.Writer.Lazy: runMonoidWriter :: (Monoid w) => Eff (Writer w : r) a -> Eff r (a, w)
+ Control.Eff.Writer.Lazy: runMonoidWriter :: Monoid w => Eff (Writer w : r) a -> Eff r (a, w)
- Control.Eff.Writer.Strict: execMonoidWriter :: (Monoid w) => Eff (Writer w : r) a -> Eff r w
+ Control.Eff.Writer.Strict: execMonoidWriter :: Monoid w => Eff (Writer w : r) a -> Eff r w
- Control.Eff.Writer.Strict: runMonoidWriter :: (Monoid w) => Eff (Writer w : r) a -> Eff r (a, w)
+ Control.Eff.Writer.Strict: runMonoidWriter :: Monoid w => Eff (Writer w : r) a -> Eff r (a, w)
Files
- extensible-effects.cabal +3/−3
extensible-effects.cabal view
@@ -6,7 +6,7 @@ -- PVP summary: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change-version: 3.1.0.1+version: 3.1.0.2 -- A short (one-line) description of the package. synopsis: An Alternative to Monad Transformers@@ -134,7 +134,7 @@ ghc-options: -Wno-simplifiable-class-constraints -- Other library packages from which modules are imported.- build-depends: base >= 4.7 && < 4.12+ build-depends: base >= 4.7 && < 5 -- For MonadBase , transformers-base == 0.4.* -- For MonadBaseControl@@ -186,7 +186,7 @@ ghc-options: -fno-warn-type-defaults -fno-warn-missing-signatures -fno-warn-name-shadowing build-depends:- base >= 4.7 && < 4.12+ base >= 4.7 && < 5 , QuickCheck , HUnit , monad-control >= 1.0