GF.Grammar.Predef

Plain source file: src/compiler/GF/Grammar/Predef.hs (2015-03-03)

GF.Grammar.Predef is imported by: ...
GF.Compile.Compute.ConcreteNew, GF.Compile.Compute.ConcreteNew1, GF.Compile.Compute.Predef, GF.Compile.ConcreteToHaskell, GF.Compile.GeneratePMCFG, GF.Compile.GrammarToPGF, GF.Compile.Optimize, GF.Compile.Rename, GF.Compile.TypeCheck.ConcreteNew, GF.Compile.TypeCheck.Primitives, GF.Compile.TypeCheck.RConcrete, GF.Compile.TypeCheck.TC, GF.Grammar.Lookup, GF.Grammar.Macros, GF.Grammar.Parser, GF.Grammar.Values, GF.Infra.Option.
----------------------------------------------------------------------
-- |
-- Module      : GF.Grammar.Predef
-- Maintainer  : kr.angelov
-- Stability   : (stable)
-- Portability : (portable)
--
-- Predefined identifiers and labels which the compiler knows
----------------------------------------------------------------------


module GF.Grammar.Predef where

import GF.Infra.Ident(Ident,identS,moduleNameS)

cType = identS "Type"
cPType = identS "PType"
cTok = identS "Tok"
cStr = identS "Str"
cStrs = identS "Strs"
cPredefAbs = moduleNameS "PredefAbs"
cPredefCnc = moduleNameS "PredefCnc"
cPredef = moduleNameS "Predef"
cInt = identS "Int"
cFloat = identS "Float"
cString = identS "String"
cVar = identS "__gfVar"
cInts = identS "Ints"
cPBool = identS "PBool"
cErrorType = identS "Error"
cOverload = identS "overload"
cUndefinedType = identS "UndefinedType"
cNonExist = identS "nonExist"
cBIND = identS "BIND"
cSOFT_BIND = identS "SOFT_BIND"
cCAPIT = identS "CAPIT"

isPredefCat :: Ident -> Bool
isPredefCat c = elem c [cInt,cString,cFloat]

cPTrue  = identS "PTrue"
cPFalse = identS "PFalse"
cLength = identS "length"
cDrop = identS "drop"
cTake = identS "take"
cTk = identS "tk"
cDp = identS "dp"
cToUpper = identS "toUpper"
cToLower = identS "toLower"
cIsUpper = identS "isUpper"
cEqStr = identS "eqStr"
cEqVal = identS "eqVal"
cOccur = identS "occur"
cOccurs = identS "occurs"
cEqInt = identS "eqInt"
cLessInt = identS "lessInt"
cPlus = identS "plus"
cShow = identS "show"
cRead = identS "read"
cToStr = identS "toStr"
cMapStr = identS "mapStr"
cError = identS "error"

-- * Hacks: dummy identifiers used in various places.
-- Not very nice!

cMeta = identS "?"
cAs = identS "@"
cChar = identS "?"
cChars = identS "[]"
cSeq = identS "+"
cAlt = identS "|"
cRep = identS "*"
cNeg = identS "-"
cCNC = identS "CNC"
cConflict = identS "#conflict"
Index

(HTML for this module was generated on 2015-03-03. About the conversion tool.)