Idris2Doc : System.Posix.Process.ProcStatus

System.Posix.Process.ProcStatus

(source)

Reexports

importpublic Data.C.Ptr

Definitions

dataProcStatus : Type
Totality: total
Visibility: public export
Constructors:
Exited : Bits8->ProcStatus
Signaled : Signal->Bool->ProcStatus
Stopped : Signal->ProcStatus
Continued : ProcStatus
Other : CInt->ProcStatus

Hints:
EqProcStatus
ShowProcStatus
procStatus : CInt->ProcStatus
Totality: total
Visibility: export