incipit-core 0.1.0.1 → 0.1.0.2

raw patch · 2 files changed

+14/−6 lines, 2 filesdep ~incipit-basePVP: minor bump suggested

API additions: PVP suggests at least a minor version bump

Dependency ranges changed: incipit-base

API changes (from Hackage documentation)

+ Incipit: (.@) :: forall m (r :: [Effect]) (e :: Effect) z. Monad m => (forall x. () => Sem r x -> m x) -> (forall y. () => (forall x. () => Sem r x -> m x) -> Sem (e : r) y -> Sem r y) -> Sem (e : r) z -> m z

+ Incipit: (.@@) :: forall m (r :: [Effect]) (e :: Effect) f z. Monad m => (forall x. () => Sem r x -> m x) -> (forall y. () => (forall x. () => Sem r x -> m x) -> Sem (e : r) y -> Sem r (f y)) -> Sem (e : r) z -> m (f z)

+ Incipit: Inspector :: (forall x. () => f x -> Maybe x) -> Inspector (f :: Type -> Type)

+ Incipit: [Embed] :: forall (m :: Type -> Type) a (z :: Type -> Type). {unEmbed :: m a} -> Embed m z a

+ Incipit: [inspect] :: Inspector (f :: Type -> Type) -> forall x. () => f x -> Maybe x

+ Incipit: bindT :: forall a m b (e :: Effect) f (r :: [Effect]). (a -> m b) -> Sem (WithTactics e f m r) (f a -> Sem (e : r) (f b))

+ Incipit: bindTSimple :: forall m f (r :: [Effect]) (e :: Effect) a b. (a -> m b) -> f a -> Sem (WithTactics e f m r) (f b)

+ Incipit: data Final (m :: Type -> Type) (z :: Type -> Type) a

+ Incipit: data Sem (r :: EffectRow) a

+ Incipit: embed :: forall m (r :: [(Type -> Type) -> Type -> Type]) a. Member (Embed m) r => m a -> Sem r a

+ Incipit: embedFinal :: forall m (r :: [(Type -> Type) -> Type -> Type]) a. (Member (Final m) r, Functor m) => m a -> Sem r a

+ Incipit: embedToFinal :: forall (m :: Type -> Type) (r :: [(Type -> Type) -> Type -> Type]) a. (Member (Final m) r, Functor m) => Sem (Embed m : r) a -> Sem r a

+ Incipit: getInitialStateT :: forall f (m :: Type -> Type) (r :: [Effect]) (e :: Effect). Sem (WithTactics e f m r) (f ())

+ Incipit: getInspectorT :: forall (e :: Effect) (f :: Type -> Type) (m :: Type -> Type) (r :: [Effect]). Sem (WithTactics e f m r) (Inspector f)

+ Incipit: infixl 8 .@

+ Incipit: insertAt :: forall (index :: Nat) (inserted :: [Effect]) (head :: [Effect]) (oldTail :: [Effect]) (tail :: [Effect]) (old :: [Effect]) (full :: [Effect]) a. (ListOfLength index head, WhenStuck index (InsertAtUnprovidedIndex :: Constraint), old ~ Append head oldTail, tail ~ Append inserted oldTail, full ~ Append head tail, InsertAtIndex index head tail oldTail full inserted) => Sem old a -> Sem full a

+ Incipit: intercept :: forall e (r :: [Effect]) a. (Member e r, FirstOrder e "intercept") => (forall x (rInitial :: EffectRow). () => e (Sem rInitial) x -> Sem r x) -> Sem r a -> Sem r a

+ Incipit: interceptH :: forall e (r :: [Effect]) a. Member e r => (forall x (rInitial :: EffectRow). () => e (Sem rInitial) x -> Tactical e (Sem rInitial) r x) -> Sem r a -> Sem r a

+ Incipit: interpret :: forall e (r :: [Effect]) a. FirstOrder e "interpret" => (forall (rInitial :: EffectRow) x. () => e (Sem rInitial) x -> Sem r x) -> Sem (e : r) a -> Sem r a

