cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.34.5.
--
-- see: https://github.com/sol/hpack
name: typelits-witnesses
version: 0.4.0.1
synopsis: Existential witnesses, singletons, and classes for operations on GHC TypeLits
description: This library contains:
.
* A small specialized subset of the *singletons* library as it pertains to
`Nat` and `Symbol`, for when you need some simple functionality without
wanting to invoke the entire *singletons* library.
* Operations for manipulating these singletons and `KnownNat` and
`KnownSymbol` instances, such as addition and multiplication of
singletons/`KnownNat` instances.
* Operations for the comparison of `Nat`s in a way that works well with
*GHC.TypeLits*'s different comparison systems. This is helpful for
bridging together libraries that use different systems; this functionality
is not yet provided by *singletons*.
category: Data
homepage: https://github.com/mstksg/typelits-witnesses
author: Justin Le
maintainer: justin@jle.im
copyright: (c) Justin Le 2018
license: MIT
license-file: LICENSE
build-type: Simple
tested-with:
GHC>=8.2
extra-source-files:
README.md
CHANGELOG.md
source-repository head
type: git
location: git://github.com/mstksg/typelits-witnesses.git
library
exposed-modules:
GHC.TypeLits.Compare
GHC.TypeLits.Witnesses
other-modules:
Paths_typelits_witnesses
hs-source-dirs:
src
ghc-options: -Wall -Wredundant-constraints -Werror=incomplete-patterns -Wcompat
build-depends:
base >=4.10 && <5
, dependent-sum <0.8
default-language: Haskell2010