Idris2Doc : System.Posix.Process.ProcStatus

System.Posix.Process.ProcStatus

(source)
Reexports
import public Data.C.Ptr
Definitions
data ProcStatus : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Exited : Bits8 -> ProcStatus
  
Signaled : Signal -> Bool -> ProcStatus
  
Stopped : Signal -> ProcStatus
  
Continued : ProcStatus
  
Other : CInt -> ProcStatus

  Hints:
  
Eq ProcStatus
  
Show ProcStatus
procStatus : CInt -> ProcStatus
  Totality: total
  Visibility: export