Cabal revisions of funcons-tools-0.2.0.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
--- 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-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: <http://plancomps.org>.- Read more about funcons and their specification in CBS here: <http://plancomps.dreamhosters.com/wp-content/uploads/2016/02/jlamp-16.pdf JLAMP2016>.- .- 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 <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.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- 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- hs-source-dirs: src, manual, cbs- default-language: Haskell2010- -- ghc-options: -rtsopts+-- 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: <http://plancomps.org>. + Read more about funcons and their specification in CBS here: <http://plancomps.dreamhosters.com/wp-content/uploads/2016/02/jlamp-16.pdf JLAMP2016>. + . + 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 <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.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