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

[ derive ] Implements data types fusion #144

Draft
wants to merge 53 commits into
base: master
Choose a base branch
from
Draft

[ derive ] Implements data types fusion #144

wants to merge 53 commits into from

Conversation

SimonTsirikov
Copy link
Contributor

Implements #55

@buzden buzden linked an issue Apr 23, 2024 that may be closed by this pull request
Automatic data types fusion when deriving generator for constructor #55
Open
@SimonTsirikov SimonTsirikov marked this pull request as draft April 23, 2024 10:49
@SimonTsirikov SimonTsirikov changed the title Data types fusion [WIP] [ derive ] Implements data types fusion Apr 23, 2024
@buzden buzden added code: enhancement New feature or improvement part: derivation Related to automated derivation of generators issue: compilation error When compilation error raises because of the library derive: core Something in between single type generator and its constructors code: fix Fixing some issues issue: performance When work takes too much resources derive: least-effort Relates to the `LeastEffort` derivation algorithm and removed issue: compilation error When compilation error raises because of the library derive: core Something in between single type generator and its constructors labels Apr 23, 2024
DanMax03 and others added 30 commits October 20, 2024 13:31
@DanMax03 @SimonTsirikov
[ mcov ] Add remaining generator runners with ModelCoverage
3fa6e53
@DanMax03 @SimonTsirikov
[ fix ] Fix typo in 'acquire' word
1b7dd33
@buzden @SimonTsirikov
[ derive ] Log used order using argument names too
2c5f73c
@buzden @SimonTsirikov
[ refactor ] Move special interpolations to be local implementations
fe5a089
@buzden @SimonTsirikov
[ fix, ux ] Fix error message when type of con's param is not accessible
7750039
@buzden @SimonTsirikov
[ example ] Implement CLI options in the pil-fun example
01e4512
@buzden @SimonTsirikov
[ test, perf ] Add couple of kinda-performance tests
1f32bb7
@buzden @SimonTsirikov
[ test ] Add some simpler tests with implicit args of derived types
36792e7
@buzden @SimonTsirikov
[ upstream ] Work around IHoles in type signatures
3568653
@buzden @SimonTsirikov
[ derive, test ] Move generator's printer to the main lib + cleanup
463841b
@buzden @SimonTsirikov
[ derive ] Support printing derived gens with Idris representation
e4d69ea
@buzden @SimonTsirikov
[ gen ] Add an associative binary composition fun merging alternatives
165ce71
@buzden @SimonTsirikov
[ gen ] Add more elegant analogue for suchThat for fuelled generators
a2dd240
@buzden @SimonTsirikov
[ gen ] Implement functions for picking one random generated value
b023a1d
@buzden @SimonTsirikov
[ test ] Add tests inspired by John Hughes' RGen example
7f5a593
@buzden @SimonTsirikov
[ test ] Make arg-deps tests be able to take 0-quantified arguments
5681a77
@buzden @SimonTsirikov
[ derive ] Use much simpler (syntactic) arg dependencies calculation
56c0dab
@buzden @SimonTsirikov
[ test ] Add infra test with dependency on a dependent type with _
f5ad405
@buzden @SimonTsirikov
[ refactor ] Simplify some code in the derivator
6397916
@buzden @SimonTsirikov
[ refactor ] Remove useless intermediate function
c7a9660
@buzden @SimonTsirikov
[ derive ] Do not pass values of arguments on which someone else depends
44e7f14
@buzden @SimonTsirikov
[ derive ] Don't discard types with implciits
ca7b648
@buzden @SimonTsirikov
[ example ] Use implicit type arguments in pil-fun example
f12099c
@buzden @SimonTsirikov
[ test ] Stabilize compilation output in tests
8bfcca2
@buzden @SimonTsirikov
[ test ] Rename and granulate some derivation performance tests
5666382
@buzden @SimonTsirikov
[ derive, refactor, perf ] Refactor TypeApp, make derivation faster
6d3699a
@buzden @SimonTsirikov
[ refactor ] Move NamesInfoInTypes into a separate module section
30b14fb
@buzden @SimonTsirikov
[ compat ] Be more friendly to non-friendly OSes
d33db72
@buzden @SimonTsirikov
[ compat ] Remove deprecated sphinx theme option
2a816ca
@SimonTsirikov
creation of GenSignature for fused type added
4f29cdf
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
code: enhancement New feature or improvement code: fix Fixing some issues derive: least-effort Relates to the `LeastEffort` derivation algorithm issue: performance When work takes too much resources part: derivation Related to automated derivation of generators
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Automatic data types fusion when deriving generator for constructor
3 participants
@SimonTsirikov @buzden @DanMax03