Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Figure out a way to export to lambdasoup #100

Open
Drup opened this issue Mar 29, 2016 · 2 comments · May be fixed by #223
Open

Figure out a way to export to lambdasoup #100

Drup opened this issue Mar 29, 2016 · 2 comments · May be fixed by #223
Labels
enhancement
Milestone
later

Comments

@Drup
Copy link
Member

Drup commented Mar 29, 2016

Currently, Xml_iter is very crude and not very used. I would like to both improve the functionality and deprecate the current interface.

We can do that by providing a way to export to lambdasoup. I would prefer to do it while not actually depending on lambdasoup, so some structural thing would be nice.
This would also potentially provide us with a good streaming printer, when one is added to lambdasoup.
@Drup Drup added this to the later milestone Mar 29, 2016
@aantron
Copy link
Contributor

aantron commented Mar 29, 2016

@Drup, Markup.ml has a streaming printer – so Lambda Soup does too, it's the Soup.to_string function. It can also be done with soup |> Soup.signals |> Markup.write_html |> Markup.to_something_other_than_string.... I am not sure what the purpose or use case of Xml_iter is, but depending on what it actually is, can it be achieved by functorizing Lambda Soup over its tree representation somehow?

@Drup
Copy link
Member Author

Drup commented Mar 30, 2016

can it be achieved by functorizing Lambda Soup over its tree representation somehow?

Either that, or expecting a tree walker (see Xml_sigs.Iterable).

@Drup Drup mentioned this issue Apr 7, 2016
Closed
@Drup Drup linked a pull request Oct 28, 2018 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
later
Development

Successfully merging a pull request may close this issue.

Add export streaming functions ocsigen/tyxml
2 participants
@Drup @aantron