incipit-core 0.6.1.0 → 0.6.1.1
raw patch · 1 files changed
+6/−6 lines, 1 filesdep ~basedep ~incipit-basedep ~polysemyPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, incipit-base, polysemy
API changes (from Hackage documentation)
- IncipitCore: type a ++ b = Append a b
+ IncipitCore: type (a1 :: [a]) ++ (b :: [a]) = Append a1 b
- Incipit.Exception: ignoreException :: Member (Embed IO) r => IO () -> Sem r ()
+ Incipit.Exception: ignoreException :: forall (r :: EffectRow). Member (Embed IO) r => IO () -> Sem r ()
- Incipit.Exception: tryAny :: forall r a. Member (Embed IO) r => IO a -> Sem r (Either Text a)
+ Incipit.Exception: tryAny :: forall (r :: EffectRow) a. Member (Embed IO) r => IO a -> Sem r (Either Text a)
- Incipit.Exception: tryAny_ :: forall r. Member (Embed IO) r => IO () -> Sem r ()
+ Incipit.Exception: tryAny_ :: forall (r :: EffectRow). Member (Embed IO) r => IO () -> Sem r ()
- Incipit.Exception: tryIO :: forall e r a. Exception e => Member (Embed IO) r => IO a -> Sem r (Either Text a)
+ Incipit.Exception: tryIO :: forall e (r :: EffectRow) a. (Exception e, Member (Embed IO) r) => IO a -> Sem r (Either Text a)
- Incipit.Exception: tryIOE :: forall e r a. Exception e => Member (Embed IO) r => IO a -> Sem r (Either e a)
+ Incipit.Exception: tryIOE :: forall e (r :: EffectRow) a. (Exception e, Member (Embed IO) r) => IO a -> Sem r (Either e a)
- Incipit.Exception: tryIOError :: forall r a. Member (Embed IO) r => IO a -> Sem r (Either Text a)
+ Incipit.Exception: tryIOError :: forall (r :: EffectRow) a. Member (Embed IO) r => IO a -> Sem r (Either Text a)
- Incipit.Exception: tryIOErrorMaybe :: forall r a. Member (Embed IO) r => IO a -> Sem r (Maybe a)
+ Incipit.Exception: tryIOErrorMaybe :: forall (r :: EffectRow) a. Member (Embed IO) r => IO a -> Sem r (Maybe a)
- Incipit.Exception: tryIOError_ :: forall r. Member (Embed IO) r => IO () -> Sem r ()
+ Incipit.Exception: tryIOError_ :: forall (r :: EffectRow). Member (Embed IO) r => IO () -> Sem r ()
- Incipit.Exception: tryIOMaybe :: forall e r a. Exception e => Member (Embed IO) r => IO a -> Sem r (Maybe a)
+ Incipit.Exception: tryIOMaybe :: forall e (r :: EffectRow) a. (Exception e, Member (Embed IO) r) => IO a -> Sem r (Maybe a)
- Incipit.Exception: tryIO_ :: forall e r. Exception e => Member (Embed IO) r => IO () -> Sem r ()
+ Incipit.Exception: tryIO_ :: forall e (r :: EffectRow). (Exception e, Member (Embed IO) r) => IO () -> Sem r ()
- Incipit.Exception: tryMaybe :: forall r a. Member (Embed IO) r => IO a -> Sem r (Maybe a)
+ Incipit.Exception: tryMaybe :: forall (r :: EffectRow) a. Member (Embed IO) r => IO a -> Sem r (Maybe a)
- IncipitCore: class () => Member (t :: Effect) (r :: EffectRow)
+ IncipitCore: class Member (t :: Effect) (r :: EffectRow)
- IncipitCore: data () => Async (m :: Type -> Type) a
+ IncipitCore: data Async (m :: Type -> Type) a
- IncipitCore: data () => AtomicState s (m :: k) a
+ IncipitCore: data AtomicState s (m :: k) a
- IncipitCore: data () => Error e (m :: k -> Type) (a :: k)
+ IncipitCore: data Error e (m :: k -> Type) (a :: k)
- IncipitCore: data () => Fail (m :: k) (a :: k1)
+ IncipitCore: data Fail (m :: k) (a :: k1)
- IncipitCore: data () => Final (m :: Type -> Type) (z :: Type -> Type) a
+ IncipitCore: data Final (m :: Type -> Type) (z :: Type -> Type) a
- IncipitCore: data () => Input (i :: k) (m :: k1) (a :: k)
+ IncipitCore: data Input (i :: k) (m :: k1) (a :: k)
- IncipitCore: data () => Output o (m :: k) a
+ IncipitCore: data Output o (m :: k) a
- IncipitCore: data () => Reader i (m :: Type -> Type) a
+ IncipitCore: data Reader i (m :: Type -> Type) a
- IncipitCore: data () => Resource (m :: Type -> Type) a
+ IncipitCore: data Resource (m :: Type -> Type) a
- IncipitCore: data () => Sem (r :: EffectRow) a
+ IncipitCore: data Sem (r :: EffectRow) a
- IncipitCore: data () => State s (m :: k) a
+ IncipitCore: data State s (m :: k) a
- IncipitCore: data () => Tagged (k3 :: k) (e :: k1 -> k2 -> Type) (m :: k1) (a :: k2)
+ IncipitCore: data Tagged (k3 :: k) (e :: k1 -> k2 -> Type) (m :: k1) (a :: k2)
- IncipitCore: data () => Writer o (m :: Type -> Type) a
+ IncipitCore: data Writer o (m :: Type -> Type) a
- IncipitCore: newtype () => Embed (m :: Type -> Type) (z :: Type -> Type) a
+ IncipitCore: newtype Embed (m :: Type -> Type) (z :: Type -> Type) a
- IncipitCore: newtype () => Inspector (f :: Type -> Type)
+ IncipitCore: newtype Inspector (f :: Type -> Type)
- IncipitCore: unitT :: Functor f => Sem (WithTactics e f m r) (f ())
+ IncipitCore: unitT :: forall f (e :: Effect) (m :: Type -> Type) (r :: [Effect]). Functor f => Sem (WithTactics e f m r) (f ())
Files
- incipit-core.cabal +6/−6
incipit-core.cabal view
@@ -1,11 +1,11 @@ cabal-version: 2.2 --- This file has been generated from package.yaml by hpack version 0.36.0.+-- This file has been generated from package.yaml by hpack version 0.36.1. -- -- see: https://github.com/sol/hpack name: incipit-core-version: 0.6.1.0+version: 0.6.1.1 synopsis: A Prelude for Polysemy description: See https://hackage.haskell.org/package/incipit-core/docs/IncipitCore.html category: Prelude@@ -13,7 +13,7 @@ bug-reports: https://github.com/tek/incipit-core/issues author: Torsten Schmits maintainer: hackage@tryp.io-copyright: 2023 Torsten Schmits+copyright: 2025 Torsten Schmits license: BSD-2-Clause-Patent license-file: LICENSE build-type: Simple@@ -100,7 +100,7 @@ NoFieldSelectors ghc-options: -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages build-depends:- base >=4.16.4.0 && <4.21- , incipit-base ==0.6.1.0- , polysemy >=1.6.0.0 && <1.10+ base >=4.17.2.1 && <4.22+ , incipit-base ==0.6.1.1+ , polysemy >=1.8.0.0 && <1.10 default-language: GHC2021