homepage: https://github.com/arranstewart/hs-typed-digits#readme
changelog-type: markdown
hash: 562f73afd73565970589da65e4ded059f9136695a0007bd669bc0dda3688a8fa
test-bench-deps:
  typed-digits: -any
  base: ! '>=4.7 && <5'
  hspec: -any
  doctest: -any
  QuickCheck: -any
  hspec-discover: -any
  Glob: -any
maintainer: haskell-maintenance@arranstewart.info
synopsis: Digits, indexed by their base at the type level
changelog: |+
  # Changelog for typed-digits

  Notable changes to this project will be documented in this file.

  ## Unreleased changes

  None.

  ## 0.1.0.0 - 2019-12-12

  Alpha release.


basic-deps:
  base: ! '>=4.7 && <5'
  singletons: ! '>=2.3'
  nats: -any
all-versions:
- 0.1.0.0
author: Arran Stewart
latest: 0.1.0.0
description-type: markdown
description: "[![Build Status](https://travis-ci.org/arranstewart/hs-typed-digits.svg?branch=master)](https://travis-ci.org/arranstewart/hs-typed-digits)\n[![Hackage](https://img.shields.io/hackage/v/typed-digits.svg)](https://hackage.haskell.org/package/typed-digits)\n\n#
  typed-digits\n\nProvides a Digit type, with the base of the digit available\nas
  a type-level Nat. Thus, it can be guaranteed at compile-time\nthat digits of different
  bases can't be added together.\n\n## Usage example\n\nFor more convenient provision
  of type-level parameters,\nit's recommended to use the `DataKinds` and `TypeApplications`
  extensions.\nThen, you can give type-level parameters using `@`, as seen below,
  instead of\ngiving the full type.\n\n```haskell\n>>> :set -XDataKinds -XTypeApplications\n>>>
  import Data.TypedDigits\n>>> let d = digit @9 3\n>>> d\nJust 3 (base 9)\n```\n\n##
  Source tree contents \n\n-   `src`: Library source files\n-   `test`: Unit tests\n-
  \  `doctest`: Documentation tests using [`doctest`](https://github.com/sol/doctest)\n\n\n"
license-name: MIT

Update from Hackage at 2019-12-12T11:03:13Z
Update from Hackage at 2019-12-12T11:03:13Z
