Safe Haskell	Safe-Inferred
Language	Haskell2010

Ide.Plugin.Eval.Types

Synopsis

locate :: Loc [a] -> [Loc a]
locate0 :: [a] -> [Loc a]
data Test
- = Example {
  - testLines :: NonEmpty Txt
  - testOutput :: [Txt]
  - testRange :: Range
  }
- | Property {
  - testline :: Txt
  - testOutput :: [Txt]
  - testRange :: Range
  }
isProperty :: Test -> Bool
data Format
- = SingleLine
- | MultiLine Range
data Language
- = Plain
- | Haddock
data Section = Section {
- sectionName :: Txt
- sectionTests :: [Test]
- sectionLanguage :: Language
- sectionFormat :: Format
}
data Sections = Sections {
- nonSetupSections :: [Section]
- setupSections :: [Section]
}
hasTests :: Section -> Bool
hasPropertyTest :: Section -> Bool
splitSections :: [Section] -> ([Section], [Section])
type Loc = Located Line
data Located l a = Located {
- location :: l
- located :: a
}
data Comments = Comments {
- lineComments :: Map Range RawLineComment
- blockComments :: Map Range RawBlockComment
}
newtype RawBlockComment = RawBlockComment {
- getRawBlockComment :: String
}
newtype RawLineComment = RawLineComment {
- getRawLineComment :: String
}
unLoc :: Located l a -> a
type Txt = String
data EvalParams = EvalParams {
- sections :: [Section]
- module_ :: !TextDocumentIdentifier
- evalId :: !EvalId
}
data GetEvalComments = GetEvalComments
nullComments :: Comments -> Bool

Documentation

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

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

data Test Source #

Constructors

Example
Fields testLines :: NonEmpty Txt testOutput :: [Txt] testRange :: Range
Property
Fields testline :: Txt testOutput :: [Txt] testRange :: Range

Instances

Instances details

FromJSON Test Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods parseJSON :: Value -> Parser Test # parseJSONList :: Value -> Parser [Test] #
ToJSON Test Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods toJSON :: Test -> Value # toEncoding :: Test -> Encoding # toJSONList :: [Test] -> Value # toEncodingList :: [Test] -> Encoding #
Generic Test Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showsPrec :: Int -> Test -> ShowS # show :: Test -> String # showList :: [Test] -> ShowS #
NFData Test Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods rnf :: Test -> () #
Eq Test Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (==) :: Test -> Test -> Bool # (/=) :: Test -> Test -> Bool #
type Rep Test Source #
Instance details 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 Source #

data Format Source #

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 Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods parseJSON :: Value -> Parser Format # parseJSONList :: Value -> Parser [Format] #
ToJSON Format Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods toJSON :: Format -> Value # toEncoding :: Format -> Encoding # toJSONList :: [Format] -> Value # toEncodingList :: [Format] -> Encoding #
Generic Format Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showsPrec :: Int -> Format -> ShowS # show :: Format -> String # showList :: [Format] -> ShowS #
NFData Format Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods rnf :: Format -> () #
Eq Format Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (==) :: Format -> Format -> Bool # (/=) :: Format -> Format -> Bool #
Ord Format Source #
Instance details 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 Source #
Instance details 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 Source #

Constructors

Plain
Haddock

Instances

Instances details

FromJSON Language Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods parseJSON :: Value -> Parser Language # parseJSONList :: Value -> Parser [Language] #
ToJSON Language Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods toJSON :: Language -> Value # toEncoding :: Language -> Encoding # toJSONList :: [Language] -> Value # toEncodingList :: [Language] -> Encoding #
Generic Language Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showsPrec :: Int -> Language -> ShowS # show :: Language -> String # showList :: [Language] -> ShowS #
NFData Language Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods rnf :: Language -> () #
Eq Language Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (==) :: Language -> Language -> Bool # (/=) :: Language -> Language -> Bool #
Ord Language Source #
Instance details 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 Source #
Instance details 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 Source #

Constructors

