Added Tree.__rich__() method to make Tree a Rich renderable

[erezsh]

No description provided.

[codecov-commenter]

Codecov Report

Merging #1117 (d036e90) into master (01e16c5) will decrease coverage by 0.11%.
The diff coverage is 16.66%.

@@            Coverage Diff             @@
##           master    #1117      +/-   ##
==========================================
- Coverage   89.44%   89.32%   -0.12%     
==========================================
  Files          52       52              
  Lines        7373     7385      +12     
==========================================
+ Hits         6595     6597       +2     
- Misses        778      788      +10     

Flag	Coverage Δ
unittests	89.32% <16.66%> (-0.12%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
lark/tree.py	65.97% <16.66%> (-4.49%)	⬇️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 01e16c5...d036e90. Read the comment docs.

[MegaIng]

IDK rich, so I can't offer suggestions/feedback for that.

Maybe an extra mode extra install in the form lark[rich] similar to how regex is handle? Although I am not sure how useful this would be.

Also, based on this code, rich might be a good basis for an extended version of this showcasing how to use the Interpreter class to do top down visiting, but I am not sure about that.

Are we testing Tree.pretty? If yes, we should try to create similar tests for Tree.rich as well IMO. Maybe just making sure that all children are visited?

[erezsh]

I think that because it's just a utility function, and not something that will be used in production code, we don't have to be too judicious about it. Also we don't have tests for pretty() afaik.

I don't know if the extra install is worth it. Maybe if we added more rich methods to other objects, like Token and InteractiveParser.

[MegaIng]

Don't forget to update the docs file

[erezsh]

Thanks!