Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update from Hackage at 2019-03-02T16:11:57Z
- Loading branch information
1 parent
39dfc1d
commit e78602c
Showing
1 changed file
with
158 additions
and
157 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,157 +1,158 @@ | ||
-- Initial funcons.cabal generated by cabal init. For further | ||
-- documentation, see http://haskell.org/cabal/users-guide/ | ||
|
||
name: funcons-tools | ||
version: 0.2.0.3 | ||
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.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.3 | ||
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.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.Maps.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.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 | ||
-- 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.4.0.2 | ||
,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.3 | ||
x-revision: 1 | ||
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.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.3 | ||
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.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.Maps.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.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 | ||
-- 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.4.0.2 | ||
,TypeCompose>=0.9.10 | ||
,regex-applicative | ||
,random-strings | ||
,funcons-values == 0.1.0.3 | ||
hs-source-dirs: src, manual, cbs | ||
default-language: Haskell2010 | ||
-- ghc-options: -rtsopts |