incipit-core 0.5.1.0 → 0.6.0.0
raw patch · 2 files changed
+11/−37 lines, 2 filesdep ~incipit-basedep ~polysemyPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: incipit-base, polysemy
API changes (from Hackage documentation)
- IncipitCore: asyncToIOFinal :: forall (r :: EffectRow) a. Member (Final IO) r => Sem (Async : r) a -> Sem r a
+ IncipitCore: asyncToIOFinal :: forall (r :: EffectRow) a. Member (Final IO) r => Sem (Async ': r) a -> Sem r a
- IncipitCore: atomicStateToIO :: forall s (r :: EffectRow) a. Member (Embed IO) r => s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (s, a)
+ IncipitCore: atomicStateToIO :: forall s (r :: EffectRow) a. Member (Embed IO) r => s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (s, a)
- IncipitCore: atomicStateToState :: forall s (r :: EffectRow) a. Member (State s :: (Type -> Type) -> Type -> Type) r => Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: atomicStateToState :: forall s (r :: EffectRow) a. Member (State s :: (Type -> Type) -> Type -> Type) r => Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: 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))
+ IncipitCore: 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))
- 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: embedToFinal :: forall (m :: Type -> Type) (r :: EffectRow) a. (Member (Final m) r, Functor m) => Sem (Embed m : r) a -> Sem r a
+ IncipitCore: embedToFinal :: forall (m :: Type -> Type) (r :: EffectRow) a. (Member (Final m) r, Functor m) => Sem (Embed m ': r) a -> Sem r a
- IncipitCore: errorToIOFinal :: forall e (r :: EffectRow) a. Member (Final IO) r => Sem ((Error e :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (Either e a)
+ IncipitCore: errorToIOFinal :: forall e (r :: EffectRow) a. Member (Final IO) r => Sem ((Error e :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (Either e a)
- IncipitCore: evalAtomicStateViaState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: evalAtomicStateViaState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: evalLazyState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: evalLazyState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: evalState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: evalState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: execAtomicStateViaState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r s
+ IncipitCore: execAtomicStateViaState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r s
- IncipitCore: execLazyState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r s
+ IncipitCore: execLazyState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r s
- IncipitCore: execState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r s
+ IncipitCore: execState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r s
- IncipitCore: failToEmbed :: forall (m :: Type -> Type) (r :: EffectRow) a. (Member (Embed m) r, MonadFail m) => Sem ((Fail :: (Type -> Type) -> Type -> TYPE LiftedRep) : r) a -> Sem r a
+ IncipitCore: failToEmbed :: forall (m :: Type -> Type) (r :: EffectRow) a. (Member (Embed m) r, MonadFail m) => Sem ((Fail :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: failToError :: forall e (r :: EffectRow) a. Member (Error e :: (Type -> Type) -> Type -> Type) r => (String -> e) -> Sem ((Fail :: (Type -> Type) -> Type -> TYPE LiftedRep) : r) a -> Sem r a
+ IncipitCore: failToError :: forall e (r :: EffectRow) a. Member (Error e :: (Type -> Type) -> Type -> Type) r => (String -> e) -> Sem ((Fail :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: failToNonDet :: forall (r :: EffectRow) a. Member NonDet r => Sem ((Fail :: (Type -> Type) -> Type -> TYPE LiftedRep) : r) a -> Sem r a
+ IncipitCore: failToNonDet :: forall (r :: EffectRow) a. Member NonDet r => Sem ((Fail :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: getInspectorT :: forall (e :: Effect) (f :: Type -> TYPE LiftedRep) (m :: Type -> Type) (r :: [Effect]). Sem (WithTactics e f m r) (Inspector f)
+ IncipitCore: getInspectorT :: forall (e :: Effect) (f :: Type -> Type) (m :: Type -> Type) (r :: [Effect]). Sem (WithTactics e f m r) (Inspector f)
- IncipitCore: hoistStateIntoStateT :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. Sem ((State s :: (Type -> Type) -> Type -> Type) : r) a -> StateT s (Sem r) a
+ IncipitCore: hoistStateIntoStateT :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> StateT s (Sem r) a
- IncipitCore: ignoreOutput :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: ignoreOutput :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: inputToReader :: forall i (r :: EffectRow) a. Member (Reader i) r => Sem ((Input i :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: inputToReader :: forall i (r :: EffectRow) a. Member (Reader i) r => Sem ((Input i :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: 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
+ IncipitCore: 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
- IncipitCore: 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
+ IncipitCore: 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
- IncipitCore: mapError :: forall e1 e2 (r :: EffectRow) a. Member (Error e2 :: (Type -> Type) -> Type -> Type) r => (e1 -> e2) -> Sem ((Error e1 :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: mapError :: forall e1 e2 (r :: EffectRow) a. Member (Error e2 :: (Type -> Type) -> Type -> Type) r => (e1 -> e2) -> Sem ((Error e1 :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r 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: outputToIOMonoid :: forall o m (r :: EffectRow) a. (Monoid m, Member (Embed IO) r) => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (m, a)
+ IncipitCore: outputToIOMonoid :: forall o m (r :: EffectRow) a. (Monoid m, Member (Embed IO) r) => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (m, a)
- IncipitCore: outputToIOMonoidAssocR :: forall o m (r :: EffectRow) a. (Monoid m, Member (Embed IO) r) => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (m, a)
+ IncipitCore: outputToIOMonoidAssocR :: forall o m (r :: EffectRow) a. (Monoid m, Member (Embed IO) r) => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (m, a)
- IncipitCore: outputToWriter :: forall o (r :: EffectRow) a. Member (Writer o) r => Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: outputToWriter :: forall o (r :: EffectRow) a. Member (Writer o) r => Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: raise :: forall (e :: Effect) (r :: EffectRow) a. Sem r a -> Sem (e : r) a
+ IncipitCore: raise :: forall (e :: Effect) (r :: EffectRow) a. Sem r a -> Sem (e ': r) a
- IncipitCore: raise2Under :: forall (e3 :: Effect) (e1 :: Effect) (e2 :: Effect) (r :: [Effect]) a. Sem (e1 : (e2 : r)) a -> Sem (e1 : (e2 : (e3 : r))) a
+ IncipitCore: raise2Under :: forall (e3 :: Effect) (e1 :: Effect) (e2 :: Effect) (r :: [Effect]) a. Sem (e1 ': (e2 ': r)) a -> Sem (e1 ': (e2 ': (e3 ': r))) a
- IncipitCore: 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
+ IncipitCore: 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
- IncipitCore: raiseUnder :: forall (e2 :: Effect) (e1 :: Effect) (r :: [Effect]) a. Sem (e1 : r) a -> Sem (e1 : (e2 : r)) a
+ IncipitCore: raiseUnder :: forall (e2 :: Effect) (e1 :: Effect) (r :: [Effect]) a. Sem (e1 ': r) a -> Sem (e1 ': (e2 ': r)) a
- IncipitCore: raiseUnder2 :: forall (e2 :: Effect) (e3 :: Effect) (e1 :: Effect) (r :: [Effect]) a. Sem (e1 : r) a -> Sem (e1 : (e2 : (e3 : r))) a
+ IncipitCore: raiseUnder2 :: forall (e2 :: Effect) (e3 :: Effect) (e1 :: Effect) (r :: [Effect]) a. Sem (e1 ': r) a -> Sem (e1 ': (e2 ': (e3 ': r))) a
- IncipitCore: raiseUnder3 :: forall (e2 :: Effect) (e3 :: Effect) (e4 :: Effect) (e1 :: Effect) (r :: [Effect]) a. Sem (e1 : r) a -> Sem (e1 : (e2 : (e3 : (e4 : r)))) a
+ IncipitCore: raiseUnder3 :: forall (e2 :: Effect) (e3 :: Effect) (e4 :: Effect) (e1 :: Effect) (r :: [Effect]) a. Sem (e1 ': r) a -> Sem (e1 ': (e2 ': (e3 ': (e4 ': r)))) a
- IncipitCore: 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
+ IncipitCore: 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
- IncipitCore: 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
+ IncipitCore: 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
- IncipitCore: 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
+ IncipitCore: 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
- IncipitCore: 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
+ IncipitCore: 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
- IncipitCore: 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
+ IncipitCore: 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
- IncipitCore: 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
+ IncipitCore: 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
- IncipitCore: resourceToIOFinal :: forall (r :: EffectRow) a. Member (Final IO) r => Sem (Resource : r) a -> Sem r a
+ IncipitCore: resourceToIOFinal :: forall (r :: EffectRow) a. Member (Final IO) r => Sem (Resource ': r) a -> Sem r a
- IncipitCore: retag :: forall {k1} {k2} (k3 :: k1) (k4 :: k2) (e :: (Type -> Type) -> Type -> Type) (r :: EffectRow) a. Member (Tagged k4 e) r => Sem (Tagged k3 e : r) a -> Sem r a
+ IncipitCore: retag :: forall {k1} {k2} (k3 :: k1) (k4 :: k2) (e :: (Type -> Type) -> Type -> Type) (r :: EffectRow) a. Member (Tagged k4 e) r => Sem (Tagged k3 e ': r) a -> Sem r a
- IncipitCore: 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
+ IncipitCore: 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
- IncipitCore: runAtomicStateIORef :: forall s (r :: EffectRow) a. Member (Embed IO) r => IORef s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: runAtomicStateIORef :: forall s (r :: EffectRow) a. Member (Embed IO) r => IORef s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: runAtomicStateTVar :: forall (r :: EffectRow) s a. Member (Embed IO) r => TVar s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: runAtomicStateTVar :: forall (r :: EffectRow) s a. Member (Embed IO) r => TVar s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: runAtomicStateViaState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (s, a)
+ IncipitCore: runAtomicStateViaState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((AtomicState s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (s, a)
- IncipitCore: runError :: forall e (r :: [(Type -> Type) -> Type -> Type]) a. Sem ((Error e :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (Either e a)
+ IncipitCore: runError :: forall e (r :: [(Type -> Type) -> Type -> Type]) a. Sem ((Error e :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (Either e a)
- IncipitCore: runFail :: forall (r :: [(Type -> Type) -> Type -> TYPE LiftedRep]) a. Sem ((Fail :: (Type -> Type) -> Type -> TYPE LiftedRep) : r) a -> Sem r (Either String a)
+ IncipitCore: runFail :: forall (r :: [(Type -> Type) -> Type -> Type]) a. Sem ((Fail :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (Either String a)
- IncipitCore: runInputConst :: forall i (r :: [(Type -> Type) -> TYPE LiftedRep -> Type]) a. i -> Sem ((Input i :: (Type -> Type) -> TYPE LiftedRep -> Type) : r) a -> Sem r a
+ IncipitCore: runInputConst :: forall i (r :: [(Type -> Type) -> Type -> Type]) a. i -> Sem ((Input i :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: runInputList :: forall i (r :: [(Type -> Type) -> Type -> Type]) a. [i] -> Sem ((Input (Maybe i) :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: runInputList :: forall i (r :: [(Type -> Type) -> Type -> Type]) a. [i] -> Sem ((Input (Maybe i) :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: runInputSem :: forall i (r :: EffectRow) a. Sem r i -> Sem ((Input i :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: runInputSem :: forall i (r :: EffectRow) a. Sem r i -> Sem ((Input i :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: runLazyOutputList :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r ([o], a)
+ IncipitCore: runLazyOutputList :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r ([o], a)
- IncipitCore: runLazyOutputMonoid :: forall o m (r :: [(Type -> Type) -> Type -> Type]) a. Monoid m => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (m, a)
+ IncipitCore: runLazyOutputMonoid :: forall o m (r :: [(Type -> Type) -> Type -> Type]) a. Monoid m => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (m, a)
- IncipitCore: runLazyOutputMonoidAssocR :: forall o m (r :: [(Type -> Type) -> Type -> Type]) a. Monoid m => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (m, a)
+ IncipitCore: runLazyOutputMonoidAssocR :: forall o m (r :: [(Type -> Type) -> Type -> Type]) a. Monoid m => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (m, a)
- IncipitCore: runLazyState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (s, a)
+ IncipitCore: runLazyState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (s, a)
- IncipitCore: runLazyWriter :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Monoid o => Sem (Writer o : r) a -> Sem r (o, a)
+ IncipitCore: runLazyWriter :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Monoid o => Sem (Writer o ': r) a -> Sem r (o, a)
- IncipitCore: runLazyWriterAssocR :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Monoid o => Sem (Writer o : r) a -> Sem r (o, a)
+ IncipitCore: runLazyWriterAssocR :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Monoid o => Sem (Writer o ': r) a -> Sem r (o, a)
- IncipitCore: runOutputBatched :: forall o (r :: EffectRow) a. Member (Output [o] :: (Type -> Type) -> Type -> Type) r => Int -> Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: runOutputBatched :: forall o (r :: EffectRow) a. Member (Output [o] :: (Type -> Type) -> Type -> Type) r => Int -> Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: runOutputList :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r ([o], a)
+ IncipitCore: runOutputList :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r ([o], a)
- IncipitCore: runOutputMonoid :: forall o m (r :: [(Type -> Type) -> Type -> Type]) a. Monoid m => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (m, a)
+ IncipitCore: runOutputMonoid :: forall o m (r :: [(Type -> Type) -> Type -> Type]) a. Monoid m => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (m, a)
- IncipitCore: runOutputMonoidAssocR :: forall o m (r :: [(Type -> Type) -> Type -> Type]) a. Monoid m => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (m, a)
+ IncipitCore: runOutputMonoidAssocR :: forall o m (r :: [(Type -> Type) -> Type -> Type]) a. Monoid m => (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (m, a)
- IncipitCore: runOutputMonoidIORef :: forall o m (r :: EffectRow) a. (Monoid m, Member (Embed IO) r) => IORef m -> (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: runOutputMonoidIORef :: forall o m (r :: EffectRow) a. (Monoid m, Member (Embed IO) r) => IORef m -> (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: runOutputMonoidTVar :: forall o m (r :: EffectRow) a. (Monoid m, Member (Embed IO) r) => TVar m -> (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: runOutputMonoidTVar :: forall o m (r :: EffectRow) a. (Monoid m, Member (Embed IO) r) => TVar m -> (o -> m) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: runOutputSem :: forall o (r :: EffectRow) a. (o -> Sem r ()) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: runOutputSem :: forall o (r :: EffectRow) a. (o -> Sem r ()) -> Sem ((Output o :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: runReader :: forall i (r :: [(Type -> Type) -> Type -> Type]) a. i -> Sem (Reader i : r) a -> Sem r a
+ IncipitCore: runReader :: forall i (r :: [(Type -> Type) -> Type -> Type]) a. i -> Sem (Reader i ': r) a -> Sem r a
- IncipitCore: runResource :: forall (r :: [(Type -> Type) -> Type -> Type]) a. Sem (Resource : r) a -> Sem r a
+ IncipitCore: runResource :: forall (r :: [(Type -> Type) -> Type -> Type]) a. Sem (Resource ': r) a -> Sem r a
- IncipitCore: runState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (s, a)
+ IncipitCore: runState :: forall s (r :: [(Type -> Type) -> Type -> Type]) a. s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (s, a)
- IncipitCore: runStateIORef :: forall s (r :: EffectRow) a. Member (Embed IO) r => IORef s -> Sem ((State s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: runStateIORef :: forall s (r :: EffectRow) a. Member (Embed IO) r => IORef s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: runStateSTRef :: forall s st (r :: EffectRow) a. Member (Embed (ST st)) r => STRef st s -> Sem ((State s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r a
+ IncipitCore: runStateSTRef :: forall s st (r :: EffectRow) a. Member (Embed (ST st)) r => STRef st s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a
- IncipitCore: runT :: forall m a (e :: Effect) f (r :: [Effect]). m a -> Sem (WithTactics e f m r) (Sem (e : r) (f a))
+ IncipitCore: runT :: forall m a (e :: Effect) f (r :: [Effect]). m a -> Sem (WithTactics e f m r) (Sem (e ': r) (f a))
- IncipitCore: runWriter :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Monoid o => Sem (Writer o : r) a -> Sem r (o, a)
+ IncipitCore: runWriter :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Monoid o => Sem (Writer o ': r) a -> Sem r (o, a)
- IncipitCore: runWriterAssocR :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Monoid o => Sem (Writer o : r) a -> Sem r (o, a)
+ IncipitCore: runWriterAssocR :: forall o (r :: [(Type -> Type) -> Type -> Type]) a. Monoid o => Sem (Writer o ': r) a -> Sem r (o, a)
- IncipitCore: runWriterTVar :: forall o (r :: EffectRow) a. (Monoid o, Member (Final IO) r) => TVar o -> Sem (Writer o : r) a -> Sem r a
+ IncipitCore: runWriterTVar :: forall o (r :: EffectRow) a. (Monoid o, Member (Final IO) r) => TVar o -> Sem (Writer o ': r) a -> Sem r a
- IncipitCore: stateToIO :: forall s (r :: EffectRow) a. Member (Embed IO) r => s -> Sem ((State s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (s, a)
+ IncipitCore: stateToIO :: forall s (r :: EffectRow) a. Member (Embed IO) r => s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (s, a)
- IncipitCore: stateToST :: forall s st (r :: EffectRow) a. Member (Embed (ST st)) r => s -> Sem ((State s :: (Type -> Type) -> Type -> Type) : r) a -> Sem r (s, a)
+ IncipitCore: stateToST :: forall s st (r :: EffectRow) a. Member (Embed (ST st)) r => s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r (s, a)
- IncipitCore: subsume :: forall (e :: Effect) (r :: EffectRow) a. Member e r => Sem (e : r) a -> Sem r a
+ IncipitCore: subsume :: forall (e :: Effect) (r :: EffectRow) a. Member e r => Sem (e ': r) a -> Sem r a
- IncipitCore: tag :: forall {k1} (k2 :: k1) (e :: (Type -> Type) -> Type -> Type) (r :: EffectRow) a. Member (Tagged k2 e) r => Sem (e : r) a -> Sem r a
+ IncipitCore: tag :: forall {k1} (k2 :: k1) (e :: (Type -> Type) -> Type -> Type) (r :: EffectRow) a. Member (Tagged k2 e) r => Sem (e ': r) a -> Sem r a
- IncipitCore: tagged :: forall {k1} (k2 :: k1) (e :: Effect) (r :: [Effect]) a. Sem (e : r) a -> Sem (Tagged k2 e : r) a
+ IncipitCore: tagged :: forall {k1} (k2 :: k1) (e :: Effect) (r :: [Effect]) a. Sem (e ': r) a -> Sem (Tagged k2 e ': r) a
- IncipitCore: transform :: forall e1 e2 (r :: EffectRow) a. Member e2 r => (forall (rInitial :: EffectRow) x. () => e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 : r) a -> Sem r a
+ IncipitCore: transform :: forall e1 e2 (r :: EffectRow) a. Member e2 r => (forall (rInitial :: EffectRow) x. () => e1 (Sem rInitial) x -> e2 (Sem rInitial) x) -> Sem (e1 ': r) a -> Sem r a
- IncipitCore: type InterpretersFor (es :: [Effect]) (r :: [Effect]) = forall a. () => Sem Append es r a -> Sem r a
+ IncipitCore: type InterpreterFor (e :: Effect) (r :: [Effect]) = forall a. () => Sem e ': r a -> Sem r a
- IncipitCore: type WithTactics (e :: Effect) (f :: Type -> TYPE LiftedRep) (m :: Type -> Type) (r :: [Effect]) = Tactics f m e : r :: Type -> Type -> TYPE LiftedRep -> Type : r
+ IncipitCore: type WithTactics (e :: Effect) (f :: Type -> Type) (m :: Type -> Type) (r :: [Effect]) = Tactics f m e ': r :: Type -> Type -> Type -> Type ': r
- IncipitCore: untag :: forall {k1} (k2 :: k1) (e :: (Type -> Type) -> Type -> Type) (r :: [(Type -> Type) -> Type -> Type]) a. Sem (Tagged k2 e : r) a -> Sem (e : r) a
+ IncipitCore: untag :: forall {k1} (k2 :: k1) (e :: (Type -> Type) -> Type -> Type) (r :: [(Type -> Type) -> Type -> Type]) a. Sem (Tagged k2 e ': r) a -> Sem (e ': r) a
- IncipitCore: writerToEndoWriter :: forall o (r :: EffectRow) a. (Monoid o, Member (Writer (Endo o)) r) => Sem (Writer o : r) a -> Sem r a
+ IncipitCore: writerToEndoWriter :: forall o (r :: EffectRow) a. (Monoid o, Member (Writer (Endo o)) r) => Sem (Writer o ': r) a -> Sem r a
- IncipitCore: writerToIOAssocRFinal :: forall o (r :: EffectRow) a. (Monoid o, Member (Final IO) r) => Sem (Writer o : r) a -> Sem r (o, a)
+ IncipitCore: writerToIOAssocRFinal :: forall o (r :: EffectRow) a. (Monoid o, Member (Final IO) r) => Sem (Writer o ': r) a -> Sem r (o, a)
- IncipitCore: writerToIOFinal :: forall o (r :: EffectRow) a. (Monoid o, Member (Final IO) r) => Sem (Writer o : r) a -> Sem r (o, a)
+ IncipitCore: writerToIOFinal :: forall o (r :: EffectRow) a. (Monoid o, Member (Final IO) r) => Sem (Writer o ': r) a -> Sem r (o, a)
Files
- changelog.md +1/−1
- incipit-core.cabal +10/−36
changelog.md view
@@ -1,4 +1,4 @@-# Unreleased+# 0.6.0.0 # 0.4.1.0
incipit-core.cabal view
@@ -1,11 +1,11 @@ cabal-version: 2.2 --- This file has been generated from package.yaml by hpack version 0.35.0.+-- This file has been generated from package.yaml by hpack version 0.35.2. -- -- see: https://github.com/sol/hpack name: incipit-core-version: 0.5.1.0+version: 0.6.0.0 synopsis: A Prelude for Polysemy description: See https://hackage.haskell.org/package/incipit-core/docs/IncipitCore.html category: Prelude@@ -62,6 +62,7 @@ hs-source-dirs: lib default-extensions:+ NoImplicitPrelude AllowAmbiguousTypes ApplicativeDo BlockArguments@@ -76,6 +77,7 @@ GADTs LambdaCase LiberalTypeSynonyms+ MonadComprehensions MultiWayIf OverloadedLabels OverloadedLists@@ -94,39 +96,11 @@ UndecidableInstances UnicodeSyntax ViewPatterns- BangPatterns- BinaryLiterals- ConstraintKinds- DeriveDataTypeable- DeriveFoldable- DeriveFunctor- DeriveGeneric- DeriveLift- DeriveTraversable- DoAndIfThenElse- EmptyCase- EmptyDataDecls- ExistentialQuantification- FlexibleContexts- FlexibleInstances- GeneralizedNewtypeDeriving- InstanceSigs- KindSignatures- MultiParamTypeClasses- NamedFieldPuns- PatternGuards- PolyKinds- RankNTypes- ScopedTypeVariables- StandaloneDeriving- TupleSections- TypeApplications- TypeOperators- TypeSynonymInstances- NoImplicitPrelude+ OverloadedRecordDot+ NoFieldSelectors ghc-options: -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages build-depends:- base >=4.13 && <4.19- , incipit-base ==0.5.1.0- , polysemy >=1.6 && <2- default-language: Haskell2010+ base >=4.13 && <4.20+ , incipit-base ==0.6.0.0+ , polysemy >=1.6 && <1.10+ default-language: GHC2021