heftia-effects 0.6.0.0 → 0.6.0.1
raw patch · 2 files changed
+7/−7 lines, 2 filesdep ~containersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: containers
API changes (from Hackage documentation)
- Control.Monad.Hefty.CC: evalCC :: forall (es :: [Effect]) a. FOEs es => Eff (CC (Op (Eff es a)) ': es) a -> Eff es a
+ Control.Monad.Hefty.CC: evalCC :: FOEs es => Eff (CC (Op (Eff es a)) ': es) a -> Eff es a
- Control.Monad.Hefty.CC: handleCC :: forall g ans (f :: Type -> Type) x. CC (Op (g ans)) f x -> (x -> g ans) -> g ans
+ Control.Monad.Hefty.CC: handleCC :: AlgHandler (CC (Op (g ans))) f g ans
- Control.Monad.Hefty.CC: runCC :: forall (es :: [Effect]) a ans. FOEs es => (a -> Eff es ans) -> Eff (CC (Op (Eff es ans)) ': es) a -> Eff es ans
+ Control.Monad.Hefty.CC: runCC :: FOEs es => (a -> Eff es ans) -> Eff (CC (Op (Eff es ans)) ': es) a -> Eff es ans
- Control.Monad.Hefty.Concurrent.Parallel: polling :: forall (es :: [Effect]) a b. (Poll :> es, WeakenHOEs es) => Eff es a -> Eff (Input (Maybe a) ': RemoveHOEs es) b -> Eff es b
+ Control.Monad.Hefty.Concurrent.Parallel: polling :: (Poll :> es, WeakenHOEs es) => Eff es a -> Eff (Input (Maybe a) ': RemoveHOEs es) b -> Eff es b
- Control.Monad.Hefty.Concurrent.Stream: Machine :: f (MachineStatus f ans i o) -> Machine (f :: Type -> Type) ans i o
+ Control.Monad.Hefty.Concurrent.Stream: Machine :: f (MachineStatus f ans i o) -> Machine f ans i o
- Control.Monad.Hefty.Concurrent.Stream: MachineryIO :: Machinery es ans i o -> MachineryIO (es :: [(Type -> Type) -> Type -> Type]) ans i o
+ Control.Monad.Hefty.Concurrent.Stream: MachineryIO :: Machinery es ans i o -> MachineryIO es ans i o
- Control.Monad.Hefty.Concurrent.Stream: Produced :: o -> Machine f ans i o -> MachineStatus (f :: Type -> Type) ans i o
+ Control.Monad.Hefty.Concurrent.Stream: Produced :: o -> Machine f ans i o -> MachineStatus f ans i o
- Control.Monad.Hefty.Concurrent.Stream: Terminated :: ans -> MachineStatus (f :: Type -> Type) ans i o
+ Control.Monad.Hefty.Concurrent.Stream: Terminated :: ans -> MachineStatus f ans i o
- Control.Monad.Hefty.Concurrent.Stream: Waiting :: (i -> Machine f ans i o) -> MachineStatus (f :: Type -> Type) ans i o
+ Control.Monad.Hefty.Concurrent.Stream: Waiting :: (i -> Machine f ans i o) -> MachineStatus f ans i o
- Control.Monad.Hefty.Concurrent.Stream: [Connect] :: forall i b o ans (es :: [(Type -> Type) -> Type -> Type]). Machinery es ans i b -> Machinery es ans b o -> Machinery es ans i o
+ Control.Monad.Hefty.Concurrent.Stream: [Connect] :: forall a b c ans es. Machinery es ans a b -> Machinery es ans b c -> Machinery es ans a c
- Control.Monad.Hefty.Concurrent.Stream: [MCons] :: forall i b o ans (es :: [(Type -> Type) -> Type -> Type]). Eff (Input i ': (Output b ': es)) ans -> Machinery es ans b o -> MachineryViewL es ans i o
+ Control.Monad.Hefty.Concurrent.Stream: [MCons] :: forall a b c ans es. Eff (Input a ': (Output b ': es)) ans -> Machinery es ans b c -> MachineryViewL es ans a c
- Control.Monad.Hefty.Concurrent.Stream: [MOne] :: forall i o ans (es :: [(Type -> Type) -> Type -> Type]). Eff (Input i ': (Output o ': es)) ans -> MachineryViewL es ans i o
+ Control.Monad.Hefty.Concurrent.Stream: [MOne] :: forall i o ans es. Eff (Input i ': (Output o ': es)) ans -> MachineryViewL es ans i o
- Control.Monad.Hefty.Concurrent.Stream: [Unit] :: forall i o ans (es :: [(Type -> Type) -> Type -> Type]). Eff (Input i ': (Output o ': es)) ans -> Machinery es ans i o
+ Control.Monad.Hefty.Concurrent.Stream: [Unit] :: forall i o ans es. Eff (Input i ': (Output o ': es)) ans -> Machinery es ans i o
- Control.Monad.Hefty.Concurrent.Stream: [runMachine] :: Machine (f :: Type -> Type) ans i o -> f (MachineStatus f ans i o)
+ Control.Monad.Hefty.Concurrent.Stream: [runMachine] :: Machine f ans i o -> f (MachineStatus f ans i o)
- Control.Monad.Hefty.Concurrent.Stream: [unMachineryIO] :: MachineryIO (es :: [(Type -> Type) -> Type -> Type]) ans i o -> Machinery es ans i o
+ Control.Monad.Hefty.Concurrent.Stream: [unMachineryIO] :: MachineryIO es ans i o -> Machinery es ans i o
- Control.Monad.Hefty.Concurrent.Stream: buffering :: forall b c d ans (es :: [(Type -> Type) -> Type -> Type]). Eff (Input b ': (Output c ': es)) ans -> Eff (State (Either (Seq c) d) ': (Input (b, d) ': (Output (c, d) ': es))) ans
+ Control.Monad.Hefty.Concurrent.Stream: buffering :: forall b c d ans es. Eff (Input b ': (Output c ': es)) ans -> Eff (State (Either (Seq c) d) ': (Input (b, d) ': (Output (c, d) ': es))) ans
- Control.Monad.Hefty.Concurrent.Stream: data MachineStatus (f :: Type -> Type) ans i o
+ Control.Monad.Hefty.Concurrent.Stream: data MachineStatus f ans i o
- Control.Monad.Hefty.Concurrent.Stream: data Machinery (es :: [Type -> Type -> Type -> Type]) ans i o
+ Control.Monad.Hefty.Concurrent.Stream: data Machinery es ans i o
- Control.Monad.Hefty.Concurrent.Stream: data MachineryViewL (es :: [Type -> Type -> Type -> Type]) ans i o
+ Control.Monad.Hefty.Concurrent.Stream: data MachineryViewL es ans i o
- Control.Monad.Hefty.Concurrent.Stream: leftMachinery :: forall b c d ans (es :: [(Type -> Type) -> Type -> Type]). Machinery es ans b c -> Machinery es ans (Either b d) (Either c d)
+ Control.Monad.Hefty.Concurrent.Stream: leftMachinery :: forall b c d ans es. Machinery es ans b c -> Machinery es ans (Either b d) (Either c d)
- Control.Monad.Hefty.Concurrent.Stream: machine :: forall (es :: [Effect]) i o ans. WeakenHOEs es => Eff (Input i ': (Output o ': RemoveHOEs es)) ans -> Machine (Eff es) ans i o
+ Control.Monad.Hefty.Concurrent.Stream: machine :: WeakenHOEs es => Eff (Input i ': (Output o ': RemoveHOEs es)) ans -> Machine (Eff es) ans i o
- Control.Monad.Hefty.Concurrent.Stream: mviewl :: forall (es :: [(Type -> Type) -> Type -> Type]) ans i o. Machinery es ans i o -> MachineryViewL es ans i o
+ Control.Monad.Hefty.Concurrent.Stream: mviewl :: Machinery es ans i o -> MachineryViewL es ans i o
- Control.Monad.Hefty.Concurrent.Stream: newtype Machine (f :: Type -> Type) ans i o
+ Control.Monad.Hefty.Concurrent.Stream: newtype Machine f ans i o
- Control.Monad.Hefty.Concurrent.Stream: newtype MachineryIO (es :: [Type -> Type -> Type -> Type]) ans i o
+ Control.Monad.Hefty.Concurrent.Stream: newtype MachineryIO es ans i o
- Control.Monad.Hefty.Concurrent.Stream: runMachinery :: forall i o ans (es :: [Effect]). (Parallel :> es, Semigroup ans, WeakenHOEs es) => Machinery (RemoveHOEs es) ans i o -> Eff es (MachineStatus (Eff es) ans i o)
+ Control.Monad.Hefty.Concurrent.Stream: runMachinery :: forall i o ans es. (Parallel :> es, Semigroup ans, WeakenHOEs es) => Machinery (RemoveHOEs es) ans i o -> Eff es (MachineStatus (Eff es) ans i o)
- Control.Monad.Hefty.Concurrent.Stream: runMachineryIO :: forall i o ans (es :: [Effect]). (UnliftIO :> es, Emb IO :> es) => Eff es i -> (o -> Eff es ()) -> Machinery es ans i o -> Eff es ans
+ Control.Monad.Hefty.Concurrent.Stream: runMachineryIO :: forall i o ans es. (UnliftIO :> es, Emb IO :> es) => Eff es i -> (o -> Eff es ()) -> Machinery es ans i o -> Eff es ans
- Control.Monad.Hefty.Concurrent.Stream: runMachineryIOL :: forall i o ans (es :: [Effect]). (UnliftIO :> es, Emb IO :> es) => Eff es i -> (o -> Eff es ()) -> MachineryViewL es ans i o -> Eff es ans
+ Control.Monad.Hefty.Concurrent.Stream: runMachineryIOL :: forall i o ans es. (UnliftIO :> es, Emb IO :> es) => Eff es i -> (o -> Eff es ()) -> MachineryViewL es ans i o -> Eff es ans
- Control.Monad.Hefty.Concurrent.Stream: runMachineryIO_ :: forall ans (es :: [Effect]). (UnliftIO :> es, Emb IO :> es) => Machinery es ans () () -> Eff es ans
+ Control.Monad.Hefty.Concurrent.Stream: runMachineryIO_ :: forall ans es. (UnliftIO :> es, Emb IO :> es) => Machinery es ans () () -> Eff es ans
- Control.Monad.Hefty.Concurrent.Stream: runMachineryL :: forall i o ans (es :: [Effect]). (Parallel :> es, Semigroup ans, WeakenHOEs es) => MachineryViewL (RemoveHOEs es) ans i o -> Eff es (MachineStatus (Eff es) ans i o)
+ Control.Monad.Hefty.Concurrent.Stream: runMachineryL :: forall i o ans es. (Parallel :> es, Semigroup ans, WeakenHOEs es) => MachineryViewL (RemoveHOEs es) ans i o -> Eff es (MachineStatus (Eff es) ans i o)
- Control.Monad.Hefty.Concurrent.Subprocess: [CreateProcess] :: forall (i :: StreamMode) (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle). CmdSpec -> StdStream i -> StdStream o -> StdStream e -> LifecycleMode lp -> LifecycleMode ls -> Maybe FilePath -> Maybe [(String, String)] -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Maybe GroupID -> Maybe UserID -> Bool -> CreateProcess ('SubprocMode i o e lp ls)
+ Control.Monad.Hefty.Concurrent.Subprocess: [CreateProcess] :: CmdSpec -> StdStream i -> StdStream o -> StdStream e -> LifecycleMode lp -> LifecycleMode ls -> Maybe FilePath -> Maybe [(String, String)] -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Maybe GroupID -> Maybe UserID -> Bool -> CreateProcess ('SubprocMode i o e lp ls)
- Control.Monad.Hefty.Concurrent.Subprocess: [PollSubproc] :: forall (i :: StreamMode) (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (a :: Type -> Type). Subprocess ('SubprocMode i o e lp 'Wait) a (Maybe ExitCode)
+ Control.Monad.Hefty.Concurrent.Subprocess: [PollSubproc] :: Subprocess ('SubprocMode i o e lp 'Wait) f (Maybe ExitCode)
- Control.Monad.Hefty.Concurrent.Subprocess: [RaceResult] :: forall a (i :: StreamMode) (o :: StreamMode) (e :: StreamMode). Either ExitCode a -> SubprocResult ('SubprocMode i o e 'Kill 'Kill) a
+ Control.Monad.Hefty.Concurrent.Subprocess: [RaceResult] :: Either ExitCode a -> SubprocResult ('SubprocMode i o e 'Kill 'Kill) a
- Control.Monad.Hefty.Concurrent.Subprocess: [ReadStderr] :: forall (i :: StreamMode) (o :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) (a :: Type -> Type). Subprocess ('SubprocMode i o 'Piped lp ls) a ByteString
+ Control.Monad.Hefty.Concurrent.Subprocess: [ReadStderr] :: Subprocess ('SubprocMode i o 'Piped lp ls) f ByteString
- Control.Monad.Hefty.Concurrent.Subprocess: [ReadStdout] :: forall (i :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) (a :: Type -> Type). Subprocess ('SubprocMode i 'Piped e lp ls) a ByteString
+ Control.Monad.Hefty.Concurrent.Subprocess: [ReadStdout] :: Subprocess ('SubprocMode i 'Piped e lp ls) f ByteString
- Control.Monad.Hefty.Concurrent.Subprocess: [ScopeResult] :: forall a (i :: StreamMode) (o :: StreamMode) (e :: StreamMode). Maybe ExitCode -> a -> SubprocResult ('SubprocMode i o e 'Kill 'Wait) a
+ Control.Monad.Hefty.Concurrent.Subprocess: [ScopeResult] :: Maybe ExitCode -> a -> SubprocResult ('SubprocMode i o e 'Kill 'Wait) a
- Control.Monad.Hefty.Concurrent.Subprocess: [SubprocResult] :: forall a (i :: StreamMode) (o :: StreamMode) (e :: StreamMode). ExitCode -> Maybe a -> SubprocResult ('SubprocMode i o e 'Wait 'Kill) a
+ Control.Monad.Hefty.Concurrent.Subprocess: [SubprocResult] :: ExitCode -> Maybe a -> SubprocResult ('SubprocMode i o e 'Wait 'Kill) a
- Control.Monad.Hefty.Concurrent.Subprocess: [SubprocScopeResult] :: forall a (i :: StreamMode) (o :: StreamMode) (e :: StreamMode). ExitCode -> a -> SubprocResult ('SubprocMode i o e 'Wait 'Wait) a
+ Control.Monad.Hefty.Concurrent.Subprocess: [SubprocScopeResult] :: ExitCode -> a -> SubprocResult ('SubprocMode i o e 'Wait 'Wait) a
- Control.Monad.Hefty.Concurrent.Subprocess: [TryWriteStdin] :: forall (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) (a :: Type -> Type). ByteString -> Subprocess ('SubprocMode 'Piped o e lp ls) a Bool
+ Control.Monad.Hefty.Concurrent.Subprocess: [TryWriteStdin] :: ByteString -> Subprocess ('SubprocMode 'Piped o e lp ls) f Bool
- Control.Monad.Hefty.Concurrent.Subprocess: [WriteStdin] :: forall (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (a :: Type -> Type). ByteString -> Subprocess ('SubprocMode 'Piped o e lp 'Kill) a ()
+ Control.Monad.Hefty.Concurrent.Subprocess: [WriteStdin] :: ByteString -> Subprocess ('SubprocMode 'Piped o e lp 'Kill) f ()
- Control.Monad.Hefty.Concurrent.Subprocess: commandWith :: forall (i :: StreamMode) (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle). CmdSpec -> StdStream i -> StdStream o -> StdStream e -> LifecycleMode lp -> LifecycleMode ls -> CreateProcess ('SubprocMode i o e lp ls)
+ Control.Monad.Hefty.Concurrent.Subprocess: commandWith :: CmdSpec -> StdStream i -> StdStream o -> StdStream e -> LifecycleMode lp -> LifecycleMode ls -> CreateProcess ('SubprocMode i o e lp ls)
- Control.Monad.Hefty.Concurrent.Subprocess: data ByteString
+ Control.Monad.Hefty.Concurrent.Subprocess: data () => ByteString
- Control.Monad.Hefty.Concurrent.Subprocess: data CmdSpec
+ Control.Monad.Hefty.Concurrent.Subprocess: data () => CmdSpec
- Control.Monad.Hefty.Concurrent.Subprocess: data CreateProcess (p :: SubprocMode)
+ Control.Monad.Hefty.Concurrent.Subprocess: data CreateProcess p
- Control.Monad.Hefty.Concurrent.Subprocess: data ExitCode
+ Control.Monad.Hefty.Concurrent.Subprocess: data () => ExitCode
- Control.Monad.Hefty.Concurrent.Subprocess: data Handle
+ Control.Monad.Hefty.Concurrent.Subprocess: data () => Handle
- Control.Monad.Hefty.Concurrent.Subprocess: data LifecycleMode (t :: Lifecycle)
+ Control.Monad.Hefty.Concurrent.Subprocess: data LifecycleMode t
- Control.Monad.Hefty.Concurrent.Subprocess: data StdStream (s :: StreamMode)
+ Control.Monad.Hefty.Concurrent.Subprocess: data StdStream s
- Control.Monad.Hefty.Concurrent.Subprocess: data SubprocResult (p :: SubprocMode) a
+ Control.Monad.Hefty.Concurrent.Subprocess: data SubprocResult p a
- Control.Monad.Hefty.Concurrent.Subprocess: data Subprocess (p :: SubprocMode) (a :: Type -> Type) b
+ Control.Monad.Hefty.Concurrent.Subprocess: data Subprocess p :: Effect
- Control.Monad.Hefty.Concurrent.Subprocess: pollSubproc :: forall (i :: StreamMode) (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Subprocess ('SubprocMode i o e lp 'Wait) :> es) => f (Maybe ExitCode)
+ Control.Monad.Hefty.Concurrent.Subprocess: pollSubproc :: forall (i_X0 :: StreamMode) (o_X1 :: StreamMode) (e_X2 :: StreamMode) (lp_X3 :: Lifecycle) f_abCV es_acYa ff_acY9 c_acYb. (Free c_acYb ff_acY9, f_abCV ~ Eff ff_acY9 es_acYa, (:>) (Subprocess ('SubprocMode i_X0 o_X1 e_X2 lp_X3 'Wait)) es_acYa) => f_abCV (Maybe ExitCode)
- Control.Monad.Hefty.Concurrent.Subprocess: pollSubproc' :: forall {k} (key :: k) (i :: StreamMode) (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Has key (Subprocess ('SubprocMode i o e lp 'Wait)) es) => f (Maybe ExitCode)
+ Control.Monad.Hefty.Concurrent.Subprocess: pollSubproc' :: forall key_acYc (i_X0 :: StreamMode) (o_X1 :: StreamMode) (e_X2 :: StreamMode) (lp_X3 :: Lifecycle) f_abCV es_acYe ff_acYd c_acYf. (Free c_acYf ff_acYd, f_abCV ~ Eff ff_acYd es_acYe, Has key_acYc (Subprocess ('SubprocMode i_X0 o_X1 e_X2 lp_X3 'Wait)) es_acYe) => f_abCV (Maybe ExitCode)
- Control.Monad.Hefty.Concurrent.Subprocess: pollSubproc'' :: forall {k} (tag :: k) (i :: StreamMode) (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Tagged tag (Subprocess ('SubprocMode i o e lp 'Wait)) :> es) => f (Maybe ExitCode)
+ Control.Monad.Hefty.Concurrent.Subprocess: pollSubproc'' :: forall tag_acYg (i_X0 :: StreamMode) (o_X1 :: StreamMode) (e_X2 :: StreamMode) (lp_X3 :: Lifecycle) f_abCV es_acYi ff_acYh c_acYj. (Free c_acYj ff_acYh, f_abCV ~ Eff ff_acYh es_acYi, (:>) (Tagged tag_acYg (Subprocess ('SubprocMode i_X0 o_X1 e_X2 lp_X3 'Wait))) es_acYi) => f_abCV (Maybe ExitCode)
- Control.Monad.Hefty.Concurrent.Subprocess: pollSubproc'_ :: forall (i :: StreamMode) (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, In (Subprocess ('SubprocMode i o e lp 'Wait)) es) => f (Maybe ExitCode)
+ Control.Monad.Hefty.Concurrent.Subprocess: pollSubproc'_ :: forall (i_X0 :: StreamMode) (o_X1 :: StreamMode) (e_X2 :: StreamMode) (lp_X3 :: Lifecycle) f_abCV es_acYl ff_acYk c_acYm. (Free c_acYm ff_acYk, f_abCV ~ Eff ff_acYk es_acYl, In (Subprocess ('SubprocMode i_X0 o_X1 e_X2 lp_X3 'Wait)) es_acYl) => f_abCV (Maybe ExitCode)
- Control.Monad.Hefty.Concurrent.Subprocess: readStderr :: forall (i :: StreamMode) (o :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Subprocess ('SubprocMode i o 'Piped lp ls) :> es) => f ByteString
+ Control.Monad.Hefty.Concurrent.Subprocess: readStderr :: forall (i_X0 :: StreamMode) (o_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCQ es_acXW ff_acXV c_acXX. (Free c_acXX ff_acXV, f_abCQ ~ Eff ff_acXV es_acXW, (:>) (Subprocess ('SubprocMode i_X0 o_X1 'Piped lp_X2 ls_X3)) es_acXW) => f_abCQ ByteString
- Control.Monad.Hefty.Concurrent.Subprocess: readStderr' :: forall {k} (key :: k) (i :: StreamMode) (o :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Has key (Subprocess ('SubprocMode i o 'Piped lp ls)) es) => f ByteString
+ Control.Monad.Hefty.Concurrent.Subprocess: readStderr' :: forall key_acXY (i_X0 :: StreamMode) (o_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCQ es_acY0 ff_acXZ c_acY1. (Free c_acY1 ff_acXZ, f_abCQ ~ Eff ff_acXZ es_acY0, Has key_acXY (Subprocess ('SubprocMode i_X0 o_X1 'Piped lp_X2 ls_X3)) es_acY0) => f_abCQ ByteString
- Control.Monad.Hefty.Concurrent.Subprocess: readStderr'' :: forall {k} (tag :: k) (i :: StreamMode) (o :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Tagged tag (Subprocess ('SubprocMode i o 'Piped lp ls)) :> es) => f ByteString
+ Control.Monad.Hefty.Concurrent.Subprocess: readStderr'' :: forall tag_acY2 (i_X0 :: StreamMode) (o_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCQ es_acY4 ff_acY3 c_acY5. (Free c_acY5 ff_acY3, f_abCQ ~ Eff ff_acY3 es_acY4, (:>) (Tagged tag_acY2 (Subprocess ('SubprocMode i_X0 o_X1 'Piped lp_X2 ls_X3))) es_acY4) => f_abCQ ByteString
- Control.Monad.Hefty.Concurrent.Subprocess: readStderr'_ :: forall (i :: StreamMode) (o :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, In (Subprocess ('SubprocMode i o 'Piped lp ls)) es) => f ByteString
+ Control.Monad.Hefty.Concurrent.Subprocess: readStderr'_ :: forall (i_X0 :: StreamMode) (o_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCQ es_acY7 ff_acY6 c_acY8. (Free c_acY8 ff_acY6, f_abCQ ~ Eff ff_acY6 es_acY7, In (Subprocess ('SubprocMode i_X0 o_X1 'Piped lp_X2 ls_X3)) es_acY7) => f_abCQ ByteString
- Control.Monad.Hefty.Concurrent.Subprocess: readStdout :: forall (i :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Subprocess ('SubprocMode i 'Piped e lp ls) :> es) => f ByteString
+ Control.Monad.Hefty.Concurrent.Subprocess: readStdout :: forall (i_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCL es_acXI ff_acXH c_acXJ. (Free c_acXJ ff_acXH, f_abCL ~ Eff ff_acXH es_acXI, (:>) (Subprocess ('SubprocMode i_X0 'Piped e_X1 lp_X2 ls_X3)) es_acXI) => f_abCL ByteString
- Control.Monad.Hefty.Concurrent.Subprocess: readStdout' :: forall {k} (key :: k) (i :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Has key (Subprocess ('SubprocMode i 'Piped e lp ls)) es) => f ByteString
+ Control.Monad.Hefty.Concurrent.Subprocess: readStdout' :: forall key_acXK (i_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCL es_acXM ff_acXL c_acXN. (Free c_acXN ff_acXL, f_abCL ~ Eff ff_acXL es_acXM, Has key_acXK (Subprocess ('SubprocMode i_X0 'Piped e_X1 lp_X2 ls_X3)) es_acXM) => f_abCL ByteString
- Control.Monad.Hefty.Concurrent.Subprocess: readStdout'' :: forall {k} (tag :: k) (i :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Tagged tag (Subprocess ('SubprocMode i 'Piped e lp ls)) :> es) => f ByteString
+ Control.Monad.Hefty.Concurrent.Subprocess: readStdout'' :: forall tag_acXO (i_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCL es_acXQ ff_acXP c_acXR. (Free c_acXR ff_acXP, f_abCL ~ Eff ff_acXP es_acXQ, (:>) (Tagged tag_acXO (Subprocess ('SubprocMode i_X0 'Piped e_X1 lp_X2 ls_X3))) es_acXQ) => f_abCL ByteString
- Control.Monad.Hefty.Concurrent.Subprocess: readStdout'_ :: forall (i :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, In (Subprocess ('SubprocMode i 'Piped e lp ls)) es) => f ByteString
+ Control.Monad.Hefty.Concurrent.Subprocess: readStdout'_ :: forall (i_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCL es_acXT ff_acXS c_acXU. (Free c_acXU ff_acXS, f_abCL ~ Eff ff_acXS es_acXT, In (Subprocess ('SubprocMode i_X0 'Piped e_X1 lp_X2 ls_X3)) es_acXT) => f_abCL ByteString
- Control.Monad.Hefty.Concurrent.Subprocess: runSubprocIO :: forall (es :: [Effect]) a. (UnliftIO :> es, Emb IO :> es) => Eff (SubprocProvider es ': es) a -> Eff es a
+ Control.Monad.Hefty.Concurrent.Subprocess: runSubprocIO :: (UnliftIO :> es, Emb IO :> es) => Eff (SubprocProvider es ': es) a -> Eff es a
- Control.Monad.Hefty.Concurrent.Subprocess: toRawCreateProcess :: forall (stdio :: SubprocMode). CreateProcess stdio -> CreateProcess
+ Control.Monad.Hefty.Concurrent.Subprocess: toRawCreateProcess :: CreateProcess stdio -> CreateProcess
- Control.Monad.Hefty.Concurrent.Subprocess: toRawStdStream :: forall (pipe :: StreamMode). StdStream pipe -> StdStream
+ Control.Monad.Hefty.Concurrent.Subprocess: toRawStdStream :: StdStream pipe -> StdStream
- Control.Monad.Hefty.Concurrent.Subprocess: tryWriteStdin :: forall (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Subprocess ('SubprocMode 'Piped o e lp ls) :> es) => ByteString -> f Bool
+ Control.Monad.Hefty.Concurrent.Subprocess: tryWriteStdin :: forall (o_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCG es_acXq ff_acXp c_acXr. (Free c_acXr ff_acXp, f_abCG ~ Eff ff_acXp es_acXq, (:>) (Subprocess ('SubprocMode 'Piped o_X0 e_X1 lp_X2 ls_X3)) es_acXq) => ByteString -> f_abCG Bool
- Control.Monad.Hefty.Concurrent.Subprocess: tryWriteStdin' :: forall {k} (key :: k) (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Has key (Subprocess ('SubprocMode 'Piped o e lp ls)) es) => ByteString -> f Bool
+ Control.Monad.Hefty.Concurrent.Subprocess: tryWriteStdin' :: forall key_acXt (o_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCG es_acXv ff_acXu c_acXw. (Free c_acXw ff_acXu, f_abCG ~ Eff ff_acXu es_acXv, Has key_acXt (Subprocess ('SubprocMode 'Piped o_X0 e_X1 lp_X2 ls_X3)) es_acXv) => ByteString -> f_abCG Bool
- Control.Monad.Hefty.Concurrent.Subprocess: tryWriteStdin'' :: forall {k} (tag :: k) (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Tagged tag (Subprocess ('SubprocMode 'Piped o e lp ls)) :> es) => ByteString -> f Bool
+ Control.Monad.Hefty.Concurrent.Subprocess: tryWriteStdin'' :: forall tag_acXy (o_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCG es_acXA ff_acXz c_acXB. (Free c_acXB ff_acXz, f_abCG ~ Eff ff_acXz es_acXA, (:>) (Tagged tag_acXy (Subprocess ('SubprocMode 'Piped o_X0 e_X1 lp_X2 ls_X3))) es_acXA) => ByteString -> f_abCG Bool
- Control.Monad.Hefty.Concurrent.Subprocess: tryWriteStdin'_ :: forall (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) (ls :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, In (Subprocess ('SubprocMode 'Piped o e lp ls)) es) => ByteString -> f Bool
+ Control.Monad.Hefty.Concurrent.Subprocess: tryWriteStdin'_ :: forall (o_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) (ls_X3 :: Lifecycle) f_abCG es_acXE ff_acXD c_acXF. (Free c_acXF ff_acXD, f_abCG ~ Eff ff_acXD es_acXE, In (Subprocess ('SubprocMode 'Piped o_X0 e_X1 lp_X2 ls_X3)) es_acXE) => ByteString -> f_abCG Bool
- Control.Monad.Hefty.Concurrent.Subprocess: type SubprocProvider (es :: [Effect]) = Scoped Freer SubprocResult CreateProcess '[Subprocess] es
+ Control.Monad.Hefty.Concurrent.Subprocess: type SubprocProvider es = Scoped Freer SubprocResult CreateProcess '[Subprocess] es
- Control.Monad.Hefty.Concurrent.Subprocess: writeStdin :: forall (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Subprocess ('SubprocMode 'Piped o e lp 'Kill) :> es) => ByteString -> f ()
+ Control.Monad.Hefty.Concurrent.Subprocess: writeStdin :: forall (o_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) f_abAE es_acX8 ff_acX7 c_acX9. (Free c_acX9 ff_acX7, f_abAE ~ Eff ff_acX7 es_acX8, (:>) (Subprocess ('SubprocMode 'Piped o_X0 e_X1 lp_X2 'Kill)) es_acX8) => ByteString -> f_abAE ()
- Control.Monad.Hefty.Concurrent.Subprocess: writeStdin' :: forall {k} (key :: k) (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Has key (Subprocess ('SubprocMode 'Piped o e lp 'Kill)) es) => ByteString -> f ()
+ Control.Monad.Hefty.Concurrent.Subprocess: writeStdin' :: forall key_acXb (o_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) f_abAE es_acXd ff_acXc c_acXe. (Free c_acXe ff_acXc, f_abAE ~ Eff ff_acXc es_acXd, Has key_acXb (Subprocess ('SubprocMode 'Piped o_X0 e_X1 lp_X2 'Kill)) es_acXd) => ByteString -> f_abAE ()
- Control.Monad.Hefty.Concurrent.Subprocess: writeStdin'' :: forall {k} (tag :: k) (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, Tagged tag (Subprocess ('SubprocMode 'Piped o e lp 'Kill)) :> es) => ByteString -> f ()
+ Control.Monad.Hefty.Concurrent.Subprocess: writeStdin'' :: forall tag_acXg (o_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) f_abAE es_acXi ff_acXh c_acXj. (Free c_acXj ff_acXh, f_abAE ~ Eff ff_acXh es_acXi, (:>) (Tagged tag_acXg (Subprocess ('SubprocMode 'Piped o_X0 e_X1 lp_X2 'Kill))) es_acXi) => ByteString -> f_abAE ()
- Control.Monad.Hefty.Concurrent.Subprocess: writeStdin'_ :: forall (o :: StreamMode) (e :: StreamMode) (lp :: Lifecycle) f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, f ~ Eff ff es, In (Subprocess ('SubprocMode 'Piped o e lp 'Kill)) es) => ByteString -> f ()
+ Control.Monad.Hefty.Concurrent.Subprocess: writeStdin'_ :: forall (o_X0 :: StreamMode) (e_X1 :: StreamMode) (lp_X2 :: Lifecycle) f_abAE es_acXm ff_acXl c_acXn. (Free c_acXn ff_acXl, f_abAE ~ Eff ff_acXl es_acXm, In (Subprocess ('SubprocMode 'Piped o_X0 e_X1 lp_X2 'Kill)) es_acXm) => ByteString -> f_abAE ()
- Control.Monad.Hefty.Concurrent.Timer: runCyclicTimer :: forall a (es :: [Effect]). (Timer :> es, FOEs es) => Eff (CyclicTimer ': es) a -> Eff es a
+ Control.Monad.Hefty.Concurrent.Timer: runCyclicTimer :: forall a es. (Timer :> es, FOEs es) => Eff (CyclicTimer ': es) a -> Eff es a
- Control.Monad.Hefty.Coroutine: runCoroutine :: forall ans a b (es :: [(Type -> Type) -> Type -> Type]). FOEs es => Eff (Yield a b ': es) ans -> Eff es (Status (Eff es) a b ans)
+ Control.Monad.Hefty.Coroutine: runCoroutine :: forall ans a b es. FOEs es => Eff (Yield a b ': es) ans -> Eff es (Status (Eff es) a b ans)
- Control.Monad.Hefty.Except: handleCatch :: forall e (es :: [Effect]). (In (Throw e) es, FOEs es) => Catch e ~~> Eff es
+ Control.Monad.Hefty.Except: handleCatch :: forall e es. (Throw e `In` es, FOEs es) => Catch e ~~> Eff es
- Control.Monad.Hefty.Except: handleThrow :: forall e (f :: Type -> Type) (g :: Type -> Type) a. Applicative g => AlgHandler (Throw e) f g (Either e a)
+ Control.Monad.Hefty.Except: handleThrow :: forall e f g a. Applicative g => AlgHandler (Throw e) f g (Either e a)
- Control.Monad.Hefty.Except: runCatch :: forall e (es :: [Effect]) a. (In (Throw e) es, FOEs es) => Eff (Catch e ': es) a -> Eff es a
+ Control.Monad.Hefty.Except: runCatch :: forall e es a. (Throw e `In` es, FOEs es) => Eff (Catch e ': es) a -> Eff es a
- Control.Monad.Hefty.Except: runExcept :: forall e (es :: [(Type -> Type) -> Type -> Type]) a. FOEs es => Eff (Catch e ': (Throw e ': es)) a -> Eff es (Either e a)
+ Control.Monad.Hefty.Except: runExcept :: forall e es a. FOEs es => Eff (Catch e ': (Throw e ': es)) a -> Eff es (Either e a)
- Control.Monad.Hefty.Except: runThrow :: forall e (es :: [(Type -> Type) -> Type -> Type]) a. FOEs es => Eff (Throw e ': es) a -> Eff es (Either e a)
+ Control.Monad.Hefty.Except: runThrow :: forall e es a. FOEs es => Eff (Throw e ': es) a -> Eff es (Either e a)
- Control.Monad.Hefty.Fresh: runFreshNatural :: forall (es :: [(Type -> Type) -> Type -> Type]) a. FOEs es => Eff (Fresh Natural ': es) a -> Eff es (Natural, a)
+ Control.Monad.Hefty.Fresh: runFreshNatural :: FOEs es => Eff (Fresh Natural ': es) a -> Eff es (Natural, a)
- Control.Monad.Hefty.Fresh: runFreshNaturalAsState :: forall (es :: [Effect]) a. State Natural :> es => Eff (Fresh Natural ': es) a -> Eff es a
+ Control.Monad.Hefty.Fresh: runFreshNaturalAsState :: State Natural :> es => Eff (Fresh Natural ': es) a -> Eff es a
- Control.Monad.Hefty.Input: runInputList :: forall i a (es :: [(Type -> Type) -> Type -> Type]). FOEs es => [i] -> Eff (Input (Maybe i) ': es) a -> Eff es a
+ Control.Monad.Hefty.Input: runInputList :: forall i a es. FOEs es => [i] -> Eff (Input (Maybe i) ': es) a -> Eff es a
- Control.Monad.Hefty.KVStore: runKVStoreCC :: forall k v a (es :: [(Type -> Type) -> Type -> Type]). (Ord k, FOEs es) => Map k v -> Eff (KVStore k v ': es) a -> Eff es (Map k v, a)
+ Control.Monad.Hefty.KVStore: runKVStoreCC :: forall k v a es. (Ord k, FOEs es) => Map k v -> Eff (KVStore k v ': es) a -> Eff es (Map k v, a)
- Control.Monad.Hefty.NonDet: runChoose :: forall f (es :: [(Type -> Type) -> Type -> Type]) a. (Alternative f, FOEs es) => Eff (Choose ': es) a -> Eff es (f a)
+ Control.Monad.Hefty.NonDet: runChoose :: forall f es a. (Alternative f, FOEs es) => Eff (Choose ': es) a -> Eff es (f a)
- Control.Monad.Hefty.NonDet: runChooseMonoid :: forall ans (es :: [Effect]) a. (Semigroup ans, FOEs es) => (a -> Eff es ans) -> Eff (Choose ': es) a -> Eff es ans
+ Control.Monad.Hefty.NonDet: runChooseMonoid :: forall ans es a. (Semigroup ans, FOEs es) => (a -> Eff es ans) -> Eff (Choose ': es) a -> Eff es ans
- Control.Monad.Hefty.NonDet: runEmpty :: forall a (es :: [(Type -> Type) -> Type -> Type]). FOEs es => Eff (Empty ': es) a -> Eff es (Maybe a)
+ Control.Monad.Hefty.NonDet: runEmpty :: forall a es. FOEs es => Eff (Empty ': es) a -> Eff es (Maybe a)
- Control.Monad.Hefty.NonDet: runNonDet :: forall f (es :: [(Type -> Type) -> Type -> Type]) a. (Alternative f, FOEs es) => Eff (Choose ': (Empty ': es)) a -> Eff es (f a)
+ Control.Monad.Hefty.NonDet: runNonDet :: forall f es a. (Alternative f, FOEs es) => Eff (Choose ': (Empty ': es)) a -> Eff es (f a)
- Control.Monad.Hefty.NonDet: runNonDetMonoid :: forall ans (es :: [Effect]) a. (Monoid ans, FOEs es) => (a -> Eff es ans) -> Eff (Choose ': (Empty ': es)) a -> Eff es ans
+ Control.Monad.Hefty.NonDet: runNonDetMonoid :: forall ans es a. (Monoid ans, FOEs es) => (a -> Eff es ans) -> Eff (Choose ': (Empty ': es)) a -> Eff es ans
- Control.Monad.Hefty.Output: runOutputList :: forall o a (es :: [(Type -> Type) -> Type -> Type]). FOEs es => Eff (Output o ': es) a -> Eff es ([o], a)
+ Control.Monad.Hefty.Output: runOutputList :: forall o a es. FOEs es => Eff (Output o ': es) a -> Eff es ([o], a)
- Control.Monad.Hefty.Output: runOutputMonoid :: forall o w a (es :: [(Type -> Type) -> Type -> Type]). (Monoid w, FOEs es) => (o -> w) -> Eff (Output o ': es) a -> Eff es (w, a)
+ Control.Monad.Hefty.Output: runOutputMonoid :: forall o w a es. (Monoid w, FOEs es) => (o -> w) -> Eff (Output o ': es) a -> Eff es (w, a)
- Control.Monad.Hefty.Shift: evalShift :: forall (es :: [Effect]) a. FOEs es => Eff (Shift a (Op (Eff es a)) ': es) a -> Eff es a
+ Control.Monad.Hefty.Shift: evalShift :: FOEs es => Eff (Shift a (Op (Eff es a)) ': es) a -> Eff es a
- Control.Monad.Hefty.Shift: handleShift :: forall (m :: Type -> Type) ans (n :: Type -> Type). Monad m => AlgHandler (Shift ans (Op (m ans))) n m ans
+ Control.Monad.Hefty.Shift: handleShift :: Monad m => AlgHandler (Shift ans (Op (m ans))) n m ans
- Control.Monad.Hefty.Shift: runShift :: forall (es :: [Effect]) a ans. FOEs es => (a -> Eff es ans) -> Eff (Shift ans (Op (Eff es ans)) ': es) a -> Eff es ans
+ Control.Monad.Hefty.Shift: runShift :: FOEs es => (a -> Eff es ans) -> Eff (Shift ans (Op (Eff es ans)) ': es) a -> Eff es ans
- Control.Monad.Hefty.State: evalState :: forall s (es :: [(Type -> Type) -> Type -> Type]) a. s -> FOEs es => Eff (State s ': es) a -> Eff es a
+ Control.Monad.Hefty.State: evalState :: forall s es a. s -> FOEs es => Eff (State s ': es) a -> Eff es a
- Control.Monad.Hefty.State: execState :: forall s (es :: [(Type -> Type) -> Type -> Type]) a. FOEs es => s -> Eff (State s ': es) a -> Eff es s
+ Control.Monad.Hefty.State: execState :: forall s es a. FOEs es => s -> Eff (State s ': es) a -> Eff es s
- Control.Monad.Hefty.State: handleState :: forall s (f :: Type -> Type) g ans x. State s f x -> s -> (s -> x -> g ans) -> g ans
+ Control.Monad.Hefty.State: handleState :: StateHandler s (State s) f g ans
- Control.Monad.Hefty.State: runState :: forall s (es :: [(Type -> Type) -> Type -> Type]) a. FOEs es => s -> Eff (State s ': es) a -> Eff es (s, a)
+ Control.Monad.Hefty.State: runState :: forall s es a. FOEs es => s -> Eff (State s ': es) a -> Eff es (s, a)
- Control.Monad.Hefty.State: runStateNaive :: forall s (es :: [(Type -> Type) -> Type -> Type]) a. FOEs es => s -> Eff (State s ': es) a -> Eff es (s, a)
+ Control.Monad.Hefty.State: runStateNaive :: forall s es a. FOEs es => s -> Eff (State s ': es) a -> Eff es (s, a)
- Control.Monad.Hefty.State: transactState :: forall s (es :: [Effect]) a. (State s :> es, FOEs es) => Eff es a -> Eff es a
+ Control.Monad.Hefty.State: transactState :: forall s es a. (State s :> es, FOEs es) => Eff es a -> Eff es a
- Control.Monad.Hefty.Unlift: data UnliftBase (b :: Type -> Type) (f :: Type -> Type) a
+ Control.Monad.Hefty.Unlift: data () => UnliftBase (b :: Type -> Type) (f :: Type -> Type) a
- Control.Monad.Hefty.Writer: censorPost :: forall w a (es :: [Effect]). (In (Tell w) es, Monoid w, FOEs es) => (w -> w) -> Eff es a -> Eff es a
+ Control.Monad.Hefty.Writer: censorPost :: forall w a es. (Tell w `In` es, Monoid w, FOEs es) => (w -> w) -> Eff es a -> Eff es a
- Control.Monad.Hefty.Writer: confiscate :: forall w (es :: [Effect]) a. (In (Tell w) es, Monoid w, FOEs es) => Eff es a -> Eff es (w, a)
+ Control.Monad.Hefty.Writer: confiscate :: forall w es a. (Tell w `In` es, Monoid w, FOEs es) => Eff es a -> Eff es (w, a)
- Control.Monad.Hefty.Writer: handleTell :: forall w (f :: Type -> Type) (g :: Type -> Type) a. Monoid w => StateHandler w (Tell w) f g (w, a)
+ Control.Monad.Hefty.Writer: handleTell :: Monoid w => StateHandler w (Tell w) f g (w, a)
- Control.Monad.Hefty.Writer: intercept :: forall w (es :: [Effect]) a. (In (Tell w) es, Monoid w, FOEs es) => Eff es a -> Eff es (w, a)
+ Control.Monad.Hefty.Writer: intercept :: forall w es a. (Tell w `In` es, Monoid w, FOEs es) => Eff es a -> Eff es (w, a)
- Control.Monad.Hefty.Writer: runTell :: forall w (es :: [(Type -> Type) -> Type -> Type]) a. (Monoid w, FOEs es) => Eff (Tell w ': es) a -> Eff es (w, a)
+ Control.Monad.Hefty.Writer: runTell :: (Monoid w, FOEs es) => Eff (Tell w ': es) a -> Eff es (w, a)
- Control.Monad.Hefty.Writer: runWriterHPost :: forall w (es :: [Effect]) a. (Monoid w, In (Tell w) es, FOEs es) => Eff (WriterH w ': es) a -> Eff es a
+ Control.Monad.Hefty.Writer: runWriterHPost :: (Monoid w, Tell w `In` es, FOEs es) => Eff (WriterH w ': es) a -> Eff es a
- Control.Monad.Hefty.Writer: runWriterHPre :: forall w (es :: [Effect]) a. (Monoid w, In (Tell w) es, FOEs es) => Eff (WriterH w ': es) a -> Eff es a
+ Control.Monad.Hefty.Writer: runWriterHPre :: (Monoid w, Tell w `In` es, FOEs es) => Eff (WriterH w ': es) a -> Eff es a
- Control.Monad.Hefty.Writer: runWriterPost :: forall w (es :: [(Type -> Type) -> Type -> Type]) a. (Monoid w, FOEs es) => Eff (WriterH w ': (Tell w ': es)) a -> Eff es (w, a)
+ Control.Monad.Hefty.Writer: runWriterPost :: (Monoid w, FOEs es) => Eff (WriterH w ': (Tell w ': es)) a -> Eff es (w, a)
- Control.Monad.Hefty.Writer: runWriterPre :: forall w (es :: [(Type -> Type) -> Type -> Type]) a. (Monoid w, FOEs es) => Eff (WriterH w ': (Tell w ': es)) a -> Eff es (w, a)
+ Control.Monad.Hefty.Writer: runWriterPre :: (Monoid w, FOEs es) => Eff (WriterH w ': (Tell w ': es)) a -> Eff es (w, a)
Files
Example/DatabaseProvider/Main.hs view
@@ -57,8 +57,8 @@ main = runEff . runDummyDBProvider $ provide_ "/db1" \_ -> do- provide_ "/db2" \outer -> do- outer do+ provide_ "/db2" \detach -> do+ detach do s1 <- readDB "/a/b/c" liftIO $ putStrLn $ "content: " <> show s1 writeDB "/d/e/f" "foobar"@@ -72,7 +72,7 @@ liftIO $ putStrLn "-----" transactDB do- outer $ transactDB do+ detach $ transactDB do liftIO $ print "hello" {-
heftia-effects.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: heftia-effects-version: 0.6.0.0+version: 0.6.0.1 -- A short (one-line) description of the package. synopsis: higher-order algebraic effects done right@@ -33,7 +33,7 @@ source-repository head type: git location: https://github.com/sayo-hs/heftia- tag: v0.6.0+ tag: v0.6.0.1 subdir: heftia-effects common common-base@@ -53,7 +53,7 @@ build-depends: base >= 4.17 && < 4.22,- data-effects ^>= 0.4,+ data-effects ^>= 0.4.0.2, heftia ^>= 0.6, time >= 1.11.1 && < 1.15, unliftio ^>= 0.2,@@ -90,7 +90,7 @@ Control.Monad.Hefty.Log reexported-modules:- -- Control.Monad.Hefty,+ Control.Monad.Hefty, Data.Effect, Data.Effect.TH, Data.Effect.Tag,