Idris2Doc : FS.Socket

FS.Socket

(source)
Reexports
import public FS.Posix
import public IO.Async.Socket
Definitions
record RFD : Type -> Type
  Totality: total
  Visibility: public export
  Constructor: 
R : a -> FileDesc a => RFD a

  Projections:
  
.file : RFD a -> a
  
.isf : RFD a -> FileDesc a

  Hint: 
Resource (Async e) (RFD a)
.file : RFD a -> a
  Totality: total
  Visibility: public export
file : RFD a -> a
  Totality: total
  Visibility: public export
.isf : RFD a -> FileDesc a
  Totality: total
  Visibility: public export
isf : RFD a -> FileDesc a
  Totality: total
  Visibility: public export
acceptOn : PollH e => Has Errno es => (d : Domain) -> SockType -> Addr d -> AsyncStream e es (Socket d)
  Totality: total
  Visibility: export
acceptN : PollH e => Has Errno es => Nat -> (d : Domain) -> SockType -> Addr d -> AsyncStream e es (List (Socket d))
  Totality: total
  Visibility: export