HTTP.API.Server.Env

Definitions

interface LoadEnv : Type -> Type

Parameters: a
Methods:

loadEnv : HTTPProg [RequestErr] a

Implementation: 

LoadEnv ReqTime

loadEnv : LoadEnv a => HTTPProg [RequestErr] a

Totality: total
Visibility: public export