Ide.Plugin.Eval.Types

Documentation

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

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

data Test

Constructors

Example

Fields

• testLines :: NonEmpty Txt
• testOutput :: [Txt]
• testRange :: Range

Property

Fields

• testline :: Txt
• testOutput :: [Txt]
• testRange :: Range

Instances

FromJSON Test

Defined in Ide.Plugin.Eval.Types

Methods

parseJSON :: Value -> Parser Test

parseJSONList :: Value -> Parser [Test]

ToJSON Test

Defined in Ide.Plugin.Eval.Types

Methods

toJSON :: Test -> Value

toEncoding :: Test -> Encoding

toJSONList :: [Test] -> Value

toEncodingList :: [Test] -> Encoding

Generic Test

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Test :: Type -> Type

Methods

from :: Test -> Rep Test x

to :: Rep Test x -> Test

Show Test

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> Test -> ShowS

show :: Test -> String

showList :: [Test] -> ShowS

NFData Test

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Test -> ()

Eq Test

Defined in Ide.Plugin.Eval.Types

Methods

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

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

type Rep Test

Defined in Ide.Plugin.Eval.Types

type Rep Test = D1 ('MetaData "Test" "Ide.Plugin.Eval.Types" "hls-eval-plugin-1.3.0.0-9ChTxG5D3cAH6eTI9JBEkr" '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))))

isProperty :: Test -> Bool

data Format

Constructors

SingleLine

MultiLine Range

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

Instances

FromJSON Format

Defined in Ide.Plugin.Eval.Types

Methods

parseJSON :: Value -> Parser Format

parseJSONList :: Value -> Parser [Format]

ToJSON Format

Defined in Ide.Plugin.Eval.Types

Methods

toJSON :: Format -> Value

toEncoding :: Format -> Encoding

toJSONList :: [Format] -> Value

toEncodingList :: [Format] -> Encoding

Generic Format

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Format :: Type -> Type

Methods

from :: Format -> Rep Format x

to :: Rep Format x -> Format

Show Format

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> Format -> ShowS

show :: Format -> String

showList :: [Format] -> ShowS

NFData Format

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Format -> ()

Eq Format

Defined in Ide.Plugin.Eval.Types

Methods

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

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

Ord Format

Defined in Ide.Plugin.Eval.Types

Methods

compare :: Format -> Format -> Ordering

(<) :: Format -> Format -> Bool

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

(>) :: Format -> Format -> Bool

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

max :: Format -> Format -> Format

min :: Format -> Format -> Format

type Rep Format

Defined in Ide.Plugin.Eval.Types

