haskell-language-server-2.7.0.0: LSP server for GHC
Safe HaskellNone
LanguageGHC2021

Ide.Plugin.Eval.Types

Synopsis

Documentation

locate :: Loc [a] -> [Loc a] #

locate0 :: [a] -> [Loc a] #

data Test #

Constructors

Example 
Property 

Fields

Instances

Instances details
FromJSON Test # 
Instance details

Defined in Ide.Plugin.Eval.Types

ToJSON Test # 
Instance details

Defined in Ide.Plugin.Eval.Types

Generic Test # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Test 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Test = D1 ('MetaData "Test" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Example" 'PrefixI 'True) (S1 ('MetaSel ('Just "testLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Txt)) :*: (S1 ('MetaSel ('Just "testOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Txt]) :*: S1 ('MetaSel ('Just "testRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: C1 ('MetaCons "Property" 'PrefixI 'True) (S1 ('MetaSel ('Just "testline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Txt) :*: (S1 ('MetaSel ('Just "testOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Txt]) :*: S1 ('MetaSel ('Just "testRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))))

Methods

from :: Test -> Rep Test x #

to :: Rep Test x -> Test #

Show Test # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> Test -> ShowS #

show :: Test -> String #

showList :: [Test] -> ShowS #

NFData Test # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Test -> () #

Eq Test # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

(==) :: Test -> Test -> Bool #

(/=) :: Test -> Test -> Bool #

type Rep Test # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Test = D1 ('MetaData "Test" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Example" 'PrefixI 'True) (S1 ('MetaSel ('Just "testLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Txt)) :*: (S1 ('MetaSel ('Just "testOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Txt]) :*: S1 ('MetaSel ('Just "testRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: C1 ('MetaCons "Property" 'PrefixI 'True) (S1 ('MetaSel ('Just "testline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Txt) :*: (S1 ('MetaSel ('Just "testOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Txt]) :*: S1 ('MetaSel ('Just "testRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))))

data Format #

Constructors

SingleLine 
MultiLine Range

Range is that of surrounding entire block comment, not section. Used for detecting no-newline test commands.

Instances

Instances details
FromJSON Format # 
Instance details

Defined in Ide.Plugin.Eval.Types

ToJSON Format # 
Instance details

Defined in Ide.Plugin.Eval.Types

Generic Format # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Format 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Format = D1 ('MetaData "Format" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "SingleLine" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultiLine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))

Methods

from :: Format -> Rep Format x #

to :: Rep Format x -> Format #

Show Format # 
Instance details

Defined in Ide.Plugin.Eval.Types

NFData Format # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Format -> () #

Eq Format # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

(==) :: Format -> Format -> Bool #

(/=) :: Format -> Format -> Bool #

Ord Format # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Format # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Format = D1 ('MetaData "Format" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "SingleLine" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultiLine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))

data Language #

Constructors

Plain 
Haddock 

Instances

Instances details
FromJSON Language # 
Instance details

Defined in Ide.Plugin.Eval.Types

ToJSON Language # 
Instance details

Defined in Ide.Plugin.Eval.Types

Generic Language # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Language 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Language = D1 ('MetaData "Language" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Plain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Haddock" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Language -> Rep Language x #

to :: Rep Language x -> Language #

Show Language # 
Instance details

Defined in Ide.Plugin.Eval.Types

NFData Language # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Language -> () #

Eq Language # 
Instance details

Defined in Ide.Plugin.Eval.Types

Ord Language # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Language # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Language = D1 ('MetaData "Language" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Plain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Haddock" 'PrefixI 'False) (U1 :: Type -> Type))

data Section #

Instances

Instances details
FromJSON Section # 
Instance details

Defined in Ide.Plugin.Eval.Types

ToJSON Section # 
Instance details

Defined in Ide.Plugin.Eval.Types

Generic Section # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Section 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Section = D1 ('MetaData "Section" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Section" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sectionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Txt) :*: S1 ('MetaSel ('Just "sectionTests") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Test])) :*: (S1 ('MetaSel ('Just "sectionLanguage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Language) :*: S1 ('MetaSel ('Just "sectionFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Format))))

