Giters
i-am-tom
/
higgledy
Higher-kinded data via generics
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
170
Watchers:
10
Issues:
18
Forks:
20
i-am-tom/higgledy Issues
Creating an HKD structure f
Updated
4 months ago
Natural transformation on HKD types
Updated
6 months ago
Comments count
2
Deriving `Show`, `Eq` and other instances for newtypes over `HKD a f`.
Updated
6 months ago
Does not build with generic-lens 2.0.0.0
Closed
4 years ago
Comments count
3
A version of HKD which doesn't wrap a field in `f` if its already wrapped in same f
Updated
4 years ago
Comments count
1
Consider more efficient representation for HKD
Updated
4 years ago
Comments count
2
Think about sum types
Updated
4 years ago
Comments count
6
using HKD from class methods
Closed
5 years ago
Comments count
4
Allow 'build' with named fields
Closed
5 years ago
Comments count
4
Pretty printing lacks any brackets
Closed
5 years ago
Comments count
1
Prefer Data.Semigroup.Last
Closed
5 years ago
Comments count
3
DeriveAnyClass for barbie instances
Closed
5 years ago
Haddock for Construct should probably mention Applicative
Closed
5 years ago
Comments count
1
Consider exposing even more things
Closed
5 years ago
Comments count
1
empty constructor with alternative
Closed
5 years ago
Comments count
4
Consider exporting all the things via Internal module and/or export a bit more
Closed
5 years ago
Comments count
2
COnfusing Emoji choice
Closed
5 years ago
Comments count
2
Something prevents AllB instances from working
Closed
5 years ago
Comments count
7