Skip to content

Remove/rename some functionality and move operators into submodule #119

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 17 commits into from
Jun 23, 2023

Conversation

oschulz
Copy link
Collaborator

@oschulz oschulz commented Jun 22, 2023

@cscherrer these is the first PR to implement the somewhat breaking changes we discussed over the last days (PRs to be collected on the mt-015 branch for a MeasureBase v0.15 release sometime next week).

Most of the removed/renamed functionality is rarely used, and the operators can be accessed via using MeasureBase.MeasureOperators now, so user code should be easy to adapt.

PR has a clean history, we should not squash it when we merge into mt-015, so we can keep track more easily.

oschulz added 4 commits June 23, 2023 00:37
Unused and untested.
Not used currently.
pullback has a huge potential for naming conflickts, and pullbck is more in line with pushfwd.

Also simplify implementation of pullbck.
Bind has too much naming conflict potential with Base.bind.

The rightarrowtail operator looks very similar to the `>=>` "fish"
operator (e.g. in Haskell), which is not a monadic bind.
@oschulz oschulz requested a review from cscherrer June 22, 2023 23:43
@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@codecov
Copy link

codecov bot commented Jun 22, 2023

Codecov Report

Patch coverage: 58.33% and project coverage change: +1.26 🎉

Comparison is base (99bfd9f) 54.05% compared to head (087cde3) 55.32%.

Additional details and impacted files
@@            Coverage Diff             @@
##           mt-015     #119      +/-   ##
==========================================
+ Coverage   54.05%   55.32%   +1.26%     
==========================================
  Files          43       42       -1     
  Lines        1221     1184      -37     
==========================================
- Hits          660      655       -5     
+ Misses        561      529      -32     
Impacted Files Coverage Δ
src/MeasureBase.jl 77.77% <ø> (ø)
src/combinators/product.jl 47.31% <ø> (+0.50%) ⬆️
src/combinators/weighted.jl 86.36% <ø> (+7.19%) ⬆️
src/parameterized.jl 0.00% <ø> (ø)
src/combinators/bind.jl 28.57% <16.66%> (+28.57%) ⬆️
src/density.jl 48.64% <43.75%> (+5.05%) ⬆️
src/combinators/likelihood.jl 11.76% <66.66%> (-4.91%) ⬇️
src/combinators/transformedmeasure.jl 75.00% <100.00%> (+4.54%) ⬆️
src/measure_operators.jl 100.00% <100.00%> (ø)
src/static.jl 80.00% <100.00%> (ø)

... and 2 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

cscherrer
cscherrer previously approved these changes Jun 23, 2023
@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

oschulz added 9 commits June 23, 2023 11:07
Removes the integral operators from MeasureBase,
to be re-introduced in the submodule MeasureOperators.

Also improves the likelihood documentation.
A rebase can easily be written explicitly.
To be re-introduced in sub-module MeasureOperators.
`mintegral` should be used instead to express posteriors.
To be reintroduced in submodule MeasureOperators
Absolute continuity is not really implemented yet.
Having the operators in a sub-module makes it easier for users to
control whether of they want them in their namespace. Operators have
a larger naming conflict potential.
oschulz and others added 2 commits June 23, 2023 11:07
Co-authored-by: Chad Scherrer <[email protected]>
Co-authored-by: Chad Scherrer <[email protected]>
@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@github-actions
Copy link

Package name latest stable
MeasureTheory.jl

@cscherrer cscherrer dismissed their stale review June 23, 2023 15:05

Forgot we want to use mt-015 for staging other PRs

@oschulz oschulz merged commit 087cde3 into mt-015 Jun 23, 2023
@oschulz oschulz deleted the operators branch June 23, 2023 15:12
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