+ Incipit: interpretH :: forall e (r :: [Effect]) a. (forall (rInitial :: EffectRow) x. () => e (Sem rInitial) x -> Tactical e (Sem rInitial) r x) -> Sem (e : r) a -> Sem r a

+ Incipit: makeSem :: Name -> Q [Dec]

+ Incipit: makeSem_ :: Name -> Q [Dec]

+ Incipit: newtype Embed (m :: Type -> Type) (z :: Type -> Type) a

+ Incipit: newtype Inspector (f :: Type -> Type)

+ Incipit: pureT :: forall f a (e :: Effect) (m :: Type -> Type) (r :: [Effect]). Functor f => a -> Sem (WithTactics e f m r) (f a)

+ Incipit: raise :: forall (e :: Effect) (r :: EffectRow) a. Sem r a -> Sem (e : r) a

+ Incipit: raise2Under :: forall (e3 :: Effect) (e1 :: Effect) (e2 :: Effect) (r :: [Effect]) a. Sem (e1 : (e2 : r)) a -> Sem (e1 : (e2 : (e3 : r))) a

+ Incipit: raise3Under :: forall (e4 :: Effect) (e1 :: Effect) (e2 :: Effect) (e3 :: Effect) (r :: [Effect]) a. Sem (e1 : (e2 : (e3 : r))) a -> Sem (e1 : (e2 : (e3 : (e4 : r)))) a

+ Incipit: raiseUnder :: forall (e2 :: Effect) (e1 :: Effect) (r :: [Effect]) a. Sem (e1 : r) a -> Sem (e1 : (e2 : r)) a

+ Incipit: raiseUnder2 :: forall (e2 :: Effect) (e3 :: Effect) (e1 :: Effect) (r :: [Effect]) a. Sem (e1 : r) a -> Sem (e1 : (e2 : (e3 : r))) a

+ Incipit: raiseUnder3 :: forall (e2 :: Effect) (e3 :: Effect) (e4 :: Effect) (e1 :: Effect) (r :: [Effect]) a. Sem (e1 : r) a -> Sem (e1 : (e2 : (e3 : (e4 : r)))) a

+ Incipit: raise_ :: forall (r :: EffectRow) (r' :: EffectRow) a. Raise r r' => Sem r a -> Sem r' a

+ Incipit: reinterpret :: forall e1 (e2 :: Effect) (r :: [Effect]) a. FirstOrder e1 "reinterpret" => (forall (rInitial :: EffectRow) x. () => e1 (Sem rInitial) x -> Sem (e2 : r) x) -> Sem (e1 : r) a -> Sem (e2 : r) a

+ Incipit: reinterpret2 :: forall e1 (e2 :: Effect) (e3 :: Effect) (r :: [Effect]) a. FirstOrder e1 "reinterpret2" => (forall (rInitial :: EffectRow) x. () => e1 (Sem rInitial) x -> Sem (e2 : (e3 : r)) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : r)) a

+ Incipit: reinterpret2H :: forall e1 (e2 :: Effect) (e3 :: Effect) (r :: [Effect]) a. (forall (rInitial :: EffectRow) x. () => e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 : (e3 : r)) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : r)) a

+ Incipit: reinterpret3 :: forall e1 (e2 :: Effect) (e3 :: Effect) (e4 :: Effect) (r :: [Effect]) a. FirstOrder e1 "reinterpret3" => (forall (rInitial :: EffectRow) x. () => e1 (Sem rInitial) x -> Sem (e2 : (e3 : (e4 : r))) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : (e4 : r))) a

+ Incipit: reinterpret3H :: forall e1 (e2 :: Effect) (e3 :: Effect) (e4 :: Effect) (r :: [Effect]) a. (forall (rInitial :: EffectRow) x. () => e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 : (e3 : (e4 : r))) x) -> Sem (e1 : r) a -> Sem (e2 : (e3 : (e4 : r))) a

+ Incipit: reinterpretH :: forall e1 (e2 :: Effect) (r :: [Effect]) a. (forall (rInitial :: EffectRow) x. () => e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 : r) x) -> Sem (e1 : r) a -> Sem (e2 : r) a