type Rep Format = D1 ('MetaData "Format" "Ide.Plugin.Eval.Types" "hls-eval-plugin-1.3.0.0-9ChTxG5D3cAH6eTI9JBEkr" '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

FromJSON Language

Defined in Ide.Plugin.Eval.Types

Methods

parseJSON :: Value -> Parser Language

parseJSONList :: Value -> Parser [Language]

ToJSON Language

Defined in Ide.Plugin.Eval.Types

Methods

toJSON :: Language -> Value

toEncoding :: Language -> Encoding

toJSONList :: [Language] -> Value

toEncodingList :: [Language] -> Encoding

Generic Language

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Language :: Type -> Type

Methods

from :: Language -> Rep Language x

to :: Rep Language x -> Language

Show Language

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> Language -> ShowS

show :: Language -> String

showList :: [Language] -> ShowS

NFData Language

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Language -> ()

Eq Language

Defined in Ide.Plugin.Eval.Types

Methods

(==) :: Language -> Language -> Bool

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

Ord Language

Defined in Ide.Plugin.Eval.Types

Methods

compare :: Language -> Language -> Ordering

(<) :: Language -> Language -> Bool

(<=) :: Language -> Language -> Bool

(>) :: Language -> Language -> Bool

(>=) :: Language -> Language -> Bool

max :: Language -> Language -> Language

min :: Language -> Language -> Language

type Rep Language

Defined in Ide.Plugin.Eval.Types

type Rep Language = D1 ('MetaData "Language" "Ide.Plugin.Eval.Types" "hls-eval-plugin-1.3.0.0-9ChTxG5D3cAH6eTI9JBEkr" 'False) (C1 ('MetaCons "Plain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Haddock" 'PrefixI 'False) (U1 :: Type -> Type))

data Section

Constructors

Section

Fields

• sectionName :: Txt
• sectionTests :: [Test]
• sectionLanguage :: Language
• sectionFormat :: Format

Instances

FromJSON Section

Defined in Ide.Plugin.Eval.Types

Methods

parseJSON :: Value -> Parser Section

parseJSONList :: Value -> Parser [Section]

ToJSON Section

Defined in Ide.Plugin.Eval.Types

Methods

toJSON :: Section -> Value

toEncoding :: Section -> Encoding

toJSONList :: [Section] -> Value

toEncodingList :: [Section] -> Encoding

Generic Section

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Section :: Type -> Type

Methods

from :: Section -> Rep Section x

to :: Rep Section x -> Section

Show Section

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> Section -> ShowS

show :: Section -> String

showList :: [Section] -> ShowS

NFData Section

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Section -> ()

Eq Section

Defined in Ide.Plugin.Eval.Types

Methods

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

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

type Rep Section

Defined in Ide.Plugin.Eval.Types

type Rep Section = D1 ('MetaData "Section" "Ide.Plugin.Eval.Types" "hls-eval-plugin-1.3.0.0-9ChTxG5D3cAH6eTI9JBEkr" '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

Fields

• nonSetupSections :: [Section]
• setupSections :: [Section]

Instances

Generic Sections

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Sections :: Type -> Type

Methods

from :: Sections -> Rep Sections x

to :: Rep Sections x -> Sections

Show Sections

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> Sections -> ShowS

show :: Sections -> String

showList :: [Sections] -> ShowS

Eq Sections

Defined in Ide.Plugin.Eval.Types

Methods

(==) :: Sections -> Sections -> Bool

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

type Rep Sections

Defined in Ide.Plugin.Eval.Types

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

hasTests :: Section -> Bool

hasPropertyTest :: Section -> Bool

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

• location :: l
• located :: a

Instances

Functor (Located l)

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)

Defined in Ide.Plugin.Eval.Types

Methods

parseJSON :: Value -> Parser (Located l a)

parseJSONList :: Value -> Parser [Located l a]

(ToJSON a, ToJSON l) => ToJSON (Located l a)

Defined in Ide.Plugin.Eval.Types

Methods

toJSON :: Located l a -> Value

toEncoding :: Located l a -> Encoding

toJSONList :: [Located l a] -> Value

toEncodingList :: [Located l a] -> Encoding

Generic (Located l a)

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep (Located l a) :: Type -> Type

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)

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)

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Located l a -> ()

(Eq l, Eq a) => Eq (Located l a)

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)

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)

Defined in Ide.Plugin.Eval.Types

