FastTags.Token

Documentation

data Pos a

Constructors

Pos

Fields

• posOf :: !SrcPos
• valOf :: !a

Instances

Show a => Show (Pos a)

Defined in FastTags.Token

Methods

showsPrec :: Int -> Pos a -> ShowS

show :: Pos a -> String

showList :: [Pos a] -> ShowS

NFData a => NFData (Pos a)

Defined in FastTags.Token

Methods

rnf :: Pos a -> ()

Eq a => Eq (Pos a)

Defined in FastTags.Token

Methods

(==) :: Pos a -> Pos a -> Bool

(/=) :: Pos a -> Pos a -> Bool

Ord a => Ord (Pos a)

Defined in FastTags.Token

Methods

compare :: Pos a -> Pos a -> Ordering

(<) :: Pos a -> Pos a -> Bool

(<=) :: Pos a -> Pos a -> Bool

(>) :: Pos a -> Pos a -> Bool

(>=) :: Pos a -> Pos a -> Bool

max :: Pos a -> Pos a -> Pos a

min :: Pos a -> Pos a -> Pos a

newtype Line

Constructors

Line

Fields

• unLine :: Int

Instances

Num Line

Defined in FastTags.Token

Methods

(+) :: Line -> Line -> Line

(-) :: Line -> Line -> Line

(*) :: Line -> Line -> Line

negate :: Line -> Line

abs :: Line -> Line

signum :: Line -> Line

fromInteger :: Integer -> Line

Show Line

Defined in FastTags.Token

Methods

showsPrec :: Int -> Line -> ShowS

show :: Line -> String

showList :: [Line] -> ShowS

NFData Line

Defined in FastTags.Token

Methods

rnf :: Line -> ()

Eq Line

Defined in FastTags.Token

Methods

(==) :: Line -> Line -> Bool

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

Ord Line

Defined in FastTags.Token

Methods

compare :: Line -> Line -> Ordering

(<) :: Line -> Line -> Bool

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

(>) :: Line -> Line -> Bool

(>=) :: Line -> Line -> Bool

max :: Line -> Line -> Line

min :: Line -> Line -> Line

newtype Offset

Constructors

Offset

Fields

• unOffset :: Int

Instances

Num Offset

Defined in FastTags.Token

Methods

(+) :: Offset -> Offset -> Offset

(-) :: Offset -> Offset -> Offset

(*) :: Offset -> Offset -> Offset

negate :: Offset -> Offset

abs :: Offset -> Offset

signum :: Offset -> Offset

fromInteger :: Integer -> Offset

Show Offset

Defined in FastTags.Token

Methods

showsPrec :: Int -> Offset -> ShowS

show :: Offset -> String

showList :: [Offset] -> ShowS

NFData Offset

Defined in FastTags.Token

Methods

rnf :: Offset -> ()

Eq Offset

Defined in FastTags.Token

Methods

(==) :: Offset -> Offset -> Bool

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

Ord Offset

Defined in FastTags.Token

Methods

compare :: Offset -> Offset -> Ordering

(<) :: Offset -> Offset -> Bool

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

(>) :: Offset -> Offset -> Bool

(>=) :: Offset -> Offset -> Bool

max :: Offset -> Offset -> Offset

min :: Offset -> Offset -> Offset

increaseLine :: Line -> Line

data SrcPos

Constructors

SrcPos

Fields

• posFile :: !FilePath
• posLine :: !Line
• posOffset :: !Offset
• posPrefix :: Text

  No need to keep prefix strict since most of the prefixes will not be used.

• posSuffix :: Text

Instances

Show SrcPos

Defined in FastTags.Token

Methods

showsPrec :: Int -> SrcPos -> ShowS

show :: SrcPos -> String

showList :: [SrcPos] -> ShowS

NFData SrcPos

Defined in FastTags.Token

Methods

rnf :: SrcPos -> ()

Eq SrcPos

Defined in FastTags.Token

Methods

(==) :: SrcPos -> SrcPos -> Bool

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

Ord SrcPos

Defined in FastTags.Token

Methods

