what4-1.3: Solver-agnostic symbolic values support for issuing queries
Safe HaskellSafe-Inferred
LanguageHaskell2010

What4.Protocol.SExp

Synopsis

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.