name: opentheory
version: 1.76
category: Formal Methods
synopsis: The Haskell base
license: MIT
license-file: LICENSE
cabal-version: >= 1.8.0.6
build-type: Simple
author: Joe Leslie-Hurd <joe@gilith.com>
maintainer: Joe Leslie-Hurd <joe@gilith.com>
description:
  The Haskell base - automatically generated from the opentheory package
  haskell-1.76

library
  build-depends:
    base >= 4.0 && < 5.0,
    random >= 1.0.1.1 && < 2.0,
    QuickCheck >= 2.4.0.1 && < 3.0,
    opentheory-primitive >= 1.0 && < 2.0

  hs-source-dirs: src

  ghc-options: -Wall

  exposed-modules:
    OpenTheory.Data.Byte
    OpenTheory.Data.Byte.Bits
    OpenTheory.Data.List
    OpenTheory.Data.List.Geometric
    OpenTheory.Data.Option
    OpenTheory.Data.Stream
    OpenTheory.Data.Word16
    OpenTheory.Data.Word16.Bits
    OpenTheory.Number.Natural
    OpenTheory.Number.Natural.Bits
    OpenTheory.Number.Natural.Geometric
    OpenTheory.Number.Natural.Uniform
    OpenTheory.Probability.Random

executable opentheory-test
  build-depends:
    base >= 4.0 && < 5.0,
    random >= 1.0.1.1 && < 2.0,
    QuickCheck >= 2.4.0.1 && < 3.0,
    opentheory-primitive >= 1.0 && < 2.0

  hs-source-dirs: src, testsrc

  ghc-options: -Wall

  main-is: Test.hs