what4-1.0: Solver-agnostic symbolic values support for issuing queries

Safe HaskellSafe
LanguageHaskell2010

What4.Protocol.SExp

Synopsis

Documentation

data SExp Source #

Constructors

SAtom Text 
SString Text 
SApp [SExp] 
Instances
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 

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 #