Cabal revisions of funcons-tools-0.1.0.0
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.1.0.0-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/taosd2015/ TAOSD2015>.- .- 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: experimental--- extra-source-files:-cabal-version: >=1.10--library- exposed-modules: Funcons.EDSL, Funcons.Tools, Funcons.Core- build-depends: base >=4.3 && <4.9, text, containers, vector, bv, parsec, multiset, split, directory, mtl >= 2.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.Parser, Funcons.Lexer, Funcons.Substitution, Funcons.Patterns, Funcons.Entities, Funcons.Simulation, Funcons.RunOptions, Funcons.Exceptions, Funcons.Types, Funcons.Core.Library, Funcons.Printer,- Funcons.Core.Computations.ControlFlow.Normal.Sequencing.LeftToRight,- Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Atomic,- Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Sequential,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.VectorMap,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.SetMap,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListMap,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.TupleMap,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.MapMap,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListsMap,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MultisetFilter,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.SetFilter,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MapFilter,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.ListFilter,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldl,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldr,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.While,- Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.DoWhile,- Funcons.Core.Computations.ControlFlow.Normal.Choosing.IfThenElse,- Funcons.Core.Computations.ControlFlow.Abnormal.Stuck,- Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Control,- Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Hole,- Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.CallCc,- Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Abort,- Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Shift,- Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Prompt,- Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Reset,- Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ControlSignal,- Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Plug,- Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ResumeSignal,- Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Thrown,- Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleThrown,- Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Finally,- Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Throw,- Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleRecursively,- Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Else,- Funcons.Core.Computations.ControlFlow.Abnormal.Failing.CheckTrue,- Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Fail,- Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Signals,- Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Dereference,- Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Failed,- Funcons.Core.Computations.DataFlow.Interacting.PrintList,- Funcons.Core.Computations.DataFlow.Interacting.Print,- Funcons.Core.Computations.DataFlow.Interacting.StandardOut,- Funcons.Core.Computations.DataFlow.Interacting.Read,- Funcons.Core.Computations.DataFlow.Interacting.StandardIn,- Funcons.Core.Computations.DataFlow.Effect,- Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateMap,- Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssign,- Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssigned,- Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateVector,- Funcons.Core.Computations.DataFlow.Storing.Stores,- Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.CurrentValue,- Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assigned,- Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateInitialisedVariable,- Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateVariable,- Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.DeallocateVariable,- Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assign,- Funcons.Core.Computations.DataFlow.Storing.Store,- Funcons.Core.Computations.DataFlow.Storing.Variables,- Funcons.Core.Computations.DataFlow.Linking.AllocateInitialisedLink,- Funcons.Core.Computations.DataFlow.Linking.AllocateLink,- Funcons.Core.Computations.DataFlow.Linking.FollowIfLink,- Funcons.Core.Computations.DataFlow.Linking.LinkStore,- Funcons.Core.Computations.DataFlow.Linking.Links,- Funcons.Core.Computations.DataFlow.Linking.FollowLink,- Funcons.Core.Computations.DataFlow.Linking.LinkStores,- Funcons.Core.Computations.DataFlow.Linking.SetLink,- Funcons.Core.Computations.DataFlow.Giving.Given,- Funcons.Core.Computations.DataFlow.Giving.Give,- Funcons.Core.Computations.DataFlow.Giving.GivenValue,- Funcons.Core.Computations.DataFlow.Generating.AtomGenerator,- Funcons.Core.Computations.DataFlow.Generating.FreshAtom,- Funcons.Core.Computations.DataFlow.Generating.FreshBinder,- Funcons.Core.Computations.DataFlow.Binding.Recursion.Recursive,- Funcons.Core.Computations.DataFlow.Binding.Recursion.BindRecursively,- Funcons.Core.Computations.DataFlow.Binding.Recursion.BoundRecursively,- Funcons.Core.Computations.DataFlow.Binding.Bound,- Funcons.Core.Computations.DataFlow.Binding.Environments,- Funcons.Core.Computations.DataFlow.Binding.Scope,- Funcons.Core.Computations.DataFlow.Binding.Accumulate,- Funcons.Core.Computations.DataFlow.Binding.Bind,- Funcons.Core.Computations.DataFlow.Binding.Environment,- Funcons.Core.Computations.Sorts,- Funcons.Core.Values.Types,- Funcons.Core.Values.CompositeValues.Collections.DirectedGraphs,- Funcons.Core.Values.CompositeValues.Collections.Tuples,- Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Variants,- Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Records,- Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.References,- Funcons.Core.Values.PrimitiveValues.UnitType,- Funcons.Core.Values.PrimitiveValues.UnicodeCharacters,- Funcons.Core.Values.PrimitiveValues.Bits,- Funcons.Core.Values.PrimitiveValues.Strings,- Funcons.Core.Values.PrimitiveValues.Numbers.Integers,- Funcons.Core.Values.PrimitiveValues.Numbers.Rationals,- Funcons.Core.Values.PrimitiveValues.Numbers.IeeeFloats,- Funcons.Core.Values.PrimitiveValues.Booleans,- Funcons.Core.Abstractions.Closures.Close,- Funcons.Core.Abstractions.Closures.Closure,- Funcons.Core.Abstractions.Patterns.PatternPrefer,- Funcons.Core.Abstractions.Patterns.Match,- Funcons.Core.Abstractions.Patterns.Patterns,- Funcons.Core.Abstractions.Patterns.PatternUnite,- Funcons.Core.Abstractions.Patterns.PatternAny,- Funcons.Core.Abstractions.Patterns.Case,- Funcons.Core.Abstractions.Patterns.MatchLoosely,- Funcons.Core.Abstractions.Patterns.PatternBind,- Funcons.Core.Abstractions.IsGroundValue,- Funcons.Core.Abstractions.Functions.Apply,- Funcons.Core.Abstractions.Functions.BindingLambda,- Funcons.Core.Abstractions.Functions.Supply,- Funcons.Core.Abstractions.Functions.Curry,- Funcons.Core.Abstractions.Functions.Lambda,- Funcons.Core.Abstractions.Functions.Uncurry,- Funcons.Core.Abstractions.Functions.PartialApply,- Funcons.Core.Abstractions.Functions.Compose,- -- manual- Funcons.Core.Computations.DataFlow.Generating.AtomSeed- , Funcons.Core.Computations.DataFlow.Generating.NextAtom- , Funcons.Core.Values.Composite.Collections.Sets- , Funcons.Core.Values.Composite.Collections.Multisets- , Funcons.Core.Values.Composite.Collections.Lists- , Funcons.Core.Values.Composite.Collections.Maps- , Funcons.Core.Values.Composite.Collections.Vectors- , Funcons.Core.Values.Composite.AlgebraicDatatypeValues.AlgebraicDatatypes- , Funcons.Core.Values.Composite.Collections.TuplesBuiltin- , Funcons.Core.Values.Primitive.StringsBuiltin- , Funcons.Core.Values.Primitive.BitsBuiltin- , Funcons.Core.Values.Primitive.Numbers.IeeeFloatsBuiltin- , Funcons.Core.Values.Primitive.Numbers.Integers- , Funcons.Core.Values.Primitive.Numbers.RationalsBuiltin- , Funcons.Core.Values.Primitive.Atoms- , Funcons.Core.Values.Primitive.Characters- , Funcons.Core.Values.Primitive.BoolBuiltin- , Funcons.Core.Abstractions.Thunk- , Funcons.Core.Abstractions.Force- , Funcons.Core.Manual----executable runfct- main-is: Main.hs- other-extensions: OverloadedStrings- build-depends: base >=4.3 && <4.9, text, containers, vector, bv, parsec, funcons-tools, multiset, split, directory, mtl >= 2.0- hs-source-dirs: src, manual, cbs+-- Initial funcons.cabal generated by cabal init. For further +-- documentation, see http://haskell.org/cabal/users-guide/ + +name: funcons-tools +version: 0.1.0.0 +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: experimental +-- extra-source-files: +cabal-version: >=1.10 + +library + exposed-modules: Funcons.EDSL, Funcons.Tools, Funcons.Core + build-depends: base >=4.3 && <4.9, text, containers, vector, bv, parsec, multiset, split, directory, mtl >= 2.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.Parser, Funcons.Lexer, Funcons.Substitution, Funcons.Patterns, Funcons.Entities, Funcons.Simulation, Funcons.RunOptions, Funcons.Exceptions, Funcons.Types, Funcons.Core.Library, Funcons.Printer, + Funcons.Core.Computations.ControlFlow.Normal.Sequencing.LeftToRight, + Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Atomic, + Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Sequential, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.VectorMap, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.SetMap, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListMap, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.TupleMap, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.MapMap, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListsMap, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MultisetFilter, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.SetFilter, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MapFilter, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.ListFilter, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldl, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldr, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.While, + Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.DoWhile, + Funcons.Core.Computations.ControlFlow.Normal.Choosing.IfThenElse, + Funcons.Core.Computations.ControlFlow.Abnormal.Stuck, + Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Control, + Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Hole, + Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.CallCc, + Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Abort, + Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Shift, + Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Prompt, + Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Reset, + Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ControlSignal, + Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Plug, + Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ResumeSignal, + Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Thrown, + Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleThrown, + Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Finally, + Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Throw, + Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleRecursively, + Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Else, + Funcons.Core.Computations.ControlFlow.Abnormal.Failing.CheckTrue, + Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Fail, + Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Signals, + Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Dereference, + Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Failed, + Funcons.Core.Computations.DataFlow.Interacting.PrintList, + Funcons.Core.Computations.DataFlow.Interacting.Print, + Funcons.Core.Computations.DataFlow.Interacting.StandardOut, + Funcons.Core.Computations.DataFlow.Interacting.Read, + Funcons.Core.Computations.DataFlow.Interacting.StandardIn, + Funcons.Core.Computations.DataFlow.Effect, + Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateMap, + Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssign, + Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssigned, + Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateVector, + Funcons.Core.Computations.DataFlow.Storing.Stores, + Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.CurrentValue, + Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assigned, + Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateInitialisedVariable, + Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateVariable, + Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.DeallocateVariable, + Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assign, + Funcons.Core.Computations.DataFlow.Storing.Store, + Funcons.Core.Computations.DataFlow.Storing.Variables, + Funcons.Core.Computations.DataFlow.Linking.AllocateInitialisedLink, + Funcons.Core.Computations.DataFlow.Linking.AllocateLink, + Funcons.Core.Computations.DataFlow.Linking.FollowIfLink, + Funcons.Core.Computations.DataFlow.Linking.LinkStore, + Funcons.Core.Computations.DataFlow.Linking.Links, + Funcons.Core.Computations.DataFlow.Linking.FollowLink, + Funcons.Core.Computations.DataFlow.Linking.LinkStores, + Funcons.Core.Computations.DataFlow.Linking.SetLink, + Funcons.Core.Computations.DataFlow.Giving.Given, + Funcons.Core.Computations.DataFlow.Giving.Give, + Funcons.Core.Computations.DataFlow.Giving.GivenValue, + Funcons.Core.Computations.DataFlow.Generating.AtomGenerator, + Funcons.Core.Computations.DataFlow.Generating.FreshAtom, + Funcons.Core.Computations.DataFlow.Generating.FreshBinder, + Funcons.Core.Computations.DataFlow.Binding.Recursion.Recursive, + Funcons.Core.Computations.DataFlow.Binding.Recursion.BindRecursively, + Funcons.Core.Computations.DataFlow.Binding.Recursion.BoundRecursively, + Funcons.Core.Computations.DataFlow.Binding.Bound, + Funcons.Core.Computations.DataFlow.Binding.Environments, + Funcons.Core.Computations.DataFlow.Binding.Scope, + Funcons.Core.Computations.DataFlow.Binding.Accumulate, + Funcons.Core.Computations.DataFlow.Binding.Bind, + Funcons.Core.Computations.DataFlow.Binding.Environment, + Funcons.Core.Computations.Sorts, + Funcons.Core.Values.Types, + Funcons.Core.Values.CompositeValues.Collections.DirectedGraphs, + Funcons.Core.Values.CompositeValues.Collections.Tuples, + Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Variants, + Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Records, + Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.References, + Funcons.Core.Values.PrimitiveValues.UnitType, + Funcons.Core.Values.PrimitiveValues.UnicodeCharacters, + Funcons.Core.Values.PrimitiveValues.Bits, + Funcons.Core.Values.PrimitiveValues.Strings, + Funcons.Core.Values.PrimitiveValues.Numbers.Integers, + Funcons.Core.Values.PrimitiveValues.Numbers.Rationals, + Funcons.Core.Values.PrimitiveValues.Numbers.IeeeFloats, + Funcons.Core.Values.PrimitiveValues.Booleans, + Funcons.Core.Abstractions.Closures.Close, + Funcons.Core.Abstractions.Closures.Closure, + Funcons.Core.Abstractions.Patterns.PatternPrefer, + Funcons.Core.Abstractions.Patterns.Match, + Funcons.Core.Abstractions.Patterns.Patterns, + Funcons.Core.Abstractions.Patterns.PatternUnite, + Funcons.Core.Abstractions.Patterns.PatternAny, + Funcons.Core.Abstractions.Patterns.Case, + Funcons.Core.Abstractions.Patterns.MatchLoosely, + Funcons.Core.Abstractions.Patterns.PatternBind, + Funcons.Core.Abstractions.IsGroundValue, + Funcons.Core.Abstractions.Functions.Apply, + Funcons.Core.Abstractions.Functions.BindingLambda, + Funcons.Core.Abstractions.Functions.Supply, + Funcons.Core.Abstractions.Functions.Curry, + Funcons.Core.Abstractions.Functions.Lambda, + Funcons.Core.Abstractions.Functions.Uncurry, + Funcons.Core.Abstractions.Functions.PartialApply, + Funcons.Core.Abstractions.Functions.Compose, + -- manual + Funcons.Core.Computations.DataFlow.Generating.AtomSeed + , Funcons.Core.Computations.DataFlow.Generating.NextAtom + , Funcons.Core.Values.Composite.Collections.Sets + , Funcons.Core.Values.Composite.Collections.Multisets + , Funcons.Core.Values.Composite.Collections.Lists + , Funcons.Core.Values.Composite.Collections.Maps + , Funcons.Core.Values.Composite.Collections.Vectors + , Funcons.Core.Values.Composite.AlgebraicDatatypeValues.AlgebraicDatatypes + , Funcons.Core.Values.Composite.Collections.TuplesBuiltin + , Funcons.Core.Values.Primitive.StringsBuiltin + , Funcons.Core.Values.Primitive.BitsBuiltin + , Funcons.Core.Values.Primitive.Numbers.IeeeFloatsBuiltin + , Funcons.Core.Values.Primitive.Numbers.Integers + , Funcons.Core.Values.Primitive.Numbers.RationalsBuiltin + , Funcons.Core.Values.Primitive.Atoms + , Funcons.Core.Values.Primitive.Characters + , Funcons.Core.Values.Primitive.BoolBuiltin + , Funcons.Core.Abstractions.Thunk + , Funcons.Core.Abstractions.Force + , Funcons.Core.Manual + + + +executable runfct + main-is: Main.hs + other-extensions: OverloadedStrings + build-depends: base >=4.3 && <4.9, text, containers, vector, bv, parsec, funcons-tools, multiset, split, directory, mtl >= 2.0 + hs-source-dirs: src, manual, cbs default-language: Haskell2010
revision 2
name: funcons-tools version: 0.1.0.0 -x-revision: 1 +x-revision: 2 synopsis: A modular interpreter for executing funcons description: The PLanCompS project has developed a component-based approach to formal semantics. . Please contact any of the maintainers when unexpected behaviour is encountered or exports appear to be missing. + . + Click <https://hackage.haskell.org/package/funcons-tools-0.1.0.0/docs/src/funcons-tools/index.html here> for the package's documentation. homepage: http://plancomps.org license: MIT