d10-0.2.1.6: d10.cabal
name: d10
version: 0.2.1.6
category: Data
synopsis: Digits 0-9
description:
Data types representing the digits zero through nine.
.
== Modules
.
Each of the following modules defines a different type named
@D10@, all of which are different representations of the same
concept:
.
* "Data.D10.Char" - Defines a @D10@ type as a newtype for @Char@,
where the values are restricted to characters between @'0'@ and
@'9'@.
* "Data.D10.Num" - Defines a @D10@ type as a newtype for any
type with an instance of the @Num@ class, where the values
are restricted to numbers between @fromInteger 0@ and
@fromInteger 9@.
* "Data.D10.Safe" - Defines a @D10@ type as
@D0 | D1 | D2 | ... | D9@.
.
Other modules:
.
* "Data.D10.Predicate" - Functions to test whether values of
various types represent digits in the range /0/ to /9/.
.
== Quasi-quoters
.
Each module that defines a @D10@ type also defines quasi-quoters
for it. With the @QuasiQuotes@ GHC extension enabled, a single
digit like /7/ can be written as @[d10|7|]@, and a list of digits
like /[4,5,6]/ can be written as @[d10|456|]@. For "Data.D10.Char"
and "Data.D10.Num", the quasi-quoters are an important feature,
because the @D10@ types defined in these modules have unsafe
constructors, and the quasi-quoters provide compile-time assurance
that we never construct a @D10@ that represents a value outside
the range /0/ to /9/. For "Data.D10.Safe", the quasi-quoter is
offered merely as a possible convenience, allowing you to write
@[d10|456789|]@ in place of the somewhat longer expression
@[D4,D5,D6,D7,D8,D9]@.
homepage: https://github.com/typeclasses/d10
bug-reports: https://github.com/typeclasses/d10/issues
author: Chris Martin
maintainer: Chris Martin, Julie Moronuki
copyright: 2018 Typeclass Consulting, LLC
license: MIT
license-file: license.txt
build-type: Simple
cabal-version: >= 1.10
tested-with:
GHC == 8.2.2
, GHC == 8.4.3
, GHC == 8.6.1
, GHC == 8.8.1
, GHC == 8.10.1
extra-source-files:
README.md
CHANGELOG.md
source-repository head
type: git
location: https://github.com/typeclasses/d10
library
default-language: Haskell2010
hs-source-dirs: src
build-depends:
base >= 4.10 && < 4.15
, template-haskell >= 2.12 && < 2.17
exposed-modules:
Data.D10.Char
, Data.D10.Num
, Data.D10.Predicate
, Data.D10.Safe
test-suite doctest
default-language: Haskell2010
hs-source-dirs: test
type: exitcode-stdio-1.0
main-is: doctest.hs
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
base >= 4.10 && < 4.15
, doctest >= 0.13 && < 0.18