Idris2Doc : Network.SCGI.Config

Network.SCGI.Config

(source)
Definitions
record Config : Type
  Totality: total
  Visibility: public export
  Constructor: 
C : Vect 4 Bits8 -> Bits16 -> Nat -> Nat -> (concurrent : Nat) -> {auto 0 _ : IsSucc concurrent} -> Config

  Projections:
  
.address : Config -> Vect 4 Bits8
  Address to which the server socket should be bound
  
.concurrent : Config -> Nat
  Number of concurrent requests
  
.maxHeaderSize : Config -> Nat
  Maximum number of bytes allowed in SCGI-message header 
  
.maxMsgSize : Config -> Nat
  Maximum number of bytes allowed in the message content
  
.port : Config -> Bits16
  Port to use for the server
  
0 .prf : ({rec:0} : Config) -> IsSucc (concurrent {rec:0})
.address : Config -> Vect 4 Bits8
  Address to which the server socket should be bound

  Totality: total
  Visibility: public export
address : Config -> Vect 4 Bits8
  Address to which the server socket should be bound

  Totality: total
  Visibility: public export
.port : Config -> Bits16
  Port to use for the server

  Totality: total
  Visibility: public export
port : Config -> Bits16
  Port to use for the server

  Totality: total
  Visibility: public export
.maxHeaderSize : Config -> Nat
  Maximum number of bytes allowed in SCGI-message header 

  Totality: total
  Visibility: public export
maxHeaderSize : Config -> Nat
  Maximum number of bytes allowed in SCGI-message header 

  Totality: total
  Visibility: public export
.maxMsgSize : Config -> Nat
  Maximum number of bytes allowed in the message content

  Totality: total
  Visibility: public export
maxMsgSize : Config -> Nat
  Maximum number of bytes allowed in the message content

  Totality: total
  Visibility: public export
.concurrent : Config -> Nat
  Number of concurrent requests

  Totality: total
  Visibility: public export
concurrent : Config -> Nat
  Number of concurrent requests

  Totality: total
  Visibility: public export
0 .prf : ({rec:0} : Config) -> IsSucc (concurrent {rec:0})
  Totality: total
  Visibility: public export
0 prf : ({rec:0} : Config) -> IsSucc (concurrent {rec:0})
  Totality: total
  Visibility: public export
local : Config
  Default config for testing the cyby server locally

  Totality: total
  Visibility: export