typed-digits alternatives and similar packages
Based on the "typed" category.
Alternatively, view typed-digits alternatives based on common mentions on social networks and blogs.
Do you think we are missing an alternative of typed-digits or a related project?
Provides a Digit type, with the base of the digit available as a type-level Nat. Thus, it can be guaranteed at compile-time that digits of different bases can't be added together.
For more convenient provision of type-level parameters,
it's recommended to use the
Then, you can give type-level parameters using
@, as seen below, instead of
giving the full type.
>>> :set -XDataKinds -XTypeApplications >>> import Data.TypedDigits >>> let d = digit @9 3 >>> d Just 3 (base 9)
Source tree contents
src: Library source files
test: Unit tests
doctest: Documentation tests using