Documentation

The SExprParser m b a datatype defines how to parse an SExpr b a. Most parsing functions require the underlying monad m to be an instance of (MonadParsec e s m).

The getAtom function returns the parser for atoms of an SExprParser object.

The getSpace function returns the parser for whitespace of an SExprParser object.

The getSpacingRule function returns spacing rule function of an SExprParser object.

The setTags function updates a parser with a new parser for the opening and closing tags.

The setTagsFromList function helps you build the opening and closing parsers from a list of triplets. Each triplet specifies a stream of tokens to parse as the opening tag, a stream of tokens to parse at the closing tag and what to return when this pair is encountered. The setTagsFromList can handle multiple triplets with the same opening tags. See also setTagsFromMap.

The example e1 parses "()" as SList () [].

e1 = setTagsFromList [("(", ")", ()] p

The example e2 parses both "()" and "[]" as SList () [] but does not parse "(]" or "[)"

e2 = setTagsFromList [("(", ")", ()), ("[", "]", ())] p 

The example e3 parses "()" as SList List [] and "#()" as SList Vector [], but does not parse "(]" or "[)"

e3 = setTagsFromList [("(", ")", List), ("#(",")",Vector)] p

The example e4 parses "()" as SList ')' [] and "(]" as SList ']' [], but does not parse "])"

e4 = setTagsFromList [("(", ")", ')'), ("(", "]", ']')] p 

The setTagsFromMap function helps you build the opening and closing parsers from a map. Each key specifies a stream of tokens to parse as the opening tag and the value of the map specifies one or more streams of tokens to parse at the closing tag and what to return when this pair is encountered. See also setTagsFromList.

The example e1 parses "()" as SList () [].

e1 = setTagsFromList $ M.fromList [("(", [")", ()]] p

The example e2 parses both "()" and "[]" as SList () [] but does not parse "(]" or "[)"

e2 = setTagsFromList $ M.fromList [("(", [")", ()]), ("[", ["]", ()])] p 

The example e3 parses "()" as SList List [] and "#()" as SList Vector [], but does not parse "(]" or "[)"

e3 = setTagsFromList $ M.fromList [("(", [")", List]), ("#(", [")",Vector])] p

The example e4 parses "()" as SList ')' [] and "(]" as SList ']' [], but does not parse "])"

e4 = setTagsFromList $ M.fromList [("(", [(")", ')'), ("]", ']')])] p 

The setSpace function modifies a SExprParser by setting the parser to parse whitespace. The parser for whitespace must not accept the empty input (e.g. space1)

The setSpacingRule function modifies a SExprParser by setting the function to tell if two consecutive atoms must be separated by space or not. See also mkSpacingRule.

The setAtom function updates a parser with a new parser for atoms and and new spacing rule function.

The SpacingRule datatype is used to indicate if space is optional or mandatory between two consecutive SAtom _.

The spaceIsMandatory function is a spacing rule where space is always mandatory. See also getSpacingRule.

The spaceIsOptional function is a spacing rule where space is always optional. See also getSpacingRule.

The mkSpacingRule function is a helper to create a valid spacing rule function for SExprParser when some atoms have the same SpacingRule both before and after no matter what the other atom is. It takes as argument a function f that takes a single atom and returns the SpacingRule that applies both before and after this atom.

For example, to create a spacing rule where space is optional both before and after the fictitious MyString token:

s (MyString _) = SOptional
s _ = Mandatory
spacingRule = mkSpacingRule s

The above is equivalent to :

spacingRule (MyString _) _ = SOptional
spacingRule _ (MyString _) = SOptional
spacingRule _ _ = SMandatory

The withLocation function adds source location to a SExprParser. See also Location.

The parseSExprList function return a parser for parsing S-expression of the form SList _ _.

The parseSExpr function return a parser for parsing S-expression (SExpr), that is either an atom (SAtom _) or a list SList _ _. See also decodeOne and decode.

The decodeOne function return a parser for parsing a file containing only one S-expression (SExpr). It can parse extra whitespace at the beginning and at the end of the file. See also parseSExpr and decode.

The decode function return a parser for parsing a file containing many S-expression (SExpr). It can parse extra whitespace at the beginning and at the end of the file. See also parseSExpr and decodeOne.