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

integrate with typelevel refined package #73

Merged
merged 37 commits into from
Apr 24, 2020
Merged

integrate with typelevel refined package #73

merged 37 commits into from
Apr 24, 2020

Conversation

erikerlandson
Copy link
Owner

Integrate with eu.timepit.refined (#25)

@erikerlandson
Copy link
Owner Author

Inference[P,C] does not work exactly the way I thought it did, see fthomas/refined#755. I either need something like fthomas/refined#756 merged or I need to rethink this integration.

@erikerlandson erikerlandson mentioned this pull request Apr 10, 2020
Merged
@erikerlandson
toRefined and withRefinedUnit
3f5e96b
@erikerlandson
rename internal toRefined -> applyPred
eb0eb84
@erikerlandson
basic operator testing
d66373c
@erikerlandson
add some unsound behaviors testing for addition
608dab8
@erikerlandson
better behavior coverage for addition
c406d60
@erikerlandson
fill out subtraction tests
2d35323
@erikerlandson
tests for multiplication
12fcab0
@erikerlandson
test refined division
f6f472c
@erikerlandson
refined power tests
8ec048d
@erikerlandson
unary negative test for refined
04fffe2
@erikerlandson
refined ordering comparisons
dff4a36
@erikerlandson
refined quantity conversions testing
8b80c86
@erikerlandson
applyUnitExpr method for constructing quantities from i/o
78fde17
@erikerlandson
improvements to pureconfig quantity i/o
bb9d5f2
@erikerlandson
clean up imports
15af84d
@erikerlandson
coulomb-pureconfig-refined
2b9687c
@erikerlandson
readme for coulomb-refined
f520ba3
@erikerlandson
fix quote
5e4e7d3
@erikerlandson
fix bug handling empty prefix units
becd9ad
@erikerlandson
new withImports constructor for QuantityParser
0fd3a7d
@erikerlandson
test for withImports and applyUnitExpr
6e28095
@erikerlandson
add comment about empty pfunit list
ff8f930
@erikerlandson
clean up imports
5968556
@erikerlandson
scala 2.13.2
c6dc8c3
@erikerlandson
scaladoc for QuantityParser methods
b2d6a4f
@erikerlandson
decouple ConfigReader from ConfigWriter
f87c6d4
@erikerlandson erikerlandson merged commit 7cf719a into develop Apr 24, 2020
@erikerlandson erikerlandson mentioned this pull request Apr 24, 2020
Closed
@erikerlandson erikerlandson deleted the refined branch June 19, 2020 20:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@erikerlandson