Options

Documentation

data Options

Command-line arguments

Constructors

Options

Fields

• optViaTCP :: Maybe Int
• optRawAgdaOptions :: [String]
• optHelp :: Bool

getOptionsFromArgv :: IO Options

usageMessage :: String

newtype Config

Constructors

Config

Fields

• configRawAgdaOptions :: [String]

Instances

FromJSON Config

Defined in Options

Methods

parseJSON :: Value -> Parser Config

parseJSONList :: Value -> Parser [Config]

Generic Config

Defined in Options

Associated Types

type Rep Config :: Type -> Type

Methods

from :: Config -> Rep Config x

to :: Rep Config x -> Config

Show Config

Defined in Options

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

Eq Config

Defined in Options

Methods

(==) :: Config -> Config -> Bool

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

type Rep Config

Defined in Options

type Rep Config = D1 ('MetaData "Config" "Options" "agda-language-server-0.2.6.3.0-Hy3GzXMRyWPA5KmdkxBX5x" 'True) (C1 ('MetaCons "Config" 'PrefixI 'True) (S1 ('MetaSel ('Just "configRawAgdaOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])))

initConfig :: Config