name: opentheory-primitive
version: 1.8
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>
homepage: http://www.gilith.com/research/opentheory/
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

test-suite opentheory-primitive-test
  type: exitcode-stdio-1.0
  build-depends:
    base >= 4.0 && < 5.0,
    random >= 1.0.1.1 && < 2,
    QuickCheck >= 2.4.0.1 && < 3.0
  hs-source-dirs: src
  ghc-options: -Wall
  main-is: Test.hs