Section
Fields sectionName :: Txt sectionTests :: [Test] sectionLanguage :: Language sectionFormat :: Format

Instances

Instances details

FromJSON Section Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods parseJSON :: Value -> Parser Section # parseJSONList :: Value -> Parser [Section] #
ToJSON Section Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods toJSON :: Section -> Value # toEncoding :: Section -> Encoding # toJSONList :: [Section] -> Value # toEncodingList :: [Section] -> Encoding #
Generic Section Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showsPrec :: Int -> Section -> ShowS # show :: Section -> String # showList :: [Section] -> ShowS #
NFData Section Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods rnf :: Section -> () #
Eq Section Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (==) :: Section -> Section -> Bool # (/=) :: Section -> Section -> Bool #
type Rep Section Source #
Instance details 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 Source #

Constructors

Sections
Fields nonSetupSections :: [Section] setupSections :: [Section]

Instances

Instances details

Generic Sections Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showsPrec :: Int -> Sections -> ShowS # show :: Sections -> String # showList :: [Sections] -> ShowS #
Eq Sections Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (==) :: Sections -> Sections -> Bool # (/=) :: Sections -> Sections -> Bool #
type Rep Sections Source #
Instance details 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 Source #

hasPropertyTest :: Section -> Bool Source #

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

Split setup and normal sections

type Loc = Located Line Source #

data Located l a Source #

A thing with a location attached.

Constructors

Located
Fields location :: l located :: a

Instances

Instances details

Functor (Located l) Source #
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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
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) Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods rnf :: Located l a -> () #
(Eq l, Eq a) => Eq (Located l a) Source #
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) Source #
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) Source #
Instance details 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 Source #

Constructors

Comments
Fields lineComments :: Map Range RawLineComment blockComments :: Map Range RawBlockComment

Instances

Instances details

Monoid Comments Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods mempty :: Comments # mappend :: Comments -> Comments -> Comments # mconcat :: [Comments] -> Comments #
Semigroup Comments Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (<>) :: Comments -> Comments -> Comments # sconcat :: NonEmpty Comments -> Comments # stimes :: Integral b => b -> Comments -> Comments #
Generic Comments Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showsPrec :: Int -> Comments -> ShowS # show :: Comments -> String # showList :: [Comments] -> ShowS #
NFData Comments Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods rnf :: Comments -> () #
Eq Comments Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (==) :: Comments -> Comments -> Bool # (/=) :: Comments -> Comments -> Bool #
Ord Comments Source #
Instance details 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 Source #
Instance details 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 Source #

Constructors

RawBlockComment
Fields getRawBlockComment :: String

Instances

Instances details

IsString RawBlockComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods fromString :: String -> RawBlockComment #
Monoid RawBlockComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods mempty :: RawBlockComment # mappend :: RawBlockComment -> RawBlockComment -> RawBlockComment # mconcat :: [RawBlockComment] -> RawBlockComment #
Semigroup RawBlockComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (<>) :: RawBlockComment -> RawBlockComment -> RawBlockComment # sconcat :: NonEmpty RawBlockComment -> RawBlockComment # stimes :: Integral b => b -> RawBlockComment -> RawBlockComment #
Show RawBlockComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showsPrec :: Int -> RawBlockComment -> ShowS # show :: RawBlockComment -> String # showList :: [RawBlockComment] -> ShowS #
NFData RawBlockComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods rnf :: RawBlockComment -> () #
Eq RawBlockComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (==) :: RawBlockComment -> RawBlockComment -> Bool # (/=) :: RawBlockComment -> RawBlockComment -> Bool #
Ord RawBlockComment Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods reachOffset :: Int -> PosState RawBlockComment -> (Maybe String, PosState RawBlockComment) # reachOffsetNoLine :: Int -> PosState RawBlockComment -> PosState RawBlockComment #
VisualStream RawBlockComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showTokens :: Proxy RawBlockComment -> NonEmpty (Token RawBlockComment) -> String # tokensLength :: Proxy RawBlockComment -> NonEmpty (Token RawBlockComment) -> Int #
type Token RawBlockComment Source #
Instance details Defined in Ide.Plugin.Eval.Types type Token RawBlockComment = Token String
type Tokens RawBlockComment Source #
Instance details Defined in Ide.Plugin.Eval.Types type Tokens RawBlockComment = Tokens String

