System.Posix.Signal.Struct

Reexports

Definitions

get_siginfo_t_si_signo : AnyPtr -> PrimIO Bits32

get_siginfo_t_si_code : AnyPtr -> PrimIO CInt

get_siginfo_t_si_pid : AnyPtr -> PrimIO PidT

get_siginfo_t_si_uid : AnyPtr -> PrimIO UidT

get_siginfo_t_si_status : AnyPtr -> PrimIO CInt

get_siginfo_t_si_value : AnyPtr -> PrimIO CInt

record SigsetT : Type

  Wrapper around a pointer of a signal set (`sigset_t`).

Totality: total
Visibility: export
Constructor: 

S : AnyPtr -> SigsetT

Projection: 

.ptr : SigsetT -> AnyPtr

Hints:

ELift1 World f => Resource f SigsetT

WrappedPtr SigsetT

freeSigset1 : SigsetT -> F1' World

Totality: total
Visibility: export

freeSigset : Lift1 World f => SigsetT -> f ()

Totality: total
Visibility: export

emptySigset : PrimIO SigsetT

  Allocates a `sigset_t` with all signals cleared.
  
  This must be freed with `freeSigset`.

Totality: total
Visibility: export

fullSigset : PrimIO SigsetT

  Allocates a `sigset_t` with all signals set.
  
  This must be freed with `freeSigset`.

Totality: total
Visibility: export

sigaddset : SigsetT -> Signal -> F1 World ()

  Adds a signal to a `sigset_t`

Totality: total
Visibility: export

sigdelset : SigsetT -> Signal -> F1 World ()

  Removes a signal from a `sigset_t`

Totality: total
Visibility: export

sigismember : SigsetT -> Signal -> F1 World Bool

  Tests if a signal is a member of a `sigset_t`.

Totality: total
Visibility: export

getSignals : SigsetT -> F1 World (List Signal)

  Extracts the set signals from a `SigsetT`.

Totality: total
Visibility: export

withSignals : List Signal -> (SigsetT -> EPrim a) -> EPrim a

Totality: total
Visibility: export

withoutSignals : List Signal -> (SigsetT -> EPrim a) -> EPrim a

Totality: total
Visibility: export

record SSiginfoT : Type -> Type

Totality: total
Visibility: export
Constructor: 

ST : AnyPtr -> SSiginfoT s

Projection: 

.ptr : SSiginfoT s -> AnyPtr

Hints:

SizeOf (SSiginfoT s)

Struct SSiginfoT

0 SiginfoT : Type

Totality: total
Visibility: public export

record Siginfo : Type

Totality: total
Visibility: public export
Constructor: 

SI : Signal -> CInt -> PidT -> UidT -> CInt -> CInt -> Siginfo

Projections:

.code : Siginfo -> CInt

.pid : Siginfo -> PidT

.signal : Siginfo -> Signal

.status : Siginfo -> CInt

.uid : Siginfo -> UidT

.value : Siginfo -> CInt

Hints:

Convert Siginfo

Eq Siginfo

Show Siginfo

.signal : Siginfo -> Signal

Totality: total
Visibility: public export

signal : Siginfo -> Signal

Totality: total
Visibility: public export

.code : Siginfo -> CInt

Totality: total
Visibility: public export

code : Siginfo -> CInt

Totality: total
Visibility: public export

.pid : Siginfo -> PidT

Totality: total
Visibility: public export

pid : Siginfo -> PidT

Totality: total
Visibility: public export

.uid : Siginfo -> UidT

Totality: total
Visibility: public export

uid : Siginfo -> UidT

Totality: total
Visibility: public export

.status : Siginfo -> CInt

Totality: total
Visibility: public export

status : Siginfo -> CInt

Totality: total
Visibility: public export

.value : Siginfo -> CInt

Totality: total
Visibility: public export

value : Siginfo -> CInt

Totality: total
Visibility: public export

siginfo : SSiginfoT s -> F1 s Siginfo

Totality: total
Visibility: export

convertSiginfo : Convert Siginfo

Totality: total
Visibility: export