Idris2Doc : System.Posix.Process.Flags

System.Posix.Process.Flags

(source)
Definitions
record WaitFlags : Type
  Totality: total
  Visibility: public export
  Constructor: 
F : Bits32 -> WaitFlags

  Projection: 
.flags : WaitFlags -> Bits32

  Hints:
  
Eq WaitFlags
  
Monoid WaitFlags
  
Ord WaitFlags
  
Semigroup WaitFlags
  
Show WaitFlags
.flags : WaitFlags -> Bits32
  Totality: total
  Visibility: public export
flags : WaitFlags -> Bits32
  Totality: total
  Visibility: public export
data IdType : Type
  Totality: total
  Visibility: public export
  Constructors:
  
P_ALL : IdType
  
P_PID : IdType
  
P_PGID : IdType

  Hints:
  
Eq IdType
  
Ord IdType
  
Show IdType
WUNTRACED : WaitFlags
  Totality: total
  Visibility: public export
WCONTINUED : WaitFlags
  Totality: total
  Visibility: public export
WNOHANG : WaitFlags
  Totality: total
  Visibility: public export
WEXITED : WaitFlags
  Totality: total
  Visibility: public export
WSTOPPED : WaitFlags
  Totality: total
  Visibility: public export
WNOWAIT : WaitFlags
  Totality: total
  Visibility: public export
idtypeCode : IdType -> Bits8
  Totality: total
  Visibility: public export