Ghci.Server.Config

Documentation

data Config

Server configuration

defaultConfig :: Config

Default config, use ports 9160 (websockets) and 3000 (http) and ignore all log messages.

cfWSPort :: Config -> Int

Websocket port

cfHTTPPort :: Config -> Int

HTTP port

cfVerbosity :: Config -> Verbosity

What to do with log messages

data Verbosity

What to do with log messages

Constructors

Verbose

Write all log messages to stdout

Silent

Ignore all log messages

Instances

Eq Verbosity

Defined in Ghci.Server.Config

Methods

(==) :: Verbosity -> Verbosity -> Bool

(/=) :: Verbosity -> Verbosity -> Bool

Ord Verbosity

Defined in Ghci.Server.Config

Methods

compare :: Verbosity -> Verbosity -> Ordering

(<) :: Verbosity -> Verbosity -> Bool

(<=) :: Verbosity -> Verbosity -> Bool

(>) :: Verbosity -> Verbosity -> Bool

(>=) :: Verbosity -> Verbosity -> Bool

max :: Verbosity -> Verbosity -> Verbosity

min :: Verbosity -> Verbosity -> Verbosity

Show Verbosity

Defined in Ghci.Server.Config

Methods

showsPrec :: Int -> Verbosity -> ShowS

show :: Verbosity -> String

showList :: [Verbosity] -> ShowS

logStr :: Config -> String -> IO ()

Log a message according to the configured Verbosity