terminalParser -- produce a parser in a terminal state

• Usage:

  terminalParser v

• Inputs:
  • v
• Outputs:
  • a parser in a terminal state with parsed value v

i1 : p = terminalParser x

o1 = p

o1 : Parser

i2 : p "a"

i3 : p null

o3 = x

o3 : Symbol

../../../../Macaulay2/packages/Parsing.m2:59:17-59:69: --source code:
terminalParser = val -> new Parser from (c -> if c === null then val)