name: opentheory-primitive
version: 1.3
category: Formal Methods
synopsis: Haskell primitives used by OpenTheory packages
license: MIT
license-file: LICENSE
cabal-version: >= 1.8.0.2
build-type: Simple
author: Joe Leslie-Hurd <joe@gilith.com>
maintainer: Joe Leslie-Hurd <joe@gilith.com>
description:
  The types and values defined in this package extend those in the
  Prelude to provide the core execution platform assumed by Haskell
  packages exported from formally verified OpenTheory packages.

Library
  build-depends:
    base >= 4.0 && < 5.0,
    random >= 1.0.1.1 && < 2.0,
    QuickCheck >= 2.4.0.1 && < 3.0

  hs-source-dirs: src

  ghc-options: -Wall

  exposed-modules:
    OpenTheory.Primitive.Byte
    OpenTheory.Primitive.Natural
    OpenTheory.Primitive.Random
    OpenTheory.Primitive.Word16
    OpenTheory.Primitive.Test

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

  hs-source-dirs: src, testsrc

  ghc-options: -Wall

  main-is: Main.hs