cabal-version: 1.12

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

name:           sint
version:        0.1.0.0
x-revision: 1
synopsis:       A singleton type for `Nat` represented as `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

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

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

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