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

Add liftFresh to lift a Fresh into MonadFresh #156

Merged
merged 1 commit into from
Jan 6, 2024
Merged

Conversation

lsrcz
Copy link
Owner

@lsrcz lsrcz commented Jan 6, 2024

This pull request resolves #114. A liftFresh function is added to lift a Fresh value into any MonadFresh.

This pull request also changed the API to MonadFresh as the previous API isn't general enough.

Copy link

codecov bot commented Jan 6, 2024

Codecov Report

Attention: 26 lines in your changes are missing coverage. Please review.

Comparison is base (05f225b) 52.64% compared to head (a8d3b05) 52.65%.

❗ Current head a8d3b05 differs from pull request most recent head 58028e5. Consider uploading reports for the commit 58028e5 to get more accurate results

Files Patch % Lines
src/Grisette/Core/Data/Class/GenSym.hs 29.72% 24 Missing and 2 partials ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##             main     #156   +/-   ##
=======================================
  Coverage   52.64%   52.65%           
=======================================
  Files          66       66           
  Lines        5744     5764   +20     
  Branches      442      443    +1     
=======================================
+ Hits         3024     3035   +11     
- Misses       2278     2286    +8     
- Partials      442      443    +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@lsrcz lsrcz merged commit a573295 into main Jan 6, 2024
22 of 34 checks passed
@lsrcz lsrcz deleted the feat-lift-fresh branch February 17, 2024 03:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add the procedure to lift a Fresh a to FreshT m a
1 participant