danidiaz red-black-record issues

danidiaz / red-black-record

Extensible records and variants indexed by a type-level Red-Black tree.

BSD 3-Clause "New" or "Revised" License

18 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Generically and record dot

#24 danidiaz closed 6 months ago
0
Mention "large-anon" as an alternative in the README

#23 danidiaz opened 2 years ago
0
Implement the functions from Maplike in terms of KeysValuesAll

#22 danidiaz opened 3 years ago
0
Add cliftA_Record and cliftA2_Record

#21 danidiaz opened 3 years ago
0
Add experimental module for Records and Variants indexed by type-level multimaps

#20 danidiaz opened 4 years ago
0
Add trivial FromRecord and ToRecord instances to Record.

#19 danidiaz closed 4 years ago
1
"Deletable" should not require its (v :: q) parameter

#18 danidiaz closed 4 years ago
2
Best practice for adding instances to "derived" Records

#17 bbarker closed 4 years ago
4
Further enhancements of FromVariant & ToVariant

#16 danidiaz opened 5 years ago
0
Use custom type errors

#15 danidiaz opened 5 years ago
2
Make the type-level map poly-kinded on the elements.

#14 danidiaz closed 5 years ago
4
Remove "KeysValuesAllF"

#13 danidiaz opened 5 years ago
0
Type-level deletion quite slow

#12 danidiaz opened 5 years ago
6
Add "fixRecord" function.

#11 danidiaz opened 5 years ago
2
Use coercions to speed up some of the term-level code

#10 danidiaz opened 5 years ago
0
Bug with coloring

#9 danidiaz closed 5 years ago
1
Got any interesting / useful example? Add it to the doctests!

#8 danidiaz opened 5 years ago
0
FromVariant & ToVariant instances for sum types with branches with no arguments

#7 danidiaz closed 5 years ago
1
Implement deletion in the type-level tree

#6 danidiaz closed 5 years ago
1
Add Contravariant and Category instances to the Case newtype.

#5 danidiaz closed 4 years ago
2
Add prettyShowRecord, prettyShowVariant.

#4 danidiaz closed 5 years ago
1
Implement "eliminate" for variants

#3 danidiaz closed 5 years ago
1
Implement subsetInjection, injectSubset, matchSubset.

#2 danidiaz closed 5 years ago
2
Provide generics-based default implementations for NominalRecord and NominalSum

#1 danidiaz closed 5 years ago
1