Safe Haskell	Safe-Inferred
Language	Haskell2010

What4.Protocol.SExp

Synopsis

data SExp
- = SAtom Text
- | SString Text
- | SApp [SExp]
parseSExp :: Parser Text -> Parser SExp
parseSExpBody :: Parser Text -> Parser SExp
stringToSExp :: MonadFail m => Parser Text -> String -> m [SExp]
parseNextWord :: Parser Text
asAtomList :: SExp -> Maybe [Text]
asNegAtomList :: SExp -> Maybe [(Bool, Text)]
skipSpaceOrNewline :: Parser ()

Documentation

data SExp Source #

Constructors

SAtom Text
SString Text
SApp [SExp]

Instances

Instances details

Eq SExp Source #
Instance details Defined in What4.Protocol.SExp Methods (==) :: SExp -> SExp -> Bool # (/=) :: SExp -> SExp -> Bool #
Ord SExp Source #
Instance details Defined in What4.Protocol.SExp Methods compare :: SExp -> SExp -> Ordering # (<) :: SExp -> SExp -> Bool # (<=) :: SExp -> SExp -> Bool # (>) :: SExp -> SExp -> Bool # (>=) :: SExp -> SExp -> Bool # max :: SExp -> SExp -> SExp # min :: SExp -> SExp -> SExp #
Show SExp Source #
Instance details Defined in What4.Protocol.SExp Methods showsPrec :: Int -> SExp -> ShowS # show :: SExp -> String # showList :: [SExp] -> ShowS #
IsString SExp Source #
Instance details Defined in What4.Protocol.SExp Methods fromString :: String -> SExp #

parseSExp Source #

Arguments

:: Parser Text	A parser for string literals
-> Parser SExp

Parses an SExp. If the input is a string (recognized by the readString argument), return that as an SString; if the input is a single token, return that as an SAtom.

parseSExpBody Source #

Arguments

:: Parser Text	A parser for string literals
-> Parser SExp

Parses the body of an SExp after the opening '(' has already been parsed.

stringToSExp Source #

Arguments

:: MonadFail m
=> Parser Text	A parser for string literals
-> String
-> m [SExp]

parseNextWord :: Parser Text Source #

Read next contiguous sequence of numbers or letters.

asAtomList :: SExp -> Maybe [Text] Source #

asNegAtomList :: SExp -> Maybe [(Bool, Text)] Source #

skipSpaceOrNewline :: Parser () Source #