funcons-tools-0.2.0.3: 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.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