+ Incipit: rewrite :: forall e1 e2 (r :: [Effect]) a. (forall (rInitial :: EffectRow) x. () => e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 : r) a -> Sem (e2 : r) a

+ Incipit: runFinal :: Monad m => Sem '[Final m] a -> m a

+ Incipit: runM :: Monad m => Sem '[Embed m] a -> m a

+ Incipit: runT :: forall m a (e :: Effect) f (r :: [Effect]). m a -> Sem (WithTactics e f m r) (Sem (e : r) (f a))

+ Incipit: runTSimple :: forall m a (e :: Effect) (r :: [Effect]). m a -> Tactical e m r a

+ Incipit: subsume :: forall (e :: Effect) (r :: [Effect]) a. Member e r => Sem (e : r) a -> Sem r a

+ Incipit: subsume_ :: forall (r :: EffectRow) (r' :: EffectRow) a. Subsume r r' => Sem r a -> Sem r' a

+ Incipit: transform :: forall e1 e2 (r :: [Effect]) a. Member e2 r => (forall (rInitial :: EffectRow) x. () => e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 : r) a -> Sem r a

+ Incipit: type Effect = Type -> Type -> Type -> Type

+ Incipit: type EffectRow = [Effect]

+ Incipit: type Member (e :: k) (r :: [k]) = MemberNoError e r

+ Incipit: type MemberWithError (e :: Effect) (r :: [Effect]) = (MemberNoError e r, WhenStuck LocateEffect e r AmbiguousSend e r :: Constraint)

+ Incipit: type InterpretersFor (es :: [Effect]) (r :: [Effect]) = forall a. () => Sem Append es r a -> Sem r a

+ Incipit: type WithTactics (e :: Effect) (f :: Type -> Type) (m :: Type -> Type) (r :: [Effect]) = Tactics f m e : r :: Type -> Type -> Type -> Type : r

+ Incipit: type family Members (es :: [k]) (r :: [k])

+ Incipit: withLowerToIO :: forall (r :: [(Type -> Type) -> Type -> Type]) a. Member (Embed IO) r => ((forall x. () => Sem r x -> IO x) -> IO () -> IO a) -> Sem r a

Files

incipit-core.cabal +13/−4
lib/Incipit.hs +1/−2

incipit-core.cabal view

@@ -5,9 +5,9 @@ -- see: https://github.com/sol/hpack  name:           incipit-core-version:        0.1.0.1+version:        0.1.0.2 synopsis:       A Prelude for Polysemy-description:    See <https://hackage.haskell.org/package/incipit/docs/Prelude.html>+description:    See <https://hackage.haskell.org/package/incipit/docs/Incipit.html> category:       Prelude homepage:       https://github.com/tek/incipit#readme bug-reports:    https://github.com/tek/incipit/issues@@ -30,7 +30,16 @@       Incipit       Prelude   reexported-modules:-      Data.ByteString+      Control.Concurrent.STM+    , Control.Concurrent.STM.TArray+    , Control.Concurrent.STM.TBQueue+    , Control.Concurrent.STM.TChan+    , Control.Concurrent.STM.TMVar+    , Control.Concurrent.STM.TQueue+    , Control.Concurrent.STM.TSem+    , Control.Concurrent.STM.TVar+    , Control.Monad.STM+    , Data.ByteString     , Data.ByteString.Builder     , Data.ByteString.Lazy     , Data.ByteString.Short@@ -111,7 +120,7 @@   ghc-options: -Wall -Wredundant-constraints -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Widentities   build-depends:       base ==4.*-    , incipit-base+    , incipit-base >=0.1.0.2     , polysemy >=1.6   mixins:       base hiding (Prelude)

lib/Incipit.hs view

@@ -19,8 +19,7 @@ ) where  import qualified Control.Exception as Base-import Control.Exception (SomeException)-import Polysemy+import Polysemy hiding (run) import Polysemy.Async import Polysemy.AtomicState import Polysemy.Error