issues
search
purescript
/
purescript-typelevel-prelude
Types and kinds for basic type-level programming
BSD 3-Clause "New" or "Revised" License
63
stars
21
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add ConsSymbol
#24
kcsongor
closed
6 years ago
0
Generalise `if_` to not only be used with proxies (WIP)
#23
LiamGoodacre
closed
6 years ago
1
Add type-level list of Symbols and implement insertion sort
#22
kcsongor
closed
7 years ago
3
Add SubRow class
#21
coot
closed
7 years ago
4
Add Homogeneous and HomogeneousRowList for homogeneous rows
#20
paulyoung
closed
6 years ago
16
Run AppendSymbol backwards
#19
paf31
closed
6 years ago
1
Bundle up some examples?
#18
justinwoo
opened
7 years ago
0
Multiple `RowLacks`?
#17
garyb
closed
7 years ago
3
RowSingleton class
#16
MonoidMusician
closed
3 years ago
8
RowList operations
#15
LiamGoodacre
closed
6 years ago
6
Add proxies for row and RowList
#14
LiamGoodacre
closed
7 years ago
2
Add RowListProxy?
#13
justinwoo
closed
7 years ago
3
Add missing And constraint
#12
MonoidMusician
closed
7 years ago
1
Add RowToList class
#11
LiamGoodacre
closed
7 years ago
1
Add typelevel boolean if
#10
LiamGoodacre
closed
7 years ago
1
RowLabels type class and LabelList
#9
LiamGoodacre
closed
7 years ago
2
Remove version notice
#8
garyb
closed
7 years ago
1
Version compatibility
#7
joneshf
closed
7 years ago
2
Add typelevel boolean, and Equals for symbol & ordering
#6
LiamGoodacre
closed
7 years ago
1
Add RowLacks
#5
LiamGoodacre
closed
7 years ago
18
Update for PureScript 0.11
#4
garyb
closed
7 years ago
0
Add the undefined value.
#3
bodil
closed
7 years ago
5
Add CompareSymbol and AppendSymbol
#2
LiamGoodacre
closed
7 years ago
1
Add Type.Data.Ordering; Reexport Data.Symbols, Type.Equality
#1
LiamGoodacre
closed
7 years ago
2
Previous