Methods

from :: Section -> Rep Section x #

to :: Rep Section x -> Section #

Show Section # 
Instance details

Defined in Ide.Plugin.Eval.Types

NFData Section # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Section -> () #

Eq Section # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

(==) :: Section -> Section -> Bool #

(/=) :: Section -> Section -> Bool #

type Rep Section # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Section = D1 ('MetaData "Section" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Section" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sectionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Txt) :*: S1 ('MetaSel ('Just "sectionTests") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Test])) :*: (S1 ('MetaSel ('Just "sectionLanguage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Language) :*: S1 ('MetaSel ('Just "sectionFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Format))))

data Sections #

Constructors

Sections 

Instances

Instances details
Generic Sections # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Sections 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Sections = D1 ('MetaData "Sections" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Sections" 'PrefixI 'True) (S1 ('MetaSel ('Just "nonSetupSections") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Section]) :*: S1 ('MetaSel ('Just "setupSections") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Section])))

Methods

from :: Sections -> Rep Sections x #

to :: Rep Sections x -> Sections #

Show Sections # 
Instance details

Defined in Ide.Plugin.Eval.Types

Eq Sections # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Sections # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Sections = D1 ('MetaData "Sections" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Sections" 'PrefixI 'True) (S1 ('MetaSel ('Just "nonSetupSections") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Section]) :*: S1 ('MetaSel ('Just "setupSections") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Section])))

splitSections :: [Section] -> ([Section], [Section]) #

Split setup and normal sections

type Loc = Located Line #

data Located l a #

A thing with a location attached.

Constructors

Located 

Fields

Instances

Instances details
Functor (Located l) # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

fmap :: (a -> b) -> Located l a -> Located l b #

(<$) :: a -> Located l b -> Located l a #

(FromJSON l, FromJSON a) => FromJSON (Located l a) # 
Instance details

Defined in Ide.Plugin.Eval.Types

(ToJSON a, ToJSON l) => ToJSON (Located l a) # 
Instance details

Defined in Ide.Plugin.Eval.Types

Generic (Located l a) # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep (Located l a) 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep (Located l a) = D1 ('MetaData "Located" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Located" 'PrefixI 'True) (S1 ('MetaSel ('Just "location") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 l) :*: S1 ('MetaSel ('Just "located") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: Located l a -> Rep (Located l a) x #

to :: Rep (Located l a) x -> Located l a #

(Show l, Show a) => Show (Located l a) # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> Located l a -> ShowS #

show :: Located l a -> String #

showList :: [Located l a] -> ShowS #

(NFData l, NFData a) => NFData (Located l a) # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Located l a -> () #

(Eq l, Eq a) => Eq (Located l a) # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

(==) :: Located l a -> Located l a -> Bool #

(/=) :: Located l a -> Located l a -> Bool #

(Ord l, Ord a) => Ord (Located l a) # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

compare :: Located l a -> Located l a -> Ordering #

(<) :: Located l a -> Located l a -> Bool #

(<=) :: Located l a -> Located l a -> Bool #

(>) :: Located l a -> Located l a -> Bool #

(>=) :: Located l a -> Located l a -> Bool #

max :: Located l a -> Located l a -> Located l a #

min :: Located l a -> Located l a -> Located l a #

type Rep (Located l a) # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep (Located l a) = D1 ('MetaData "Located" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Located" 'PrefixI 'True) (S1 ('MetaSel ('Just "location") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 l) :*: S1 ('MetaSel ('Just "located") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data Comments #

Instances

Instances details
Monoid Comments # 
Instance details

Defined in Ide.Plugin.Eval.Types

Semigroup Comments # 
Instance details

Defined in Ide.Plugin.Eval.Types

Generic Comments # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Comments 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Comments = D1 ('MetaData "Comments" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Comments" 'PrefixI 'True) (S1 ('MetaSel ('Just "lineComments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Range RawLineComment)) :*: S1 ('MetaSel ('Just "blockComments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Range RawBlockComment))))

Methods

from :: Comments -> Rep Comments x #

to :: Rep Comments x -> Comments #

