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.1.0
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 2024
license:            MIT
license-file:       LICENSE
build-type:         Simple
tested-with:        GHC >= 8.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.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

  default-language: Haskell2010