-- Initial funcons.cabal generated by cabal init. For further -- documentation, see http://haskell.org/cabal/users-guide/ name: funcons-tools version: 0.2.0.10 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/. . 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 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 ,TypeCompose>=0.9.10 ,regex-applicative ,random-strings ,funcons-values >= 0.1.0.5 ,readline >= 1.0.3.0 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 -- 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 ,funcons-tools ,multiset >= 0.3 ,split ,directory ,mtl >= 2.2.1 ,gll >= 0.4.0.9 ,TypeCompose>=0.9.10 ,regex-applicative ,random-strings ,funcons-values >= 0.1.0.5 ,exploring-interpreters >= 0.3.0.0 ,readline >= 1.0.3.0 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 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