funcons-tools-0.2.0.15: funcons-tools.cabal

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

name:                funcons-tools
version:             0.2.0.15
synopsis:            A modular interpreter for executing funcons
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 collection of highly reusable funcons in "Funcons.Core",
    an interpreter for these funcons and means for defining new funcons.
    .
    The executable provided by this package is an interpreter for running terms
    constructed from the collection of funcons provided by "Funcons.Core".
    How this executable is used is explained in "Funcons.Tools".
    .
    Additional funcons can be defined with the helper functions provided by
    "Funcons.EDSL". The module "Funcons.Tools" provides functions for creating
    executables by extending the main interpreter with additional funcons.
    .

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:           Copyright (C) 2015 L. Thomas van Binsbergen and Neil Sculthorpe
category:            Compilers/Interpreters
build-type:          Simple
stability:           unstable
-- extra-source-files:
cabal-version:       >=1.10

library
  exposed-modules:        Funcons.EDSL
                        , Funcons.Tools
                        , Funcons.Core
                        , Funcons.ValueOperations
                        , Funcons.Core.Manual
                        , Funcons.MetaProgramming
                        , Funcons.Parser
                        , Funcons.GLLParser
                        , Funcons.RunOptions
  build-depends:       base >=4.8 && <= 5
                      ,text >= 1.2
                      ,containers >= 0.5 && < 0.7
                      ,vector>=0.12
                      ,bv >= 0.5
                      ,multiset >= 0.3
                      ,split
                      ,directory
                      ,mtl >= 2.2.1
                      ,gll >= 0.4.0.9
                      ,regex-applicative
                      ,funcons-values >= 0.1.0.9
                      ,random >= 1.1
                      ,haskeline >= 0.8.1.2
  hs-source-dirs:      src, cbs, manual
  default-language:    Haskell2010
  other-extensions:    OverloadedStrings
  ghc-options:         -fwarn-incomplete-patterns -fwarn-monomorphism-restriction -fwarn-unused-imports
  other-modules:
                    Funcons.MSOS,
                    Funcons.TypeSubstitution,
                    Funcons.Substitution,
                    Funcons.Patterns,
                    Funcons.Entities,
                    Funcons.Simulation,
                    Funcons.Exceptions,
                    Funcons.Types,
                    Funcons.Printer
                    -- generated
                     Funcons.Core.Library,
   Funcons.Core.Computations.Normal.Interacting.Interacting,
   Funcons.Core.Computations.Normal.Flowing.Flowing,
   Funcons.Core.Computations.Normal.Storing.Storing,
   Funcons.Core.Computations.Normal.Linking.Linking,
   Funcons.Core.Computations.Normal.Giving.Giving,
   Funcons.Core.Computations.Normal.Generating.Generating,
   Funcons.Core.Computations.Normal.Binding.Binding,
   Funcons.Core.Computations.Abnormal.Abrupting.Abrupting,
   Funcons.Core.Computations.Abnormal.Returning.Returning,
   Funcons.Core.Computations.Abnormal.Throwing.Throwing,
   Funcons.Core.Computations.Abnormal.Failing.Failing,
   Funcons.Core.Computations.Abnormal.Sticking,
   Funcons.Core.Computations.Abnormal.Breaking.Breaking,
   Funcons.Core.Computations.Abnormal.Continuing.Continuing,
   Funcons.Core.Computations.Abnormal.Controlling.Controlling,
   Funcons.Core.Values.ValueTypes.ValueTypes,
--   Funcons.Core.Values.Composite.Sets,
   Funcons.Core.Values.Composite.ASTs.ASTs,
   Funcons.Core.Values.Composite.Bits.Bits,
   Funcons.Core.Values.Composite.Classes.Classes,
   Funcons.Core.Values.Composite.Objects.Objects,
   Funcons.Core.Values.Composite.Trees.Trees,
   Funcons.Core.Values.Composite.Strings.Strings,
   Funcons.Core.Values.Composite.Datatypes.Datatypes,
   Funcons.Core.Values.Composite.Lists.Lists,
