| 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 #