Safe Haskell	None
Language	GHC2021

Effectful.Process.Dynamic.Effect

Contents

Effect

Description

Provides a dynamic effect for typed process.

Since: 0.1

Synopsis

data Process (a :: Type -> Type) b where
- CreateProcess :: forall (a :: Type -> Type). CreateProcess -> Process a (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle)
- CreateProcess_ :: forall (a :: Type -> Type). String -> CreateProcess -> Process a (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle)
- CallProcess :: forall (a :: Type -> Type). FilePath -> [String] -> Process a ()
- CallCommand :: forall (a :: Type -> Type). String -> Process a ()
- SpawnProcess :: forall (a :: Type -> Type). FilePath -> [String] -> Process a ProcessHandle
- SpawnCommand :: forall (a :: Type -> Type). String -> Process a ProcessHandle
- ReadCreateProcess :: forall (a :: Type -> Type). CreateProcess -> String -> Process a [Char]
- ReadProcess :: forall (a :: Type -> Type). FilePath -> [String] -> String -> Process a [Char]
- ReadCreateProcessWithExitCode :: forall (a :: Type -> Type). CreateProcess -> String -> Process a (ExitCode, String, String)
- ReadProcessWithExitCode :: forall (a :: Type -> Type). FilePath -> [String] -> String -> Process a (ExitCode, String, String)
- WithCreateProcess :: forall (a :: Type -> Type) b. CreateProcess -> (Maybe Handle -> Maybe Handle -> Maybe Handle -> ProcessHandle -> a b) -> Process a b
- CleanupProcess :: forall (a :: Type -> Type). (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle) -> Process a ()
- GetPid :: forall (a :: Type -> Type). ProcessHandle -> Process a (Maybe Pid)
- GetCurrentPid :: forall (a :: Type -> Type). Process a CPid
- WaitForProcess :: forall (a :: Type -> Type). ProcessHandle -> Process a ExitCode
- GetProcessExitCode :: forall (a :: Type -> Type). ProcessHandle -> Process a (Maybe ExitCode)
- TerminateProcess :: forall (a :: Type -> Type). ProcessHandle -> Process a ()
- InterruptProcessGroupOf :: forall (a :: Type -> Type). ProcessHandle -> Process a ()
- CreatePipe :: forall (a :: Type -> Type). Process a (Handle, Handle)
- CreatePipeFd :: forall (a :: Type -> Type). Process a (FD, FD)

Effect

data Process (a :: Type -> Type) b where Source #

Dynamic effect for process.

Since: 0.1

Constructors

CreateProcess :: forall (a :: Type -> Type). CreateProcess -> Process a (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle)	Since: 0.1
CreateProcess_ :: forall (a :: Type -> Type). String -> CreateProcess -> Process a (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle)	Since: 0.1
CallProcess :: forall (a :: Type -> Type). FilePath -> [String] -> Process a ()	Since: 0.1
CallCommand :: forall (a :: Type -> Type). String -> Process a ()	Since: 0.1
SpawnProcess :: forall (a :: Type -> Type). FilePath -> [String] -> Process a ProcessHandle	Since: 0.1
SpawnCommand :: forall (a :: Type -> Type). String -> Process a ProcessHandle	Since: 0.1
ReadCreateProcess :: forall (a :: Type -> Type). CreateProcess -> String -> Process a [Char]	Since: 0.1
ReadProcess :: forall (a :: Type -> Type). FilePath -> [String] -> String -> Process a [Char]	Since: 0.1
ReadCreateProcessWithExitCode :: forall (a :: Type -> Type). CreateProcess -> String -> Process a (ExitCode, String, String)	Since: 0.1
ReadProcessWithExitCode :: forall (a :: Type -> Type). FilePath -> [String] -> String -> Process a (ExitCode, String, String)	Since: 0.1
WithCreateProcess :: forall (a :: Type -> Type) b. CreateProcess -> (Maybe Handle -> Maybe Handle -> Maybe Handle -> ProcessHandle -> a b) -> Process a b	Since: 0.1
CleanupProcess :: forall (a :: Type -> Type). (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle) -> Process a ()	Since: 0.1
GetPid :: forall (a :: Type -> Type). ProcessHandle -> Process a (Maybe Pid)	Since: 0.1
GetCurrentPid :: forall (a :: Type -> Type). Process a CPid	Since: 0.1
WaitForProcess :: forall (a :: Type -> Type). ProcessHandle -> Process a ExitCode	Since: 0.1
GetProcessExitCode :: forall (a :: Type -> Type). ProcessHandle -> Process a (Maybe ExitCode)	Since: 0.1
TerminateProcess :: forall (a :: Type -> Type). ProcessHandle -> Process a ()	Since: 0.1
InterruptProcessGroupOf :: forall (a :: Type -> Type). ProcessHandle -> Process a ()	Since: 0.1
CreatePipe :: forall (a :: Type -> Type). Process a (Handle, Handle)	Since: 0.1
CreatePipeFd :: forall (a :: Type -> Type). Process a (FD, FD)	Since: 0.1

Instances

Instances details

ShowEffect Process Source #	Since: 0.1
Instance details Defined in Effectful.Process.Dynamic.Effect Methods showEffectCons :: forall (m :: Type -> Type) a. Process m a -> String Source #
type DispatchOf Process Source #
Instance details Defined in Effectful.Process.Dynamic.Effect type DispatchOf Process = 'Dynamic