| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Effectful.Posix.Signals.Static
Description
Provides a static effect for System.Posix.Signals.
Since: 0.1
Synopsis
- data PosixSignals (a :: Type -> Type) b
- raiseSignal :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Signal -> Eff es ()
- signalProcess :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Signal -> ProcessID -> Eff es ()
- signalProcessGroup :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Signal -> ProcessGroupID -> Eff es ()
- installHandler :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Signal -> Handler (Eff es) -> Maybe SignalSet -> Eff es (Handler (Eff es))
- getSignalMask :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Eff es SignalSet
- setSignalMask :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => SignalSet -> Eff es ()
- blockSignals :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => SignalSet -> Eff es ()
- unblockSignals :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => SignalSet -> Eff es ()
- scheduleAlarm :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Int -> Eff es Int
- getPendingSignals :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Eff es SignalSet
- awaitSignal :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Maybe SignalSet -> Eff es ()
- setStoppedChildFlag :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Bool -> Eff es Bool
- queryStoppedChildFlag :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Eff es Bool
- runPosixSignals :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (PosixSignals ': es) a -> Eff es a
- data Handler (m :: Type -> Type)
- = Default
- | Ignore
- | Catch (m ())
- | CatchOnce (m ())
- | CatchInfo (SignalInfo -> m ())
- | CatchInfoOnce (SignalInfo -> m ())
- mapHandler :: (forall x. m x -> n x) -> Handler m -> Handler n
- handlerToPosix :: Handler IO -> Handler
- handlerFromPosix :: Handler -> Handler IO
- type Signal = CInt
- data SignalSet
- type ProcessID = CPid
- type ProcessGroupID = CPid
Effect
data PosixSignals (a :: Type -> Type) b Source #
Provides a static effect for System.Posix.Signals.
Since: 0.1
Instances
| type DispatchOf PosixSignals Source # | |
Defined in Effectful.Posix.Signals.Static | |
| data StaticRep PosixSignals Source # | |
Defined in Effectful.Posix.Signals.Static | |
raiseSignal :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Signal -> Eff es () Source #
Lifted raiseSignal.
Since: 0.1
signalProcess :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Signal -> ProcessID -> Eff es () Source #
Lifted signalProcess.
Since: 0.1
signalProcessGroup :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Signal -> ProcessGroupID -> Eff es () Source #
Lifted signalProcessGroup.
Since: 0.1
installHandler :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Signal -> Handler (Eff es) -> Maybe SignalSet -> Eff es (Handler (Eff es)) Source #
Lifted installHandler.
Since: 0.1
getSignalMask :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Eff es SignalSet Source #
Lifted getSignalMask.
Since: 0.1
setSignalMask :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => SignalSet -> Eff es () Source #
Lifted setSignalMask.
Since: 0.1
blockSignals :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => SignalSet -> Eff es () Source #
Lifted blockSignals.
Since: 0.1
unblockSignals :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => SignalSet -> Eff es () Source #
Lifted unblockSignals.
Since: 0.1
scheduleAlarm :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Int -> Eff es Int Source #
Lifted scheduleAlarm.
Since: 0.1
getPendingSignals :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Eff es SignalSet Source #
Lifted getPendingSignals.
Since: 0.1
awaitSignal :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Maybe SignalSet -> Eff es () Source #
Lifted awaitSignal.
Since: 0.1
setStoppedChildFlag :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Bool -> Eff es Bool Source #
Lifted setStoppedChildFlag.
Since: 0.1
queryStoppedChildFlag :: forall (es :: [Effect]). (HasCallStack, PosixSignals :> es) => Eff es Bool Source #
Lifted queryStoppedChildFlag.
Since: 0.1
Handler
runPosixSignals :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (PosixSignals ': es) a -> Eff es a Source #
Runs a PosixSignals effect.
Since: 0.1
Posix Handler
data Handler (m :: Type -> Type) Source #
Since: 0.1
Constructors
| Default | |
| Ignore | |
| Catch (m ()) | |
| CatchOnce (m ()) | |
| CatchInfo (SignalInfo -> m ()) | |
| CatchInfoOnce (SignalInfo -> m ()) |
mapHandler :: (forall x. m x -> n x) -> Handler m -> Handler n Source #
Since: 0.1
Re-exports
type ProcessGroupID = CPid #