System.Posix.Socket.Struct

Definitions

record Socket : Domain -> Type

  A file descriptor representing a socket.

Totality: total
Visibility: export
Constructor: 

S : Bits32 -> Socket d

Projection: 

.fd : Socket d -> Bits32

Hints:

Cast (Socket d) Fd

Cast CInt (Socket d)

record SSockaddrUn : Type -> Type

Totality: total
Visibility: export
Constructor: 

SUN : AnyPtr -> SSockaddrUn s

Projection: 

.ptr : SSockaddrUn s -> AnyPtr

Hints:

SizeOf (SSockaddrUn s)

Struct SSockaddrUn

0 SockaddrUn : Type

Totality: total
Visibility: public export

sockaddrUn : String -> F1 s (SSockaddrUn s)

  Creates a `sockaddr_un` pointer and sets its `sun_path` value to
  the given path.
  
  The allocated memory must be freed via `freeStruct`.

Totality: total
Visibility: export

path : SSockaddrUn s -> F1 s String

Totality: total
Visibility: export

record IP4Addr : Type

Totality: total
Visibility: public export
Constructor: 

IP4 : Vect 4 Bits8 -> Bits16 -> IP4Addr

Projections:

.addr : IP4Addr -> Vect 4 Bits8

.port : IP4Addr -> Bits16

Hints:

Eq IP4Addr

Show IP4Addr

.addr : IP4Addr -> Vect 4 Bits8

Totality: total
Visibility: public export

addr : IP4Addr -> Vect 4 Bits8

Totality: total
Visibility: public export

.port : IP4Addr -> Bits16

Totality: total
Visibility: public export

port : IP4Addr -> Bits16

Totality: total
Visibility: public export

ip4addr : Vect 4 Bits8 -> Bits32

Totality: total
Visibility: export

splitIp4Addr : Bits32 -> Vect 4 Bits8

Totality: total
Visibility: export

record SSockaddrIn : Type -> Type

Totality: total
Visibility: export
Constructor: 

SIN : AnyPtr -> SSockaddrIn s

Projection: 

.ptr : SSockaddrIn s -> AnyPtr

Hints:

SizeOf (SSockaddrIn s)

Struct SSockaddrIn

0 SockaddrIn : Type

Totality: total
Visibility: public export

port : SSockaddrIn s -> F1 s Bits16

Totality: total
Visibility: export

addr : SSockaddrIn s -> F1 s Bits32

Totality: total
Visibility: export

addrIP4Addr : SSockaddrIn s -> F1 s IP4Addr

Totality: total
Visibility: export

addrStr : SSockaddrIn s -> F1 s String

Totality: total
Visibility: export

sockaddrIn : IP4Addr -> F1 s (SSockaddrIn s)

  Creates a `sockaddr_in` pointer and sets its `sun_path` value to
  
  The allocated memory must be freed via `freeStruct`.

Totality: total
Visibility: export

record IP6Addr : Type

Totality: total
Visibility: public export
Constructor: 

IP6 : Vect 16 Bits8 -> Bits16 -> IP6Addr

Projections:

.addr : IP6Addr -> Vect 16 Bits8

.port : IP6Addr -> Bits16

Hints:

Eq IP6Addr

Show IP6Addr

.addr : IP6Addr -> Vect 16 Bits8

Totality: total
Visibility: public export

addr : IP6Addr -> Vect 16 Bits8

Totality: total
Visibility: public export

.port : IP6Addr -> Bits16

Totality: total
Visibility: public export

port : IP6Addr -> Bits16

Totality: total
Visibility: public export

record SSockaddrIn6 : Type -> Type

Totality: total
Visibility: export
Constructor: 

SIN6 : AnyPtr -> SSockaddrIn6 s

Projection: 

.ptr : SSockaddrIn6 s -> AnyPtr

Hints:

SizeOf (SSockaddrIn6 s)

Struct SSockaddrIn6

0 SockaddrIn6 : Type

Totality: total
Visibility: public export

port : SSockaddrIn6 s -> F1 s Bits16

Totality: total
Visibility: export

addr6 : SSockaddrIn6 s -> CArray s 16 Bits8

Totality: total
Visibility: export

addrIP6Addr : SSockaddrIn6 s -> F1 s IP6Addr

Totality: total
Visibility: export

addrStr : SSockaddrIn6 s -> F1 s String

Totality: total
Visibility: export

sockaddrIn6 : IP6Addr -> F1 s (SSockaddrIn6 s)

  Creates a `sockaddr_in` pointer and sets its `sun_path` value to
  
  The allocated memory must be freed via `freeStruct`.

Totality: total
Visibility: export

0 Sockaddr : Domain -> Type

Totality: total
Visibility: public export

0 Addr : Domain -> Type

Totality: total
Visibility: public export

ptr : (d : Domain) -> Sockaddr d -> AnyPtr

Totality: total
Visibility: export

addrSize : Domain -> Bits32

Totality: total
Visibility: export

sockaddr : (d : Domain) -> Addr d -> F1 World (Sockaddr d)

Totality: total
Visibility: export