Idris2Doc : System.Posix.Socket.Types

System.Posix.Socket.Types

(source)
Definitions
data Domain : Type
  Totality: total
  Visibility: public export
  Constructors:
  
AF_UNIX : Domain
  
AF_INET : Domain
  
AF_INET6 : Domain

  Hints:
  
Cast (Socket d) Fd
  
Cast CInt (Socket d)
  
Eq Domain
  
Finite Domain
  
Ord Domain
  
Show Domain
record SockType : Type
  Totality: total
  Visibility: public export
  Constructor: 
ST : Bits32 -> SockType

  Projection: 
.type : SockType -> Bits32

  Hints:
  
Eq SockType
  
Ord SockType
  
Semigroup SockType
  
Show SockType
.type : SockType -> Bits32
  Totality: total
  Visibility: public export
type : SockType -> Bits32
  Totality: total
  Visibility: public export
record SockFlags : Type
  Totality: total
  Visibility: public export
  Constructor: 
SF : Bits32 -> SockFlags

  Projection: 
.flags : SockFlags -> Bits32

  Hints:
  
Eq SockFlags
  
Ord SockFlags
  
Semigroup SockFlags
  
Show SockFlags
.flags : SockFlags -> Bits32
  Totality: total
  Visibility: public export
flags : SockFlags -> Bits32
  Totality: total
  Visibility: public export
domainCode : Domain -> Bits8
  Totality: total
  Visibility: public export
SOCK_STREAM : SockType
  Totality: total
  Visibility: public export
SOCK_DGRAM : SockType
  Totality: total
  Visibility: public export
SOCK_RAW : SockType
  Totality: total
  Visibility: public export
SOCK_NONBLOCK : SockType
  Totality: total
  Visibility: public export
SOCK_CLOEXEC : SockType
  Totality: total
  Visibility: public export
MSG_DONTWAIT : SockFlags
  Totality: total
  Visibility: public export
MSG_OOB : SockFlags
  Totality: total
  Visibility: public export
MSG_PEEK : SockFlags
  Totality: total
  Visibility: public export
MSG_WAITALL : SockFlags
  Totality: total
  Visibility: public export
MSG_NOSIGNAL : SockFlags
  Totality: total
  Visibility: public export
sockaddr_un_size : Bits32
  Totality: total
  Visibility: public export
sockaddr_in_size : Bits32
  Totality: total
  Visibility: public export
sockaddr_in6_size : Bits32
  Totality: total
  Visibility: public export
SOL_SOCKET : Bits32
  Totality: total
  Visibility: public export
IPPROTO_TCP : Bits32
  Totality: total
  Visibility: public export
SO_REUSEADDR : Bits32
  Totality: total
  Visibility: public export
SO_LINGER : Bits32
  Totality: total
  Visibility: public export
TCP_NODELAY : Bits32
  Totality: total
  Visibility: public export