pisigma-0.2.1: A dependently typed core language

Language.PiSigma.Lexer

Documentation

type Parser = Parsec String ()Source

angles :: Parser a -> Parser aSource

braces :: Parser a -> Parser aSource

brackets :: Parser a -> Parser aSource

charLiteral :: Parser CharSource

colon :: Parser StringSource

comma :: Parser StringSource

commaSep :: Parser a -> Parser [a]Source

commaSep1 :: Parser a -> Parser [a]Source

decimal :: Parser IntegerSource

dot :: Parser StringSource

float :: Parser DoubleSource

hexadecimal :: Parser IntegerSource

identifier :: Parser StringSource

integer :: Parser IntegerSource

locate :: Parser a -> Parser LocSource

location :: Parser LocSource

locReserved :: String -> Parser LocSource

locReservedOp :: String -> Parser LocSource

locSymbol :: String -> Parser LocSource

lexeme :: Parser a -> Parser aSource

natural :: Parser IntegerSource

naturalOrFloat :: Parser (Either Integer Double)Source

octal :: Parser IntegerSource

operator :: Parser StringSource

parens :: Parser a -> Parser aSource

reserved :: String -> Parser ()Source

reservedOp :: String -> Parser ()Source

semi :: Parser StringSource

semiSep :: Parser a -> Parser [a]Source

semiSep1 :: Parser a -> Parser [a]Source

squares :: Parser a -> Parser aSource

stringLiteral :: Parser StringSource

symbol :: String -> Parser StringSource

tokArr :: Parser LocSource

tokForce :: Parser LocSource

tokLam :: Parser LocSource

tokLift :: Parser LocSource

whiteSpace :: Parser ()Source