agda-language-server-0.2.6.2.2.1: An implementation of language server protocal (LSP) for Agda 2.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Options

Synopsis

Documentation

data Options Source #

Command-line arguments

Constructors

Options 

Fields

newtype Config Source #

Constructors

Config 

Fields

Instances

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])))