Commits

Show all
Author Commit Message Labels Comments Date
Aleksey Khudyakov
Rename package to type-level-numbers
Tags
v0.1
Aleksey Khudyakov
Update comment about type comparisons
Aleksey Khudyakov
Add Reify instances for Word* and Int* types with range checks where
Aleksey Khudyakov
Add Show instance for Witness
Aleksey Khudyakov
Remove TypeInt type class
Aleksey Khudyakov
Do not use TypeInt type class
Aleksey Khudyakov
* Do not use ToInt type class
Aleksey Khudyakov
Add values
Aleksey Khudyakov
Use reify to convert type level booleans to value level ones
Aleksey Khudyakov
Add Reify type class for conversion to values
Aleksey Khudyakov
fix comment
Aleksey Khudyakov
Finis rename
Aleksey Khudyakov
Rename Types to TypeLevel to follow type-level-natural-numbers package
Aleksey Khudyakov
Update doc on comparison
Aleksey Khudyakov
Fix compilation
Aleksey Khudyakov
Use type families for comparison of numbers
Aleksey Khudyakov
Use type family
Aleksey Khudyakov
Use closed evaluation for Add'
Aleksey Khudyakov
Small doc fix
Aleksey Khudyakov
Improve docs in cabal file
Aleksey Khudyakov
* Convert booleans to type families
Aleksey Khudyakov
Add NonZero and Positive type classes
Aleksey Khudyakov
Type classes with associated types are replaced with simple type
Aleksey Khudyakov
Add type synonims for low cardinality numbers
Aleksey Khudyakov
More TH
Aleksey Khudyakov
fix
Aleksey Khudyakov
update cabal file
Aleksey Khudyakov
Fix addtion in integer numbers
Aleksey Khudyakov
Add tests
Aleksey Khudyakov
* Use type families to do addition of integer numbers
  1. Prev
  2. Next