Idris2Doc : System.Posix.Pthreads.Struct

System.Posix.Pthreads.Struct

(source)
Reexports
import public Data.C.Ptr
import public System.Posix.Errno
import public System.Posix.Pthreads.Types
Definitions
record PthreadT : Type
  Wrapper around an identifier for a POSIX thread.

  Totality: total
  Visibility: public export
  Constructor: 
P : AnyPtr -> PthreadT

  Projection: 
.ptr : PthreadT -> AnyPtr

  Hints:
  
Eq PthreadT
  
Show PthreadT
.ptr : PthreadT -> AnyPtr
  Totality: total
  Visibility: public export
ptr : PthreadT -> AnyPtr
  Totality: total
  Visibility: public export
record SMutexT : Type -> Type
  Wrapper around a `pthread_mutex_t` pointer.
  
  Noted: While this provides additional flexibility over the type of mutex
  we use (see `mkmutex`) and how we acquire a lock on a mutex, it is less
  convenient to use than the garbage-collected version from
  `System.Concurrency`.

  Totality: total
  Visibility: public export
  Constructor: 
M : AnyPtr -> SMutexT s

  Projection: 
.ptr : SMutexT s -> AnyPtr

  Hint: 
Struct SMutexT
.ptr : SMutexT s -> AnyPtr
  Totality: total
  Visibility: public export
ptr : SMutexT s -> AnyPtr
  Totality: total
  Visibility: public export
0 MutexT : Type
  Totality: total
  Visibility: public export
record SCondT : Type -> Type
  Wrapper around a `pthread_cond_t` pointer.
  
  Noted: While this provides additional flexibility over the type of condition
  we use (see `mkcond`) convenient to use than the garbage-collected version from
  `System.Concurrency`.

  Totality: total
  Visibility: public export
  Constructor: 
C : AnyPtr -> SCondT s

  Projection: 
.ptr : SCondT s -> AnyPtr

  Hint: 
Struct SCondT
.ptr : SCondT s -> AnyPtr
  Totality: total
  Visibility: public export
ptr : SCondT s -> AnyPtr
  Totality: total
  Visibility: public export
0 CondT : Type
  Totality: total
  Visibility: public export