Popularity
0.7
Declining
Activity
0.0
Stable
0
1
0

Monthly Downloads: 1
Programming language: Haskell
License: MIT License
Tags: Data     Typed    
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.

Do you think we are missing an alternative of typed-digits or a related project?

Add another 'typed' Package

README

Build Status Hackage

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 using doctest