compare :: SrcPos -> SrcPos -> Ordering

(<) :: SrcPos -> SrcPos -> Bool

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

(>) :: SrcPos -> SrcPos -> Bool

(>=) :: SrcPos -> SrcPos -> Bool

max :: SrcPos -> SrcPos -> SrcPos

min :: SrcPos -> SrcPos -> SrcPos

forallTokenVal :: TokenVal

patternTokenVal :: TokenVal

data TokenVal

Constructors

KWCase

KWClass

KWData

KWDefault

KWDeriving

KWDo

KWElse

KWFamily

KWForeign

KWIf

KWImport

KWIn

KWInfix

KWInfixl

KWInfixr

KWInstance

KWLet

KWModule

KWNewtype

KWOf

KWThen

KWType

KWWhere

Arrow

At

Backtick

Comma

Dot

DoubleColon

Equals

ExclamationMark

Implies

LBrace

LBracket

LParen

Pipe

RBrace

RBracket

RParen

Tilde

Semicolon

T !Text

Newline !Int

Special token, not part of Haskell spec. Stores indentation.

String

String contents is not tracked since it's irrelevant.

Character

Actual character not tracked since it's irrelevant.

Number

Actual value not tracked since it's irrelevant.

QuasiquoterStart

QuasiquoterEnd

SpliceStart

ToplevelSplice

LambdaBackslash

CppDefine !Text

HSCEnum

HSCDirective

HSCDirectiveBraced

e.g. #{define foo...nbar}, #{ndefine foo...nbar}, ends with RBrace

LBanana

RBanana

Error Text

DQuote

EOF

Instances

Generic TokenVal

Defined in FastTags.Token

Associated Types

type Rep TokenVal :: Type -> Type

Methods

from :: TokenVal -> Rep TokenVal x

to :: Rep TokenVal x -> TokenVal

Show TokenVal

Defined in FastTags.Token

Methods

showsPrec :: Int -> TokenVal -> ShowS

show :: TokenVal -> String

showList :: [TokenVal] -> ShowS

NFData TokenVal

Defined in FastTags.Token

Methods

rnf :: TokenVal -> ()

Eq TokenVal

Defined in FastTags.Token

Methods

(==) :: TokenVal -> TokenVal -> Bool

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

Ord TokenVal

Defined in FastTags.Token

Methods

compare :: TokenVal -> TokenVal -> Ordering

(<) :: TokenVal -> TokenVal -> Bool

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

(>) :: TokenVal -> TokenVal -> Bool

(>=) :: TokenVal -> TokenVal -> Bool

max :: TokenVal -> TokenVal -> TokenVal

min :: TokenVal -> TokenVal -> TokenVal

type Rep TokenVal

Defined in FastTags.Token

type Rep TokenVal = D1 ('MetaData "TokenVal" "FastTags.Token" "fast-tags-2.0.3-8JtIsa3B7ihIawrDy3rpk2" 'False) (((((C1 ('MetaCons "KWCase" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KWClass" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KWData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KWDefault" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KWDeriving" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KWDo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KWElse" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "KWFamily" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KWForeign" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KWIf" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KWImport" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KWIn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KWInfix" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KWInfixl" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KWInfixr" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "KWInstance" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KWLet" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KWModule" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KWNewtype" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KWOf" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KWThen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KWType" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "KWWhere" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Arrow" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "At" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Backtick" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Comma" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Dot" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DoubleColon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Equals" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "ExclamationMark" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Implies" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LBrace" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LBracket" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LParen" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pipe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RBrace" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "RBracket" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RParen" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Tilde" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Semicolon" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "T" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Newline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int))) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Character" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Number" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QuasiquoterStart" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QuasiquoterEnd" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SpliceStart" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ToplevelSplice" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LambdaBackslash" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CppDefine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Text))))) :+: (((C1 ('MetaCons "HSCEnum" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HSCDirective" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HSCDirectiveBraced" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LBanana" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "RBanana" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Error" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "DQuote" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EOF" 'PrefixI 'False) (U1 :: Type -> Type)))))))

type Token = Pos TokenVal