newtype RawLineComment Source #

Constructors

RawLineComment
Fields getRawLineComment :: String

Instances

Instances details

IsString RawLineComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods fromString :: String -> RawLineComment #
Monoid RawLineComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods mempty :: RawLineComment # mappend :: RawLineComment -> RawLineComment -> RawLineComment # mconcat :: [RawLineComment] -> RawLineComment #
Semigroup RawLineComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (<>) :: RawLineComment -> RawLineComment -> RawLineComment # sconcat :: NonEmpty RawLineComment -> RawLineComment # stimes :: Integral b => b -> RawLineComment -> RawLineComment #
Show RawLineComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showsPrec :: Int -> RawLineComment -> ShowS # show :: RawLineComment -> String # showList :: [RawLineComment] -> ShowS #
NFData RawLineComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods rnf :: RawLineComment -> () #
Eq RawLineComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (==) :: RawLineComment -> RawLineComment -> Bool # (/=) :: RawLineComment -> RawLineComment -> Bool #
Ord RawLineComment Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods reachOffset :: Int -> PosState RawLineComment -> (Maybe String, PosState RawLineComment) # reachOffsetNoLine :: Int -> PosState RawLineComment -> PosState RawLineComment #
VisualStream RawLineComment Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showTokens :: Proxy RawLineComment -> NonEmpty (Token RawLineComment) -> String # tokensLength :: Proxy RawLineComment -> NonEmpty (Token RawLineComment) -> Int #
type Token RawLineComment Source #
Instance details Defined in Ide.Plugin.Eval.Types type Token RawLineComment = Token String
type Tokens RawLineComment Source #
Instance details Defined in Ide.Plugin.Eval.Types type Tokens RawLineComment = Tokens String

unLoc :: Located l a -> a Source #

Discard location information.

type Txt = String Source #

data EvalParams Source #

Specify the test section to execute

Constructors

EvalParams
Fields sections :: [Section] module_ :: !TextDocumentIdentifier evalId :: !EvalId unique group id; for test uses

Instances

Instances details

FromJSON EvalParams Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods parseJSON :: Value -> Parser EvalParams # parseJSONList :: Value -> Parser [EvalParams] #
ToJSON EvalParams Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods toJSON :: EvalParams -> Value # toEncoding :: EvalParams -> Encoding # toJSONList :: [EvalParams] -> Value # toEncodingList :: [EvalParams] -> Encoding #
Generic EvalParams Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showsPrec :: Int -> EvalParams -> ShowS # show :: EvalParams -> String # showList :: [EvalParams] -> ShowS #
Eq EvalParams Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (==) :: EvalParams -> EvalParams -> Bool # (/=) :: EvalParams -> EvalParams -> Bool #
type Rep EvalParams Source #
Instance details Defined in Ide.Plugin.Eval.Types type Rep EvalParams

data GetEvalComments Source #

Constructors

GetEvalComments

Instances

Instances details

Generic GetEvalComments Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods showsPrec :: Int -> GetEvalComments -> ShowS # show :: GetEvalComments -> String # showList :: [GetEvalComments] -> ShowS #
NFData GetEvalComments Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods rnf :: GetEvalComments -> () #
Eq GetEvalComments Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods (==) :: GetEvalComments -> GetEvalComments -> Bool # (/=) :: GetEvalComments -> GetEvalComments -> Bool #
Hashable GetEvalComments Source #
Instance details Defined in Ide.Plugin.Eval.Types Methods hashWithSalt :: Int -> GetEvalComments -> Int # hash :: GetEvalComments -> Int #
type Rep GetEvalComments Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.Eval.Types type RuleResult GetEvalComments = Comments

nullComments :: Comments -> Bool Source #