cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.34.4.
--
-- see: https://github.com/sol/hpack

name:           sint
version:        0.2.0
synopsis:       Nat singletons represented by Int
description:    This package implements a type `SInt` that links a runtime `Int` with a
                type-level `Nat`, along with some arithmetic and reflection capabilities.
                .
                This is useful when mixing type-level `Nat`s with GHC array primitives that
                expect `Int`s as sizes and indices.
                .
                See the module intro of `Data.SInt` for more details.
category:       Data
homepage:       https://github.com/google/hs-fin-vec#readme
bug-reports:    https://github.com/google/hs-fin-vec/issues
author:         Andrew Pritchard <awpr@google.com>
maintainer:     Andrew Pritchard <awpr@google.com>
copyright:      2021 Google LLC
license:        Apache-2.0
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    CHANGELOG.md
    README.md

source-repository head
  type: git
  location: https://github.com/google/hs-fin-vec
  subdir: sint

library
  exposed-modules:
      Data.SInt
  hs-source-dirs:
      src
  build-depends:
      base >=4.12 && <4.16
    , portray >=0.1 && <0.3
    , portray-diff ==0.1.*
  default-language: Haskell2010

test-suite SInt-test
  type: exitcode-stdio-1.0
  main-is: Main.hs
  hs-source-dirs:
      test
  build-depends:
      QuickCheck
    , base >=4.12 && <4.16
    , portray >=0.1 && <0.3
    , portray-diff ==0.1.*
    , sint
    , test-framework
    , test-framework-quickcheck2
  default-language: Haskell2010