Popularity
0.7
Declining
Activity
0.0
Stable
0
1
0
Monthly Downloads: 3
Programming language: Haskell
License: MIT License
Latest version: v0.1.0.0
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.
-
typed-encoding
Type safe string restrictions and transformations -
typed-encoding-encoding
Bridge between `encoding` and `typed-encoding` package
Do you think we are missing an alternative of typed-digits or a related project?
|
Access the most powerful time series database as a service
sponsored
www.influxdata.com
|
|
Clean code begins in your IDE with SonarLint
sponsored
www.sonarlint.org
|
README
typed-digits
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.
Usage example
For more convenient provision of type-level parameters,
it's recommended to use the DataKinds and TypeApplications extensions.
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 usingdoctest