Safe Haskell	Safe-Inferred
Language	Haskell2010

Options

Synopsis

Documentation

Command-line arguments

Constructors

Options
Fields optViaTCP :: Maybe Int optRawAgdaOptions :: [String] optHelp :: Bool

Constructors

Config
Fields configRawAgdaOptions :: [String]

Instances details

Generic Config Source #
Instance details Defined in Options Associated Types type Rep Config :: Type -> Type Methods from :: Config -> Rep Config x to :: Rep Config x -> Config
Show Config Source #
Instance details Defined in Options Methods showsPrec :: Int -> Config -> ShowS show :: Config -> String showList :: [Config] -> ShowS
Eq Config Source #
Instance details Defined in Options Methods (==) :: Config -> Config -> Bool (/=) :: Config -> Config -> Bool
FromJSON Config Source #
Instance details Defined in Options Methods parseJSON :: Value -> Parser Config parseJSONList :: Value -> Parser [Config]
type Rep Config Source #
Instance details Defined in Options type Rep Config = D1 ('MetaData "Config" "Options" "agda-language-server-0.2.6.2.2.1-inplace" 'True) (C1 ('MetaCons "Config" 'PrefixI 'True) (S1 ('MetaSel ('Just "configRawAgdaOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])))