- case Tree("WS", _ ) => Seq(WS)
- case Tree("Quotes", Seq(x) ) => Seq(new Quotes(textSequenceFromTree(x)))
- case Tree("Pars", y ) => Seq(new SubPar(paragraphsFromTrees(y)))
- case Tree("Command", Seq(x,y) ) => Seq(new Command(stringFromTree(x), textSequenceFromTree(y)))
- case Tree("Command", Seq(x) ) => Seq(new Command(stringFromTree(x), Seq()))
- case Tree("Link", Seq(text,link) ) => Seq(new Link(urlFromTree(link), textSequenceFromTree(text)))
- case Tree("Footnote", x ) => Seq(new Footnote(concatMap(textSequenceFromTree,x)))
- case Tree("Keyword", x ) => Seq(new Keyword(concatMap(textSequenceFromTree,x)))
- case Tree("Math", x ) => Seq(new Math(stringFromTrees(x)))
- case Tree("Italic", Seq(x) ) => Seq(new Styled(Italic , textSequenceFromTree(x)))
- case Tree("Bold", Seq(x) ) => Seq(new Styled(Bold , textSequenceFromTree(x)))
- case Tree("Highlight", Seq(x) ) => Seq(new Styled(Highlight , textSequenceFromTree(x)))
- case Tree("TT", x ) => Seq(new Styled(TT , concatMap(textSequenceFromTree,x)))
- case Tree("Strikethrough", x ) => Seq(new Styled(Strikethrough , concatMap(textSequenceFromTree,x)))
- case Tree("Superscript", x ) => Seq(new Styled(Superscript , concatMap(textSequenceFromTree,x)))
- case Tree("Subscript", x ) => Seq(new Styled(Subscript , concatMap(textSequenceFromTree,x)))
- case Tree("Underline", x ) => Seq(new Styled(Underline , concatMap(textSequenceFromTree,x)))
- case Tree("(e)", _) => Seq(new GlyphText(Euro))
- case Tree("(r)", _) => Seq(new GlyphText(CircleR))
- case Tree("(c)", _) => Seq(new GlyphText(CircleC))
- case Tree("(tm)", _) => Seq(new GlyphText(TradeMark))
- case Tree("--", _) => Seq(new GlyphText(Emdash))
- case Tree("<-", _) => Seq(new GlyphText(LeftArrow))
- case Tree("<=", _) => Seq(new GlyphText(DoubleLeftArrow))
- case Tree("=>", _) => Seq(new GlyphText(DoubleRightArrow))
- case Tree("<=>", _) => Seq(new GlyphText(DoubleLeftRightArrow))
- case Tree("<->", _) => Seq(new GlyphText(LeftRightArrow))
- case Tree("^o", _) => Seq(new GlyphText(Degree))
- case Tree("...", _) => Seq(new GlyphText(Ellipsis))
- case Tree("Text", ts) => concat(ts.map(textSequenceFromTree))
- case Tree("", Seq()) => Seq()
+ case Tree("WS", _ ,_) => Seq(WS)
+ case Tree("Quotes", Seq(x) ,_) => Seq(new Quotes(textSequenceFromTree(x)))
+ case Tree("Pars", y ,_) => Seq(new SubPar(paragraphsFromTrees(y)))
+ case Tree("Command", Seq(x,y) ,_) => Seq(new Command(stringFromTree(x), textSequenceFromTree(y)))
+ case Tree("Command", Seq(x) ,_) => Seq(new Command(stringFromTree(x), Seq()))
+ case Tree("Link", Seq(text,link) ,_) => Seq(new Link(urlFromTree(link), textSequenceFromTree(text)))
+ case Tree("Footnote", x ,_) => Seq(new Footnote(concatMap(textSequenceFromTree,x)))
+ case Tree("Keyword", x ,_) => Seq(new Keyword(concatMap(textSequenceFromTree,x)))
+ case Tree("Math", x ,_) => Seq(new Math(stringFromTrees(x)))
+ case Tree("Italic", Seq(x) ,_) => Seq(new Styled(Italic , textSequenceFromTree(x)))
+ case Tree("Bold", Seq(x) ,_) => Seq(new Styled(Bold , textSequenceFromTree(x)))
+ case Tree("Highlight", Seq(x) ,_) => Seq(new Styled(Highlight , textSequenceFromTree(x)))
+ case Tree("TT", x ,_) => Seq(new Styled(TT , concatMap(textSequenceFromTree,x)))
+ case Tree("Strikethrough", x ,_) => Seq(new Styled(Strikethrough , concatMap(textSequenceFromTree,x)))
+ case Tree("Superscript", x ,_) => Seq(new Styled(Superscript , concatMap(textSequenceFromTree,x)))
+ case Tree("Subscript", x ,_) => Seq(new Styled(Subscript , concatMap(textSequenceFromTree,x)))
+ case Tree("Underline", x ,_) => Seq(new Styled(Underline , concatMap(textSequenceFromTree,x)))
+ case Tree("(e)", _ ,_) => Seq(new GlyphText(Euro))
+ case Tree("(r)", _ ,_) => Seq(new GlyphText(CircleR))
+ case Tree("(c)", _ ,_) => Seq(new GlyphText(CircleC))
+ case Tree("(tm)", _ ,_) => Seq(new GlyphText(TradeMark))
+ case Tree("--", _ ,_) => Seq(new GlyphText(Endash))
+ case Tree("---", _ ,_) => Seq(new GlyphText(Emdash))
+ case Tree("<-", _ ,_) => Seq(new GlyphText(LeftArrow))
+ case Tree("<=", _ ,_) => Seq(new GlyphText(DoubleLeftArrow))
+ case Tree("=>", _ ,_) => Seq(new GlyphText(DoubleRightArrow))
+ case Tree("<=>", _ ,_) => Seq(new GlyphText(DoubleLeftRightArrow))
+ case Tree("<->", _ ,_) => Seq(new GlyphText(LeftRightArrow))
+ case Tree("^o", _ ,_) => Seq(new GlyphText(Degree))
+ case Tree("...", _ ,_) => Seq(new GlyphText(Ellipsis))
+ case Tree("Text", ts ,_) => concat(ts.map(textSequenceFromTree))
+ case Tree("", Seq() ,_) => Seq()