cabal-version:      2.2
name:               bin
version:            0.1.4
synopsis:           Bin: binary natural numbers.
category:           Data, Dependent Types, Singletons, Math
description:
  This package provides /binary natural numbers/ ("Data.Bin");
  also utilities to work on the type level with @DataKinds@ ("Data.Type.Bin").
  .
  @
  data Bin
  \    = BZ       -- ^ zero
  \    | BP BinP  -- ^ non-zero
  .
  data BinP
  \    = BE       -- ^ one
  \    | B0 BinP  -- ^ double
  \    | B1 BinP  -- ^ double plus 1
  @
  .
  There are /ordinals/ in "Data.Bin.Pos" module, as well as
  fixed width integers in "Data.Wrd".
  .
  Another implementation is at <https://hackage.haskell.org/package/nat>,
  this differs in naming, and provides promoted variant.

homepage:           https://github.com/phadej/vec
bug-reports:        https://github.com/phadej/vec/issues
license:            GPL-2.0-or-later
license-file:       LICENSE
author:             Oleg Grenrus <oleg.grenrus@iki.fi>
maintainer:         Oleg.Grenrus <oleg.grenrus@iki.fi>
copyright:          (c) 2019-2021 Oleg Grenrus
build-type:         Simple
extra-source-files: ChangeLog.md
tested-with:
  GHC ==8.6.5
   || ==8.8.4
   || ==8.10.7
   || ==9.0.2
   || ==9.2.8
   || ==9.4.8
   || ==9.6.5
   || ==9.8.2
   || ==9.10.1

source-repository head
  type:     git
  location: https://github.com/phadej/vec.git
  subdir:   bin

library
  default-language: Haskell2010
  hs-source-dirs:   src
  ghc-options:      -Wall -fprint-explicit-kinds
  exposed-modules:
    Data.Bin
    Data.Bin.Pos
    Data.BinP
    Data.BinP.PosP
    Data.Type.Bin
    Data.Type.BinP
    Data.Wrd

  other-modules:    TrustworthyCompat

  -- GHC boot libs
  build-depends:
    , base     >=4.12.0.0 && <4.21
    , deepseq  >=1.4.4.0  && <1.6

  -- siblings
  build-depends:    fin ^>=0.3.1

  -- other dependencies
  build-depends:
    , boring      ^>=0.2.2
    , dec         ^>=0.0.6
    , hashable    ^>=1.4.4.0
    , QuickCheck  ^>=2.14.2  || ^>=2.15
    , some        ^>=1.0.6

  if impl(ghc >=9.0)
    -- these flags may abort compilation with GHC-8.10
    -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295
    ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode

-- dump-core
--  build-depends: dump-core
--  ghc-options: -fplugin=DumpCore -fplugin-opt DumpCore:core-html