what4-1.6.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
IsString SExp Source # 
Instance details

Defined in What4.Protocol.SExp

Methods

fromString :: String -> SExp

Show SExp Source # 
Instance details

Defined in What4.Protocol.SExp

Methods

showsPrec :: Int -> SExp -> ShowS

show :: SExp -> String

showList :: [SExp] -> ShowS

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

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 #

sExpToString :: SExp -> String Source #