--   Funcons.Core.Values.Composite.Multisets,
   Funcons.Core.Values.Composite.Sequences.Sequences,
   Funcons.Core.Values.Composite.Variants.Variants,
   Funcons.Core.Values.Composite.Records.Records,
   Funcons.Core.Values.Composite.Vectors.Vectors,
   Funcons.Core.Values.Composite.Tuples.Tuples,
   Funcons.Core.Values.Composite.References.References,
   Funcons.Core.Values.Composite.Graphs.Graphs,
   Funcons.Core.Values.Primitive.Floats.Floats,
   Funcons.Core.Values.Primitive.Integers.Integers,
   Funcons.Core.Values.Primitive.Booleans.Booleans,
   Funcons.Core.Values.Primitive.Characters.Characters,
   Funcons.Core.Values.Primitive.Null.Null,
   Funcons.Core.Values.Abstraction.Functions.Functions,
   Funcons.Core.Values.Abstraction.Patterns.Patterns,
   Funcons.Core.Values.Abstraction.Generic.Generic,
   Funcons.Core.Values.Abstraction.Thunks.Thunks,
-- unstable
   Funcons.Core.Computations.Abnormal.Postponing.Postponing,
   Funcons.Core.Computations.Normal.Indexing.Indexing,
   Funcons.Core.Computations.Normal.Memos.Memos,
   Funcons.Core.Computations.Threads.Multithreading.Multithreading,
   Funcons.Core.Computations.Threads.Synchronising.Locks.Locks,
   Funcons.Core.Computations.Threads.Synchronising.Notifications.Notifications,
   Funcons.Core.Computations.Threads.Synchronising.Synchronising
                         -- manual
                         , Funcons.Core.Computations.Normal.GeneratingBuiltin
                         , Funcons.Core.Computations.AbnormalBuiltin
                         , Funcons.Core.Values.Composite.SetsBuiltin
                         , Funcons.Core.Values.Composite.MultisetsBuiltin
--                         , Funcons.Core.Values.Composite.ListsBuiltin
                         , Funcons.Core.Values.Composite.MapsBuiltin
                         , Funcons.Core.Values.Composite.GraphsBuiltin
--                         , Funcons.Core.Values.Composite.VectorsBuiltin
                         , Funcons.Core.Values.Composite.DatatypesBuiltin
--                         , Funcons.Core.Values.Composite.TuplesBuiltin
                         , Funcons.Core.Values.Primitive.StringsBuiltin
                         , Funcons.Core.Values.Primitive.BitsBuiltin
                         , Funcons.Core.Values.Primitive.FloatsBuiltin
                         , Funcons.Core.Values.Primitive.IntegersBuiltin
                         , Funcons.Core.Values.Primitive.Atoms
                         , Funcons.Core.Values.Primitive.CharactersBuiltin
                         , Funcons.Core.Values.Primitive.BoolBuiltin
                         , Funcons.Core.Values.TypesBuiltin
                         , Funcons.Core.Computations.TypesBuiltin

