polysemy 1.9.0.0 → 1.9.1.0
raw patch · 2 files changed
+17/−11 lines, 2 filesdep ~doctestdep ~inspection-testingdep ~th-abstractionPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: doctest, inspection-testing, th-abstraction, transformers
API changes (from Hackage documentation)
- Polysemy: bindT :: (a -> m b) -> Sem (WithTactics e f m r) (f a -> Sem (e ': r) (f b))
+ Polysemy: bindT :: (a -> m b) -> Sem (WithTactics e f m r) (f a -> Sem (e : r) (f b))
- Polysemy: embedToFinal :: (Member (Final m) r, Functor m) => Sem (Embed m ': r) a -> Sem r a
+ Polysemy: embedToFinal :: (Member (Final m) r, Functor m) => Sem (Embed m : r) a -> Sem r a
- Polysemy: interpret :: FirstOrder e "interpret" => (forall rInitial x. e (Sem rInitial) x -> Sem r x) -> Sem (e ': r) a -> Sem r a
+ Polysemy: interpret :: FirstOrder e "interpret" => (forall rInitial x. e (Sem rInitial) x -> Sem r x) -> Sem (e : r) a -> Sem r a
- Polysemy: interpretH :: (forall rInitial x. e (Sem rInitial) x -> Tactical e (Sem rInitial) r x) -> Sem (e ': r) a -> Sem r a
+ Polysemy: interpretH :: (forall rInitial x. e (Sem rInitial) x -> Tactical e (Sem rInitial) r x) -> Sem (e : r) a -> Sem r a
- Polysemy: raise :: forall e r a. Sem r a -> Sem (e ': r) a
+ Polysemy: raise :: forall e r a. Sem r a -> Sem (e : r) a
- Polysemy: raiseUnder :: forall e2 e1 r a. Sem (e1 ': r) a -> Sem (e1 ': (e2 ': r)) a
+ Polysemy: raiseUnder :: forall e2 e1 r a. Sem (e1 : r) a -> Sem (e1 : (e2 : r)) a
- Polysemy: raiseUnder2 :: forall e2 e3 e1 r a. Sem (e1 ': r) a -> Sem (e1 ': (e2 ': (e3 ': r))) a
+ Polysemy: raiseUnder2 :: forall e2 e3 e1 r a. Sem (e1 : r) a -> Sem (e1 : (e2 : (e3 : r))) a
- Polysemy: raiseUnder3 :: forall e2 e3 e4 e1 r a. Sem (e1 ': r) a -> Sem (e1 ': (e2 ': (e3 ': (e4 ': r)))) a
+ Polysemy: raiseUnder3 :: forall e2 e3 e4 e1 r a. Sem (e1 : r) a -> Sem (e1 : (e2 : (e3 : (e4 : r)))) a
- Polysemy: reinterpret :: forall e1 e2 r a. FirstOrder e1 "reinterpret" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 ': r) x) -> Sem (e1 ': r) a -> Sem (e2 ': r) a
+ Polysemy: reinterpret :: forall e1 e2 r a. FirstOrder e1 "reinterpret" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 : r) x) -> Sem (e1 : r) a -> Sem (e2 : r) a
- Polysemy: reinterpret2 :: forall e1 e2 e3 r a. FirstOrder e1 "reinterpret2" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 ': (e3 ': r)) x) -> Sem (e1 ': r) a -> Sem (e2 ': (e3 ': r)) a
+ Polysemy: reinterpret2 :: forall e1 e2 e3 r a. FirstOrder e1 "reinterpret2" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 : (e3 : r)) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : r)) a
- Polysemy: reinterpret2H :: forall e1 e2 e3 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': (e3 ': r)) x) -> Sem (e1 ': r) a -> Sem (e2 ': (e3 ': r)) a
+ Polysemy: reinterpret2H :: forall e1 e2 e3 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 : (e3 : r)) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : r)) a
- Polysemy: reinterpret3 :: forall e1 e2 e3 e4 r a. FirstOrder e1 "reinterpret3" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 ': (e3 ': (e4 ': r))) x) -> Sem (e1 ': r) a -> Sem (e2 ': (e3 ': (e4 ': r))) a
+ Polysemy: reinterpret3 :: forall e1 e2 e3 e4 r a. FirstOrder e1 "reinterpret3" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 : (e3 : (e4 : r))) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : (e4 : r))) a
- Polysemy: reinterpret3H :: forall e1 e2 e3 e4 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': (e3 ': (e4 ': r))) x) -> Sem (e1 ': r) a -> Sem (e2 ': (e3 ': (e4 ': r))) a
+ Polysemy: reinterpret3H :: forall e1 e2 e3 e4 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 : (e3 : (e4 : r))) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : (e4 : r))) a
- Polysemy: reinterpretH :: forall e1 e2 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': r) x) -> Sem (e1 ': r) a -> Sem (e2 ': r) a
+ Polysemy: reinterpretH :: forall e1 e2 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 : r) x) -> Sem (e1 : r) a -> Sem (e2 : r) a
- Polysemy: rewrite :: forall e1 e2 r a. (forall rInitial x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 ': r) a -> Sem (e2 ': r) a
+ Polysemy: rewrite :: forall e1 e2 r a. (forall rInitial x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 : r) a -> Sem (e2 : r) a
- Polysemy: runT :: m a -> Sem (WithTactics e f m r) (Sem (e ': r) (f a))
+ Polysemy: runT :: m a -> Sem (WithTactics e f m r) (Sem (e : r) (f a))
- Polysemy: subsume :: forall e r a. Member e r => Sem (e ': r) a -> Sem r a
+ Polysemy: subsume :: forall e r a. Member e r => Sem (e : r) a -> Sem r a
- Polysemy: transform :: forall e1 e2 r a. Member e2 r => (forall rInitial x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 ': r) a -> Sem r a
+ Polysemy: transform :: forall e1 e2 r a. Member e2 r => (forall rInitial x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 : r) a -> Sem r a
- Polysemy: type InterpreterFor e r = forall a. Sem (e ': r) a -> Sem r a
+ Polysemy: type InterpreterFor e r = forall a. Sem (e : r) a -> Sem r a
- Polysemy: type WithTactics e f m r = Tactics f m (e ': r) ': r
+ Polysemy: type WithTactics e f m r = Tactics f m (e : r) : r
- Polysemy.Async: async :: forall r_aqtw a_X0. Member Async r_aqtw => Sem r_aqtw a_X0 -> Sem r_aqtw (Async (Maybe a_X0))
+ Polysemy.Async: async :: forall r_apBy a_X0. Member Async r_apBy => Sem r_apBy a_X0 -> Sem r_apBy (Async (Maybe a_X0))
- Polysemy.Async: asyncToIOFinal :: Member (Final IO) r => Sem (Async ': r) a -> Sem r a
+ Polysemy.Async: asyncToIOFinal :: Member (Final IO) r => Sem (Async : r) a -> Sem r a
- Polysemy.Async: await :: forall r_aqty a_aqol. Member Async r_aqty => Async a_aqol -> Sem r_aqty a_aqol
+ Polysemy.Async: await :: forall r_apBA a_apwv. Member Async r_apBA => Async a_apwv -> Sem r_apBA a_apwv
- Polysemy.Async: cancel :: forall r_aqtA a_X0. Member Async r_aqtA => Async a_X0 -> Sem r_aqtA ()
+ Polysemy.Async: cancel :: forall r_apBC a_X0. Member Async r_apBC => Async a_X0 -> Sem r_apBC ()
- Polysemy.AtomicState: atomicStateToIO :: forall s r a. Member (Embed IO) r => s -> Sem (AtomicState s ': r) a -> Sem r (s, a)
+ Polysemy.AtomicState: atomicStateToIO :: forall s r a. Member (Embed IO) r => s -> Sem (AtomicState s : r) a -> Sem r (s, a)
- Polysemy.AtomicState: atomicStateToState :: Member (State s) r => Sem (AtomicState s ': r) a -> Sem r a
+ Polysemy.AtomicState: atomicStateToState :: Member (State s) r => Sem (AtomicState s : r) a -> Sem r a
- Polysemy.AtomicState: evalAtomicStateViaState :: s -> Sem (AtomicState s ': r) a -> Sem r a
+ Polysemy.AtomicState: evalAtomicStateViaState :: s -> Sem (AtomicState s : r) a -> Sem r a
- Polysemy.AtomicState: execAtomicStateViaState :: s -> Sem (AtomicState s ': r) a -> Sem r s
+ Polysemy.AtomicState: execAtomicStateViaState :: s -> Sem (AtomicState s : r) a -> Sem r s
- Polysemy.AtomicState: runAtomicStateIORef :: forall s r a. Member (Embed IO) r => IORef s -> Sem (AtomicState s ': r) a -> Sem r a
+ Polysemy.AtomicState: runAtomicStateIORef :: forall s r a. Member (Embed IO) r => IORef s -> Sem (AtomicState s : r) a -> Sem r a
- Polysemy.AtomicState: runAtomicStateTVar :: Member (Embed IO) r => TVar s -> Sem (AtomicState s ': r) a -> Sem r a
+ Polysemy.AtomicState: runAtomicStateTVar :: Member (Embed IO) r => TVar s -> Sem (AtomicState s : r) a -> Sem r a
- Polysemy.AtomicState: runAtomicStateViaState :: s -> Sem (AtomicState s ': r) a -> Sem r (s, a)
+ Polysemy.AtomicState: runAtomicStateViaState :: s -> Sem (AtomicState s : r) a -> Sem r (s, a)
- Polysemy.Bundle: runBundle :: forall r' r a. KnownList r' => Sem (Bundle r' ': r) a -> Sem (Append r' r) a
+ Polysemy.Bundle: runBundle :: forall r' r a. KnownList r' => Sem (Bundle r' : r) a -> Sem (Append r' r) a
- Polysemy.Bundle: sendBundle :: forall e r' r a. (Member e r', Member (Bundle r') r) => Sem (e ': r) a -> Sem r a
+ Polysemy.Bundle: sendBundle :: forall e r' r a. (Member e r', Member (Bundle r') r) => Sem (e : r) a -> Sem r a
- Polysemy.Bundle: subsumeBundle :: forall r' r a. Members r' r => Sem (Bundle r' ': r) a -> Sem r a
+ Polysemy.Bundle: subsumeBundle :: forall r' r a. Members r' r => Sem (Bundle r' : r) a -> Sem r a
- Polysemy.Embed: runEmbedded :: forall m1 m2 r a. Member (Embed m2) r => (forall x. m1 x -> m2 x) -> Sem (Embed m1 ': r) a -> Sem r a
+ Polysemy.Embed: runEmbedded :: forall m1 m2 r a. Member (Embed m2) r => (forall x. m1 x -> m2 x) -> Sem (Embed m1 : r) a -> Sem r a
- Polysemy.Error: catch :: forall e_aqTV r_aqVR a_aqTX. Member (Error e_aqTV) r_aqVR => Sem r_aqVR a_aqTX -> (e_aqTV -> Sem r_aqVR a_aqTX) -> Sem r_aqVR a_aqTX
+ Polysemy.Error: catch :: forall e_aq0i r_aq27 a_aq0k. Member (Error e_aq0i) r_aq27 => Sem r_aq27 a_aq0k -> (e_aq0i -> Sem r_aq27 a_aq0k) -> Sem r_aq27 a_aq0k
- Polysemy.Error: errorToIOFinal :: forall e r a. Member (Final IO) r => Sem (Error e ': r) a -> Sem r (Either e a)
+ Polysemy.Error: errorToIOFinal :: forall e r a. Member (Final IO) r => Sem (Error e : r) a -> Sem r (Either e a)
- Polysemy.Error: mapError :: forall e1 e2 r a. Member (Error e2) r => (e1 -> e2) -> Sem (Error e1 ': r) a -> Sem r a
+ Polysemy.Error: mapError :: forall e1 e2 r a. Member (Error e2) r => (e1 -> e2) -> Sem (Error e1 : r) a -> Sem r a
- Polysemy.Error: runError :: Sem (Error e ': r) a -> Sem r (Either e a)
+ Polysemy.Error: runError :: Sem (Error e : r) a -> Sem r (Either e a)
- Polysemy.Error: throw :: forall e_aqTS r_aqVP a_aqTU. Member (Error e_aqTS) r_aqVP => e_aqTS -> Sem r_aqVP a_aqTU
+ Polysemy.Error: throw :: forall e_aq0f r_aq25 a_aq0h. Member (Error e_aq0f) r_aq25 => e_aq0f -> Sem r_aq25 a_aq0h
- Polysemy.Fail: failToEmbed :: forall m r a. (Member (Embed m) r, MonadFail m) => Sem (Fail ': r) a -> Sem r a
+ Polysemy.Fail: failToEmbed :: forall m r a. (Member (Embed m) r, MonadFail m) => Sem (Fail : r) a -> Sem r a
- Polysemy.Fail: failToError :: Member (Error e) r => (String -> e) -> Sem (Fail ': r) a -> Sem r a
+ Polysemy.Fail: failToError :: Member (Error e) r => (String -> e) -> Sem (Fail : r) a -> Sem r a
- Polysemy.Fail: failToNonDet :: Member NonDet r => Sem (Fail ': r) a -> Sem r a
+ Polysemy.Fail: failToNonDet :: Member NonDet r => Sem (Fail : r) a -> Sem r a
- Polysemy.Fail: runFail :: Sem (Fail ': r) a -> Sem r (Either String a)
+ Polysemy.Fail: runFail :: Sem (Fail : r) a -> Sem r (Either String a)
- Polysemy.Final: embedToFinal :: (Member (Final m) r, Functor m) => Sem (Embed m ': r) a -> Sem r a
+ Polysemy.Final: embedToFinal :: (Member (Final m) r, Functor m) => Sem (Embed m : r) a -> Sem r a
- Polysemy.Final: finalToFinal :: forall m1 m2 r a. Member (Final m2) r => (forall x. m1 x -> m2 x) -> (forall x. m2 x -> m1 x) -> Sem (Final m1 ': r) a -> Sem r a
+ Polysemy.Final: finalToFinal :: forall m1 m2 r a. Member (Final m2) r => (forall x. m1 x -> m2 x) -> (forall x. m2 x -> m1 x) -> Sem (Final m1 : r) a -> Sem r a
- Polysemy.Final: interpretFinal :: forall m e r a. Member (Final m) r => (forall x rInitial. e (Sem rInitial) x -> Strategic m (Sem rInitial) x) -> Sem (e ': r) a -> Sem r a
+ Polysemy.Final: interpretFinal :: forall m e r a. Member (Final m) r => (forall x rInitial. e (Sem rInitial) x -> Strategic m (Sem rInitial) x) -> Sem (e : r) a -> Sem r a
- Polysemy.Fixpoint: fixpointToFinal :: forall m r a. (Member (Final m) r, MonadFix m) => Sem (Fixpoint ': r) a -> Sem r a
+ Polysemy.Fixpoint: fixpointToFinal :: forall m r a. (Member (Final m) r, MonadFix m) => Sem (Fixpoint : r) a -> Sem r a
- Polysemy.IO: embedToMonadIO :: forall m r a. (MonadIO m, Member (Embed m) r) => Sem (Embed IO ': r) a -> Sem r a
+ Polysemy.IO: embedToMonadIO :: forall m r a. (MonadIO m, Member (Embed m) r) => Sem (Embed IO : r) a -> Sem r a
- Polysemy.Input: input :: forall i_aBnj r_aBod. Member (Input i_aBnj) r_aBod => Sem r_aBod i_aBnj
+ Polysemy.Input: input :: forall i_aAaT r_aAbJ. Member (Input i_aAaT) r_aAbJ => Sem r_aAbJ i_aAaT
- Polysemy.Input: runInputConst :: i -> Sem (Input i ': r) a -> Sem r a
+ Polysemy.Input: runInputConst :: i -> Sem (Input i : r) a -> Sem r a
- Polysemy.Input: runInputList :: [i] -> Sem (Input (Maybe i) ': r) a -> Sem r a
+ Polysemy.Input: runInputList :: [i] -> Sem (Input (Maybe i) : r) a -> Sem r a
- Polysemy.Input: runInputSem :: forall i r a. Sem r i -> Sem (Input i ': r) a -> Sem r a
+ Polysemy.Input: runInputSem :: forall i r a. Sem r i -> Sem (Input i : r) a -> Sem r a
- Polysemy.Internal: raise :: forall e r a. Sem r a -> Sem (e ': r) a
+ Polysemy.Internal: raise :: forall e r a. Sem r a -> Sem (e : r) a
- Polysemy.Internal: raiseUnder :: forall e2 e1 r a. Sem (e1 ': r) a -> Sem (e1 ': (e2 ': r)) a
+ Polysemy.Internal: raiseUnder :: forall e2 e1 r a. Sem (e1 : r) a -> Sem (e1 : (e2 : r)) a
- Polysemy.Internal: raiseUnder2 :: forall e2 e3 e1 r a. Sem (e1 ': r) a -> Sem (e1 ': (e2 ': (e3 ': r))) a
+ Polysemy.Internal: raiseUnder2 :: forall e2 e3 e1 r a. Sem (e1 : r) a -> Sem (e1 : (e2 : (e3 : r))) a
- Polysemy.Internal: raiseUnder3 :: forall e2 e3 e4 e1 r a. Sem (e1 ': r) a -> Sem (e1 ': (e2 ': (e3 ': (e4 ': r)))) a
+ Polysemy.Internal: raiseUnder3 :: forall e2 e3 e4 e1 r a. Sem (e1 : r) a -> Sem (e1 : (e2 : (e3 : (e4 : r)))) a
- Polysemy.Internal: subsume :: forall e r a. Member e r => Sem (e ': r) a -> Sem r a
+ Polysemy.Internal: subsume :: forall e r a. Member e r => Sem (e : r) a -> Sem r a
- Polysemy.Internal: subsumeUsing :: forall e r a. ElemOf e r -> Sem (e ': r) a -> Sem r a
+ Polysemy.Internal: subsumeUsing :: forall e r a. ElemOf e r -> Sem (e : r) a -> Sem r a
- Polysemy.Internal: type InterpreterFor e r = forall a. Sem (e ': r) a -> Sem r a
+ Polysemy.Internal: type InterpreterFor e r = forall a. Sem (e : r) a -> Sem r a
- Polysemy.Internal.Combinators: interpret :: FirstOrder e "interpret" => (forall rInitial x. e (Sem rInitial) x -> Sem r x) -> Sem (e ': r) a -> Sem r a
+ Polysemy.Internal.Combinators: interpret :: FirstOrder e "interpret" => (forall rInitial x. e (Sem rInitial) x -> Sem r x) -> Sem (e : r) a -> Sem r a
- Polysemy.Internal.Combinators: interpretH :: (forall rInitial x. e (Sem rInitial) x -> Tactical e (Sem rInitial) r x) -> Sem (e ': r) a -> Sem r a
+ Polysemy.Internal.Combinators: interpretH :: (forall rInitial x. e (Sem rInitial) x -> Tactical e (Sem rInitial) r x) -> Sem (e : r) a -> Sem r a
- Polysemy.Internal.Combinators: lazilyStateful :: (forall x m. e m x -> s -> Sem r (s, x)) -> s -> Sem (e ': r) a -> Sem r (s, a)
+ Polysemy.Internal.Combinators: lazilyStateful :: (forall x m. e m x -> s -> Sem r (s, x)) -> s -> Sem (e : r) a -> Sem r (s, a)
- Polysemy.Internal.Combinators: reinterpret :: forall e1 e2 r a. FirstOrder e1 "reinterpret" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 ': r) x) -> Sem (e1 ': r) a -> Sem (e2 ': r) a
+ Polysemy.Internal.Combinators: reinterpret :: forall e1 e2 r a. FirstOrder e1 "reinterpret" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 : r) x) -> Sem (e1 : r) a -> Sem (e2 : r) a
- Polysemy.Internal.Combinators: reinterpret2 :: forall e1 e2 e3 r a. FirstOrder e1 "reinterpret2" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 ': (e3 ': r)) x) -> Sem (e1 ': r) a -> Sem (e2 ': (e3 ': r)) a
+ Polysemy.Internal.Combinators: reinterpret2 :: forall e1 e2 e3 r a. FirstOrder e1 "reinterpret2" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 : (e3 : r)) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : r)) a
- Polysemy.Internal.Combinators: reinterpret2H :: forall e1 e2 e3 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': (e3 ': r)) x) -> Sem (e1 ': r) a -> Sem (e2 ': (e3 ': r)) a
+ Polysemy.Internal.Combinators: reinterpret2H :: forall e1 e2 e3 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 : (e3 : r)) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : r)) a
- Polysemy.Internal.Combinators: reinterpret3 :: forall e1 e2 e3 e4 r a. FirstOrder e1 "reinterpret3" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 ': (e3 ': (e4 ': r))) x) -> Sem (e1 ': r) a -> Sem (e2 ': (e3 ': (e4 ': r))) a
+ Polysemy.Internal.Combinators: reinterpret3 :: forall e1 e2 e3 e4 r a. FirstOrder e1 "reinterpret3" => (forall rInitial x. e1 (Sem rInitial) x -> Sem (e2 : (e3 : (e4 : r))) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : (e4 : r))) a
- Polysemy.Internal.Combinators: reinterpret3H :: forall e1 e2 e3 e4 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': (e3 ': (e4 ': r))) x) -> Sem (e1 ': r) a -> Sem (e2 ': (e3 ': (e4 ': r))) a
+ Polysemy.Internal.Combinators: reinterpret3H :: forall e1 e2 e3 e4 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 : (e3 : (e4 : r))) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : (e4 : r))) a
- Polysemy.Internal.Combinators: reinterpretH :: forall e1 e2 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': r) x) -> Sem (e1 ': r) a -> Sem (e2 ': r) a
+ Polysemy.Internal.Combinators: reinterpretH :: forall e1 e2 r a. (forall rInitial x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 : r) x) -> Sem (e1 : r) a -> Sem (e2 : r) a
- Polysemy.Internal.Combinators: rewrite :: forall e1 e2 r a. (forall rInitial x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 ': r) a -> Sem (e2 ': r) a
+ Polysemy.Internal.Combinators: rewrite :: forall e1 e2 r a. (forall rInitial x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 : r) a -> Sem (e2 : r) a
- Polysemy.Internal.Combinators: stateful :: (forall x m. e m x -> s -> Sem r (s, x)) -> s -> Sem (e ': r) a -> Sem r (s, a)
+ Polysemy.Internal.Combinators: stateful :: (forall x m. e m x -> s -> Sem r (s, x)) -> s -> Sem (e : r) a -> Sem r (s, a)
- Polysemy.Internal.Combinators: transform :: forall e1 e2 r a. Member e2 r => (forall rInitial x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 ': r) a -> Sem r a
+ Polysemy.Internal.Combinators: transform :: forall e1 e2 r a. Member e2 r => (forall rInitial x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 : r) a -> Sem r a
- Polysemy.Internal.Sing: [SCons] :: SList xs -> SList (x ': xs)
+ Polysemy.Internal.Sing: [SCons] :: SList xs -> SList (x : xs)
- Polysemy.Internal.Tactics: bindT :: (a -> m b) -> Sem (WithTactics e f m r) (f a -> Sem (e ': r) (f b))
+ Polysemy.Internal.Tactics: bindT :: (a -> m b) -> Sem (WithTactics e f m r) (f a -> Sem (e : r) (f b))
- Polysemy.Internal.Tactics: runT :: m a -> Sem (WithTactics e f m r) (Sem (e ': r) (f a))
+ Polysemy.Internal.Tactics: runT :: m a -> Sem (WithTactics e f m r) (Sem (e : r) (f a))
- Polysemy.Internal.Tactics: runTactics :: Functor f => f () -> (forall x. f (m x) -> Sem r2 (f x)) -> (forall x. f x -> Maybe x) -> (forall x. f (m x) -> Sem r (f x)) -> Sem (Tactics f m r2 ': r) a -> Sem r a
+ Polysemy.Internal.Tactics: runTactics :: Functor f => f () -> (forall x. f (m x) -> Sem r2 (f x)) -> (forall x. f x -> Maybe x) -> (forall x. f (m x) -> Sem r (f x)) -> Sem (Tactics f m r2 : r) a -> Sem r a
- Polysemy.Internal.Tactics: type WithTactics e f m r = Tactics f m (e ': r) ': r
+ Polysemy.Internal.Tactics: type WithTactics e f m r = Tactics f m (e : r) : r
- Polysemy.Internal.Union: decomp :: Union (e ': r) m a -> Either (Union r m a) (Weaving e m a)
+ Polysemy.Internal.Union: decomp :: Union (e : r) m a -> Either (Union r m a) (Weaving e m a)
- Polysemy.Internal.Union: decompCoerce :: Union (e ': r) m a -> Either (Union (f ': r) m a) (Weaving e m a)
+ Polysemy.Internal.Union: decompCoerce :: Union (e : r) m a -> Either (Union (f : r) m a) (Weaving e m a)
- Polysemy.Internal.Union: pattern There :: () => r' ~ (e' ': r) => ElemOf e r -> ElemOf e r'
+ Polysemy.Internal.Union: pattern There :: () => r' ~ (e' : r) => ElemOf e r -> ElemOf e r'
- Polysemy.Internal.Union: weaken :: forall e r m a. Union r m a -> Union (e ': r) m a
+ Polysemy.Internal.Union: weaken :: forall e r m a. Union r m a -> Union (e : r) m a
- Polysemy.Internal.Writer: listen :: forall o_atkh r_atmC a_X0. Member (Writer o_atkh) r_atmC => Sem r_atmC a_X0 -> Sem r_atmC (o_atkh, a_X0)
+ Polysemy.Internal.Writer: listen :: forall o_asmM r_asoY a_X0. Member (Writer o_asmM) r_asoY => Sem r_asoY a_X0 -> Sem r_asoY (o_asmM, a_X0)
- Polysemy.Internal.Writer: pass :: forall o_atkl r_atmE a_atkm. Member (Writer o_atkl) r_atmE => Sem r_atmE (o_atkl -> o_atkl, a_atkm) -> Sem r_atmE a_atkm
+ Polysemy.Internal.Writer: pass :: forall o_asmQ r_asp0 a_asmR. Member (Writer o_asmQ) r_asp0 => Sem r_asp0 (o_asmQ -> o_asmQ, a_asmR) -> Sem r_asp0 a_asmR
- Polysemy.Internal.Writer: runWriterSTMAction :: forall o r a. (Member (Final IO) r, Monoid o) => (o -> STM ()) -> Sem (Writer o ': r) a -> Sem r a
+ Polysemy.Internal.Writer: runWriterSTMAction :: forall o r a. (Member (Final IO) r, Monoid o) => (o -> STM ()) -> Sem (Writer o : r) a -> Sem r a
- Polysemy.Internal.Writer: tell :: forall o_atkf r_atmA. Member (Writer o_atkf) r_atmA => o_atkf -> Sem r_atmA ()
+ Polysemy.Internal.Writer: tell :: forall o_asmK r_asoW. Member (Writer o_asmK) r_asoW => o_asmK -> Sem r_asoW ()
- Polysemy.Internal.Writer: writerToEndoWriter :: (Monoid o, Member (Writer (Endo o)) r) => Sem (Writer o ': r) a -> Sem r a
+ Polysemy.Internal.Writer: writerToEndoWriter :: (Monoid o, Member (Writer (Endo o)) r) => Sem (Writer o : r) a -> Sem r a
- Polysemy.Membership: pattern There :: () => r' ~ (e' ': r) => ElemOf e r -> ElemOf e r'
+ Polysemy.Membership: pattern There :: () => r' ~ (e' : r) => ElemOf e r -> ElemOf e r'
- Polysemy.Membership: subsumeUsing :: forall e r a. ElemOf e r -> Sem (e ': r) a -> Sem r a
+ Polysemy.Membership: subsumeUsing :: forall e r a. ElemOf e r -> Sem (e : r) a -> Sem r a
- Polysemy.NonDet: nonDetToError :: Member (Error e) r => e -> Sem (NonDet ': r) a -> Sem r a
+ Polysemy.NonDet: nonDetToError :: Member (Error e) r => e -> Sem (NonDet : r) a -> Sem r a
- Polysemy.NonDet: runNonDet :: Alternative f => Sem (NonDet ': r) a -> Sem r (f a)
+ Polysemy.NonDet: runNonDet :: Alternative f => Sem (NonDet : r) a -> Sem r (f a)
- Polysemy.NonDet: runNonDetMaybe :: Sem (NonDet ': r) a -> Sem r (Maybe a)
+ Polysemy.NonDet: runNonDetMaybe :: Sem (NonDet : r) a -> Sem r (Maybe a)
- Polysemy.Opaque: fromOpaque :: Sem (Opaque e ': r) a -> Sem (e ': r) a
+ Polysemy.Opaque: fromOpaque :: Sem (Opaque e : r) a -> Sem (e : r) a
- Polysemy.Opaque: toOpaque :: Sem (e ': r) a -> Sem (Opaque e ': r) a
+ Polysemy.Opaque: toOpaque :: Sem (e : r) a -> Sem (Opaque e : r) a
- Polysemy.Output: ignoreOutput :: Sem (Output o ': r) a -> Sem r a
+ Polysemy.Output: ignoreOutput :: Sem (Output o : r) a -> Sem r a
- Polysemy.Output: output :: forall o_azL4 r_azLV. Member (Output o_azL4) r_azLV => o_azL4 -> Sem r_azLV ()
+ Polysemy.Output: output :: forall o_ayBw r_ayCj. Member (Output o_ayBw) r_ayCj => o_ayBw -> Sem r_ayCj ()
- Polysemy.Output: outputToIOMonoid :: forall o m r a. (Monoid m, Member (Embed IO) r) => (o -> m) -> Sem (Output o ': r) a -> Sem r (m, a)
+ Polysemy.Output: outputToIOMonoid :: forall o m r a. (Monoid m, Member (Embed IO) r) => (o -> m) -> Sem (Output o : r) a -> Sem r (m, a)
- Polysemy.Output: outputToIOMonoidAssocR :: forall o m r a. (Monoid m, Member (Embed IO) r) => (o -> m) -> Sem (Output o ': r) a -> Sem r (m, a)
+ Polysemy.Output: outputToIOMonoidAssocR :: forall o m r a. (Monoid m, Member (Embed IO) r) => (o -> m) -> Sem (Output o : r) a -> Sem r (m, a)
- Polysemy.Output: runLazyOutputList :: forall o r a. Sem (Output o ': r) a -> Sem r ([o], a)
+ Polysemy.Output: runLazyOutputList :: forall o r a. Sem (Output o : r) a -> Sem r ([o], a)
- Polysemy.Output: runLazyOutputMonoid :: forall o m r a. Monoid m => (o -> m) -> Sem (Output o ': r) a -> Sem r (m, a)
+ Polysemy.Output: runLazyOutputMonoid :: forall o m r a. Monoid m => (o -> m) -> Sem (Output o : r) a -> Sem r (m, a)
- Polysemy.Output: runLazyOutputMonoidAssocR :: forall o m r a. Monoid m => (o -> m) -> Sem (Output o ': r) a -> Sem r (m, a)
+ Polysemy.Output: runLazyOutputMonoidAssocR :: forall o m r a. Monoid m => (o -> m) -> Sem (Output o : r) a -> Sem r (m, a)
- Polysemy.Output: runOutputBatched :: forall o r a. Member (Output [o]) r => Int -> Sem (Output o ': r) a -> Sem r a
+ Polysemy.Output: runOutputBatched :: forall o r a. Member (Output [o]) r => Int -> Sem (Output o : r) a -> Sem r a
- Polysemy.Output: runOutputList :: forall o r a. Sem (Output o ': r) a -> Sem r ([o], a)
+ Polysemy.Output: runOutputList :: forall o r a. Sem (Output o : r) a -> Sem r ([o], a)
- Polysemy.Output: runOutputMonoid :: forall o m r a. Monoid m => (o -> m) -> Sem (Output o ': r) a -> Sem r (m, a)
+ Polysemy.Output: runOutputMonoid :: forall o m r a. Monoid m => (o -> m) -> Sem (Output o : r) a -> Sem r (m, a)
- Polysemy.Output: runOutputMonoidAssocR :: forall o m r a. Monoid m => (o -> m) -> Sem (Output o ': r) a -> Sem r (m, a)
+ Polysemy.Output: runOutputMonoidAssocR :: forall o m r a. Monoid m => (o -> m) -> Sem (Output o : r) a -> Sem r (m, a)
- Polysemy.Output: runOutputMonoidIORef :: forall o m r a. (Monoid m, Member (Embed IO) r) => IORef m -> (o -> m) -> Sem (Output o ': r) a -> Sem r a
+ Polysemy.Output: runOutputMonoidIORef :: forall o m r a. (Monoid m, Member (Embed IO) r) => IORef m -> (o -> m) -> Sem (Output o : r) a -> Sem r a
- Polysemy.Output: runOutputMonoidTVar :: forall o m r a. (Monoid m, Member (Embed IO) r) => TVar m -> (o -> m) -> Sem (Output o ': r) a -> Sem r a
+ Polysemy.Output: runOutputMonoidTVar :: forall o m r a. (Monoid m, Member (Embed IO) r) => TVar m -> (o -> m) -> Sem (Output o : r) a -> Sem r a
- Polysemy.Output: runOutputSem :: (o -> Sem r ()) -> Sem (Output o ': r) a -> Sem r a
+ Polysemy.Output: runOutputSem :: (o -> Sem r ()) -> Sem (Output o : r) a -> Sem r a
- Polysemy.Reader: ask :: forall i_aBIy r_aBK5. Member (Reader i_aBIy) r_aBK5 => Sem r_aBK5 i_aBIy
+ Polysemy.Reader: ask :: forall i_aAvu r_aAwV. Member (Reader i_aAvu) r_aAwV => Sem r_aAwV i_aAvu
- Polysemy.Reader: inputToReader :: Member (Reader i) r => Sem (Input i ': r) a -> Sem r a
+ Polysemy.Reader: inputToReader :: Member (Reader i) r => Sem (Input i : r) a -> Sem r a
- Polysemy.Reader: local :: forall i_aBIA r_aBK6 a_aBIC. Member (Reader i_aBIA) r_aBK6 => (i_aBIA -> i_aBIA) -> Sem r_aBK6 a_aBIC -> Sem r_aBK6 a_aBIC
+ Polysemy.Reader: local :: forall i_aAvw r_aAwW a_aAvy. Member (Reader i_aAvw) r_aAwW => (i_aAvw -> i_aAvw) -> Sem r_aAwW a_aAvy -> Sem r_aAwW a_aAvy
- Polysemy.Reader: runReader :: i -> Sem (Reader i ': r) a -> Sem r a
+ Polysemy.Reader: runReader :: i -> Sem (Reader i : r) a -> Sem r a
- Polysemy.Resource: bracket :: forall r_awS9 a_X0 c_X1 b_awPY. Member Resource r_awS9 => Sem r_awS9 a_X0 -> (a_X0 -> Sem r_awS9 c_X1) -> (a_X0 -> Sem r_awS9 b_awPY) -> Sem r_awS9 b_awPY
+ Polysemy.Resource: bracket :: forall r_avNA a_X0 c_X1 b_avLv. Member Resource r_avNA => Sem r_avNA a_X0 -> (a_X0 -> Sem r_avNA c_X1) -> (a_X0 -> Sem r_avNA b_avLv) -> Sem r_avNA b_avLv
- Polysemy.Resource: bracketOnError :: forall r_awSd a_X0 c_X1 b_awQ2. Member Resource r_awSd => Sem r_awSd a_X0 -> (a_X0 -> Sem r_awSd c_X1) -> (a_X0 -> Sem r_awSd b_awQ2) -> Sem r_awSd b_awQ2
+ Polysemy.Resource: bracketOnError :: forall r_avNE a_X0 c_X1 b_avLz. Member Resource r_avNE => Sem r_avNE a_X0 -> (a_X0 -> Sem r_avNE c_X1) -> (a_X0 -> Sem r_avNE b_avLz) -> Sem r_avNE b_avLz
- Polysemy.Resource: resourceToIOFinal :: Member (Final IO) r => Sem (Resource ': r) a -> Sem r a
+ Polysemy.Resource: resourceToIOFinal :: Member (Final IO) r => Sem (Resource : r) a -> Sem r a
- Polysemy.Resource: runResource :: forall r a. Sem (Resource ': r) a -> Sem r a
+ Polysemy.Resource: runResource :: forall r a. Sem (Resource : r) a -> Sem r a
- Polysemy.Scoped: interpretScoped :: forall resource param effect r. (forall q x. param -> (resource -> Sem (Opaque q ': r) x) -> Sem (Opaque q ': r) x) -> (forall m x. resource -> effect m x -> Sem r x) -> InterpreterFor (Scoped param effect) r
+ Polysemy.Scoped: interpretScoped :: forall resource param effect r. (forall q x. param -> (resource -> Sem (Opaque q : r) x) -> Sem (Opaque q : r) x) -> (forall m x. resource -> effect m x -> Sem r x) -> InterpreterFor (Scoped param effect) r
- Polysemy.Scoped: interpretScopedH :: forall resource param effect r. (forall q x. param -> (resource -> Sem (Opaque q ': r) x) -> Sem (Opaque q ': r) x) -> (forall q r0 x. resource -> effect (Sem r0) x -> Tactical effect (Sem r0) (Opaque q ': r) x) -> InterpreterFor (Scoped param effect) r
+ Polysemy.Scoped: interpretScopedH :: forall resource param effect r. (forall q x. param -> (resource -> Sem (Opaque q : r) x) -> Sem (Opaque q : r) x) -> (forall q r0 x. resource -> effect (Sem r0) x -> Tactical effect (Sem r0) (Opaque q : r) x) -> InterpreterFor (Scoped param effect) r
- Polysemy.Scoped: interpretScopedWith :: forall extra param resource effect r. KnownList extra => (forall q x. param -> (resource -> Sem (Append extra (Opaque q ': r)) x) -> Sem (Opaque q ': r) x) -> (forall m x. resource -> effect m x -> Sem (Append extra r) x) -> InterpreterFor (Scoped param effect) r
+ Polysemy.Scoped: interpretScopedWith :: forall extra param resource effect r. KnownList extra => (forall q x. param -> (resource -> Sem (Append extra (Opaque q : r)) x) -> Sem (Opaque q : r) x) -> (forall m x. resource -> effect m x -> Sem (Append extra r) x) -> InterpreterFor (Scoped param effect) r
- Polysemy.Scoped: interpretScopedWithH :: forall extra resource param effect r. KnownList extra => (forall q x. param -> (resource -> Sem (Append extra (Opaque q ': r)) x) -> Sem (Opaque q ': r) x) -> (forall q r0 x. resource -> effect (Sem r0) x -> Tactical effect (Sem r0) (Append extra (Opaque q ': r)) x) -> InterpreterFor (Scoped param effect) r
+ Polysemy.Scoped: interpretScopedWithH :: forall extra resource param effect r. KnownList extra => (forall q x. param -> (resource -> Sem (Append extra (Opaque q : r)) x) -> Sem (Opaque q : r) x) -> (forall q r0 x. resource -> effect (Sem r0) x -> Tactical effect (Sem r0) (Append extra (Opaque q : r)) x) -> InterpreterFor (Scoped param effect) r
- Polysemy.Scoped: interpretScopedWith_ :: forall extra param effect r. KnownList extra => (forall q x. param -> Sem (Append extra (Opaque q ': r)) x -> Sem (Opaque q ': r) x) -> (forall m x. effect m x -> Sem (Append extra r) x) -> InterpreterFor (Scoped param effect) r
+ Polysemy.Scoped: interpretScopedWith_ :: forall extra param effect r. KnownList extra => (forall q x. param -> Sem (Append extra (Opaque q : r)) x -> Sem (Opaque q : r) x) -> (forall m x. effect m x -> Sem (Append extra r) x) -> InterpreterFor (Scoped param effect) r
- Polysemy.Scoped: runScoped :: forall resource param effect r. (forall q x. param -> (resource -> Sem (Opaque q ': r) x) -> Sem (Opaque q ': r) x) -> (forall q. resource -> InterpreterFor effect (Opaque q ': r)) -> InterpreterFor (Scoped param effect) r
+ Polysemy.Scoped: runScoped :: forall resource param effect r. (forall q x. param -> (resource -> Sem (Opaque q : r) x) -> Sem (Opaque q : r) x) -> (forall q. resource -> InterpreterFor effect (Opaque q : r)) -> InterpreterFor (Scoped param effect) r
- Polysemy.Scoped: runScopedAs :: forall resource param effect r. (param -> Sem r resource) -> (forall q. resource -> InterpreterFor effect (Opaque q ': r)) -> InterpreterFor (Scoped param effect) r
+ Polysemy.Scoped: runScopedAs :: forall resource param effect r. (param -> Sem r resource) -> (forall q. resource -> InterpreterFor effect (Opaque q : r)) -> InterpreterFor (Scoped param effect) r
- Polysemy.Scoped: runScopedNew :: forall param effect r. (forall q. param -> InterpreterFor effect (Opaque q ': r)) -> InterpreterFor (Scoped param effect) r
+ Polysemy.Scoped: runScopedNew :: forall param effect r. (forall q. param -> InterpreterFor effect (Opaque q : r)) -> InterpreterFor (Scoped param effect) r
- Polysemy.State: evalLazyState :: s -> Sem (State s ': r) a -> Sem r a
+ Polysemy.State: evalLazyState :: s -> Sem (State s : r) a -> Sem r a
- Polysemy.State: evalState :: s -> Sem (State s ': r) a -> Sem r a
+ Polysemy.State: evalState :: s -> Sem (State s : r) a -> Sem r a
- Polysemy.State: execLazyState :: s -> Sem (State s ': r) a -> Sem r s
+ Polysemy.State: execLazyState :: s -> Sem (State s : r) a -> Sem r s
- Polysemy.State: execState :: s -> Sem (State s ': r) a -> Sem r s
+ Polysemy.State: execState :: s -> Sem (State s : r) a -> Sem r s
- Polysemy.State: get :: forall s_ayhe r_ayiG. Member (State s_ayhe) r_ayiG => Sem r_ayiG s_ayhe
+ Polysemy.State: get :: forall s_ax7V r_ax9h. Member (State s_ax7V) r_ax9h => Sem r_ax9h s_ax7V
- Polysemy.State: hoistStateIntoStateT :: Sem (State s ': r) a -> StateT s (Sem r) a
+ Polysemy.State: hoistStateIntoStateT :: Sem (State s : r) a -> StateT s (Sem r) a
- Polysemy.State: put :: forall s_ayhg r_ayiH. Member (State s_ayhg) r_ayiH => s_ayhg -> Sem r_ayiH ()
+ Polysemy.State: put :: forall s_ax7X r_ax9i. Member (State s_ax7X) r_ax9i => s_ax7X -> Sem r_ax9i ()
- Polysemy.State: runLazyState :: s -> Sem (State s ': r) a -> Sem r (s, a)
+ Polysemy.State: runLazyState :: s -> Sem (State s : r) a -> Sem r (s, a)
- Polysemy.State: runState :: s -> Sem (State s ': r) a -> Sem r (s, a)
+ Polysemy.State: runState :: s -> Sem (State s : r) a -> Sem r (s, a)
- Polysemy.State: runStateIORef :: forall s r a. Member (Embed IO) r => IORef s -> Sem (State s ': r) a -> Sem r a
+ Polysemy.State: runStateIORef :: forall s r a. Member (Embed IO) r => IORef s -> Sem (State s : r) a -> Sem r a
- Polysemy.State: runStateSTRef :: forall s st r a. Member (Embed (ST st)) r => STRef st s -> Sem (State s ': r) a -> Sem r a
+ Polysemy.State: runStateSTRef :: forall s st r a. Member (Embed (ST st)) r => STRef st s -> Sem (State s : r) a -> Sem r a
- Polysemy.State: stateToIO :: forall s r a. Member (Embed IO) r => s -> Sem (State s ': r) a -> Sem r (s, a)
+ Polysemy.State: stateToIO :: forall s r a. Member (Embed IO) r => s -> Sem (State s : r) a -> Sem r (s, a)
- Polysemy.State: stateToST :: forall s st r a. Member (Embed (ST st)) r => s -> Sem (State s ': r) a -> Sem r (s, a)
+ Polysemy.State: stateToST :: forall s st r a. Member (Embed (ST st)) r => s -> Sem (State s : r) a -> Sem r (s, a)
- Polysemy.Tagged: retag :: forall k1 k2 e r a. Member (Tagged k2 e) r => Sem (Tagged k1 e ': r) a -> Sem r a
+ Polysemy.Tagged: retag :: forall k1 k2 e r a. Member (Tagged k2 e) r => Sem (Tagged k1 e : r) a -> Sem r a
- Polysemy.Tagged: tag :: forall k e r a. Member (Tagged k e) r => Sem (e ': r) a -> Sem r a
+ Polysemy.Tagged: tag :: forall k e r a. Member (Tagged k e) r => Sem (e : r) a -> Sem r a
- Polysemy.Tagged: tagged :: forall k e r a. Sem (e ': r) a -> Sem (Tagged k e ': r) a
+ Polysemy.Tagged: tagged :: forall k e r a. Sem (e : r) a -> Sem (Tagged k e : r) a
- Polysemy.Tagged: untag :: forall k e r a. Sem (Tagged k e ': r) a -> Sem (e ': r) a
+ Polysemy.Tagged: untag :: forall k e r a. Sem (Tagged k e : r) a -> Sem (e : r) a
- Polysemy.Trace: ignoreTrace :: Sem (Trace ': r) a -> Sem r a
+ Polysemy.Trace: ignoreTrace :: Sem (Trace : r) a -> Sem r a
- Polysemy.Trace: outputToTrace :: forall w r a. Member Trace r => (w -> String) -> Sem (Output w ': r) a -> Sem r a
+ Polysemy.Trace: outputToTrace :: forall w r a. Member Trace r => (w -> String) -> Sem (Output w : r) a -> Sem r a
- Polysemy.Trace: runTraceList :: Sem (Trace ': r) a -> Sem r ([String], a)
+ Polysemy.Trace: runTraceList :: Sem (Trace : r) a -> Sem r ([String], a)
- Polysemy.Trace: trace :: forall r_aDrU. Member Trace r_aDrU => String -> Sem r_aDrU ()
+ Polysemy.Trace: trace :: forall r_aCco. Member Trace r_aCco => String -> Sem r_aCco ()
- Polysemy.Trace: traceToHandle :: Member (Embed IO) r => Handle -> Sem (Trace ': r) a -> Sem r a
+ Polysemy.Trace: traceToHandle :: Member (Embed IO) r => Handle -> Sem (Trace : r) a -> Sem r a
- Polysemy.Trace: traceToIO :: Member (Embed IO) r => Sem (Trace ': r) a -> Sem r a
+ Polysemy.Trace: traceToIO :: Member (Embed IO) r => Sem (Trace : r) a -> Sem r a
- Polysemy.Trace: traceToOutput :: Member (Output String) r => Sem (Trace ': r) a -> Sem r a
+ Polysemy.Trace: traceToOutput :: Member (Output String) r => Sem (Trace : r) a -> Sem r a
- Polysemy.Trace: traceToStderr :: Member (Embed IO) r => Sem (Trace ': r) a -> Sem r a
+ Polysemy.Trace: traceToStderr :: Member (Embed IO) r => Sem (Trace : r) a -> Sem r a
- Polysemy.Trace: traceToStdout :: Member (Embed IO) r => Sem (Trace ': r) a -> Sem r a
+ Polysemy.Trace: traceToStdout :: Member (Embed IO) r => Sem (Trace : r) a -> Sem r a
- Polysemy.Writer: listen :: forall o_atkh r_atmC a_X0. Member (Writer o_atkh) r_atmC => Sem r_atmC a_X0 -> Sem r_atmC (o_atkh, a_X0)
+ Polysemy.Writer: listen :: forall o_asmM r_asoY a_X0. Member (Writer o_asmM) r_asoY => Sem r_asoY a_X0 -> Sem r_asoY (o_asmM, a_X0)
- Polysemy.Writer: outputToWriter :: Member (Writer o) r => Sem (Output o ': r) a -> Sem r a
+ Polysemy.Writer: outputToWriter :: Member (Writer o) r => Sem (Output o : r) a -> Sem r a
- Polysemy.Writer: pass :: forall o_atkl r_atmE a_atkm. Member (Writer o_atkl) r_atmE => Sem r_atmE (o_atkl -> o_atkl, a_atkm) -> Sem r_atmE a_atkm
+ Polysemy.Writer: pass :: forall o_asmQ r_asp0 a_asmR. Member (Writer o_asmQ) r_asp0 => Sem r_asp0 (o_asmQ -> o_asmQ, a_asmR) -> Sem r_asp0 a_asmR
- Polysemy.Writer: runLazyWriter :: forall o r a. Monoid o => Sem (Writer o ': r) a -> Sem r (o, a)
+ Polysemy.Writer: runLazyWriter :: forall o r a. Monoid o => Sem (Writer o : r) a -> Sem r (o, a)
- Polysemy.Writer: runLazyWriterAssocR :: Monoid o => Sem (Writer o ': r) a -> Sem r (o, a)
+ Polysemy.Writer: runLazyWriterAssocR :: Monoid o => Sem (Writer o : r) a -> Sem r (o, a)
- Polysemy.Writer: runWriter :: Monoid o => Sem (Writer o ': r) a -> Sem r (o, a)
+ Polysemy.Writer: runWriter :: Monoid o => Sem (Writer o : r) a -> Sem r (o, a)
- Polysemy.Writer: runWriterAssocR :: Monoid o => Sem (Writer o ': r) a -> Sem r (o, a)
+ Polysemy.Writer: runWriterAssocR :: Monoid o => Sem (Writer o : r) a -> Sem r (o, a)
- Polysemy.Writer: runWriterTVar :: (Monoid o, Member (Final IO) r) => TVar o -> Sem (Writer o ': r) a -> Sem r a
+ Polysemy.Writer: runWriterTVar :: (Monoid o, Member (Final IO) r) => TVar o -> Sem (Writer o : r) a -> Sem r a
- Polysemy.Writer: tell :: forall o_atkf r_atmA. Member (Writer o_atkf) r_atmA => o_atkf -> Sem r_atmA ()
+ Polysemy.Writer: tell :: forall o_asmK r_asoW. Member (Writer o_asmK) r_asoW => o_asmK -> Sem r_asoW ()
- Polysemy.Writer: writerToEndoWriter :: (Monoid o, Member (Writer (Endo o)) r) => Sem (Writer o ': r) a -> Sem r a
+ Polysemy.Writer: writerToEndoWriter :: (Monoid o, Member (Writer (Endo o)) r) => Sem (Writer o : r) a -> Sem r a
- Polysemy.Writer: writerToIOAssocRFinal :: (Monoid o, Member (Final IO) r) => Sem (Writer o ': r) a -> Sem r (o, a)
+ Polysemy.Writer: writerToIOAssocRFinal :: (Monoid o, Member (Final IO) r) => Sem (Writer o : r) a -> Sem r (o, a)
- Polysemy.Writer: writerToIOFinal :: (Monoid o, Member (Final IO) r) => Sem (Writer o ': r) a -> Sem r (o, a)
+ Polysemy.Writer: writerToIOFinal :: (Monoid o, Member (Final IO) r) => Sem (Writer o : r) a -> Sem r (o, a)
Files
- ChangeLog.md +6/−0
- polysemy.cabal +11/−11
ChangeLog.md view
@@ -2,6 +2,12 @@ ## Unreleased +## 1.9.1.0 (2023-04-09)++### Other Changes++* Support GHC 9.6+ ### Breaking Changes ### Other Changes
polysemy.cabal view
@@ -1,11 +1,11 @@ cabal-version: 2.0 --- This file has been generated from package.yaml by hpack version 0.34.7.+-- This file has been generated from package.yaml by hpack version 0.35.2. -- -- see: https://github.com/sol/hpack name: polysemy-version: 1.9.0.0+version: 1.9.1.0 synopsis: Higher-order, low-boilerplate free monads. description: Please see the README on GitHub at <https://github.com/polysemy-research/polysemy#readme> category: Language@@ -27,7 +27,7 @@ custom-setup setup-depends:- Cabal+ Cabal <3.11 , base >=4.9 && <5 , cabal-doctest >=1.0.6 && <1.1 @@ -106,10 +106,11 @@ , stm ==2.* , syb ==0.7.* , template-haskell >=2.12.0.0 && <3- , th-abstraction >=0.3.1.0 && <0.5- , transformers >=0.5.2.0 && <0.6+ , th-abstraction >=0.3.1.0 && <0.6+ , transformers >=0.5.2.0 && <0.7 , type-errors >=0.2.0.0 , unagi-chan >=0.4.0.0 && <0.5+ default-language: Haskell2010 if impl(ghc < 8.6) default-extensions: MonadFailDesugaring@@ -117,7 +118,6 @@ if impl(ghc < 8.2.2) build-depends: unsupported-ghc-version >1 && <1- default-language: Haskell2010 test-suite polysemy-test type: exitcode-stdio-1.0@@ -167,22 +167,22 @@ async >=2.2 && <3 , base >=4.9 && <5 , containers >=0.5 && <0.7- , doctest >=0.16.0.1 && <0.21+ , doctest >=0.16.0.1 && <0.22 , first-class-families >=0.5.0.0 && <0.9 , hspec >=2.6.0 && <3 , hspec-discover >=2.0- , inspection-testing >=0.4.2 && <0.5+ , inspection-testing >=0.4.2 && <0.6 , mtl >=2.2.2 && <3 , polysemy , stm ==2.* , syb ==0.7.* , template-haskell >=2.12.0.0 && <3- , th-abstraction >=0.3.1.0 && <0.5- , transformers >=0.5.2.0 && <0.6+ , th-abstraction >=0.3.1.0 && <0.6+ , transformers >=0.5.2.0 && <0.7 , type-errors >=0.2.0.0 , unagi-chan >=0.4.0.0 && <0.5+ default-language: Haskell2010 if impl(ghc < 8.6) default-extensions: MonadFailDesugaring TypeInType- default-language: Haskell2010