This repository was archived by the owner on Aug 3, 2024. It is now read-only.
Repository navigation
Render module tree per package in the content page - #1492
Merged
Merged
Conversation
Closed
coot
force-pushed
the
coot/content-rendering
branch
from
May 28, 2022 05:45
06c8e48 to
b114db9
Compare
coot
marked this pull request as ready for review
May 28, 2022 05:45
Collaborator
Author
|
|
Member
|
@Mergifyio rebase |
Contributor
✅ Branch has been successfully rebased |
emilypi
force-pushed
the
coot/content-rendering
branch
from
June 6, 2022 10:01
b114db9 to
7562911
Compare
Member
|
@coot This looks good, thank you very much!! I'll merge once CI passes. :) |
coot
force-pushed
the
coot/content-rendering
branch
from
June 6, 2022 21:55
7562911 to
dfbd58a
Compare
When rendering content page for multiple packages it is useful to split the module tree per package. Package names in this patch are inferred from haddock's interface file names.
To keep interface file format backward compatible, instead of using `Binary` instance for `InterfaceFile` we introduce functions to serialise and deserialise, which depends on the interface file version.
coot
force-pushed
the
coot/content-rendering
branch
from
June 6, 2022 21:58
dfbd58a to
f497cd1
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
When rendering content page for multiple packages it is useful to split the
module tree per package.
Fixes #1493