Function % Parser -- transform the value returned by a parser

• Operator: %

• Usage:

  f % p

• Inputs:
  • f, a function
  • p, a parser
• Outputs:
  • a parser, a parser that feeds its tokens to p and filters the value returned by p through f

i1 : (* constParser "abc" : charAnalyzer) "abcabcabc"

o1 = (abc, abc, abc)

o1 : Sequence

i2 : (concatenate % * constParser "abc" : charAnalyzer) "abcabcabc"

o2 = abcabcabc

i3 : (constParser "abc" : charAnalyzer) "abc"

o3 = abc

i4 : ((s -> concatenate("[",s,"]")) % constParser "abc" : charAnalyzer) "abc"

o4 = [abc]

../../../../Macaulay2/packages/Parsing.m2:94:21-94:125: --source code:
Function % Parser := (fun,p) -> new Parser from ( c -> if (p' := p c) =!= null then if c === null then fun p' else fun % p' )