Idris2Doc : HTTP.API.Server

HTTP.API.Server

(source)
Reexports
import public HTTP.API
import public HTTP.API.Server.Content
import public HTTP.API.Server.Env
import public HTTP.API.Server.Header
import public HTTP.API.Server.Interface
import public HTTP.API.Server.Method
import public HTTP.API.Server.Path
import public HTTP.API.Server.Query
import public HTTP.Prog
import public HTTP.Request
import public HTTP.Response
Definitions
data Server : Endpoints -> Type
  Totality: total
  Visibility: public export
  Constructors:
  
Nil : Server []
  
(::) : {auto all : All Serve ts} -> HList (Constraints endpoint) => EndpointHandler endpoint -> Server as -> Server (endpoint :: as)
(++) : Server es -> Server fs -> Server (es ++ fs)
  Totality: total
  Visibility: public export
  Fixity Declaration: infixr operator, level 7
serveAll : (0 endpoints : Endpoints) -> Server endpoints -> Request -> Handler Response
  Totality: total
  Visibility: export