Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
What4.Protocol.SExp
Synopsis
- data 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 ()
- sExpToString :: SExp -> String
Documentation
Arguments
:: Parser Text | A parser for string literals |
-> Parser SExp |
Arguments
:: Parser Text | A parser for string literals |
-> Parser SExp |
Parses the body of an SExp after the opening '(' has already been parsed.
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 #
sExpToString :: SExp -> String Source #