~ubuntu-branches/ubuntu/utopic/haskell-uulib/utopic

« back to all changes in this revision

Viewing changes to src/UU/Scanner/TokenParser.hs

Committer: Bazaar Package Importer
Author(s): Arjan Oosting
Date: 2006-11-18 16:24:30 UTC
Revision ID: james.westby@ubuntu.com-20061118162430-24ddyj27kj0uk17v

Tags: upstream-0.9.2

Import upstream version 0.9.2

files added:

LICENSE-LGPL

Makefile.in

README

Setup.hs

VERSION

configure

configure.in

src/UU

src/UU/DData

src/UU/DData/IntBag.hs

src/UU/DData/IntMap.hs

src/UU/DData/IntSet.hs

src/UU/DData/Map.hs

src/UU/DData/MultiSet.hs

src/UU/DData/Queue.hs

src/UU/DData/Scc.hs

src/UU/DData/Seq.hs

src/UU/DData/Set.hs

src/UU/PPrint.hs

src/UU/Parsing

src/UU/Parsing.hs

src/UU/Parsing/CharParser.hs

src/UU/Parsing/Derived.hs

src/UU/Parsing/Interface.hs

src/UU/Parsing/Machine.hs

src/UU/Parsing/MachineInterface.hs

src/UU/Parsing/Merge.hs

src/UU/Parsing/Offside.hs

src/UU/Parsing/Perms.hs

src/UU/Parsing/StateParser.hs

src/UU/Pretty

src/UU/Pretty.hs

src/UU/Pretty/Basic.hs

src/UU/Pretty/Ext.hs

src/UU/Scanner

src/UU/Scanner.hs

src/UU/Scanner/GenToken.hs

src/UU/Scanner/GenTokenOrd.hs

src/UU/Scanner/GenTokenParser.hs

src/UU/Scanner/GenTokenSymbol.hs

src/UU/Scanner/Position.hs

src/UU/Scanner/Scanner.hs

src/UU/Scanner/Token.hs

src/UU/Scanner/TokenParser.hs

src/UU/Scanner/TokenShow.hs

src/UU/Util

src/UU/Util/BinaryTrees.hs

src/UU/Util/PermTree.hs

src/UU/Util/Utils.hs

uulib.cabal

uulib.cabal.in

Show diffs side-by-side

added added

removed removed

src/UU/Scanner/TokenParser.hs

module UU.Scanner.TokenParser where

import UU.Parsing.Interface(IsParser(..))

import UU.Parsing.Derived(pListSep, pPacked)

import UU.Scanner.Position(Pos)

import UU.Scanner.GenTokenParser(pReserved, pValToken)

import UU.Scanner.Token(Token,EnumValToken(..))

-------------------------------------------------------------------------

-- IsParsers for Symbols

-------------------------------------------------------------------------

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

pKeyPos keyword = pReserved keyword

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

pSpecPos s = pReserved [s]

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

pKey key = key <$ pKeyPos key

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

pSpec c = [c] <$ pSpecPos c

pStringPos, pCharPos,

pInteger8Pos, pInteger10Pos, pInteger16Pos, pFractionPos,

pVaridPos, pConidPos,

pTextnmPos, pTextlnPos, pIntegerPos, pVarsymPos, pConsymPos :: IsParser p Token => p (String,Pos)

pStringPos = pValToken TkString ""

pCharPos = pValToken TkChar "\NUL"

pInteger8Pos = pValToken TkInteger8 "0"

pInteger10Pos = pValToken TkInteger10 "0"

pInteger16Pos = pValToken TkInteger16 "0"

pFractionPos = pValToken TkFraction "0.0"

pVaridPos = pValToken TkVarid "<identifier>"

pConidPos = pValToken TkConid "<Identifier>"

pConsymPos = pValToken TkConOp "<conoperator>"

pVarsymPos = pValToken TkOp "<operator>"

pTextnmPos = pValToken TkTextnm "<name>"

pTextlnPos = pValToken TkTextln "<line>"

pIntegerPos = pInteger10Pos

pString, pChar,

pInteger8, pInteger10, pInteger16, pFraction,

pVarid, pConid,

pTextnm, pTextln, pInteger, pVarsym, pConsym :: IsParser p Token => p String

pString = fst <$> pStringPos

pChar = fst <$> pCharPos

pInteger8 = fst <$> pInteger8Pos

pInteger10 = fst <$> pInteger10Pos

pInteger16 = fst <$> pInteger16Pos

pFraction = fst <$> pFractionPos

pVarid = fst <$> pVaridPos

pConid = fst <$> pConidPos

pVarsym = fst <$> pVarsymPos

pConsym = fst <$> pConsymPos

pTextnm = fst <$> pTextnmPos

pTextln = fst <$> pTextlnPos

pInteger = fst <$> pIntegerPos

pComma, pSemi, pOParen, pCParen, pOBrack, pCBrack, pOCurly, pCCurly

:: IsParser p Token => p String

pComma = pSpec ','

pSemi = pSpec ';'

pOParen = pSpec '('

pCParen = pSpec ')'

pOBrack = pSpec '['

pCBrack = pSpec ']'

pOCurly = pSpec '{'

pCCurly = pSpec '}'

pCommaPos, pSemiPos, pOParenPos, pCParenPos, pOBrackPos, pCBrackPos, pOCurlyPos, pCCurlyPos

:: IsParser p Token => p Pos

pCommaPos = pSpecPos ','

pSemiPos = pSpecPos ';'

pOParenPos = pSpecPos '('

pCParenPos = pSpecPos ')'

pOBrackPos = pSpecPos '['

pCBrackPos = pSpecPos ']'

pOCurlyPos = pSpecPos '{'

pCCurlyPos = pSpecPos '}'

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

pCommas = pListSep pComma

pSemics = pListSep pSemi

pParens = pPacked pOParen pCParen

pBracks = pPacked pOBrack pCBrack

pCurly = pPacked pOCurly pCCurly

100

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

101

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

102

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

103

104

pParens_pCommas = pParens.pCommas

105

pBracks_pCommas = pBracks.pCommas

106

pCurly_pSemics = pCurly .pSemics

107

Older »