Copyright	Rogério Pontes 2015
License	WTFPL
Maintainer	rogerp62@outlook.com
Stability	stable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Smtlib.Parsers.CommonParsers

Description

This module contains some auxiliar parsers, used to parse commands or responses.

Documentation

(<:>) :: Applicative f => f a -> f [a] -> f [a] Source

(<++>) :: Applicative f => f [a] -> f [a] -> f [a] Source

parseBool :: ParsecT String u Identity Bool Source

numeral :: ParsecT String u Identity String Source

num :: ParsecT String u Identity String Source

decimal :: ParsecT String u Identity String Source

zeros :: ParsecT String u Identity String Source

dot :: ParsecT String u Identity String Source

hexadecimal :: ParsecT String u Identity String Source

binary :: ParsecT String u Identity String Source

bin :: ParsecT String u Identity Char Source

str :: ParsecT String u Identity String Source

strChar :: ParsecT String u Identity Char Source

symbol :: ParsecT String u Identity String Source

quotedSymbol :: ParsecT String u Identity String Source

simpleSymbol :: ParsecT String u Identity String Source

spcSymb :: ParsecT String u Identity Char Source

keyword :: ParsecT String u Identity String Source

aspO :: ParsecT String u Identity Char Source

aspC :: ParsecT String u Identity Char Source

aspUS :: ParsecT String u Identity Char Source

true :: ParsecT String u Identity String Source

false :: ParsecT String u Identity String Source

emptySpace :: ParsecT String u Identity String Source

reservedWords :: ParsecT String u Identity String Source

parseTerm :: ParsecT String u Identity Term Source

parseTSPC :: ParsecT String u Identity Term Source

parseTQID :: ParsecT String u Identity Term Source

parseTQIT :: ParsecT String u Identity Term Source

parseTermLet :: ParsecT String u Identity Term Source

parseTermFA :: ParsecT String u Identity Term Source

parseTermEX :: ParsecT String u Identity Term Source

parseTermAnnot :: ParsecT String u Identity Term Source

parseSortedVar :: ParsecT String u Identity SortedVar Source

parseQualIdentifier :: ParsecT String u Identity QualIdentifier Source

parseQID :: ParsecT String u Identity QualIdentifier Source

parseQIAs :: ParsecT String u Identity QualIdentifier Source

parseVarBinding :: ParsecT String u Identity VarBinding Source

parseAttributeValue :: ParsecT String u Identity AttrValue Source

parseAVSC :: ParsecT String u Identity AttrValue Source

parseAVS :: ParsecT String u Identity AttrValue Source

parseAVSexpr :: ParsecT String u Identity AttrValue Source

parseAttribute :: ParsecT String u Identity Attribute Source

parseKeyAttribute :: ParsecT String u Identity Attribute Source

parseKeyAttAttribute :: ParsecT String u Identity Attribute Source

parseSort :: ParsecT String u Identity Sort Source

parseIdentifierS :: ParsecT String u Identity Sort Source

parseIdentifierSort :: ParsecT String u Identity Sort Source

parseIdentifier :: ParsecT String u Identity Identifier Source

parseOnlySymbol :: ParsecT String u Identity Identifier Source

parseNSymbol :: ParsecT String u Identity Identifier Source

parseSexprConstant :: ParsecT String u Identity Sexpr Source

parseSexprSymbol :: ParsecT String u Identity Sexpr Source

parseSexprKeyword :: ParsecT String u Identity Sexpr Source

parseAtomSexpr :: ParsecT String u Identity Sexpr Source

parseListSexpr :: ParsecT String u Identity Sexpr Source

parseSexpr :: ParsecT String u Identity Sexpr Source

parseSpecConstant :: ParsecT String u Identity SpecConstant Source

parseNumeral :: ParsecT String u Identity SpecConstant Source

parseDecimal :: ParsecT String u Identity SpecConstant Source

parseHexadecimal :: ParsecT String u Identity SpecConstant Source

parseBinary :: ParsecT String u Identity SpecConstant Source

parseString :: ParsecT String u Identity SpecConstant Source