polysemy-zoo 0.8.1.0 → 0.8.2.0
raw patch · 1 files changed
+12/−12 lines, 1 filesdep ~ghc-primdep ~textdep ~transformersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: ghc-prim, text, transformers
API changes (from Hackage documentation)
- Polysemy.Capture: runCapture :: Sem (Capture (Ref (Sem r)) : r) a -> Sem r (Maybe a)
+ Polysemy.Capture: runCapture :: Sem (Capture (Ref (Sem r)) ': r) a -> Sem r (Maybe a)
- Polysemy.Capture: runCaptureWithC :: (a -> Sem r (Maybe s)) -> Sem (Capture (Ref (Sem r)) : r) a -> Sem r (Maybe s)
+ Polysemy.Capture: runCaptureWithC :: (a -> Sem r (Maybe s)) -> Sem (Capture (Ref (Sem r)) ': r) a -> Sem r (Maybe s)
- Polysemy.ConstraintAbsorber: class Reifies (s :: k) a | s -> a
+ Polysemy.ConstraintAbsorber: class () => Reifies (s :: k) a | s -> a
- Polysemy.ConstraintAbsorber: data Dict a
+ Polysemy.ConstraintAbsorber: data () => Dict a
- Polysemy.ConstraintAbsorber: data Proxy (t :: k)
+ Polysemy.ConstraintAbsorber: data () => Proxy (t :: k)
- Polysemy.ConstraintAbsorber: newtype a :- b
+ Polysemy.ConstraintAbsorber: newtype () => a :- b
- Polysemy.ConstraintAbsorber.MonadCatch: data SomeException
+ Polysemy.ConstraintAbsorber.MonadCatch: data () => SomeException
- Polysemy.Cont: contToFinal :: (Member (Final m) r, MonadCont m) => Sem (Cont (ExitRef m) : r) a -> Sem r a
+ Polysemy.Cont: contToFinal :: (Member (Final m) r, MonadCont m) => Sem (Cont (ExitRef m) ': r) a -> Sem r a
- Polysemy.Cont: runContUnsafe :: Sem (Cont (Ref (Sem r) a) : r) a -> Sem r a
+ Polysemy.Cont: runContUnsafe :: Sem (Cont (Ref (Sem r) a) ': r) a -> Sem r a
- Polysemy.Cont: runContViaFresh :: forall uniq r a. (Member (Fresh uniq) r, Eq uniq) => Sem (Cont (ViaFreshRef uniq) : r) a -> Sem r (Maybe a)
+ Polysemy.Cont: runContViaFresh :: forall uniq r a. (Member (Fresh uniq) r, Eq uniq) => Sem (Cont (ViaFreshRef uniq) ': r) a -> Sem r (Maybe a)
- Polysemy.Cont.Internal: ResAndHandler :: a -> ((uniq, Any) -> Sem (Error (uniq, Any) : r) a) -> ContFreshState uniq r a
+ Polysemy.Cont.Internal: ResAndHandler :: a -> ((uniq, Any) -> Sem (Error (uniq, Any) ': r) a) -> ContFreshState uniq r a
- Polysemy.Cont.Internal: [getHandler] :: ContFreshState uniq r a -> (uniq, Any) -> Sem (Error (uniq, Any) : r) a
+ Polysemy.Cont.Internal: [getHandler] :: ContFreshState uniq r a -> (uniq, Any) -> Sem (Error (uniq, Any) ': r) a
- Polysemy.Cont.Internal: runContViaFreshInC :: forall uniq s r a. (Member (Fresh uniq) r, Eq uniq) => Sem (Cont (ViaFreshRef uniq) : r) a -> ContT s (Sem (Error (uniq, Any) : r)) a
+ Polysemy.Cont.Internal: runContViaFreshInC :: forall uniq s r a. (Member (Fresh uniq) r, Eq uniq) => Sem (Cont (ViaFreshRef uniq) ': r) a -> ContT s (Sem (Error (uniq, Any) ': r)) a
- Polysemy.Cont.Internal: runContViaFreshInCWeave :: forall uniq s r a. (Member (Fresh uniq) r, Eq uniq) => Sem (Cont (ViaFreshRef uniq) : r) a -> ContT (ContFreshState uniq r s) (Sem (Error (uniq, Any) : r)) a
+ Polysemy.Cont.Internal: runContViaFreshInCWeave :: forall uniq s r a. (Member (Fresh uniq) r, Eq uniq) => Sem (Cont (ViaFreshRef uniq) ': r) a -> ContT (ContFreshState uniq r s) (Sem (Error (uniq, Any) ': r)) a
- Polysemy.Cont.Internal: runContWithCUnsafe :: (a -> Sem r s) -> Sem (Cont (Ref (Sem r) s) : r) a -> Sem r s
+ Polysemy.Cont.Internal: runContWithCUnsafe :: (a -> Sem r s) -> Sem (Cont (Ref (Sem r) s) ': r) a -> Sem r s
- Polysemy.EndState: getEndState :: forall s_akSh r_akT9. Member (EndState s_akSh) r_akT9 => Sem r_akT9 s_akSh
+ Polysemy.EndState: getEndState :: forall s_akNM r_akOG. Member (EndState s_akNM) r_akOG => Sem r_akOG s_akNM
- Polysemy.EndState: runEndAtomicState :: forall s r a. (Member (AtomicState s) r, Member Fixpoint r) => Sem (EndState s : r) a -> Sem r a
+ Polysemy.EndState: runEndAtomicState :: forall s r a. (Member (AtomicState s) r, Member Fixpoint r) => Sem (EndState s ': r) a -> Sem r a
- Polysemy.EndState: runEndState :: forall s r a. (Member (State s) r, Member Fixpoint r) => Sem (EndState s : r) a -> Sem r a
+ Polysemy.EndState: runEndState :: forall s r a. (Member (State s) r, Member Fixpoint r) => Sem (EndState s ': r) a -> Sem r a
- Polysemy.Final.IO: asyncToIOFinalGlobal :: Member (Final IO) r => Sem (Async : r) a -> Sem r a
+ Polysemy.Final.IO: asyncToIOFinalGlobal :: Member (Final IO) r => Sem (Async ': r) a -> Sem r a
- Polysemy.Final.IO: interpretFinalGlobal :: forall e a r. Member (Final IO) r => (forall x n. e n x -> Strategic IO n x) -> Sem (e : r) a -> Sem r a
+ Polysemy.Final.IO: interpretFinalGlobal :: forall e a r. Member (Final IO) r => (forall x n. e n x -> Strategic IO n x) -> Sem (e ': r) a -> Sem r a
- Polysemy.Final.IO: resourceToIOFinalGlobal :: Member (Final IO) r => Sem (Resource : r) a -> Sem r a
+ Polysemy.Final.IO: resourceToIOFinalGlobal :: Member (Final IO) r => Sem (Resource ': r) a -> Sem r a
- Polysemy.Final.IO.Internal: interpretFinalGlobal :: forall e a r. Member (Final IO) r => (forall x n. e n x -> Strategic IO n x) -> Sem (e : r) a -> Sem r a
+ Polysemy.Final.IO.Internal: interpretFinalGlobal :: forall e a r. Member (Final IO) r => (forall x n. e n x -> Strategic IO n x) -> Sem (e ': r) a -> Sem r a
- Polysemy.Final.IO.Internal: runViaFinalGlobal :: (Member (Final IO) r, Functor f) => MVar (f ()) -> (forall x. f (Sem r x) -> IO (f x)) -> (forall x. f x -> Maybe x) -> (forall x n. e n x -> Strategic IO n x) -> Sem (e : r) a -> MaybeT IO a
+ Polysemy.Final.IO.Internal: runViaFinalGlobal :: (Member (Final IO) r, Functor f) => MVar (f ()) -> (forall x. f (Sem r x) -> IO (f x)) -> (forall x. f x -> Maybe x) -> (forall x n. e n x -> Strategic IO n x) -> Sem (e ': r) a -> MaybeT IO a
- Polysemy.Final.MTL: errorToFinal :: forall m e r a. (Member (Final m) r, MonadError e m) => Sem (Error e : r) a -> Sem r a
+ Polysemy.Final.MTL: errorToFinal :: forall m e r a. (Member (Final m) r, MonadError e m) => Sem (Error e ': r) a -> Sem r a
- Polysemy.Final.MTL: readerToFinal :: forall m i r a. (Member (Final m) r, MonadReader i m) => Sem (Reader i : r) a -> Sem r a
+ Polysemy.Final.MTL: readerToFinal :: forall m i r a. (Member (Final m) r, MonadReader i m) => Sem (Reader i ': r) a -> Sem r a
- Polysemy.Final.MTL: stateToEmbed :: forall m s r a. (Member (Embed m) r, MonadState s m) => Sem (State s : r) a -> Sem r a
+ Polysemy.Final.MTL: stateToEmbed :: forall m s r a. (Member (Embed m) r, MonadState s m) => Sem (State s ': r) a -> Sem r a
- Polysemy.Final.MTL: writerToFinal :: forall m o r a. (Member (Final m) r, MonadWriter o m) => Sem (Writer o : r) a -> Sem r a
+ Polysemy.Final.MTL: writerToFinal :: forall m o r a. (Member (Final m) r, MonadWriter o m) => Sem (Writer o ': r) a -> Sem r a
- Polysemy.Final.More: lowerFinal :: Member (Embed m) r => (forall x. Sem r x -> m x) -> Sem (Final m : r) a -> Sem r a
+ Polysemy.Final.More: lowerFinal :: Member (Embed m) r => (forall x. Sem r x -> m x) -> Sem (Final m ': r) a -> Sem r a
- Polysemy.Final.More: runFinalSem :: Sem (Final (Sem r) : r) a -> Sem r a
+ Polysemy.Final.More: runFinalSem :: Sem (Final (Sem r) ': r) a -> Sem r a
- Polysemy.Final.NonDet: nonDetToFinal :: forall m r a. (Member (Final m) r, Alternative m) => Sem (NonDet : r) a -> Sem r a
+ Polysemy.Final.NonDet: nonDetToFinal :: forall m r a. (Member (Final m) r, Alternative m) => Sem (NonDet ': r) a -> Sem r a
- Polysemy.Floodgate: hold :: forall r_acfV. Member Floodgate r_acfV => Sem r_acfV () -> Sem r_acfV ()
+ Polysemy.Floodgate: hold :: forall r_adn0. Member Floodgate r_adn0 => Sem r_adn0 () -> Sem r_adn0 ()
- Polysemy.Floodgate: release :: forall r_acfX. Member Floodgate r_acfX => Sem r_acfX ()
+ Polysemy.Floodgate: release :: forall r_adn2. Member Floodgate r_adn2 => Sem r_adn2 ()
- Polysemy.Floodgate: runFloodgate :: Sem (Floodgate : r) a -> Sem r a
+ Polysemy.Floodgate: runFloodgate :: Sem (Floodgate ': r) a -> Sem r a
- Polysemy.Floodgate: runFloodgateDry :: Sem (Floodgate : r) a -> Sem r a
+ Polysemy.Floodgate: runFloodgateDry :: Sem (Floodgate ': r) a -> Sem r a
- Polysemy.Fresh: fresh :: forall uniq_acMF r_acNx. Member (Fresh uniq_acMF) r_acNx => Sem r_acNx uniq_acMF
+ Polysemy.Fresh: fresh :: forall uniq_adUj r_adVd. Member (Fresh uniq_adUj) r_adVd => Sem r_adVd uniq_adUj
- Polysemy.Fresh: freshToIO :: Member (Embed IO) r => Sem (Fresh Unique : r) a -> Sem r a
+ Polysemy.Fresh: freshToIO :: Member (Embed IO) r => Sem (Fresh Unique ': r) a -> Sem r a
- Polysemy.Fresh: runFreshEnumUnsafe :: forall n a r. Enum n => Sem (Fresh n : r) a -> Sem r a
+ Polysemy.Fresh: runFreshEnumUnsafe :: forall n a r. Enum n => Sem (Fresh n ': r) a -> Sem r a
- Polysemy.Fresh: runFreshUnsafePerformIO :: Sem (Fresh Unique : r) a -> Sem r a
+ Polysemy.Fresh: runFreshUnsafePerformIO :: Sem (Fresh Unique ': r) a -> Sem r a
- Polysemy.KVStore: lookupKV :: forall k_ajrk v_ajrl r_ajtd. Member (KVStore k_ajrk v_ajrl) r_ajtd => k_ajrk -> Sem r_ajtd (Maybe v_ajrl)
+ Polysemy.KVStore: lookupKV :: forall k_ajfq v_ajfr r_ajhl. Member (KVStore k_ajfq v_ajfr) r_ajhl => k_ajfq -> Sem r_ajhl (Maybe v_ajfr)
- Polysemy.KVStore: runKVStoreAsState :: Ord k => Sem (KVStore k v : r) a -> Sem (State (Map k v) : r) a
+ Polysemy.KVStore: runKVStoreAsState :: Ord k => Sem (KVStore k v ': r) a -> Sem (State (Map k v) ': r) a
- Polysemy.KVStore: runKVStorePurely :: Ord k => Map k v -> Sem (KVStore k v : r) a -> Sem r (Map k v, a)
+ Polysemy.KVStore: runKVStorePurely :: Ord k => Map k v -> Sem (KVStore k v ': r) a -> Sem r (Map k v, a)
- Polysemy.KVStore: updateKV :: forall k_ajrn v_ajro r_ajtf. Member (KVStore k_ajrn v_ajro) r_ajtf => k_ajrn -> Maybe v_ajro -> Sem r_ajtf ()
+ Polysemy.KVStore: updateKV :: forall k_ajft v_ajfu r_ajhn. Member (KVStore k_ajft v_ajfu) r_ajhn => k_ajft -> Maybe v_ajfu -> Sem r_ajhn ()
- Polysemy.Random: random :: forall r_akbq x_ak9O. (Member Random r_akbq, Random x_ak9O) => Sem r_akbq x_ak9O
+ Polysemy.Random: random :: forall r_ak81 x_ak6n. (Member Random r_ak81, Random x_ak6n) => Sem r_ak81 x_ak6n
- Polysemy.Random: randomR :: forall r_akbr x_ak9Q. (Member Random r_akbr, Random x_ak9Q) => (x_ak9Q, x_ak9Q) -> Sem r_akbr x_ak9Q
+ Polysemy.Random: randomR :: forall r_ak82 x_ak6p. (Member Random r_ak82, Random x_ak6p) => (x_ak6p, x_ak6p) -> Sem r_ak82 x_ak6p
- Polysemy.Random: runRandom :: forall q r a. RandomGen q => q -> Sem (Random : r) a -> Sem r (q, a)
+ Polysemy.Random: runRandom :: forall q r a. RandomGen q => q -> Sem (Random ': r) a -> Sem r (q, a)
- Polysemy.Random: runRandomIO :: Member (Embed IO) r => Sem (Random : r) a -> Sem r a
+ Polysemy.Random: runRandomIO :: Member (Embed IO) r => Sem (Random ': r) a -> Sem r a
- Polysemy.Reader.Compact: runReaderWithCompacted :: forall r i a. Member (Embed IO) r => i -> Sem (Reader i : r) a -> Sem r a
+ Polysemy.Reader.Compact: runReaderWithCompacted :: forall r i a. Member (Embed IO) r => i -> Sem (Reader i ': r) a -> Sem r a
- Polysemy.Reader.Compact: runReaderWithExistingCompacted :: forall r i a. Member (Embed IO) r => Compact i -> Sem (Reader i : r) a -> Sem r a
+ Polysemy.Reader.Compact: runReaderWithExistingCompacted :: forall r i a. Member (Embed IO) r => Compact i -> Sem (Reader i ': r) a -> Sem r a
- Polysemy.Reader.More: runReaderFixSem :: forall i r a. Member Fixpoint r => Sem r i -> Sem (Reader i : r) a -> Sem r a
+ Polysemy.Reader.More: runReaderFixSem :: forall i r a. Member Fixpoint r => Sem r i -> Sem (Reader i ': r) a -> Sem r a
- Polysemy.RevState: runLazyRevState :: Member Fixpoint r => s -> Sem (RevState s : r) a -> Sem r (s, a)
+ Polysemy.RevState: runLazyRevState :: Member Fixpoint r => s -> Sem (RevState s ': r) a -> Sem r (s, a)
- Polysemy.RevState: runRevState :: Member Fixpoint r => s -> Sem (RevState s : r) a -> Sem r (s, a)
+ Polysemy.RevState: runRevState :: Member Fixpoint r => s -> Sem (RevState s ': r) a -> Sem r (s, a)
- Polysemy.SetStore: addS :: forall k_amYh v_amYi r_an1f. Member (SetStore k_amYh v_amYi) r_an1f => k_amYh -> v_amYi -> Sem r_an1f ()
+ Polysemy.SetStore: addS :: forall k_amYH v_amYI r_an1H. Member (SetStore k_amYH v_amYI) r_an1H => k_amYH -> v_amYI -> Sem r_an1H ()
- Polysemy.SetStore: delS :: forall k_amYk v_amYl r_an1i. Member (SetStore k_amYk v_amYl) r_an1i => k_amYk -> v_amYl -> Sem r_an1i ()
+ Polysemy.SetStore: delS :: forall k_amYK v_amYL r_an1K. Member (SetStore k_amYK v_amYL) r_an1K => k_amYK -> v_amYL -> Sem r_an1K ()
- Polysemy.SetStore: memberS :: forall k_amYn v_amYo r_an1l. Member (SetStore k_amYn v_amYo) r_an1l => k_amYn -> v_amYo -> Sem r_an1l Bool
+ Polysemy.SetStore: memberS :: forall k_amYN v_amYO r_an1N. Member (SetStore k_amYN v_amYO) r_an1N => k_amYN -> v_amYO -> Sem r_an1N Bool
- Polysemy.SetStore: runSetStoreAsKVStore :: (Member (KVStore k (Set v)) r, Ord v) => Sem (SetStore k v : r) x -> Sem r x
+ Polysemy.SetStore: runSetStoreAsKVStore :: (Member (KVStore k (Set v)) r, Ord v) => Sem (SetStore k v ': r) x -> Sem r x
- Polysemy.Several: [:::] :: a -> HList (b :: [Type]) -> HList (a : b)
+ Polysemy.Several: [:::] :: a -> HList (b :: [Type]) -> HList (a ': b)
- Polysemy.Several: runSeveral :: (forall r' k x. k -> Sem (e k : r') x -> Sem r' x) -> HList t -> Sem (TypeConcat (TypeMap e t) r) a -> Sem r a
+ Polysemy.Several: runSeveral :: (forall r' k x. k -> Sem (e k ': r') x -> Sem r' x) -> HList t -> Sem (TypeConcat (TypeMap e t) r) a -> Sem r a
- Polysemy.Shift: runContShiftUnsafe :: Sem (Cont (Ref (Sem r) (Maybe a)) : (Shift (Ref (Sem r) (Maybe a)) a : r)) a -> Sem r (Maybe a)
+ Polysemy.Shift: runContShiftUnsafe :: Sem (Cont (Ref (Sem r) (Maybe a)) ': (Shift (Ref (Sem r) (Maybe a)) a ': r)) a -> Sem r (Maybe a)
- Polysemy.Shift: runContShiftWithCUnsafe :: forall s a r. (a -> Sem r (Maybe s)) -> Sem (Cont (Ref (Sem r) (Maybe s)) : (Shift (Ref (Sem r) (Maybe s)) s : r)) a -> Sem r (Maybe s)
+ Polysemy.Shift: runContShiftWithCUnsafe :: forall s a r. (a -> Sem r (Maybe s)) -> Sem (Cont (Ref (Sem r) (Maybe s)) ': (Shift (Ref (Sem r) (Maybe s)) s ': r)) a -> Sem r (Maybe s)
- Polysemy.Shift: runShiftUnsafe :: Sem (Shift (Ref (Sem r) (Maybe a)) a : r) a -> Sem r (Maybe a)
+ Polysemy.Shift: runShiftUnsafe :: Sem (Shift (Ref (Sem r) (Maybe a)) a ': r) a -> Sem r (Maybe a)
- Polysemy.Shift: runShiftWithCUnsafe :: forall s a r. (a -> Sem r (Maybe s)) -> Sem (Shift (Ref (Sem r) (Maybe s)) s : r) a -> Sem r (Maybe s)
+ Polysemy.Shift: runShiftWithCUnsafe :: forall s a r. (a -> Sem r (Maybe s)) -> Sem (Shift (Ref (Sem r) (Maybe s)) s ': r) a -> Sem r (Maybe s)
- Polysemy.Shift: shiftToFinal :: forall s m a r. (Member (Final (ContT (Maybe s) m)) r, Monad m) => Sem (Shift (Ref m (Maybe s)) s : r) a -> Sem r a
+ Polysemy.Shift: shiftToFinal :: forall s m a r. (Member (Final (ContT (Maybe s) m)) r, Monad m) => Sem (Shift (Ref m (Maybe s)) s ': r) a -> Sem r a
Files
- polysemy-zoo.cabal +12/−12
polysemy-zoo.cabal view
@@ -1,18 +1,18 @@ cabal-version: 1.12 --- 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-zoo-version: 0.8.1.0+version: 0.8.2.0 synopsis: Experimental, user-contributed effects and interpreters for polysemy description: Please see the README on GitHub at <https://github.com/isovector/polysemy-zoo#readme> category: Polysemy-homepage: https://github.com/isovector/polysemy-zoo#readme-bug-reports: https://github.com/isovector/polysemy-zoo/issues+homepage: https://github.com/polysemy-research/polysemy-zoo#readme+bug-reports: https://github.com/polysemy-research/polysemy-zoo/issues author: Sandy Maguire-maintainer: sandy@sandymaguire.me+maintainer: https://funprog.zulipchat.com/#narrow/stream/216942-Polysemy copyright: 2019 Sandy Maguire license: BSD3 license-file: LICENSE@@ -23,7 +23,7 @@ source-repository head type: git- location: https://github.com/isovector/polysemy-zoo+ location: https://github.com/polysemy-research/polysemy-zoo library exposed-modules:@@ -83,14 +83,14 @@ , contravariant <2 , exceptions >=0.10.0 && <0.11 , ghc-compact >=0.1.0.0- , ghc-prim >=0.5.2 && <0.9+ , ghc-prim >=0.5.2 && <0.10 , mtl >=2.0.1.0 && <3.0.0.0 , polysemy >=1.4.0.0 , random >=1.1 && <1.3 , reflection >=2.1.4 && <3.0.0 , streaming ==0.2.*- , text >=1.1.0 && <1.3- , transformers >=0.5.2.0 && <0.6+ , text >=1.1.0 && <2.1+ , transformers >=0.5.2.0 && <0.7 default-language: Haskell2010 test-suite polysemy-zoo-test@@ -134,7 +134,7 @@ , contravariant <2 , exceptions >=0.10.0 && <0.11 , ghc-compact >=0.1.0.0- , ghc-prim >=0.5.2 && <0.9+ , ghc-prim >=0.5.2 && <0.10 , hspec >=2.6.0 && <3 , mtl >=2.0.1.0 && <3.0.0.0 , polysemy >=1.2.0.0@@ -143,6 +143,6 @@ , random >=1.1 && <1.3 , reflection >=2.1.4 && <3.0.0 , streaming ==0.2.*- , text >=1.1.0 && <1.3- , transformers >=0.5.2.0 && <0.6+ , text >=1.1.0 && <2.1+ , transformers >=0.5.2.0 && <0.7 default-language: Haskell2010