Idris2Doc : HTTP.API.Server.Env

HTTP.API.Server.Env

(source)

Definitions

interfaceLoadEnv : Type->Type
Parameters: a
Methods:
loadEnv : HTTPProg [RequestErr] a

Implementation: 
LoadEnvReqTime
loadEnv : LoadEnva=>HTTPProg [RequestErr] a
Totality: total
Visibility: public export