executable funcons-repl 
   main-is:             REPL.hs
   other-extensions:    OverloadedStrings
   build-depends:        base >=4.8 && <= 5
                        ,text >= 1.2
                        ,containers >= 0.5 && < 0.7
                        ,vector>=0.12
                        ,bv >= 0.5
                        ,multiset >= 0.3
                        ,split
                        ,directory
                        ,mtl >= 2.2.1
                        ,gll >= 0.4.0.9
                        ,regex-applicative
                        ,funcons-values >= 0.1.0.9
                        ,exploring-interpreters >= 1.3.0.0
                        ,random >= 1.1
                        ,haskeline >= 0.8.1
                        ,transformers >= 0.5.6
   hs-source-dirs:      src, manual, cbs
   default-language:    Haskell2010
 --  ghc-options:         -rtsopts
  other-modules:        
        Funcons.Core.Computations.Abnormal.Abrupting.Abrupting
        Funcons.Core.Computations.Abnormal.Breaking.Breaking
        Funcons.Core.Computations.Abnormal.Continuing.Continuing
        Funcons.Core.Computations.Abnormal.Controlling.Controlling
        Funcons.Core.Computations.Abnormal.Failing.Failing
        Funcons.Core.Computations.Abnormal.Returning.Returning
        Funcons.Core.Computations.Abnormal.Sticking
        Funcons.Core.Computations.Abnormal.Throwing.Throwing
        Funcons.Core.Computations.AbnormalBuiltin
        Funcons.Core.Computations.Normal.Binding.Binding
        Funcons.Core.Computations.Normal.Flowing.Flowing
        Funcons.Core.Computations.Normal.Generating.Generating
        Funcons.Core.Computations.Normal.GeneratingBuiltin
        Funcons.Core.Computations.Normal.Giving.Giving
        Funcons.Core.Computations.Normal.Interacting.Interacting
        Funcons.Core.Computations.Normal.Linking.Linking
        Funcons.Core.Computations.Normal.Storing.Storing
        Funcons.Core.Computations.TypesBuiltin,
     -- unstable
        Funcons.Core.Computations.Abnormal.Postponing.Postponing,
        Funcons.Core.Computations.Normal.Indexing.Indexing,
        Funcons.Core.Computations.Normal.Memos.Memos,
        Funcons.Core.Computations.Threads.Multithreading.Multithreading,
        Funcons.Core.Computations.Threads.Synchronising.Locks.Locks,
        Funcons.Core.Computations.Threads.Synchronising.Notifications.Notifications,
        Funcons.Core.Computations.Threads.Synchronising.Synchronising
        Funcons.Core
        Funcons.Core.Library
        Funcons.Core.Manual
        Funcons.Core.Values.Abstraction.Functions.Functions
        Funcons.Core.Values.Abstraction.Generic.Generic
        Funcons.Core.Values.Abstraction.Patterns.Patterns
        Funcons.Core.Values.Abstraction.Thunks.Thunks
        Funcons.Core.Values.Composite.ASTs.ASTs
        Funcons.Core.Values.Composite.Bits.Bits
        Funcons.Core.Values.Composite.Classes.Classes
        Funcons.Core.Values.Composite.Datatypes.Datatypes
        Funcons.Core.Values.Composite.DatatypesBuiltin
        Funcons.Core.Values.Composite.Graphs.Graphs
        Funcons.Core.Values.Composite.GraphsBuiltin
        Funcons.Core.Values.Composite.Lists.Lists
        Funcons.Core.Values.Composite.MapsBuiltin
        Funcons.Core.Values.Composite.MultisetsBuiltin
        Funcons.Core.Values.Composite.Objects.Objects
        Funcons.Core.Values.Composite.Records.Records
        Funcons.Core.Values.Composite.References.References
        Funcons.Core.Values.Composite.Sequences.Sequences
        Funcons.Core.Values.Composite.SetsBuiltin
        Funcons.Core.Values.Composite.Strings.Strings
        Funcons.Core.Values.Composite.Trees.Trees
        Funcons.Core.Values.Composite.Tuples.Tuples
        Funcons.Core.Values.Composite.Variants.Variants
        Funcons.Core.Values.Composite.Vectors.Vectors
        Funcons.Core.Values.Primitive.Atoms
        Funcons.Core.Values.Primitive.BitsBuiltin
        Funcons.Core.Values.Primitive.BoolBuiltin
        Funcons.Core.Values.Primitive.Booleans.Booleans
        Funcons.Core.Values.Primitive.Characters.Characters
        Funcons.Core.Values.Primitive.CharactersBuiltin
        Funcons.Core.Values.Primitive.Floats.Floats
        Funcons.Core.Values.Primitive.FloatsBuiltin
        Funcons.Core.Values.Primitive.Integers.Integers
        Funcons.Core.Values.Primitive.IntegersBuiltin
        Funcons.Core.Values.Primitive.Null.Null
        Funcons.Core.Values.Primitive.StringsBuiltin
        Funcons.Core.Values.TypesBuiltin
        Funcons.Core.Values.ValueTypes.ValueTypes
        Funcons.EDSL
        Funcons.Entities
        Funcons.Exceptions
        Funcons.GLLParser
        Funcons.MSOS
        Funcons.Parser
        Funcons.Patterns
        Funcons.Printer
        Funcons.RunOptions
        Funcons.Simulation
        Funcons.Substitution
        Funcons.Tools
        Funcons.TypeSubstitution
        Funcons.Types
        Funcons.Explorer

executable runfct
   main-is:             Main.hs
   other-extensions:    OverloadedStrings
   build-depends:        base >=4.8 && <= 5
                        ,text >= 1.2
                        ,containers >= 0.5 && < 0.7
                        ,vector>=0.12
                        ,bv >= 0.5
                        ,multiset >= 0.3
                        ,split
                        ,directory
                        ,mtl >= 2.2.1
                        ,gll >= 0.4.0.9
                        ,regex-applicative
                        ,funcons-values >= 0.1.0.9
                        ,exploring-interpreters >= 1.3.0.0
                        ,random >= 1.1
                        ,haskeline >= 0.8.1
                        ,transformers >= 0.5.6
   hs-source-dirs:      src, manual, cbs
   default-language:    Haskell2010
 --  ghc-options:         -rtsopts
  other-modules:        
        Funcons.Core.Computations.Abnormal.Abrupting.Abrupting
        Funcons.Core.Computations.Abnormal.Breaking.Breaking
        Funcons.Core.Computations.Abnormal.Continuing.Continuing
        Funcons.Core.Computations.Abnormal.Controlling.Controlling
        Funcons.Core.Computations.Abnormal.Failing.Failing
        Funcons.Core.Computations.Abnormal.Returning.Returning
        Funcons.Core.Computations.Abnormal.Sticking
        Funcons.Core.Computations.Abnormal.Throwing.Throwing
        Funcons.Core.Computations.AbnormalBuiltin
        Funcons.Core.Computations.Normal.Binding.Binding
        Funcons.Core.Computations.Normal.Flowing.Flowing
        Funcons.Core.Computations.Normal.Generating.Generating
        Funcons.Core.Computations.Normal.GeneratingBuiltin
        Funcons.Core.Computations.Normal.Giving.Giving
        Funcons.Core.Computations.Normal.Interacting.Interacting
        Funcons.Core.Computations.Normal.Linking.Linking
        Funcons.Core.Computations.Normal.Storing.Storing
        Funcons.Core.Computations.TypesBuiltin,
     -- unstable
        Funcons.Core.Computations.Abnormal.Postponing.Postponing,
        Funcons.Core.Computations.Normal.Indexing.Indexing,
        Funcons.Core.Computations.Normal.Memos.Memos,
        Funcons.Core.Computations.Threads.Multithreading.Multithreading,
        Funcons.Core.Computations.Threads.Synchronising.Locks.Locks,
        Funcons.Core.Computations.Threads.Synchronising.Notifications.Notifications,
        Funcons.Core.Computations.Threads.Synchronising.Synchronising
        Funcons.Core
        Funcons.Core.Library
        Funcons.Core.Manual
        Funcons.Core.Values.Abstraction.Functions.Functions
        Funcons.Core.Values.Abstraction.Generic.Generic
        Funcons.Core.Values.Abstraction.Patterns.Patterns
        Funcons.Core.Values.Abstraction.Thunks.Thunks
        Funcons.Core.Values.Composite.ASTs.ASTs
        Funcons.Core.Values.Composite.Bits.Bits
        Funcons.Core.Values.Composite.Classes.Classes
        Funcons.Core.Values.Composite.Datatypes.Datatypes
        Funcons.Core.Values.Composite.DatatypesBuiltin
        Funcons.Core.Values.Composite.Graphs.Graphs
        Funcons.Core.Values.Composite.GraphsBuiltin
        Funcons.Core.Values.Composite.Lists.Lists
        Funcons.Core.Values.Composite.MapsBuiltin
        Funcons.Core.Values.Composite.MultisetsBuiltin
        Funcons.Core.Values.Composite.Objects.Objects
        Funcons.Core.Values.Composite.Records.Records
        Funcons.Core.Values.Composite.References.References
        Funcons.Core.Values.Composite.Sequences.Sequences
        Funcons.Core.Values.Composite.SetsBuiltin
        Funcons.Core.Values.Composite.Strings.Strings
        Funcons.Core.Values.Composite.Trees.Trees
        Funcons.Core.Values.Composite.Tuples.Tuples
        Funcons.Core.Values.Composite.Variants.Variants
        Funcons.Core.Values.Composite.Vectors.Vectors
        Funcons.Core.Values.Primitive.Atoms
        Funcons.Core.Values.Primitive.BitsBuiltin
        Funcons.Core.Values.Primitive.BoolBuiltin
        Funcons.Core.Values.Primitive.Booleans.Booleans
        Funcons.Core.Values.Primitive.Characters.Characters
        Funcons.Core.Values.Primitive.CharactersBuiltin
        Funcons.Core.Values.Primitive.Floats.Floats
        Funcons.Core.Values.Primitive.FloatsBuiltin
        Funcons.Core.Values.Primitive.Integers.Integers
        Funcons.Core.Values.Primitive.IntegersBuiltin
        Funcons.Core.Values.Primitive.Null.Null
        Funcons.Core.Values.Primitive.StringsBuiltin
        Funcons.Core.Values.TypesBuiltin
        Funcons.Core.Values.ValueTypes.ValueTypes
        Funcons.EDSL
        Funcons.Entities
        Funcons.Exceptions
        Funcons.GLLParser
        Funcons.MSOS
        Funcons.Parser
        Funcons.Patterns
        Funcons.Printer
        Funcons.RunOptions
        Funcons.Simulation
        Funcons.Substitution
        Funcons.Tools
        Funcons.TypeSubstitution
        Funcons.Types
        Funcons.Explorer