Language.Grammars.Murder.Scanner

Documentation

scanHandle :: ScanOpts -> FilePath -> Handle -> IO [Token]

scanFile :: ScanOpts -> FilePath -> IO [Token]

scan :: ScanOpts -> Pos -> String -> [Token]

getRational :: String -> (String, Maybe String, Maybe (Maybe String, String))

getBaseNumber :: Integer -> [Char] -> Integer

type Token = GenToken String EnumValToken String

data EnumValToken

Constructors

TkVarid

TkConid

TkOp

TkConOp

TkQVarid

TkQConid

TkQOp

TkQConOp

TkString

TkChar

TkInteger8

TkInteger10

TkInteger16

TkFraction

TkTextnm

TkTextln

TkError

Instances

Eq EnumValToken

Ord EnumValToken

Show EnumValToken

Show Token

module UU.Scanner.GenToken

reserved :: String -> Pos -> Token

valueToken :: EnumValToken -> String -> Pos -> Token

errToken :: String -> Pos -> Token

tokTpIsInt :: EnumValToken -> Bool

tokTpIsId :: EnumValToken -> Bool

tokTpQual :: EnumValToken -> EnumValToken

pKeyPos :: IsParser p Token => String -> p Pos

pSpecPos :: IsParser p Token => Char -> p Pos

pKey :: IsParser p Token => String -> p String

pSpec :: IsParser p Token => Char -> p String

pStringPos :: IsParser p Token => p (String, Pos)

pConsymPos :: IsParser p Token => p (String, Pos)

pVarsymPos :: IsParser p Token => p (String, Pos)

pIntegerPos :: IsParser p Token => p (String, Pos)

pTextlnPos :: IsParser p Token => p (String, Pos)

pTextnmPos :: IsParser p Token => p (String, Pos)

pConidPos :: IsParser p Token => p (String, Pos)

pVaridPos :: IsParser p Token => p (String, Pos)

pFractionPos :: IsParser p Token => p (String, Pos)

pInteger16Pos :: IsParser p Token => p (String, Pos)

pInteger10Pos :: IsParser p Token => p (String, Pos)

pInteger8Pos :: IsParser p Token => p (String, Pos)

pCharPos :: IsParser p Token => p (String, Pos)

pString :: IsParser p Token => p String

pConsym :: IsParser p Token => p String

pVarsym :: IsParser p Token => p String

pInteger :: IsParser p Token => p String

pTextln :: IsParser p Token => p String

pTextnm :: IsParser p Token => p String

pConid :: IsParser p Token => p String

pVarid :: IsParser p Token => p String

pFraction :: IsParser p Token => p String

pInteger16 :: IsParser p Token => p String

pInteger10 :: IsParser p Token => p String

pInteger8 :: IsParser p Token => p String

pChar :: IsParser p Token => p String

pComma :: IsParser p Token => p String

pCCurly :: IsParser p Token => p String

pOCurly :: IsParser p Token => p String

pCBrack :: IsParser p Token => p String

pOBrack :: IsParser p Token => p String

pCParen :: IsParser p Token => p String

pOParen :: IsParser p Token => p String

pSemi :: IsParser p Token => p String

pCommaPos :: IsParser p Token => p Pos

pCCurlyPos :: IsParser p Token => p Pos

pOCurlyPos :: IsParser p Token => p Pos

pCBrackPos :: IsParser p Token => p Pos

pOBrackPos :: IsParser p Token => p Pos

pCParenPos :: IsParser p Token => p Pos

pOParenPos :: IsParser p Token => p Pos

pSemiPos :: IsParser p Token => p Pos

pCommas :: IsParser p Token => p a -> p [a]

pSemics :: IsParser p Token => p a -> p [a]

pParens :: IsParser p Token => p a -> p a

pBracks :: IsParser p Token => p a -> p a

pCurly :: IsParser p Token => p a -> p a

pParens_pCommas :: IsParser p Token => p a -> p [a]

pBracks_pCommas :: IsParser p Token => p a -> p [a]

pCurly_pSemics :: IsParser p Token => p a -> p [a]

data ScanOpts

Constructors

ScanOpts

Fields

scoKeywordsTxt :: !(Set String)

scoCommandsTxt :: !(Set String)

scoKeywordsOps :: !(Set String)

scoSpecChars :: !(Set Char)

scoOpChars :: !(Set Char)

scoSpecPairs :: !(Set String)

scoDollarIdent :: !Bool

scoOffsideTrigs :: ![String]

scoOffsideModule :: !String

scoOffsideOpen :: !String

scoOffsideClose :: !String

scoLitmode :: !Bool

scoVerbOpenClose :: ![(String, String)]

scoAllowQualified :: !Bool

defaultScanOpts :: ScanOpts

isNoPos :: Pos -> Bool

posIs1stColumn :: Pos -> Bool

data InFilePos

Constructors

InFilePos

Fields

infpLine :: Int

infpColumn :: Int

Instances

Eq InFilePos

Ord InFilePos

Show InFilePos

infpStart :: InFilePos

infpNone :: InFilePos

infpAdvCol :: Int -> InFilePos -> InFilePos

infpAdvLine :: Int -> InFilePos -> InFilePos

infpAdv1Line :: InFilePos -> InFilePos

infpAdvStr :: String -> InFilePos -> InFilePos

genTokVal :: GenToken v t v -> v

genTokTp :: GenToken k t v -> Maybe t

genTokMap :: (a -> b) -> GenToken a t a -> GenToken b t b

isLF :: Char -> Bool

isStr :: Char -> Bool

isStrQuote :: Char -> Bool

isWhite :: Char -> Bool

isBlack :: Char -> Bool

isVarStart :: Char -> Bool

isVarRest :: Char -> Bool

module UU.Scanner.Position