-- This file has been generated from package.yaml by hpack version 0.28.2.
--
-- see: https://github.com/sol/hpack
--
-- hash: 49b45270e83bf287fa91eedadcbf979e2b8e5438d6ec9adaa6e6fea22183f1a0
name: typelits-witnesses
version: 0.3.0.3
synopsis: Existential witnesses, singletons, and classes for operations on GHC TypeLits
description: Provides witnesses for 'KnownNat' and 'KnownSymbol'
instances for various operations on GHC TypeLits - in
particular, the arithmetic operations defined in
"GHC.TypeLits", and also for type-level lists of
'KnownNat' and 'KnownSymbol' instances.
.
This is useful for situations where you have
@'KnownNat' n@, and you want to prove to GHC
@'KnownNat' (n + 3)@, or @'KnownNat' (2*n + 4)@, or when
constraints on the lower or upper limits of @n@ are
needed.
.
It's also useful for when you want to work with type
level lists of 'KnownNat' or 'KnownSymbol' instances and
singletons for traversing them, and be able to apply
analogies of 'natVal' and 'symbolVal' to lists with
analogies for 'SomeNat' and 'SomeSymbol'.
.
Note that most of the functionality in this library can
be reproduced in a more generic way using the great
<https://hackage.haskell.org/package/singletons singletons>
library. The versions here are provided as a "plumbing
included" alternative that makes some commonly found
design patterns involving GHC's TypeLits functionality a
little smoother, especially when working with external
libraries or GHC TypeLit's Nat comparison API.
.
See README for more information.
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
tested-with: GHC>=8.0 && <8.8
build-type: Simple
cabal-version: >= 1.10
extra-source-files:
CHANGELOG.md
README.md
source-repository head
type: git
location: git://github.com/mstksg/typelits-witnesses.git
library
exposed-modules:
GHC.TypeLits.Witnesses
GHC.TypeLits.List
GHC.TypeLits.Compare
other-modules:
Paths_typelits_witnesses
hs-source-dirs:
src
ghc-options: -Wall
build-depends:
base >=4.7 && <5
, constraints
, reflection >=2
default-language: Haskell2010