-- Initial funcons.cabal generated by cabal init. For further -- documentation, see http://haskell.org/cabal/users-guide/ name: funcons-tools version: 0.2.0.1 x-revision: 1 synopsis: A modular interpreter for executing funcons description: The PLanCompS project 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/. . Read more about the project here: . Read more about funcons and their specification in CBS here: . . 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. . Please contact any of the maintainers when unexpected behaviour is encountered or exports appear to be missing. homepage: http://plancomps.org license: MIT license-file: LICENSE author: L. Thomas van Binsbergen and Neil Sculthorpe maintainer: L. Thomas van Binsbergen 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.GLLParser , Funcons.RunOptions build-depends: base >=4.3 && <= 5 ,text ,containers ,vector>=0.12.0.0 ,bv >= 0.5 ,multiset ,split ,directory ,mtl >= 2.0 ,gll >= 0.4.0.2 ,TypeCompose>=0.9.10 ,regex-applicative ,random-strings ,funcons-values >= 0.1.0.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.Parser, 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.Bits.Bits, 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.Maps, 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.Unit.Unit, Funcons.Core.Values.Primitive.Booleans.Booleans, Funcons.Core.Values.Primitive.Characters.Characters, Funcons.Core.Values.Abstraction.Functions.Functions, Funcons.Core.Values.Abstraction.Patterns.Patterns, Funcons.Core.Values.Abstraction.Generic.Generic, Funcons.Core.Values.Abstraction.Thunks.Thunks -- manual , Funcons.Core.Computations.Normal.GeneratingBuiltin , Funcons.Core.Values.Composite.SetsBuiltin , Funcons.Core.Values.Composite.MultisetsBuiltin -- , Funcons.Core.Values.Composite.ListsBuiltin , Funcons.Core.Values.Composite.MapsBuiltin -- , 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 runfct main-is: Main.hs other-extensions: OverloadedStrings build-depends: base >=4.3 && <= 5 ,text ,containers ,vector ,bv >= 0.5 ,funcons-tools ,multiset ,split ,directory ,mtl >= 2.0 ,gll >= 0.3.0.9 ,TypeCompose>=0.9.10 ,regex-applicative ,random-strings ,funcons-values >= 0.1.0.2 hs-source-dirs: src, manual, cbs default-language: Haskell2010 -- ghc-options: -rtsopts