Show Comments # 
Instance details

Defined in Ide.Plugin.Eval.Types

NFData Comments # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Comments -> () #

Eq Comments # 
Instance details

Defined in Ide.Plugin.Eval.Types

Ord Comments # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Comments # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep Comments = D1 ('MetaData "Comments" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "Comments" 'PrefixI 'True) (S1 ('MetaSel ('Just "lineComments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Range RawLineComment)) :*: S1 ('MetaSel ('Just "blockComments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Range RawBlockComment))))

newtype RawBlockComment #

Constructors

RawBlockComment 

Instances

Instances details
IsString RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Monoid RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Semigroup RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Show RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

NFData RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: RawBlockComment -> () #

Eq RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Ord RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Stream RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Token RawBlockComment 
Instance details

Defined in Ide.Plugin.Eval.Types

type Tokens RawBlockComment 
Instance details

Defined in Ide.Plugin.Eval.Types

TraversableStream RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

VisualStream RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Token RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Tokens RawBlockComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

newtype RawLineComment #

Constructors

RawLineComment 

Instances

Instances details
IsString RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Monoid RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Semigroup RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Show RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

NFData RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: RawLineComment -> () #

Eq RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Ord RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Stream RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Token RawLineComment 
Instance details

Defined in Ide.Plugin.Eval.Types

type Tokens RawLineComment 
Instance details

Defined in Ide.Plugin.Eval.Types

TraversableStream RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

VisualStream RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Token RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Tokens RawLineComment # 
Instance details

Defined in Ide.Plugin.Eval.Types

unLoc :: Located l a -> a #

Discard location information.

type Txt = String #

data EvalParams #

Specify the test section to execute

Constructors

EvalParams 

Fields

Instances

Instances details
FromJSON EvalParams # 
Instance details

Defined in Ide.Plugin.Eval.Types

ToJSON EvalParams # 
Instance details

Defined in Ide.Plugin.Eval.Types

Generic EvalParams # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep EvalParams 
Instance details

Defined in Ide.Plugin.Eval.Types

Show EvalParams # 
Instance details

Defined in Ide.Plugin.Eval.Types

Eq EvalParams # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep EvalParams # 
Instance details

Defined in Ide.Plugin.Eval.Types

data GetEvalComments #

Constructors

GetEvalComments 

Instances

Instances details
Generic GetEvalComments # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep GetEvalComments 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep GetEvalComments = D1 ('MetaData "GetEvalComments" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "GetEvalComments" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetEvalComments # 
Instance details

Defined in Ide.Plugin.Eval.Types

NFData GetEvalComments # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: GetEvalComments -> () #

Eq GetEvalComments # 
Instance details

Defined in Ide.Plugin.Eval.Types

Hashable GetEvalComments # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep GetEvalComments # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep GetEvalComments = D1 ('MetaData "GetEvalComments" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "GetEvalComments" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetEvalComments # 
Instance details

Defined in Ide.Plugin.Eval.Types

data IsEvaluating #

Constructors

IsEvaluating 

Instances

Instances details
Generic IsEvaluating # 
Instance details

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep IsEvaluating 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep IsEvaluating = D1 ('MetaData "IsEvaluating" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "IsEvaluating" 'PrefixI 'False) (U1 :: Type -> Type))
Show IsEvaluating # 
Instance details

Defined in Ide.Plugin.Eval.Types

NFData IsEvaluating # 
Instance details

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: IsEvaluating -> () #

Eq IsEvaluating # 
Instance details

Defined in Ide.Plugin.Eval.Types

Hashable IsEvaluating # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep IsEvaluating # 
Instance details

Defined in Ide.Plugin.Eval.Types

type Rep IsEvaluating = D1 ('MetaData "IsEvaluating" "Ide.Plugin.Eval.Types" "haskell-language-server-2.7.0.0-FyFzaUQ9BChCIc3q1WTms6-hls-eval-plugin" 'False) (C1 ('MetaCons "IsEvaluating" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult IsEvaluating # 
Instance details

Defined in Ide.Plugin.Eval.Types