Idris2Doc : System.Posix.Pthreads.Types

System.Posix.Pthreads.Types

(source)
Definitions
data MutexType : Type
  Totality: total
  Visibility: public export
  Constructors:
  
MUTEX_NORMAL : MutexType
  
MUTEX_RECURSIVE : MutexType
  
MUTEX_ERRORCHECK : MutexType

  Hints:
  
Eq MutexType
  
Finite MutexType
  
Ord MutexType
  
Show MutexType
data CancelType : Type
  Totality: total
  Visibility: public export
  Constructors:
  
CANCEL_DEFERRED : CancelType
  
CANCEL_ASYNCHRONOUS : CancelType

  Hints:
  
Eq CancelType
  
Finite CancelType
  
Ord CancelType
  
Show CancelType
data CancelState : Type
  Totality: total
  Visibility: public export
  Constructors:
  
CANCEL_ENABLE : CancelState
  
CANCEL_DISABLE : CancelState

  Hints:
  
Eq CancelState
  
Finite CancelState
  
Ord CancelState
  
Show CancelState
mutexCode : MutexType -> Bits8
  Totality: total
  Visibility: public export
cancelType : CancelType -> Bits8
  Totality: total
  Visibility: public export
cancelState : CancelState -> Bits8
  Totality: total
  Visibility: public export
pthread_t_size : Bits32
  Totality: total
  Visibility: public export
mutex_t_size : Bits32
  Totality: total
  Visibility: public export
cond_t_size : Bits32
  Totality: total
  Visibility: public export