extensible-effects 1.7.1 → 1.7.1.0
raw patch · 1 files changed
+3/−3 lines, 1 filesdep ~transformers-basenew-uploaderPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: transformers-base
API changes (from Hackage documentation)
- Control.Eff: instance Typeable2 Eff
- Control.Eff: instance Typeable2 VE
- Control.Eff.Choose: instance Typeable1 Choose
- Control.Eff.Coroutine: instance Typeable2 Yield
- Control.Eff.Exception: instance Typeable2 Exc
- Control.Eff.Fresh: instance Typeable2 Fresh
- Control.Eff.Lift: instance (MonadBase b m, Typeable1 m, SetMember ((* -> *) -> * -> *) * Lift (Lift m) r) => MonadBase b (Eff r)
- Control.Eff.Lift: instance (Typeable1 m, MonadIO m, SetMember ((* -> *) -> * -> *) * Lift (Lift m) r) => MonadIO (Eff r)
- Control.Eff.Lift: instance SetMember ((* -> *) -> * -> *) * Lift (Lift m) ((:>) * (Lift m) ())
- Control.Eff.Lift: instance Typeable1 m => Typeable1 (Lift m)
- Control.Eff.Reader.Lazy: instance Typeable2 Reader
- Control.Eff.Reader.Strict: instance Typeable2 Reader
- Control.Eff.State.Lazy: instance Typeable2 State
- Control.Eff.State.Strict: instance Typeable2 State
- Control.Eff.Trace: instance Typeable1 Trace
- Control.Eff.Writer.Lazy: instance Typeable2 Writer
- Control.Eff.Writer.Strict: instance Typeable2 Writer
- Data.OpenUnion1: instance [overlap ok] Functor (Union k r)
- Data.OpenUnion1: instance [overlap ok] Member (* -> *) * t ((:>) k t r)
- Data.OpenUnion1: instance [overlap ok] Member k k1 t r => Member k * t ((:>) k1 t' r)
- Data.OpenUnion1: instance [overlap ok] SetMember k k1 set t r => SetMember k * set t ((:>) k1 t' r)
- Data.OpenUnion1: instance [overlap ok] Typeable1 Id
+ Control.Eff: instance Typeable Eff
+ Control.Eff: instance Typeable VE
+ Control.Eff.Choose: instance Typeable Choose
+ Control.Eff.Coroutine: instance Typeable Yield
+ Control.Eff.Exception: instance Typeable Exc
+ Control.Eff.Fresh: instance Typeable Fresh
+ Control.Eff.Lift: instance (MonadBase b m, Typeable m, SetMember Lift (Lift m) r) => MonadBase b (Eff r)
+ Control.Eff.Lift: instance (Typeable m, MonadIO m, SetMember Lift (Lift m) r) => MonadIO (Eff r)
+ Control.Eff.Lift: instance SetMember Lift (Lift m) (Lift m :> ())
+ Control.Eff.Lift: instance Typeable Lift
+ Control.Eff.Reader.Lazy: instance Typeable Reader
+ Control.Eff.Reader.Strict: instance Typeable Reader
+ Control.Eff.State.Lazy: instance Typeable State
+ Control.Eff.State.Strict: instance Typeable State
+ Control.Eff.Trace: instance Typeable Trace
+ Control.Eff.Writer.Lazy: instance Typeable Writer
+ Control.Eff.Writer.Strict: instance Typeable Writer
+ Data.OpenUnion1: instance [overlap ok] Functor (Union r)
+ Data.OpenUnion1: instance [overlap ok] Member t (t :> r)
+ Data.OpenUnion1: instance [overlap ok] Member t r => Member t (t' :> r)
+ Data.OpenUnion1: instance [overlap ok] SetMember set t r => SetMember set t (t' :> r)
+ Data.OpenUnion1: instance [overlap ok] Typeable Id
- Control.Eff: decomp :: Typeable1 t => Union (t :> r) v -> Either (Union r v) (t v)
+ Control.Eff: decomp :: Typeable t => Union (t :> r) v -> Either (Union r v) (t v)
- Control.Eff: handleRelay :: Typeable1 t => Union (t :> r) v -> (v -> Eff r a) -> (t v -> Eff r a) -> Eff r a
+ Control.Eff: handleRelay :: Typeable t => Union (t :> r) v -> (v -> Eff r a) -> (t v -> Eff r a) -> Eff r a
- Control.Eff: inj :: (Functor t, Typeable1 t, Member t r) => t v -> Union r v
+ Control.Eff: inj :: (Functor t, Typeable t, Member t r) => t v -> Union r v
- Control.Eff: interpose :: (Typeable1 t, Functor t, Member t r) => Union r v -> (v -> Eff r a) -> (t v -> Eff r a) -> Eff r a
+ Control.Eff: interpose :: (Typeable t, Functor t, Member t r) => Union r v -> (v -> Eff r a) -> (t v -> Eff r a) -> Eff r a
- Control.Eff: prj :: (Typeable1 t, Member t r) => Union r v -> Maybe (t v)
+ Control.Eff: prj :: (Typeable t, Member t r) => Union r v -> Maybe (t v)
- Control.Eff: prjForce :: (Typeable1 t, Member t r) => Union r v -> (t v -> a) -> a
+ Control.Eff: prjForce :: (Typeable t, Member t r) => Union r v -> (t v -> a) -> a
- Control.Eff.Exception: liftEitherM :: (Typeable1 m, Typeable e, Member (Exc e) r, SetMember Lift (Lift m) r) => m (Either e a) -> Eff r a
+ Control.Eff.Exception: liftEitherM :: (Typeable m, Typeable e, Member (Exc e) r, SetMember Lift (Lift m) r) => m (Either e a) -> Eff r a
- Control.Eff.Lift: lift :: (Typeable1 m, SetMember Lift (Lift m) r) => m a -> Eff r a
+ Control.Eff.Lift: lift :: (Typeable m, SetMember Lift (Lift m) r) => m a -> Eff r a
- Control.Eff.Lift: runLift :: (Monad m, Typeable1 m) => Eff (Lift m :> ()) w -> m w
+ Control.Eff.Lift: runLift :: (Monad m, Typeable m) => Eff (Lift m :> ()) w -> m w
- Data.OpenUnion1: decomp :: Typeable1 t => Union (t :> r) v -> Either (Union r v) (t v)
+ Data.OpenUnion1: decomp :: Typeable t => Union (t :> r) v -> Either (Union r v) (t v)
- Data.OpenUnion1: inj :: (Functor t, Typeable1 t, Member t r) => t v -> Union r v
+ Data.OpenUnion1: inj :: (Functor t, Typeable t, Member t r) => t v -> Union r v
- Data.OpenUnion1: prj :: (Typeable1 t, Member t r) => Union r v -> Maybe (t v)
+ Data.OpenUnion1: prj :: (Typeable t, Member t r) => Union r v -> Maybe (t v)
- Data.OpenUnion1: prjForce :: (Typeable1 t, Member t r) => Union r v -> (t v -> a) -> a
+ Data.OpenUnion1: prjForce :: (Typeable t, Member t r) => Union r v -> (t v -> a) -> a
Files
- extensible-effects.cabal +3/−3
extensible-effects.cabal view
@@ -1,5 +1,5 @@ Name: extensible-effects-Version: 1.7.1+Version: 1.7.1.0 Synopsis: An Alternative to Monad Transformers Description: This package introduces datatypes for typeclass-constrained effects, as an alternative to monad-transformer based (datatype-constrained)@@ -43,7 +43,7 @@ -- For MonadIO instance , transformers >= 0.3 && < 0.5 -- For MonadBase instance- , transformers-base == 0.4.1.*+ , transformers-base == 0.4.* test-suite extensible-effects-tests type: exitcode-stdio-1.0@@ -63,4 +63,4 @@ source-repository head type: git- location: https://github.com/RobotGymnast/extensible-effects+ location: https://github.com/RobotGymnast/extensible-effects.git