-- Initial funcons-values.cabal generated by cabal init.  For further
-- documentation, see http://haskell.org/cabal/users-guide/

name:                funcons-values
version:             0.1.0.9
x-revision: 2
synopsis:            Library providing values and operations on values in a fixed universe.
description:         
    The PLanCompS project (<http://plancomps.org>) has developed a component-based approach to formal semantics.
    The semantics of a language is defined by translating its constructs to combinations
    of `fundamental constructs' called /funcons/.
    .
    This package provides a fixed universe types, values and operations which are lifted to funcons as part of the /funcons-tools/ package (<http://hackage.haskell.org/package/funcons-tools>).
    .
homepage:            http://plancomps.org
license:             MIT
license-file:        LICENSE
author:              L. Thomas van Binsbergen and Neil Sculthorpe
maintainer:          L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>
-- copyright:
category:            Compilers/Interpreters
build-type:          Simple
-- extra-source-files:
cabal-version:       >=1.10

library
  exposed-modules:     Funcons.Operations
  other-modules:       Funcons.Operations.Eval
                      ,Funcons.Operations.Libraries
                      ,Funcons.Operations.Expr
                      ,Funcons.Operations.Values
                      ,Funcons.Operations.Types
                      ,Funcons.Operations.Atoms
                      ,Funcons.Operations.ADTs
                      ,Funcons.Operations.Booleans
                      ,Funcons.Operations.Optionals
--                      ,Funcons.Operations.Rationals
                      ,Funcons.Operations.Integers
                      ,Funcons.Operations.Floats
                      ,Funcons.Operations.Strings
                      ,Funcons.Operations.Lists
                      ,Funcons.Operations.Tuples
                      ,Funcons.Operations.NonGroundValues
                      ,Funcons.Operations.Multisets
                      ,Funcons.Operations.Sets
                      ,Funcons.Operations.Graphs
                      ,Funcons.Operations.Bits
                      ,Funcons.Operations.Characters
                      ,Funcons.Operations.Maps
                      ,Funcons.Operations.Internal
  other-extensions:    InstanceSigs, OverloadedStrings
  build-depends:       base >=4.8 && <5
                      ,containers >=0.5 && < 0.7
                      ,vector >=0.12
                      ,bv >=0.5
                      ,multiset >=0.3 && <0.4
                      ,text >=1.2
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:         -fwarn-incomplete-patterns -fwarn-monomorphism-restriction -fwarn-unused-imports