Skip to content

More updates to documentation #446

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

Merged
merged 5 commits into from
Sep 2, 2023
Merged

More updates to documentation #446

merged 5 commits into from
Sep 2, 2023

Conversation

ConnectedSystems
Copy link
Collaborator

@ConnectedSystems ConnectedSystems commented Sep 2, 2023

This PR includes/adds a cookbook page and uses a workaround to include documentation for metrics which use the Metric type.
As a bonus, the updated approach to defining metrics makes the docstring available for the built-in Julia help system.

I've noted that documentation for metrics are often incomplete or inconsistently defined. This will be addressed in a later PR.

Callable metrics are generated which makes them constant. As Documenter.jl can include documentation for defined constants, I'm using this as a workaround to include documentation for `Metric()` type metrics.
@ConnectedSystems
Copy link
Collaborator Author

Merging directly as the changes should not affect anything other than documentation.

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.

1 participant