polysemy-process 0.14.1.0 → 0.14.1.1
raw patch · 1 files changed
+10/−10 lines, 1 filesdep ~basedep ~hedgehogdep ~polysemy-concPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, hedgehog, polysemy-conc, tasty, tasty-hedgehog
API changes (from Hackage documentation)
- Polysemy.Process: [$sel:continue:Done] :: ProcessOutputParseResult a -> ByteString -> ProcessOutputParseResult a
- Polysemy.Process: [$sel:error:Done] :: ProcessOutputParseResult a -> Text
- Polysemy.Process: [$sel:leftover:Done] :: ProcessOutputParseResult a -> ByteString
- Polysemy.Process: [$sel:unPid:Pid] :: Pid -> Int
- Polysemy.Process: [$sel:value:Done] :: ProcessOutputParseResult a -> a
- Polysemy.Process.Data.Pid: [$sel:unPid:Pid] :: Pid -> Int
- Polysemy.Process.Data.ProcessOptions: [$sel:discard:ProcessOptions] :: ProcessOptions -> Bool
- Polysemy.Process.Data.ProcessOptions: [$sel:kill:ProcessOptions] :: ProcessOptions -> ProcessKill
- Polysemy.Process.Data.ProcessOptions: [$sel:qsize:ProcessOptions] :: ProcessOptions -> Int
- Polysemy.Process.Data.ProcessOutputParseResult: [$sel:continue:Done] :: ProcessOutputParseResult a -> ByteString -> ProcessOutputParseResult a
- Polysemy.Process.Data.ProcessOutputParseResult: [$sel:error:Done] :: ProcessOutputParseResult a -> Text
- Polysemy.Process.Data.ProcessOutputParseResult: [$sel:leftover:Done] :: ProcessOutputParseResult a -> ByteString
- Polysemy.Process.Data.ProcessOutputParseResult: [$sel:value:Done] :: ProcessOutputParseResult a -> a
- Polysemy.Process.Data.PtyResources: [$sel:handle:PtyResources] :: PtyResources -> Handle
- Polysemy.Process.Data.PtyResources: [$sel:primary:PtyResources] :: PtyResources -> Fd
- Polysemy.Process.Data.PtyResources: [$sel:pty:PtyResources] :: PtyResources -> Pty
- Polysemy.Process.Data.PtyResources: [$sel:secondary:PtyResources] :: PtyResources -> Fd
- Polysemy.Process.Effect.Pty: [$sel:unCols:Cols] :: Cols -> Int
- Polysemy.Process.Effect.Pty: [$sel:unRows:Rows] :: Rows -> Int
+ Polysemy.Process: [continue] :: ProcessOutputParseResult a -> ByteString -> ProcessOutputParseResult a
+ Polysemy.Process: [error] :: ProcessOutputParseResult a -> Text
+ Polysemy.Process: [leftover] :: ProcessOutputParseResult a -> ByteString
+ Polysemy.Process: [unPid] :: Pid -> Int
+ Polysemy.Process: [value] :: ProcessOutputParseResult a -> a
+ Polysemy.Process.Data.Pid: [unPid] :: Pid -> Int
+ Polysemy.Process.Data.ProcessOptions: [discard] :: ProcessOptions -> Bool
+ Polysemy.Process.Data.ProcessOptions: [kill] :: ProcessOptions -> ProcessKill
+ Polysemy.Process.Data.ProcessOptions: [qsize] :: ProcessOptions -> Int
+ Polysemy.Process.Data.ProcessOutputParseResult: [continue] :: ProcessOutputParseResult a -> ByteString -> ProcessOutputParseResult a
+ Polysemy.Process.Data.ProcessOutputParseResult: [error] :: ProcessOutputParseResult a -> Text
+ Polysemy.Process.Data.ProcessOutputParseResult: [leftover] :: ProcessOutputParseResult a -> ByteString
+ Polysemy.Process.Data.ProcessOutputParseResult: [value] :: ProcessOutputParseResult a -> a
+ Polysemy.Process.Data.PtyResources: [handle] :: PtyResources -> Handle
+ Polysemy.Process.Data.PtyResources: [primary] :: PtyResources -> Fd
+ Polysemy.Process.Data.PtyResources: [pty] :: PtyResources -> Pty
+ Polysemy.Process.Data.PtyResources: [secondary] :: PtyResources -> Fd
+ Polysemy.Process.Effect.Pty: [unCols] :: Cols -> Int
+ Polysemy.Process.Effect.Pty: [unRows] :: Rows -> Int
- Polysemy.Process: currentPid :: Member (Embed IO) r => Sem r Pid
+ Polysemy.Process: currentPid :: forall (r :: EffectRow). Member (Embed IO) r => Sem r Pid
- Polysemy.Process: data Interrupt :: Effect
+ Polysemy.Process: data Interrupt (a :: Type -> Type) b
- Polysemy.Process: data Process i o :: Effect
+ Polysemy.Process: data Process i o (a :: Type -> Type) b
- Polysemy.Process: data ProcessInput a :: Effect
+ Polysemy.Process: data ProcessInput a (b :: Type -> Type) c
- Polysemy.Process: data ProcessOutput (p :: OutputPipe) a :: Effect
+ Polysemy.Process: data ProcessOutput (p :: OutputPipe) a (b :: Type -> Type) c
- Polysemy.Process: data Pty :: Effect
+ Polysemy.Process: data Pty (a :: Type -> Type) b
- Polysemy.Process: data SystemProcess :: Effect
+ Polysemy.Process: data SystemProcess (a :: Type -> Type) b
- Polysemy.Process: handleSystemProcessWithProcess :: forall r r0 a. Members [Stop SystemProcessError, Embed IO] r => Process Handle Handle Handle -> SystemProcess (Sem r0) a -> Sem r a
+ Polysemy.Process: handleSystemProcessWithProcess :: forall (r :: EffectRow) (r0 :: EffectRow) a. Members '[Stop SystemProcessError, Embed IO] r => Process Handle Handle Handle -> SystemProcess (Sem r0) a -> Sem r a
- Polysemy.Process: interpretInputHandle :: Member (Embed IO) r => Handle -> InterpreterFor (Input ByteString !! ProcessError) r
+ Polysemy.Process: interpretInputHandle :: forall (r :: EffectRow). Member (Embed IO) r => Handle -> InterpreterFor ((Input ByteString :: (Type -> Type) -> Type -> Type) !! ProcessError) r
- Polysemy.Process: interpretInputHandleBuffered :: Member (Embed IO) r => Handle -> InterpreterFor (Input ByteString !! ProcessError) r
+ Polysemy.Process: interpretInputHandleBuffered :: forall (r :: EffectRow). Member (Embed IO) r => Handle -> InterpreterFor ((Input ByteString :: (Type -> Type) -> Type -> Type) !! ProcessError) r
- Polysemy.Process: interpretInputOutputProcess :: forall i o r. Member (Process i o) r => InterpretersFor [Input o, Output i] r
+ Polysemy.Process: interpretInputOutputProcess :: forall i o (r :: EffectRow). Member (Process i o) r => InterpretersFor '[Input o :: (Type -> Type) -> Type -> Type, Output i :: (Type -> Type) -> Type -> Type] r
- Polysemy.Process: interpretInterrupt :: Members [Critical, Race, Async, Embed IO] r => InterpreterFor Interrupt r
+ Polysemy.Process: interpretInterrupt :: forall (r :: EffectRow). Members '[Critical, Race, Async, Embed IO] r => InterpreterFor Interrupt r
- Polysemy.Process: interpretInterruptNull :: InterpreterFor Interrupt r
+ Polysemy.Process: interpretInterruptNull :: forall (r :: [Effect]) a. Sem (Interrupt ': r) a -> Sem r a
- Polysemy.Process: interpretInterruptOnce :: Members [Critical, Race, Async, Embed IO] r => InterpreterFor Interrupt r
+ Polysemy.Process: interpretInterruptOnce :: forall (r :: EffectRow). Members '[Critical, Race, Async, Embed IO] r => InterpreterFor Interrupt r
- Polysemy.Process: interpretOutputHandle :: Member (Embed IO) r => Handle -> InterpreterFor (Output ByteString !! ProcessError) r
+ Polysemy.Process: interpretOutputHandle :: forall (r :: EffectRow). Member (Embed IO) r => Handle -> InterpreterFor ((Output ByteString :: (Type -> Type) -> Type -> Type) !! ProcessError) r
- Polysemy.Process: interpretOutputHandleBuffered :: Member (Embed IO) r => Handle -> InterpreterFor (Output ByteString !! ProcessError) r
+ Polysemy.Process: interpretOutputHandleBuffered :: forall (r :: EffectRow). Member (Embed IO) r => Handle -> InterpreterFor ((Output ByteString :: (Type -> Type) -> Type -> Type) !! ProcessError) r
- Polysemy.Process: interpretProcess :: forall param proc i o r. Members (ProcessIO i o) r => Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> (param -> Sem (Stop ProcessError : r) proc) -> InterpreterFor (Scoped param (Process i o) !! ProcessError) r
+ Polysemy.Process: interpretProcess :: forall param proc i o (r :: EffectRow). (Members (ProcessIO i o) r, Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> (param -> Sem (Stop ProcessError ': r) proc) -> InterpreterFor (Scoped param (Process i o) !! ProcessError) r
- Polysemy.Process: interpretProcessByteString :: InterpretersFor (ProcessIO ByteString ByteString) r
+ Polysemy.Process: interpretProcessByteString :: forall (r :: [Effect]) a. Sem (Append (ProcessIO ByteString ByteString) r) a -> Sem r a
- Polysemy.Process: interpretProcessByteStringLines :: InterpretersFor (ProcessIO ByteString ByteString) r
+ Polysemy.Process: interpretProcessByteStringLines :: forall (r :: [Effect]) a. Sem (Append (ProcessIO ByteString ByteString) r) a -> Sem r a
- Polysemy.Process: interpretProcessCurrent :: Members [ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r => ProcessOptions -> InterpreterFor (Process i o !! ProcessError) r
+ Polysemy.Process: interpretProcessCurrent :: forall i o (r :: EffectRow). Members '[ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r => ProcessOptions -> InterpreterFor (Process i o !! ProcessError) r
- Polysemy.Process: interpretProcessHandles :: forall i o r. Members [ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r => ProcessOptions -> Handle -> Handle -> InterpreterFor (Process i o !! ProcessError) r
+ Polysemy.Process: interpretProcessHandles :: forall i o (r :: EffectRow). Members '[ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r => ProcessOptions -> Handle -> Handle -> InterpreterFor (Process i o !! ProcessError) r
- Polysemy.Process: interpretProcessIO :: forall i o ie oe r. Members [Input ByteString !! ie, Output ByteString !! oe] r => Members [ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r => ProcessOptions -> InterpreterFor (Process i o !! ProcessError) r
+ Polysemy.Process: interpretProcessIO :: forall i o ie oe (r :: EffectRow). (Members '[(Input ByteString :: (Type -> Type) -> Type -> Type) !! ie, (Output ByteString :: (Type -> Type) -> Type -> Type) !! oe] r, Members '[ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r) => ProcessOptions -> InterpreterFor (Process i o !! ProcessError) r
- Polysemy.Process: interpretProcessInputId :: InterpreterFor (ProcessInput ByteString) r
+ Polysemy.Process: interpretProcessInputId :: forall (r :: [Effect]) a. Sem (ProcessInput ByteString ': r) a -> Sem r a
- Polysemy.Process: interpretProcessInputText :: InterpreterFor (ProcessInput Text) r
+ Polysemy.Process: interpretProcessInputText :: forall (r :: [Effect]) a. Sem (ProcessInput Text ': r) a -> Sem r a
- Polysemy.Process: interpretProcessNative :: forall param i o r. Members (ProcessIO i o) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (Process i o) !! ProcessError) r
+ Polysemy.Process: interpretProcessNative :: forall param i o (r :: EffectRow). (Members (ProcessIO i o) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (Process i o) !! ProcessError) r
- Polysemy.Process: interpretProcessNative_ :: forall i o r. Members (ProcessIO i o) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> SysProcConf -> InterpreterFor (Scoped_ (Process i o) !! ProcessError) r
+ Polysemy.Process: interpretProcessNative_ :: forall i o (r :: EffectRow). (Members (ProcessIO i o) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> SysProcConf -> InterpreterFor (Scoped_ (Process i o) !! ProcessError) r
- Polysemy.Process: interpretProcessOneshot :: forall param proc i o r. Members (ProcessIO i o) r => Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> (param -> Sem (Stop SystemProcessScopeError : r) proc) -> InterpreterFor (Scoped param (Process i o !! ProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process: interpretProcessOneshot :: forall param proc i o (r :: EffectRow). (Members (ProcessIO i o) r, Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> (param -> Sem (Stop SystemProcessScopeError ': r) proc) -> InterpreterFor (Scoped param (Process i o !! ProcessError) !! SystemProcessScopeError) r
- Polysemy.Process: interpretProcessOneshotNative :: forall param i o r. Members (ProcessIO i o) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (Process i o !! ProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process: interpretProcessOneshotNative :: forall param i o (r :: EffectRow). (Members (ProcessIO i o) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (Process i o !! ProcessError) !! SystemProcessScopeError) r
- Polysemy.Process: interpretProcessOneshotNative_ :: forall i o r. Members (ProcessIO i o) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> SysProcConf -> InterpreterFor (Scoped_ (Process i o !! ProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process: interpretProcessOneshotNative_ :: forall i o (r :: EffectRow). (Members (ProcessIO i o) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> SysProcConf -> InterpreterFor (Scoped_ (Process i o !! ProcessError) !! SystemProcessScopeError) r
- Polysemy.Process: interpretProcessOneshot_ :: forall proc i o r. Members (ProcessIO i o) r => Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> proc -> InterpreterFor (Scoped_ (Process i o !! ProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process: interpretProcessOneshot_ :: forall proc i o (r :: EffectRow). (Members (ProcessIO i o) r, Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> proc -> InterpreterFor (Scoped_ (Process i o !! ProcessError) !! SystemProcessScopeError) r
- Polysemy.Process: interpretProcessOutputId :: forall p r. InterpreterFor (ProcessOutput p ByteString) r
+ Polysemy.Process: interpretProcessOutputId :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p ByteString ': r) a -> Sem r a
- Polysemy.Process: interpretProcessOutputIgnore :: forall p a r. InterpreterFor (ProcessOutput p a) r
+ Polysemy.Process: interpretProcessOutputIgnore :: forall (p :: OutputPipe) a1 (r :: [Effect]) a2. Sem (ProcessOutput p a1 ': r) a2 -> Sem r a2
- Polysemy.Process: interpretProcessOutputIncremental :: forall p a r. (ByteString -> ProcessOutputParseResult a) -> InterpreterFor (ProcessOutput p (Either Text a)) r
+ Polysemy.Process: interpretProcessOutputIncremental :: forall (p :: OutputPipe) a (r :: [Effect]). (ByteString -> ProcessOutputParseResult a) -> InterpreterFor (ProcessOutput p (Either Text a)) r
- Polysemy.Process: interpretProcessOutputLeft :: forall p a b r. Member (ProcessOutput p a) r => InterpreterFor (ProcessOutput p (Either a b)) r
+ Polysemy.Process: interpretProcessOutputLeft :: forall (p :: OutputPipe) a b (r :: EffectRow). Member (ProcessOutput p a) r => InterpreterFor (ProcessOutput p (Either a b)) r
- Polysemy.Process: interpretProcessOutputLines :: forall p r. InterpreterFor (ProcessOutput p ByteString) r
+ Polysemy.Process: interpretProcessOutputLines :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p ByteString ': r) a -> Sem r a
- Polysemy.Process: interpretProcessOutputRight :: forall p a b r. Member (ProcessOutput p b) r => InterpreterFor (ProcessOutput p (Either a b)) r
+ Polysemy.Process: interpretProcessOutputRight :: forall (p :: OutputPipe) a b (r :: EffectRow). Member (ProcessOutput p b) r => InterpreterFor (ProcessOutput p (Either a b)) r
- Polysemy.Process: interpretProcessOutputText :: forall p r. InterpreterFor (ProcessOutput p Text) r
+ Polysemy.Process: interpretProcessOutputText :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p Text ': r) a -> Sem r a
- Polysemy.Process: interpretProcessOutputTextLines :: forall p r. InterpreterFor (ProcessOutput p Text) r
+ Polysemy.Process: interpretProcessOutputTextLines :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p Text ': r) a -> Sem r a
- Polysemy.Process: interpretProcessText :: InterpretersFor (ProcessIO Text Text) r
+ Polysemy.Process: interpretProcessText :: forall (r :: [Effect]) a. Sem (Append (ProcessIO Text Text) r) a -> Sem r a
- Polysemy.Process: interpretProcessTextLines :: InterpretersFor (ProcessIO Text Text) r
+ Polysemy.Process: interpretProcessTextLines :: forall (r :: [Effect]) a. Sem (Append (ProcessIO Text Text) r) a -> Sem r a
- Polysemy.Process: interpretProcess_ :: forall i o r. Member (Scoped_ (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r => Members [ProcessOutput 'Stdout o, ProcessOutput 'Stderr o, ProcessInput i, Resource, Race, Async, Embed IO] r => ProcessOptions -> InterpreterFor (Scoped_ (Process i o) !! ProcessError) r
+ Polysemy.Process: interpretProcess_ :: forall i o (r :: EffectRow). (Member (Scoped_ (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r, Members '[ProcessOutput 'Stdout o, ProcessOutput 'Stderr o, ProcessInput i, Resource, Race, Async, Embed IO] r) => ProcessOptions -> InterpreterFor (Scoped_ (Process i o) !! ProcessError) r
- Polysemy.Process: interpretPty :: Members [Resource, Embed IO] r => InterpreterFor (Scoped_ Pty !! PtyError) r
+ Polysemy.Process: interpretPty :: forall (r :: EffectRow). Members '[Resource, Embed IO] r => InterpreterFor (Scoped_ Pty !! PtyError) r
- Polysemy.Process: interpretSystemProcessNative :: forall param r. Members [Resource, Embed IO] r => (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process: interpretSystemProcessNative :: forall param (r :: EffectRow). Members '[Resource, Embed IO] r => (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r
- Polysemy.Process: interpretSystemProcessNativeOpaque :: forall i o e r. Members [Resource, Embed IO] r => ProcessConfig i o e -> InterpreterFor (Scoped_ (SystemProcess !! SystemProcessError)) r
+ Polysemy.Process: interpretSystemProcessNativeOpaque :: forall i o e (r :: EffectRow). Members '[Resource, Embed IO] r => ProcessConfig i o e -> InterpreterFor (Scoped_ (SystemProcess !! SystemProcessError)) r
- Polysemy.Process: interpretSystemProcessNativeOpaqueSingle :: forall i o e r. Members [Resource, Embed IO] r => ProcessConfig i o e -> InterpreterFor (SystemProcess !! SystemProcessError) r
+ Polysemy.Process: interpretSystemProcessNativeOpaqueSingle :: forall i o e (r :: EffectRow). Members '[Resource, Embed IO] r => ProcessConfig i o e -> InterpreterFor (SystemProcess !! SystemProcessError) r
- Polysemy.Process: interpretSystemProcessNativeSingle :: forall r. Members [Stop SystemProcessScopeError, Resource, Embed IO] r => SysProcConf -> InterpreterFor (SystemProcess !! SystemProcessError) r
+ Polysemy.Process: interpretSystemProcessNativeSingle :: forall (r :: EffectRow). Members '[Stop SystemProcessScopeError, Resource, Embed IO] r => SysProcConf -> InterpreterFor (SystemProcess !! SystemProcessError) r
- Polysemy.Process: interpretSystemProcessNative_ :: forall r. Members [Resource, Embed IO] r => SysProcConf -> InterpreterFor (Scoped_ (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process: interpretSystemProcessNative_ :: forall (r :: EffectRow). Members '[Resource, Embed IO] r => SysProcConf -> InterpreterFor (Scoped_ (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r
- Polysemy.Process: interpretSystemProcessWithProcess :: forall r. Member (Embed IO) r => Process Handle Handle Handle -> InterpreterFor (SystemProcess !! SystemProcessError) r
+ Polysemy.Process: interpretSystemProcessWithProcess :: forall (r :: EffectRow). Member (Embed IO) r => Process Handle Handle Handle -> InterpreterFor (SystemProcess !! SystemProcessError) r
- Polysemy.Process: interpretSystemProcessWithProcessOpaque :: forall i o e r. Member (Embed IO) r => Process i o e -> InterpreterFor (SystemProcess !! SystemProcessError) r
+ Polysemy.Process: interpretSystemProcessWithProcessOpaque :: forall i o e (r :: EffectRow). Member (Embed IO) r => Process i o e -> InterpreterFor (SystemProcess !! SystemProcessError) r
- Polysemy.Process: recv :: forall i o r. Member (Process i o) r => Sem r o
+ Polysemy.Process: recv :: forall i o (r :: EffectRow). Member (Process i o) r => Sem r o
- Polysemy.Process: resolveExecutable :: Member (Embed IO) r => Path Rel File -> Maybe (Path Abs File) -> Sem r (Either Text (Path Abs File))
+ Polysemy.Process: resolveExecutable :: forall (r :: EffectRow). Member (Embed IO) r => Path Rel File -> Maybe (Path Abs File) -> Sem r (Either Text (Path Abs File))
- Polysemy.Process: send :: forall i o r. Member (Process i o) r => i -> Sem r ()
+ Polysemy.Process: send :: forall i o (r :: EffectRow). Member (Process i o) r => i -> Sem r ()
- Polysemy.Process: type ProcessIO i o = [ProcessInput i, ProcessOutput 'Stdout o, ProcessOutput 'Stderr o]
+ Polysemy.Process: type ProcessIO i o = '[ProcessInput i, ProcessOutput 'Stdout o, ProcessOutput 'Stderr o]
- Polysemy.Process: withProcess :: forall param i o r. Member (Scoped param (Process i o)) r => param -> InterpreterFor (Process i o) r
+ Polysemy.Process: withProcess :: forall param i o (r :: EffectRow). Member (Scoped param (Process i o)) r => param -> InterpreterFor (Process i o) r
- Polysemy.Process: withProcessOneshot :: forall param i o err r. Member (Scoped param (Process i o !! err)) r => param -> InterpreterFor (Process i o !! err) r
+ Polysemy.Process: withProcessOneshot :: forall param i o err (r :: EffectRow). Member (Scoped param (Process i o !! err)) r => param -> InterpreterFor (Process i o !! err) r
- Polysemy.Process: withProcessOneshot_ :: forall i o err r. Member (Scoped_ (Process i o !! err)) r => InterpreterFor (Process i o !! err) r
+ Polysemy.Process: withProcessOneshot_ :: forall i o err (r :: EffectRow). Member (Scoped_ (Process i o !! err)) r => InterpreterFor (Process i o !! err) r
- Polysemy.Process: withProcess_ :: forall i o r. Member (Scoped_ (Process i o)) r => InterpreterFor (Process i o) r
+ Polysemy.Process: withProcess_ :: forall i o (r :: EffectRow). Member (Scoped_ (Process i o)) r => InterpreterFor (Process i o) r
- Polysemy.Process: withPty :: Member (Scoped_ Pty) r => InterpreterFor Pty r
+ Polysemy.Process: withPty :: forall (r :: EffectRow). Member (Scoped_ Pty) r => InterpreterFor Pty r
- Polysemy.Process: withSystemProcess :: forall param err r. Member (Scoped param (SystemProcess !! err)) r => param -> InterpreterFor (SystemProcess !! err) r
+ Polysemy.Process: withSystemProcess :: forall param err (r :: EffectRow). Member (Scoped param (SystemProcess !! err)) r => param -> InterpreterFor (SystemProcess !! err) r
- Polysemy.Process: withSystemProcess_ :: forall err r. Member (Scoped_ (SystemProcess !! err)) r => InterpreterFor (SystemProcess !! err) r
+ Polysemy.Process: withSystemProcess_ :: forall err (r :: EffectRow). Member (Scoped_ (SystemProcess !! err)) r => InterpreterFor (SystemProcess !! err) r
- Polysemy.Process.Effect.Interrupt: [Interrupted] :: Interrupt m Bool
+ Polysemy.Process.Effect.Interrupt: [Interrupted] :: forall (a :: Type -> Type). Interrupt a Bool
- Polysemy.Process.Effect.Interrupt: [KillOnQuit] :: Text -> m a -> Interrupt m (Maybe a)
+ Polysemy.Process.Effect.Interrupt: [KillOnQuit] :: forall (a :: Type -> Type) a1. Text -> a a1 -> Interrupt a (Maybe a1)
- Polysemy.Process.Effect.Interrupt: [Quit] :: Interrupt m ()
+ Polysemy.Process.Effect.Interrupt: [Quit] :: forall (a :: Type -> Type). Interrupt a ()
- Polysemy.Process.Effect.Interrupt: [Register] :: Text -> IO () -> Interrupt m ()
+ Polysemy.Process.Effect.Interrupt: [Register] :: forall (a :: Type -> Type). Text -> IO () -> Interrupt a ()
- Polysemy.Process.Effect.Interrupt: [Unregister] :: Text -> Interrupt m ()
+ Polysemy.Process.Effect.Interrupt: [Unregister] :: forall (a :: Type -> Type). Text -> Interrupt a ()
- Polysemy.Process.Effect.Interrupt: [WaitQuit] :: Interrupt m ()
+ Polysemy.Process.Effect.Interrupt: [WaitQuit] :: forall (a :: Type -> Type). Interrupt a ()
- Polysemy.Process.Effect.Interrupt: data Interrupt :: Effect
+ Polysemy.Process.Effect.Interrupt: data Interrupt (a :: Type -> Type) b
- Polysemy.Process.Effect.Interrupt: interrupted :: forall r_ad2q. Member Interrupt r_ad2q => Sem r_ad2q Bool
+ Polysemy.Process.Effect.Interrupt: interrupted :: forall (r :: EffectRow). Member Interrupt r => Sem r Bool
- Polysemy.Process.Effect.Interrupt: killOnQuit :: forall r_ad2r a_X0. Member Interrupt r_ad2r => Text -> Sem r_ad2r a_X0 -> Sem r_ad2r (Maybe a_X0)
+ Polysemy.Process.Effect.Interrupt: killOnQuit :: forall (r :: EffectRow) a. Member Interrupt r => Text -> Sem r a -> Sem r (Maybe a)
- Polysemy.Process.Effect.Interrupt: killOnQuit_ :: Member Interrupt r => Text -> Sem r a -> Sem r ()
+ Polysemy.Process.Effect.Interrupt: killOnQuit_ :: forall (r :: EffectRow) a. Member Interrupt r => Text -> Sem r a -> Sem r ()
- Polysemy.Process.Effect.Interrupt: quit :: forall r_ad2o. Member Interrupt r_ad2o => Sem r_ad2o ()
+ Polysemy.Process.Effect.Interrupt: quit :: forall (r :: EffectRow). Member Interrupt r => Sem r ()
- Polysemy.Process.Effect.Interrupt: register :: forall r_ad2j. Member Interrupt r_ad2j => Text -> IO () -> Sem r_ad2j ()
+ Polysemy.Process.Effect.Interrupt: register :: forall (r :: EffectRow). Member Interrupt r => Text -> IO () -> Sem r ()
- Polysemy.Process.Effect.Interrupt: unregister :: forall r_ad2m. Member Interrupt r_ad2m => Text -> Sem r_ad2m ()
+ Polysemy.Process.Effect.Interrupt: unregister :: forall (r :: EffectRow). Member Interrupt r => Text -> Sem r ()
- Polysemy.Process.Effect.Interrupt: waitQuit :: forall r_ad2p. Member Interrupt r_ad2p => Sem r_ad2p ()
+ Polysemy.Process.Effect.Interrupt: waitQuit :: forall (r :: EffectRow). Member Interrupt r => Sem r ()
- Polysemy.Process.Effect.Process: [Recv] :: Process i o m o
+ Polysemy.Process.Effect.Process: [Recv] :: forall i o (a :: Type -> Type). Process i o a o
- Polysemy.Process.Effect.Process: [Send] :: i -> Process i o m ()
+ Polysemy.Process.Effect.Process: [Send] :: forall i o (a :: Type -> Type). i -> Process i o a ()
- Polysemy.Process.Effect.Process: data Process i o :: Effect
+ Polysemy.Process.Effect.Process: data Process i o (a :: Type -> Type) b
- Polysemy.Process.Effect.Process: recv :: forall i o r. Member (Process i o) r => Sem r o
+ Polysemy.Process.Effect.Process: recv :: forall i o (r :: EffectRow). Member (Process i o) r => Sem r o
- Polysemy.Process.Effect.Process: runProcessIO :: forall i o r. Member (Process i o) r => InterpretersFor [Output i, Input o] r
+ Polysemy.Process.Effect.Process: runProcessIO :: forall i o (r :: EffectRow). Member (Process i o) r => InterpretersFor '[Output i :: (Type -> Type) -> Type -> Type, Input o :: (Type -> Type) -> Type -> Type] r
- Polysemy.Process.Effect.Process: runProcessOneshotIO :: forall i o err r. Member (Process i o !! err) r => InterpretersFor [Output i !! err, Input o !! err] r
+ Polysemy.Process.Effect.Process: runProcessOneshotIO :: forall i o err (r :: EffectRow). Member (Process i o !! err) r => InterpretersFor '[(Output i :: (Type -> Type) -> Type -> Type) !! err, (Input o :: (Type -> Type) -> Type -> Type) !! err] r
- Polysemy.Process.Effect.Process: send :: forall i o r. Member (Process i o) r => i -> Sem r ()
+ Polysemy.Process.Effect.Process: send :: forall i o (r :: EffectRow). Member (Process i o) r => i -> Sem r ()
- Polysemy.Process.Effect.Process: withProcess :: forall param i o r. Member (Scoped param (Process i o)) r => param -> InterpreterFor (Process i o) r
+ Polysemy.Process.Effect.Process: withProcess :: forall param i o (r :: EffectRow). Member (Scoped param (Process i o)) r => param -> InterpreterFor (Process i o) r
- Polysemy.Process.Effect.Process: withProcessOneshot :: forall param i o err r. Member (Scoped param (Process i o !! err)) r => param -> InterpreterFor (Process i o !! err) r
+ Polysemy.Process.Effect.Process: withProcessOneshot :: forall param i o err (r :: EffectRow). Member (Scoped param (Process i o !! err)) r => param -> InterpreterFor (Process i o !! err) r
- Polysemy.Process.Effect.Process: withProcessOneshot_ :: forall i o err r. Member (Scoped_ (Process i o !! err)) r => InterpreterFor (Process i o !! err) r
+ Polysemy.Process.Effect.Process: withProcessOneshot_ :: forall i o err (r :: EffectRow). Member (Scoped_ (Process i o !! err)) r => InterpreterFor (Process i o !! err) r
- Polysemy.Process.Effect.Process: withProcess_ :: forall i o r. Member (Scoped_ (Process i o)) r => InterpreterFor (Process i o) r
+ Polysemy.Process.Effect.Process: withProcess_ :: forall i o (r :: EffectRow). Member (Scoped_ (Process i o)) r => InterpreterFor (Process i o) r
- Polysemy.Process.Effect.ProcessInput: [Encode] :: a -> ProcessInput a m ByteString
+ Polysemy.Process.Effect.ProcessInput: [Encode] :: forall a (b :: Type -> Type). a -> ProcessInput a b ByteString
- Polysemy.Process.Effect.ProcessInput: data ProcessInput a :: Effect
+ Polysemy.Process.Effect.ProcessInput: data ProcessInput a (b :: Type -> Type) c
- Polysemy.Process.Effect.ProcessInput: encode :: forall a_adUY r_adYN. Member (ProcessInput a_adUY) r_adYN => a_adUY -> Sem r_adYN ByteString
+ Polysemy.Process.Effect.ProcessInput: encode :: forall a (r :: EffectRow). Member (ProcessInput a) r => a -> Sem r ByteString
- Polysemy.Process.Effect.ProcessOutput: [Chunk] :: ByteString -> ByteString -> ProcessOutput p a m ([a], ByteString)
+ Polysemy.Process.Effect.ProcessOutput: [Chunk] :: forall (p :: OutputPipe) a (b :: Type -> Type). ByteString -> ByteString -> ProcessOutput p a b ([a], ByteString)
- Polysemy.Process.Effect.ProcessOutput: chunk :: forall p_ae2W a_ae2X r_ae5g. Member (ProcessOutput p_ae2W a_ae2X) r_ae5g => ByteString -> ByteString -> Sem r_ae5g ([a_ae2X], ByteString)
+ Polysemy.Process.Effect.ProcessOutput: chunk :: forall (p :: OutputPipe) a (r :: EffectRow). Member (ProcessOutput p a) r => ByteString -> ByteString -> Sem r ([a], ByteString)
- Polysemy.Process.Effect.ProcessOutput: data ProcessOutput (p :: OutputPipe) a :: Effect
+ Polysemy.Process.Effect.ProcessOutput: data ProcessOutput (p :: OutputPipe) a (b :: Type -> Type) c
- Polysemy.Process.Effect.Pty: [Handle] :: Pty m Handle
+ Polysemy.Process.Effect.Pty: [Handle] :: forall (a :: Type -> Type). Pty a Handle
- Polysemy.Process.Effect.Pty: [Resize] :: Rows -> Cols -> Pty m ()
+ Polysemy.Process.Effect.Pty: [Resize] :: forall (a :: Type -> Type). Rows -> Cols -> Pty a ()
- Polysemy.Process.Effect.Pty: [Size] :: Pty m (Rows, Cols)
+ Polysemy.Process.Effect.Pty: [Size] :: forall (a :: Type -> Type). Pty a (Rows, Cols)
- Polysemy.Process.Effect.Pty: data Pty :: Effect
+ Polysemy.Process.Effect.Pty: data Pty (a :: Type -> Type) b
- Polysemy.Process.Effect.Pty: handle :: forall r_ahtI. Member Pty r_ahtI => Sem r_ahtI Handle
+ Polysemy.Process.Effect.Pty: handle :: forall (r :: EffectRow). Member Pty r => Sem r Handle
- Polysemy.Process.Effect.Pty: resize :: forall r_ahtJ. Member Pty r_ahtJ => Rows -> Cols -> Sem r_ahtJ ()
+ Polysemy.Process.Effect.Pty: resize :: forall (r :: EffectRow). Member Pty r => Rows -> Cols -> Sem r ()
- Polysemy.Process.Effect.Pty: size :: forall r_ahtM. Member Pty r_ahtM => Sem r_ahtM (Rows, Cols)
+ Polysemy.Process.Effect.Pty: size :: forall (r :: EffectRow). Member Pty r => Sem r (Rows, Cols)
- Polysemy.Process.Effect.Pty: withPty :: Member (Scoped_ Pty) r => InterpreterFor Pty r
+ Polysemy.Process.Effect.Pty: withPty :: forall (r :: EffectRow). Member (Scoped_ Pty) r => InterpreterFor Pty r
- Polysemy.Process.Effect.SystemProcess: [Pid] :: SystemProcess m Pid
+ Polysemy.Process.Effect.SystemProcess: [Pid] :: forall (a :: Type -> Type). SystemProcess a Pid
- Polysemy.Process.Effect.SystemProcess: [ReadStderr] :: SystemProcess m ByteString
+ Polysemy.Process.Effect.SystemProcess: [ReadStderr] :: forall (a :: Type -> Type). SystemProcess a ByteString
- Polysemy.Process.Effect.SystemProcess: [ReadStdout] :: SystemProcess m ByteString
+ Polysemy.Process.Effect.SystemProcess: [ReadStdout] :: forall (a :: Type -> Type). SystemProcess a ByteString
- Polysemy.Process.Effect.SystemProcess: [Signal] :: Signal -> SystemProcess m ()
+ Polysemy.Process.Effect.SystemProcess: [Signal] :: forall (a :: Type -> Type). Signal -> SystemProcess a ()
- Polysemy.Process.Effect.SystemProcess: [Wait] :: SystemProcess m ExitCode
+ Polysemy.Process.Effect.SystemProcess: [Wait] :: forall (a :: Type -> Type). SystemProcess a ExitCode
- Polysemy.Process.Effect.SystemProcess: [WriteStdin] :: ByteString -> SystemProcess m ()
+ Polysemy.Process.Effect.SystemProcess: [WriteStdin] :: forall (a :: Type -> Type). ByteString -> SystemProcess a ()
- Polysemy.Process.Effect.SystemProcess: data SystemProcess :: Effect
+ Polysemy.Process.Effect.SystemProcess: data SystemProcess (a :: Type -> Type) b
- Polysemy.Process.Effect.SystemProcess: interrupt :: Member SystemProcess r => Sem r ()
+ Polysemy.Process.Effect.SystemProcess: interrupt :: forall (r :: EffectRow). Member SystemProcess r => Sem r ()
- Polysemy.Process.Effect.SystemProcess: kill :: Member SystemProcess r => Sem r ()
+ Polysemy.Process.Effect.SystemProcess: kill :: forall (r :: EffectRow). Member SystemProcess r => Sem r ()
- Polysemy.Process.Effect.SystemProcess: pid :: forall r_aixn. Member SystemProcess r_aixn => Sem r_aixn Pid
+ Polysemy.Process.Effect.SystemProcess: pid :: forall (r :: EffectRow). Member SystemProcess r => Sem r Pid
- Polysemy.Process.Effect.SystemProcess: readStderr :: forall r_aixk. Member SystemProcess r_aixk => Sem r_aixk ByteString
+ Polysemy.Process.Effect.SystemProcess: readStderr :: forall (r :: EffectRow). Member SystemProcess r => Sem r ByteString
- Polysemy.Process.Effect.SystemProcess: readStdout :: forall r_aixj. Member SystemProcess r_aixj => Sem r_aixj ByteString
+ Polysemy.Process.Effect.SystemProcess: readStdout :: forall (r :: EffectRow). Member SystemProcess r => Sem r ByteString
- Polysemy.Process.Effect.SystemProcess: signal :: forall r_aixo. Member SystemProcess r_aixo => Signal -> Sem r_aixo ()
+ Polysemy.Process.Effect.SystemProcess: signal :: forall (r :: EffectRow). Member SystemProcess r => Signal -> Sem r ()
- Polysemy.Process.Effect.SystemProcess: term :: Member SystemProcess r => Sem r ()
+ Polysemy.Process.Effect.SystemProcess: term :: forall (r :: EffectRow). Member SystemProcess r => Sem r ()
- Polysemy.Process.Effect.SystemProcess: wait :: forall r_aixq. Member SystemProcess r_aixq => Sem r_aixq ExitCode
+ Polysemy.Process.Effect.SystemProcess: wait :: forall (r :: EffectRow). Member SystemProcess r => Sem r ExitCode
- Polysemy.Process.Effect.SystemProcess: withSystemProcess :: forall param err r. Member (Scoped param (SystemProcess !! err)) r => param -> InterpreterFor (SystemProcess !! err) r
+ Polysemy.Process.Effect.SystemProcess: withSystemProcess :: forall param err (r :: EffectRow). Member (Scoped param (SystemProcess !! err)) r => param -> InterpreterFor (SystemProcess !! err) r
- Polysemy.Process.Effect.SystemProcess: withSystemProcess_ :: forall err r. Member (Scoped_ (SystemProcess !! err)) r => InterpreterFor (SystemProcess !! err) r
+ Polysemy.Process.Effect.SystemProcess: withSystemProcess_ :: forall err (r :: EffectRow). Member (Scoped_ (SystemProcess !! err)) r => InterpreterFor (SystemProcess !! err) r
- Polysemy.Process.Effect.SystemProcess: writeStdin :: forall r_aixl. Member SystemProcess r_aixl => ByteString -> Sem r_aixl ()
+ Polysemy.Process.Effect.SystemProcess: writeStdin :: forall (r :: EffectRow). Member SystemProcess r => ByteString -> Sem r ()
- Polysemy.Process.Executable: resolveExecutable :: Member (Embed IO) r => Path Rel File -> Maybe (Path Abs File) -> Sem r (Either Text (Path Abs File))
+ Polysemy.Process.Executable: resolveExecutable :: forall (r :: EffectRow). Member (Embed IO) r => Path Rel File -> Maybe (Path Abs File) -> Sem r (Either Text (Path Abs File))
- Polysemy.Process.Interpreter.Interrupt: interpretInterrupt :: Members [Critical, Race, Async, Embed IO] r => InterpreterFor Interrupt r
+ Polysemy.Process.Interpreter.Interrupt: interpretInterrupt :: forall (r :: EffectRow). Members '[Critical, Race, Async, Embed IO] r => InterpreterFor Interrupt r
- Polysemy.Process.Interpreter.Interrupt: interpretInterrupt' :: Members [Critical, Race, Async, Embed IO] r => Bool -> InterpreterFor Interrupt r
+ Polysemy.Process.Interpreter.Interrupt: interpretInterrupt' :: forall (r :: EffectRow). Members '[Critical, Race, Async, Embed IO] r => Bool -> InterpreterFor Interrupt r
- Polysemy.Process.Interpreter.Interrupt: interpretInterruptNull :: InterpreterFor Interrupt r
+ Polysemy.Process.Interpreter.Interrupt: interpretInterruptNull :: forall (r :: [Effect]) a. Sem (Interrupt ': r) a -> Sem r a
- Polysemy.Process.Interpreter.Interrupt: interpretInterruptOnce :: Members [Critical, Race, Async, Embed IO] r => InterpreterFor Interrupt r
+ Polysemy.Process.Interpreter.Interrupt: interpretInterruptOnce :: forall (r :: EffectRow). Members '[Critical, Race, Async, Embed IO] r => InterpreterFor Interrupt r
- Polysemy.Process.Interpreter.Interrupt: interpretInterruptOnce' :: Members [Critical, Race, Async, Embed IO] r => Bool -> InterpreterFor Interrupt r
+ Polysemy.Process.Interpreter.Interrupt: interpretInterruptOnce' :: forall (r :: EffectRow). Members '[Critical, Race, Async, Embed IO] r => Bool -> InterpreterFor Interrupt r
- Polysemy.Process.Interpreter.Interrupt: interpretInterruptWith' :: Members [Critical, Race, Async, Embed IO] r => Bool -> ((SignalInfo -> IO ()) -> Handler) -> InterpreterFor Interrupt r
+ Polysemy.Process.Interpreter.Interrupt: interpretInterruptWith' :: forall (r :: EffectRow). Members '[Critical, Race, Async, Embed IO] r => Bool -> ((SignalInfo -> IO ()) -> Handler) -> InterpreterFor Interrupt r
- Polysemy.Process.Interpreter.Process: interpretInputHandle :: Member (Embed IO) r => Handle -> InterpreterFor (Input ByteString !! ProcessError) r
+ Polysemy.Process.Interpreter.Process: interpretInputHandle :: forall (r :: EffectRow). Member (Embed IO) r => Handle -> InterpreterFor ((Input ByteString :: (Type -> Type) -> Type -> Type) !! ProcessError) r
- Polysemy.Process.Interpreter.Process: interpretInputHandleBuffered :: Member (Embed IO) r => Handle -> InterpreterFor (Input ByteString !! ProcessError) r
+ Polysemy.Process.Interpreter.Process: interpretInputHandleBuffered :: forall (r :: EffectRow). Member (Embed IO) r => Handle -> InterpreterFor ((Input ByteString :: (Type -> Type) -> Type -> Type) !! ProcessError) r
- Polysemy.Process.Interpreter.Process: interpretInputOutputProcess :: forall i o r. Member (Process i o) r => InterpretersFor [Input o, Output i] r
+ Polysemy.Process.Interpreter.Process: interpretInputOutputProcess :: forall i o (r :: EffectRow). Member (Process i o) r => InterpretersFor '[Input o :: (Type -> Type) -> Type -> Type, Output i :: (Type -> Type) -> Type -> Type] r
- Polysemy.Process.Interpreter.Process: interpretOutputHandle :: Member (Embed IO) r => Handle -> InterpreterFor (Output ByteString !! ProcessError) r
+ Polysemy.Process.Interpreter.Process: interpretOutputHandle :: forall (r :: EffectRow). Member (Embed IO) r => Handle -> InterpreterFor ((Output ByteString :: (Type -> Type) -> Type -> Type) !! ProcessError) r
- Polysemy.Process.Interpreter.Process: interpretOutputHandleBuffered :: Member (Embed IO) r => Handle -> InterpreterFor (Output ByteString !! ProcessError) r
+ Polysemy.Process.Interpreter.Process: interpretOutputHandleBuffered :: forall (r :: EffectRow). Member (Embed IO) r => Handle -> InterpreterFor ((Output ByteString :: (Type -> Type) -> Type -> Type) !! ProcessError) r
- Polysemy.Process.Interpreter.Process: interpretProcess :: forall param proc i o r. Members (ProcessIO i o) r => Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> (param -> Sem (Stop ProcessError : r) proc) -> InterpreterFor (Scoped param (Process i o) !! ProcessError) r
+ Polysemy.Process.Interpreter.Process: interpretProcess :: forall param proc i o (r :: EffectRow). (Members (ProcessIO i o) r, Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> (param -> Sem (Stop ProcessError ': r) proc) -> InterpreterFor (Scoped param (Process i o) !! ProcessError) r
- Polysemy.Process.Interpreter.Process: interpretProcessCurrent :: Members [ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r => ProcessOptions -> InterpreterFor (Process i o !! ProcessError) r
+ Polysemy.Process.Interpreter.Process: interpretProcessCurrent :: forall i o (r :: EffectRow). Members '[ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r => ProcessOptions -> InterpreterFor (Process i o !! ProcessError) r
- Polysemy.Process.Interpreter.Process: interpretProcessHandles :: forall i o r. Members [ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r => ProcessOptions -> Handle -> Handle -> InterpreterFor (Process i o !! ProcessError) r
+ Polysemy.Process.Interpreter.Process: interpretProcessHandles :: forall i o (r :: EffectRow). Members '[ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r => ProcessOptions -> Handle -> Handle -> InterpreterFor (Process i o !! ProcessError) r
- Polysemy.Process.Interpreter.Process: interpretProcessIO :: forall i o ie oe r. Members [Input ByteString !! ie, Output ByteString !! oe] r => Members [ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r => ProcessOptions -> InterpreterFor (Process i o !! ProcessError) r
+ Polysemy.Process.Interpreter.Process: interpretProcessIO :: forall i o ie oe (r :: EffectRow). (Members '[(Input ByteString :: (Type -> Type) -> Type -> Type) !! ie, (Output ByteString :: (Type -> Type) -> Type -> Type) !! oe] r, Members '[ProcessInput i, ProcessOutput 'Stdout o, Resource, Race, Async, Embed IO] r) => ProcessOptions -> InterpreterFor (Process i o !! ProcessError) r
- Polysemy.Process.Interpreter.Process: interpretProcessNative :: forall param i o r. Members (ProcessIO i o) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (Process i o) !! ProcessError) r
+ Polysemy.Process.Interpreter.Process: interpretProcessNative :: forall param i o (r :: EffectRow). (Members (ProcessIO i o) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (Process i o) !! ProcessError) r
- Polysemy.Process.Interpreter.Process: interpretProcessNative_ :: forall i o r. Members (ProcessIO i o) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> SysProcConf -> InterpreterFor (Scoped_ (Process i o) !! ProcessError) r
+ Polysemy.Process.Interpreter.Process: interpretProcessNative_ :: forall i o (r :: EffectRow). (Members (ProcessIO i o) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> SysProcConf -> InterpreterFor (Scoped_ (Process i o) !! ProcessError) r
- Polysemy.Process.Interpreter.Process: interpretProcess_ :: forall i o r. Member (Scoped_ (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r => Members [ProcessOutput 'Stdout o, ProcessOutput 'Stderr o, ProcessInput i, Resource, Race, Async, Embed IO] r => ProcessOptions -> InterpreterFor (Scoped_ (Process i o) !! ProcessError) r
+ Polysemy.Process.Interpreter.Process: interpretProcess_ :: forall i o (r :: EffectRow). (Member (Scoped_ (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r, Members '[ProcessOutput 'Stdout o, ProcessOutput 'Stderr o, ProcessInput i, Resource, Race, Async, Embed IO] r) => ProcessOptions -> InterpreterFor (Scoped_ (Process i o) !! ProcessError) r
- Polysemy.Process.Interpreter.Process: outputQueue :: forall p chunk err eff r. Members [eff !! err, ProcessOutput p chunk, Queue (Out chunk), Embed IO] r => Bool -> Sem r Bool -> Sem (eff : r) ByteString -> Sem r ()
+ Polysemy.Process.Interpreter.Process: outputQueue :: forall (p :: OutputPipe) chunk err (eff :: (Type -> Type) -> Type -> Type) (r :: EffectRow). Members '[eff !! err, ProcessOutput p chunk, Queue (Out chunk), Embed IO] r => Bool -> Sem r Bool -> Sem (eff ': r) ByteString -> Sem r ()
- Polysemy.Process.Interpreter.ProcessIO: interpretProcessByteString :: InterpretersFor (ProcessIO ByteString ByteString) r
+ Polysemy.Process.Interpreter.ProcessIO: interpretProcessByteString :: forall (r :: [Effect]) a. Sem (Append (ProcessIO ByteString ByteString) r) a -> Sem r a
- Polysemy.Process.Interpreter.ProcessIO: interpretProcessByteStringLines :: InterpretersFor (ProcessIO ByteString ByteString) r
+ Polysemy.Process.Interpreter.ProcessIO: interpretProcessByteStringLines :: forall (r :: [Effect]) a. Sem (Append (ProcessIO ByteString ByteString) r) a -> Sem r a
- Polysemy.Process.Interpreter.ProcessIO: interpretProcessText :: InterpretersFor (ProcessIO Text Text) r
+ Polysemy.Process.Interpreter.ProcessIO: interpretProcessText :: forall (r :: [Effect]) a. Sem (Append (ProcessIO Text Text) r) a -> Sem r a
- Polysemy.Process.Interpreter.ProcessIO: interpretProcessTextLines :: InterpretersFor (ProcessIO Text Text) r
+ Polysemy.Process.Interpreter.ProcessIO: interpretProcessTextLines :: forall (r :: [Effect]) a. Sem (Append (ProcessIO Text Text) r) a -> Sem r a
- Polysemy.Process.Interpreter.ProcessIO: type ProcessIO i o = [ProcessInput i, ProcessOutput 'Stdout o, ProcessOutput 'Stderr o]
+ Polysemy.Process.Interpreter.ProcessIO: type ProcessIO i o = '[ProcessInput i, ProcessOutput 'Stdout o, ProcessOutput 'Stderr o]
- Polysemy.Process.Interpreter.ProcessInput: interpretProcessInputId :: InterpreterFor (ProcessInput ByteString) r
+ Polysemy.Process.Interpreter.ProcessInput: interpretProcessInputId :: forall (r :: [Effect]) a. Sem (ProcessInput ByteString ': r) a -> Sem r a
- Polysemy.Process.Interpreter.ProcessInput: interpretProcessInputText :: InterpreterFor (ProcessInput Text) r
+ Polysemy.Process.Interpreter.ProcessInput: interpretProcessInputText :: forall (r :: [Effect]) a. Sem (ProcessInput Text ': r) a -> Sem r a
- Polysemy.Process.Interpreter.ProcessOneshot: interpretProcessOneshot :: forall param proc i o r. Members (ProcessIO i o) r => Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> (param -> Sem (Stop SystemProcessScopeError : r) proc) -> InterpreterFor (Scoped param (Process i o !! ProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process.Interpreter.ProcessOneshot: interpretProcessOneshot :: forall param proc i o (r :: EffectRow). (Members (ProcessIO i o) r, Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> (param -> Sem (Stop SystemProcessScopeError ': r) proc) -> InterpreterFor (Scoped param (Process i o !! ProcessError) !! SystemProcessScopeError) r
- Polysemy.Process.Interpreter.ProcessOneshot: interpretProcessOneshotNative :: forall param i o r. Members (ProcessIO i o) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (Process i o !! ProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process.Interpreter.ProcessOneshot: interpretProcessOneshotNative :: forall param i o (r :: EffectRow). (Members (ProcessIO i o) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (Process i o !! ProcessError) !! SystemProcessScopeError) r
- Polysemy.Process.Interpreter.ProcessOneshot: interpretProcessOneshotNative_ :: forall i o r. Members (ProcessIO i o) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> SysProcConf -> InterpreterFor (Scoped_ (Process i o !! ProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process.Interpreter.ProcessOneshot: interpretProcessOneshotNative_ :: forall i o (r :: EffectRow). (Members (ProcessIO i o) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> SysProcConf -> InterpreterFor (Scoped_ (Process i o !! ProcessError) !! SystemProcessScopeError) r
- Polysemy.Process.Interpreter.ProcessOneshot: interpretProcessOneshot_ :: forall proc i o r. Members (ProcessIO i o) r => Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r => Members [Resource, Race, Async, Embed IO] r => ProcessOptions -> proc -> InterpreterFor (Scoped_ (Process i o !! ProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process.Interpreter.ProcessOneshot: interpretProcessOneshot_ :: forall proc i o (r :: EffectRow). (Members (ProcessIO i o) r, Member (Scoped proc (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r, Members '[Resource, Race, Async, Embed IO] r) => ProcessOptions -> proc -> InterpreterFor (Scoped_ (Process i o !! ProcessError) !! SystemProcessScopeError) r
- Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputId :: forall p r. InterpreterFor (ProcessOutput p ByteString) r
+ Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputId :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p ByteString ': r) a -> Sem r a
- Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputIgnore :: forall p a r. InterpreterFor (ProcessOutput p a) r
+ Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputIgnore :: forall (p :: OutputPipe) a1 (r :: [Effect]) a2. Sem (ProcessOutput p a1 ': r) a2 -> Sem r a2
- Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputIncremental :: forall p a r. (ByteString -> ProcessOutputParseResult a) -> InterpreterFor (ProcessOutput p (Either Text a)) r
+ Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputIncremental :: forall (p :: OutputPipe) a (r :: [Effect]). (ByteString -> ProcessOutputParseResult a) -> InterpreterFor (ProcessOutput p (Either Text a)) r
- Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputLeft :: forall p a b r. Member (ProcessOutput p a) r => InterpreterFor (ProcessOutput p (Either a b)) r
+ Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputLeft :: forall (p :: OutputPipe) a b (r :: EffectRow). Member (ProcessOutput p a) r => InterpreterFor (ProcessOutput p (Either a b)) r
- Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputLines :: forall p r. InterpreterFor (ProcessOutput p ByteString) r
+ Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputLines :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p ByteString ': r) a -> Sem r a
- Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputRight :: forall p a b r. Member (ProcessOutput p b) r => InterpreterFor (ProcessOutput p (Either a b)) r
+ Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputRight :: forall (p :: OutputPipe) a b (r :: EffectRow). Member (ProcessOutput p b) r => InterpreterFor (ProcessOutput p (Either a b)) r
- Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputText :: forall p r. InterpreterFor (ProcessOutput p Text) r
+ Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputText :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p Text ': r) a -> Sem r a
- Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputTextLines :: forall p r. InterpreterFor (ProcessOutput p Text) r
+ Polysemy.Process.Interpreter.ProcessOutput: interpretProcessOutputTextLines :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p Text ': r) a -> Sem r a
- Polysemy.Process.Interpreter.Pty: interpretPty :: Members [Resource, Embed IO] r => InterpreterFor (Scoped_ Pty !! PtyError) r
+ Polysemy.Process.Interpreter.Pty: interpretPty :: forall (r :: EffectRow). Members '[Resource, Embed IO] r => InterpreterFor (Scoped_ Pty !! PtyError) r
- Polysemy.Process.Interpreter.SystemProcess: handleSystemProcessWithProcess :: forall r r0 a. Members [Stop SystemProcessError, Embed IO] r => Process Handle Handle Handle -> SystemProcess (Sem r0) a -> Sem r a
+ Polysemy.Process.Interpreter.SystemProcess: handleSystemProcessWithProcess :: forall (r :: EffectRow) (r0 :: EffectRow) a. Members '[Stop SystemProcessError, Embed IO] r => Process Handle Handle Handle -> SystemProcess (Sem r0) a -> Sem r a
- Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessNative :: forall param r. Members [Resource, Embed IO] r => (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessNative :: forall param (r :: EffectRow). Members '[Resource, Embed IO] r => (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r
- Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessNativeOpaque :: forall i o e r. Members [Resource, Embed IO] r => ProcessConfig i o e -> InterpreterFor (Scoped_ (SystemProcess !! SystemProcessError)) r
+ Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessNativeOpaque :: forall i o e (r :: EffectRow). Members '[Resource, Embed IO] r => ProcessConfig i o e -> InterpreterFor (Scoped_ (SystemProcess !! SystemProcessError)) r
- Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessNativeOpaqueSingle :: forall i o e r. Members [Resource, Embed IO] r => ProcessConfig i o e -> InterpreterFor (SystemProcess !! SystemProcessError) r
+ Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessNativeOpaqueSingle :: forall i o e (r :: EffectRow). Members '[Resource, Embed IO] r => ProcessConfig i o e -> InterpreterFor (SystemProcess !! SystemProcessError) r
- Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessNativeSingle :: forall r. Members [Stop SystemProcessScopeError, Resource, Embed IO] r => SysProcConf -> InterpreterFor (SystemProcess !! SystemProcessError) r
+ Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessNativeSingle :: forall (r :: EffectRow). Members '[Stop SystemProcessScopeError, Resource, Embed IO] r => SysProcConf -> InterpreterFor (SystemProcess !! SystemProcessError) r
- Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessNative_ :: forall r. Members [Resource, Embed IO] r => SysProcConf -> InterpreterFor (Scoped_ (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessNative_ :: forall (r :: EffectRow). Members '[Resource, Embed IO] r => SysProcConf -> InterpreterFor (Scoped_ (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r
- Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessWithProcess :: forall r. Member (Embed IO) r => Process Handle Handle Handle -> InterpreterFor (SystemProcess !! SystemProcessError) r
+ Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessWithProcess :: forall (r :: EffectRow). Member (Embed IO) r => Process Handle Handle Handle -> InterpreterFor (SystemProcess !! SystemProcessError) r
- Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessWithProcessOpaque :: forall i o e r. Member (Embed IO) r => Process i o e -> InterpreterFor (SystemProcess !! SystemProcessError) r
+ Polysemy.Process.Interpreter.SystemProcess: interpretSystemProcessWithProcessOpaque :: forall i o e (r :: EffectRow). Member (Embed IO) r => Process i o e -> InterpreterFor (SystemProcess !! SystemProcessError) r
- Polysemy.Process.ProcessOutput: [Chunk] :: ByteString -> ByteString -> ProcessOutput p a m ([a], ByteString)
+ Polysemy.Process.ProcessOutput: [Chunk] :: forall (p :: OutputPipe) a (b :: Type -> Type). ByteString -> ByteString -> ProcessOutput p a b ([a], ByteString)
- Polysemy.Process.ProcessOutput: chunk :: forall p_ae2W a_ae2X r_ae5g. Member (ProcessOutput p_ae2W a_ae2X) r_ae5g => ByteString -> ByteString -> Sem r_ae5g ([a_ae2X], ByteString)
+ Polysemy.Process.ProcessOutput: chunk :: forall (p :: OutputPipe) a (r :: EffectRow). Member (ProcessOutput p a) r => ByteString -> ByteString -> Sem r ([a], ByteString)
- Polysemy.Process.ProcessOutput: data ProcessOutput (p :: OutputPipe) a :: Effect
+ Polysemy.Process.ProcessOutput: data ProcessOutput (p :: OutputPipe) a (b :: Type -> Type) c
- Polysemy.Process.ProcessOutput: interpretProcessOutputId :: forall p r. InterpreterFor (ProcessOutput p ByteString) r
+ Polysemy.Process.ProcessOutput: interpretProcessOutputId :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p ByteString ': r) a -> Sem r a
- Polysemy.Process.ProcessOutput: interpretProcessOutputLines :: forall p r. InterpreterFor (ProcessOutput p ByteString) r
+ Polysemy.Process.ProcessOutput: interpretProcessOutputLines :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p ByteString ': r) a -> Sem r a
- Polysemy.Process.ProcessOutput: interpretProcessOutputText :: forall p r. InterpreterFor (ProcessOutput p Text) r
+ Polysemy.Process.ProcessOutput: interpretProcessOutputText :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p Text ': r) a -> Sem r a
- Polysemy.Process.ProcessOutput: interpretProcessOutputTextLines :: forall p r. InterpreterFor (ProcessOutput p Text) r
+ Polysemy.Process.ProcessOutput: interpretProcessOutputTextLines :: forall (p :: OutputPipe) (r :: [Effect]) a. Sem (ProcessOutput p Text ': r) a -> Sem r a
- Polysemy.Process.Pty: [Handle] :: Pty m Handle
+ Polysemy.Process.Pty: [Handle] :: forall (a :: Type -> Type). Pty a Handle
- Polysemy.Process.Pty: [Resize] :: Rows -> Cols -> Pty m ()
+ Polysemy.Process.Pty: [Resize] :: forall (a :: Type -> Type). Rows -> Cols -> Pty a ()
- Polysemy.Process.Pty: [Size] :: Pty m (Rows, Cols)
+ Polysemy.Process.Pty: [Size] :: forall (a :: Type -> Type). Pty a (Rows, Cols)
- Polysemy.Process.Pty: data Pty :: Effect
+ Polysemy.Process.Pty: data Pty (a :: Type -> Type) b
- Polysemy.Process.Pty: handle :: forall r_ahtI. Member Pty r_ahtI => Sem r_ahtI Handle
+ Polysemy.Process.Pty: handle :: forall (r :: EffectRow). Member Pty r => Sem r Handle
- Polysemy.Process.Pty: interpretPty :: Members [Resource, Embed IO] r => InterpreterFor (Scoped_ Pty !! PtyError) r
+ Polysemy.Process.Pty: interpretPty :: forall (r :: EffectRow). Members '[Resource, Embed IO] r => InterpreterFor (Scoped_ Pty !! PtyError) r
- Polysemy.Process.Pty: resize :: forall r_ahtJ. Member Pty r_ahtJ => Rows -> Cols -> Sem r_ahtJ ()
+ Polysemy.Process.Pty: resize :: forall (r :: EffectRow). Member Pty r => Rows -> Cols -> Sem r ()
- Polysemy.Process.Pty: size :: forall r_ahtM. Member Pty r_ahtM => Sem r_ahtM (Rows, Cols)
+ Polysemy.Process.Pty: size :: forall (r :: EffectRow). Member Pty r => Sem r (Rows, Cols)
- Polysemy.Process.Pty: withPty :: Member (Scoped_ Pty) r => InterpreterFor Pty r
+ Polysemy.Process.Pty: withPty :: forall (r :: EffectRow). Member (Scoped_ Pty) r => InterpreterFor Pty r
- Polysemy.Process.SysProcConf: which :: Member (Embed IO) r => Path Rel File -> [Text] -> Sem r (Maybe SysProcConf)
+ Polysemy.Process.SysProcConf: which :: forall (r :: EffectRow). Member (Embed IO) r => Path Rel File -> [Text] -> Sem r (Maybe SysProcConf)
- Polysemy.Process.SystemProcess: currentPid :: Member (Embed IO) r => Sem r Pid
+ Polysemy.Process.SystemProcess: currentPid :: forall (r :: EffectRow). Member (Embed IO) r => Sem r Pid
- Polysemy.Process.SystemProcess: data SystemProcess :: Effect
+ Polysemy.Process.SystemProcess: data SystemProcess (a :: Type -> Type) b
- Polysemy.Process.SystemProcess: interpretSystemProcessNative :: forall param r. Members [Resource, Embed IO] r => (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r
+ Polysemy.Process.SystemProcess: interpretSystemProcessNative :: forall param (r :: EffectRow). Members '[Resource, Embed IO] r => (param -> Sem r (Either Text SysProcConf)) -> InterpreterFor (Scoped param (SystemProcess !! SystemProcessError) !! SystemProcessScopeError) r
- Polysemy.Process.SystemProcess: interpretSystemProcessNativeSingle :: forall r. Members [Stop SystemProcessScopeError, Resource, Embed IO] r => SysProcConf -> InterpreterFor (SystemProcess !! SystemProcessError) r
+ Polysemy.Process.SystemProcess: interpretSystemProcessNativeSingle :: forall (r :: EffectRow). Members '[Stop SystemProcessScopeError, Resource, Embed IO] r => SysProcConf -> InterpreterFor (SystemProcess !! SystemProcessError) r
- Polysemy.Process.SystemProcess: interpretSystemProcessWithProcess :: forall r. Member (Embed IO) r => Process Handle Handle Handle -> InterpreterFor (SystemProcess !! SystemProcessError) r
+ Polysemy.Process.SystemProcess: interpretSystemProcessWithProcess :: forall (r :: EffectRow). Member (Embed IO) r => Process Handle Handle Handle -> InterpreterFor (SystemProcess !! SystemProcessError) r
- Polysemy.Process.SystemProcess: interrupt :: Member SystemProcess r => Sem r ()
+ Polysemy.Process.SystemProcess: interrupt :: forall (r :: EffectRow). Member SystemProcess r => Sem r ()
- Polysemy.Process.SystemProcess: pid :: forall r_aixn. Member SystemProcess r_aixn => Sem r_aixn Pid
+ Polysemy.Process.SystemProcess: pid :: forall (r :: EffectRow). Member SystemProcess r => Sem r Pid
- Polysemy.Process.SystemProcess: readStderr :: forall r_aixk. Member SystemProcess r_aixk => Sem r_aixk ByteString
+ Polysemy.Process.SystemProcess: readStderr :: forall (r :: EffectRow). Member SystemProcess r => Sem r ByteString
- Polysemy.Process.SystemProcess: readStdout :: forall r_aixj. Member SystemProcess r_aixj => Sem r_aixj ByteString
+ Polysemy.Process.SystemProcess: readStdout :: forall (r :: EffectRow). Member SystemProcess r => Sem r ByteString
- Polysemy.Process.SystemProcess: signal :: forall r_aixo. Member SystemProcess r_aixo => Signal -> Sem r_aixo ()
+ Polysemy.Process.SystemProcess: signal :: forall (r :: EffectRow). Member SystemProcess r => Signal -> Sem r ()
- Polysemy.Process.SystemProcess: wait :: forall r_aixq. Member SystemProcess r_aixq => Sem r_aixq ExitCode
+ Polysemy.Process.SystemProcess: wait :: forall (r :: EffectRow). Member SystemProcess r => Sem r ExitCode
- Polysemy.Process.SystemProcess: withSystemProcess :: forall param err r. Member (Scoped param (SystemProcess !! err)) r => param -> InterpreterFor (SystemProcess !! err) r
+ Polysemy.Process.SystemProcess: withSystemProcess :: forall param err (r :: EffectRow). Member (Scoped param (SystemProcess !! err)) r => param -> InterpreterFor (SystemProcess !! err) r
- Polysemy.Process.SystemProcess: writeStdin :: forall r_aixl. Member SystemProcess r_aixl => ByteString -> Sem r_aixl ()
+ Polysemy.Process.SystemProcess: writeStdin :: forall (r :: EffectRow). Member SystemProcess r => ByteString -> Sem r ()
Files
- polysemy-process.cabal +10/−10
polysemy-process.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: polysemy-process-version: 0.14.1.0+version: 0.14.1.1 synopsis: Polysemy effects for system processes description: See https://hackage.haskell.org/package/polysemy-process/docs/Polysemy-Process.html category: Process@@ -13,7 +13,7 @@ bug-reports: https://github.com/tek/polysemy-conc/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@@ -96,12 +96,12 @@ ghc-options: -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages build-depends: async >=2.2.5 && <2.3- , base >=4.17.2.1 && <4.20+ , base >=4.17.2.1 && <4.21 , incipit-core >=0.4.1.0 && <0.7 , path >=0.9.1 && <0.10 , path-io >=1.6.3 && <1.9 , polysemy >=1.9.0.0 && <1.10- , polysemy-conc >=0.14.1.0 && <0.15+ , polysemy-conc >=0.14.1.1 && <0.15 , polysemy-resume >=0.7.0.0 && <0.10 , polysemy-time >=0.5.1.0 && <0.8 , posix-pty >=0.2.2 && <0.3@@ -163,19 +163,19 @@ ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages build-depends: async >=2.2.5 && <2.3- , base >=4.17.2.1 && <4.20- , hedgehog >=1.1.2+ , base >=4.17.2.1 && <4.21+ , hedgehog >=1.1.2 && <1.6 , incipit-core >=0.4.1.0 && <0.7 , polysemy >=1.9.0.0 && <1.10- , polysemy-conc >=0.14.1.0 && <0.15+ , polysemy-conc >=0.14.1.1 && <0.15 , polysemy-plugin >=0.4.4.0 && <0.5 , polysemy-process , polysemy-resume >=0.7.0.0 && <0.10 , polysemy-test >=0.7.0.0 && <0.11 , polysemy-time >=0.5.1.0 && <0.8- , tasty >=1.4.2 && <1.5+ , tasty >=1.4.2 && <1.6 , tasty-expected-failure >=0.11.1.2 && <0.13- , tasty-hedgehog >=1.3.0.0+ , tasty-hedgehog >=1.3.0.0 && <1.5 , typed-process >=0.2.4.1 && <0.3 , unix >=2.7.3 && <2.9 mixins: