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.

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

docs: Try to make people more successful with cut_err #436

Merged
merged 6 commits into from
Jan 25, 2024

Conversation

epage
Copy link
Collaborator

@epage epage commented Jan 25, 2024

Looking back on #435, we need to

  • raise the visibility of trace
    • We do this by moving the trace docs into the tutorial, raising visibility
    • This provides us an opportunity to do what I've been meaning to for a while: reduce our top-level modules further by merging trace into combinator
    • Highlight the tutorial in _topics
  • make cut_err more accessible
    • We do this by improving the cross-linking
    • Highlight the tutorial in _topics

@coveralls
Copy link

Pull Request Test Coverage Report for Build 7660463966

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage decreased (-0.1%) to 43.28%

Totals Coverage Status
Change from base Build 7594344864: -0.1%
Covered Lines: 1256
Relevant Lines: 2902

💛 - Coveralls

@epage epage merged commit 449eddc into winnow-rs:main Jan 25, 2024
15 checks passed
@epage epage deleted the docs branch January 25, 2024 21:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants