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

FromJSON Config Source #
Instance details Defined in Options Methods parseJSON :: Value -> Parser Config # parseJSONList :: Value -> Parser [Config] #
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 #
type Rep Config Source #
Instance details Defined in Options type Rep Config = D1 ('MetaData "Config" "Options" "agda-language-server-0.2.6.2.2-9Wn4gKfYowo7ISMsjxvlzN" 'True) (C1 ('MetaCons "Config" 'PrefixI 'True) (S1 ('MetaSel ('Just "configRawAgdaOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])))