Stellar.HTTP.Engine

The main engine running the HTTP server, there is nothing about APIs here

Definitions

data Logging : Type

  Log levels for the application

Totality: total
Visibility: public export
Constructors:

Silent : Logging

Normal : Logging

Debug : Logging

Verbose : Logging

Hints:

Eq Logging

Ord Logging

record ServerConfig : Type

Totality: total
Visibility: public export
Constructor: 

MkServerConfig : Logging -> String -> Int -> ServerConfig

Projections:

.hostname : ServerConfig -> String

.logging : ServerConfig -> Logging

.port : ServerConfig -> Int

.logging : ServerConfig -> Logging

Visibility: public export

logging : ServerConfig -> Logging

Visibility: public export

.hostname : ServerConfig -> String

Visibility: public export

hostname : ServerConfig -> String

Visibility: public export

.port : ServerConfig -> Int

Visibility: public export

port : ServerConfig -> Int

Visibility: public export

logLvl : ServerConfig => HasIO io => Logging -> String -> io ()

Visibility: export

logDebug : ServerConfig => HasIO io => String -> io ()

Visibility: export

logVerbose : ServerConfig => HasIO io => String -> io ()

Visibility: export

log : ServerConfig => HasIO io => String -> io ()

Visibility: export

localhost : Int -> ServerConfig

Visibility: export

echo : PlainRequest -> IO PlainResponse

  The most basic echo server takes a plein request and returns a plain response

Visibility: export

http : ServerConfig -> (PlainRequest -> IO PlainResponse) -> IO ()

  To create a server, we need a hostname, a port and a handler.
  The server then runs asynchronously on node.

Visibility: export