Lines Matching defs:result
8 val result : 'a list -> ('a -> ('a,'b) r) -> 'a list * ('a,'b) r;
41 * a valid state containing a list of tokens and a parser result
45 (* Parse result:
54 (* Obtain a parser result sensibly handling More and End *)
55 fun result [] _ = ([],Fail "No more data!")
56 | result (d::ds) f = case f d of
57 More f => result ds f
60 (* Interpret a parsing result as an action on a parser state.
61 Old and new result value are combined as a tuple.
66 | p f (State (ds,v)) = case result ds f of
77 (* apply g to the result produced by f *)
82 (* extract result and apply f *)
87 (* add result v1 to the state *)
91 (* reorder result tuple *)
99 (* create a parser discarding the result of f *)
129 (* if p is a parser then optional p either has the result
130 SOME("result of p") or NONE (if p fails)