type Rep (Located l a) = D1 ('MetaData "Located" "Ide.Plugin.Eval.Types" "hls-eval-plugin-1.3.0.0-9ChTxG5D3cAH6eTI9JBEkr" '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

Constructors

Comments

Fields

• lineComments :: Map Range RawLineComment
• blockComments :: Map Range RawBlockComment

Instances

Monoid Comments

Defined in Ide.Plugin.Eval.Types

Methods

mempty :: Comments

mappend :: Comments -> Comments -> Comments

mconcat :: [Comments] -> Comments

Semigroup Comments

Defined in Ide.Plugin.Eval.Types

Methods

(<>) :: Comments -> Comments -> Comments

sconcat :: NonEmpty Comments -> Comments

stimes :: Integral b => b -> Comments -> Comments

Generic Comments

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep Comments :: Type -> Type

Methods

from :: Comments -> Rep Comments x

to :: Rep Comments x -> Comments

Show Comments

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> Comments -> ShowS

show :: Comments -> String

showList :: [Comments] -> ShowS

NFData Comments

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: Comments -> ()

Eq Comments

Defined in Ide.Plugin.Eval.Types

Methods

(==) :: Comments -> Comments -> Bool

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

Ord Comments

Defined in Ide.Plugin.Eval.Types

Methods

compare :: Comments -> Comments -> Ordering

(<) :: Comments -> Comments -> Bool

(<=) :: Comments -> Comments -> Bool

(>) :: Comments -> Comments -> Bool

(>=) :: Comments -> Comments -> Bool

max :: Comments -> Comments -> Comments

min :: Comments -> Comments -> Comments

type Rep Comments

Defined in Ide.Plugin.Eval.Types

type Rep Comments = D1 ('MetaData "Comments" "Ide.Plugin.Eval.Types" "hls-eval-plugin-1.3.0.0-9ChTxG5D3cAH6eTI9JBEkr" '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

Fields

• getRawBlockComment :: String

Instances

IsString RawBlockComment

Defined in Ide.Plugin.Eval.Types

Methods

fromString :: String -> RawBlockComment

Monoid RawBlockComment

Defined in Ide.Plugin.Eval.Types

Methods

mempty :: RawBlockComment

mappend :: RawBlockComment -> RawBlockComment -> RawBlockComment

mconcat :: [RawBlockComment] -> RawBlockComment

Semigroup RawBlockComment

Defined in Ide.Plugin.Eval.Types

Methods

(<>) :: RawBlockComment -> RawBlockComment -> RawBlockComment

sconcat :: NonEmpty RawBlockComment -> RawBlockComment

stimes :: Integral b => b -> RawBlockComment -> RawBlockComment

Show RawBlockComment

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> RawBlockComment -> ShowS

show :: RawBlockComment -> String

showList :: [RawBlockComment] -> ShowS

NFData RawBlockComment

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: RawBlockComment -> ()

Eq RawBlockComment

Defined in Ide.Plugin.Eval.Types

Methods

(==) :: RawBlockComment -> RawBlockComment -> Bool

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

Ord RawBlockComment

Defined in Ide.Plugin.Eval.Types

Methods

compare :: RawBlockComment -> RawBlockComment -> Ordering

(<) :: RawBlockComment -> RawBlockComment -> Bool

(<=) :: RawBlockComment -> RawBlockComment -> Bool

(>) :: RawBlockComment -> RawBlockComment -> Bool

(>=) :: RawBlockComment -> RawBlockComment -> Bool

max :: RawBlockComment -> RawBlockComment -> RawBlockComment

min :: RawBlockComment -> RawBlockComment -> RawBlockComment

Stream RawBlockComment

Defined in Ide.Plugin.Eval.Types

Associated Types

type Token RawBlockComment

type Tokens RawBlockComment

Methods

tokenToChunk :: Proxy RawBlockComment -> Token RawBlockComment -> Tokens RawBlockComment

tokensToChunk :: Proxy RawBlockComment -> [Token RawBlockComment] -> Tokens RawBlockComment

chunkToTokens :: Proxy RawBlockComment -> Tokens RawBlockComment -> [Token RawBlockComment]

chunkLength :: Proxy RawBlockComment -> Tokens RawBlockComment -> Int

chunkEmpty :: Proxy RawBlockComment -> Tokens RawBlockComment -> Bool

take1_ :: RawBlockComment -> Maybe (Token RawBlockComment, RawBlockComment)

takeN_ :: Int -> RawBlockComment -> Maybe (Tokens RawBlockComment, RawBlockComment)

takeWhile_ :: (Token RawBlockComment -> Bool) -> RawBlockComment -> (Tokens RawBlockComment, RawBlockComment)

TraversableStream RawBlockComment

Defined in Ide.Plugin.Eval.Types

Methods

reachOffset :: Int -> PosState RawBlockComment -> (Maybe String, PosState RawBlockComment)

reachOffsetNoLine :: Int -> PosState RawBlockComment -> PosState RawBlockComment

VisualStream RawBlockComment

Defined in Ide.Plugin.Eval.Types

Methods

showTokens :: Proxy RawBlockComment -> NonEmpty (Token RawBlockComment) -> String

tokensLength :: Proxy RawBlockComment -> NonEmpty (Token RawBlockComment) -> Int

type Token RawBlockComment

Defined in Ide.Plugin.Eval.Types

type Token RawBlockComment = Token String

type Tokens RawBlockComment

Defined in Ide.Plugin.Eval.Types

type Tokens RawBlockComment = Tokens String

newtype RawLineComment

Constructors

RawLineComment

Fields

• getRawLineComment :: String

Instances

IsString RawLineComment

Defined in Ide.Plugin.Eval.Types

Methods

fromString :: String -> RawLineComment

Monoid RawLineComment

Defined in Ide.Plugin.Eval.Types

Methods

mempty :: RawLineComment

mappend :: RawLineComment -> RawLineComment -> RawLineComment

mconcat :: [RawLineComment] -> RawLineComment

Semigroup RawLineComment

Defined in Ide.Plugin.Eval.Types

Methods

(<>) :: RawLineComment -> RawLineComment -> RawLineComment

sconcat :: NonEmpty RawLineComment -> RawLineComment

stimes :: Integral b => b -> RawLineComment -> RawLineComment

Show RawLineComment

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> RawLineComment -> ShowS

show :: RawLineComment -> String

showList :: [RawLineComment] -> ShowS

NFData RawLineComment

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: RawLineComment -> ()

Eq RawLineComment

Defined in Ide.Plugin.Eval.Types

Methods

(==) :: RawLineComment -> RawLineComment -> Bool

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

Ord RawLineComment

Defined in Ide.Plugin.Eval.Types

Methods

compare :: RawLineComment -> RawLineComment -> Ordering

(<) :: RawLineComment -> RawLineComment -> Bool

(<=) :: RawLineComment -> RawLineComment -> Bool

(>) :: RawLineComment -> RawLineComment -> Bool

(>=) :: RawLineComment -> RawLineComment -> Bool

max :: RawLineComment -> RawLineComment -> RawLineComment

min :: RawLineComment -> RawLineComment -> RawLineComment

Stream RawLineComment

Defined in Ide.Plugin.Eval.Types

Associated Types

type Token RawLineComment

type Tokens RawLineComment

Methods

tokenToChunk :: Proxy RawLineComment -> Token RawLineComment -> Tokens RawLineComment

tokensToChunk :: Proxy RawLineComment -> [Token RawLineComment] -> Tokens RawLineComment

chunkToTokens :: Proxy RawLineComment -> Tokens RawLineComment -> [Token RawLineComment]

chunkLength :: Proxy RawLineComment -> Tokens RawLineComment -> Int

chunkEmpty :: Proxy RawLineComment -> Tokens RawLineComment -> Bool

take1_ :: RawLineComment -> Maybe (Token RawLineComment, RawLineComment)

takeN_ :: Int -> RawLineComment -> Maybe (Tokens RawLineComment, RawLineComment)

takeWhile_ :: (Token RawLineComment -> Bool) -> RawLineComment -> (Tokens RawLineComment, RawLineComment)

TraversableStream RawLineComment

Defined in Ide.Plugin.Eval.Types

Methods

reachOffset :: Int -> PosState RawLineComment -> (Maybe String, PosState RawLineComment)

reachOffsetNoLine :: Int -> PosState RawLineComment -> PosState RawLineComment

VisualStream RawLineComment

Defined in Ide.Plugin.Eval.Types

Methods

showTokens :: Proxy RawLineComment -> NonEmpty (Token RawLineComment) -> String

tokensLength :: Proxy RawLineComment -> NonEmpty (Token RawLineComment) -> Int

type Token RawLineComment

Defined in Ide.Plugin.Eval.Types

type Token RawLineComment = Token String

type Tokens RawLineComment

Defined in Ide.Plugin.Eval.Types

type Tokens RawLineComment = Tokens String

unLoc :: Located l a -> a

Discard location information.

type Txt = String

data EvalParams

Specify the test section to execute

Constructors

EvalParams

Fields

• sections :: [Section]
• module_ :: !TextDocumentIdentifier
• evalId :: !EvalId

  unique group id; for test uses

Instances

FromJSON EvalParams

Defined in Ide.Plugin.Eval.Types

Methods

parseJSON :: Value -> Parser EvalParams

parseJSONList :: Value -> Parser [EvalParams]

ToJSON EvalParams

Defined in Ide.Plugin.Eval.Types

Methods

toJSON :: EvalParams -> Value

toEncoding :: EvalParams -> Encoding

toJSONList :: [EvalParams] -> Value

toEncodingList :: [EvalParams] -> Encoding

Generic EvalParams

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep EvalParams :: Type -> Type

Methods

from :: EvalParams -> Rep EvalParams x

to :: Rep EvalParams x -> EvalParams

Show EvalParams

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> EvalParams -> ShowS

show :: EvalParams -> String

showList :: [EvalParams] -> ShowS

Eq EvalParams

Defined in Ide.Plugin.Eval.Types

Methods

(==) :: EvalParams -> EvalParams -> Bool

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

type Rep EvalParams

Defined in Ide.Plugin.Eval.Types

type Rep EvalParams

data GetEvalComments

Constructors

GetEvalComments

Instances

Generic GetEvalComments

Defined in Ide.Plugin.Eval.Types

Associated Types

type Rep GetEvalComments :: Type -> Type

Methods

from :: GetEvalComments -> Rep GetEvalComments x

to :: Rep GetEvalComments x -> GetEvalComments

Show GetEvalComments

Defined in Ide.Plugin.Eval.Types

Methods

showsPrec :: Int -> GetEvalComments -> ShowS

show :: GetEvalComments -> String

showList :: [GetEvalComments] -> ShowS

NFData GetEvalComments

Defined in Ide.Plugin.Eval.Types

Methods

rnf :: GetEvalComments -> ()

Eq GetEvalComments

Defined in Ide.Plugin.Eval.Types

Methods

(==) :: GetEvalComments -> GetEvalComments -> Bool

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

Hashable GetEvalComments

Defined in Ide.Plugin.Eval.Types

Methods

hashWithSalt :: Int -> GetEvalComments -> Int

hash :: GetEvalComments -> Int

type Rep GetEvalComments

Defined in Ide.Plugin.Eval.Types

type Rep GetEvalComments = D1 ('MetaData "GetEvalComments" "Ide.Plugin.Eval.Types" "hls-eval-plugin-1.3.0.0-9ChTxG5D3cAH6eTI9JBEkr" 'False) (C1 ('MetaCons "GetEvalComments" 'PrefixI 'False) (U1 :: Type -> Type))

type RuleResult GetEvalComments

Defined in Ide.Plugin.Eval.Types

type RuleResult GetEvalComments = Comments

nullComments :: Comments -> Bool