Skip to content
milessabin
/
shapeless
Sign up
Why GitHub?
Features
→
Code review
Project management
Integrations
Actions
Packages
Security
Team management
Hosting
Customer stories
→
Security
→
Team
Enterprise
Explore
Explore GitHub
→
Learn & contribute
Topics
Collections
Trending
Learning Lab
Open source guides
Connect with others
Events
Community forum
GitHub Education
Marketplace
Pricing
Plans
→
Compare plans
Contact Sales
Nonprofit
→
Education
→
In this repository
All GitHub
↵
Jump to
↵
No suggested jump to results
In this repository
All GitHub
↵
Jump to
↵
In this repository
All GitHub
↵
Jump to
↵
Sign in
Sign up
milessabin
/
shapeless
Watch
124
Star
3k
Fork
488
Code
Issues
51
Pull requests
6
Actions
Projects
0
Wiki
Security
Insights
Code
Issues
51
Pull requests
6
Projects
0
Actions
Wiki
Security
Pulse
Labels
16
Milestones
3
Labels
16
Milestones
3
New pull request
New
6 Open
631 Closed
6 Open
631 Closed
Author
Filter by author
Label
Filter by label
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews
Review required
Approved review
Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest
Oldest
Most commented
Least commented
Recently updated
Least recently updated
Most reactions
👍
👎
😄
🎉
😕
❤️
🚀
👀
make MirroredElemTypes type more specific
#1020 opened
May 4, 2020
by
letalvoj
2
[WIP] Compiler plugin
#1019 opened
May 1, 2020
by
joroKr21
•
Draft
11
Add DropRange typeclass for HList and Tuple
#1011 opened
Apr 18, 2020
by
Ssstlis
•
Review required
5
Add missing asInstanceOf call
Bug
#984 opened
Mar 20, 2020
by
joroKr21
•
Review required
shapeless-2.5.0
1
3
Make FieldType and @@ abstract
#807 opened
Jan 13, 2018
by
joroKr21
•
Review required
5 of 5
shapeless-2.5.0
5
12
Reorder ops.tuple.Replacer type params to match scaladoc and naming conventions
Design/refactoring
#675 opened
Jan 8, 2017
by
teldosas
•
Review required
shapeless-3.0.0
12
ProTip!
Filter pull requests by the default branch with
base:master
.
You can’t perform that action at this time.
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.