Lines Matching defs:Stream
94 structure Stream : STREAM) : LR_PARSER =
100 structure Stream = Stream
133 type ('a,'b) lexpair = ('a,'b) lexv * (('a,'b) lexv Stream.stream)
210 val newLexPair = Stream.get lexer
226 in (topvalue,Stream.cons(token,restLexer))
259 val newLexPair = Stream.get lexer
359 let val lex' = List.foldr (fn (t',p)=>(t',Stream.cons p)) lex new
380 else del(n-1,tok::accum,left,r,Stream.get lexer)
401 tryChange{lex=Stream.get lexer,stack=stack,
415 then SOME([tok],l,r,Stream.get lp')
419 then case do_delete(rest,Stream.get lp')
501 val lp1 = foldl(fn (_,(_,r)) => Stream.get r) lexPair orig
502 val lp2 = foldr(fn(t,r)=>(t,Stream.cons r)) lp1 new
522 val lexPair = Stream.get lexer