Cabal revisions of funcons-values-0.1.0.5
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
--- Initial funcons-values.cabal generated by cabal init. For further--- documentation, see http://haskell.org/cabal/users-guide/--name: funcons-values-version: 0.1.0.5-synopsis: Library providing values and operations on values in a fixed universe.-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 fixed universe types, values and operations which are lifted to funcons as part of the /funcons-tools/ package (<http://hackage.haskell.org/package/funcons-tools>).- .-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:-category: Compilers/Interpreters-build-type: Simple--- extra-source-files:-cabal-version: >=1.10--library- exposed-modules: Funcons.Operations- other-modules: Funcons.Operations.Eval- ,Funcons.Operations.Libraries- ,Funcons.Operations.Expr- ,Funcons.Operations.Values- ,Funcons.Operations.Types- ,Funcons.Operations.Atoms- ,Funcons.Operations.ADTs- ,Funcons.Operations.Booleans- ,Funcons.Operations.Optionals--- ,Funcons.Operations.Rationals- ,Funcons.Operations.Integers- ,Funcons.Operations.Floats- ,Funcons.Operations.Strings- ,Funcons.Operations.Lists- ,Funcons.Operations.Tuples- ,Funcons.Operations.NonGroundValues- ,Funcons.Operations.Multisets- ,Funcons.Operations.Sets- ,Funcons.Operations.Bits- ,Funcons.Operations.Characters- ,Funcons.Operations.Maps- ,Funcons.Operations.Internal- other-extensions: InstanceSigs, OverloadedStrings- build-depends: base >=4.8 && <5- ,containers >=0.5 && <0.6- ,vector >=0.12- ,bv >=0.5- ,multiset >=0.3 && <0.4- ,text >=1.2 && <1.3- hs-source-dirs: src- default-language: Haskell2010- ghc-options: -fwarn-incomplete-patterns -fwarn-monomorphism-restriction -fwarn-unused-imports+-- Initial funcons-values.cabal generated by cabal init. For further +-- documentation, see http://haskell.org/cabal/users-guide/ + +name: funcons-values +version: 0.1.0.5 +x-revision: 1 +synopsis: Library providing values and operations on values in a fixed universe. +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 fixed universe types, values and operations which are lifted to funcons as part of the /funcons-tools/ package (<http://hackage.haskell.org/package/funcons-tools>). + . +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: +category: Compilers/Interpreters +build-type: Simple +-- extra-source-files: +cabal-version: >=1.10 + +library + exposed-modules: Funcons.Operations + other-modules: Funcons.Operations.Eval + ,Funcons.Operations.Libraries + ,Funcons.Operations.Expr + ,Funcons.Operations.Values + ,Funcons.Operations.Types + ,Funcons.Operations.Atoms + ,Funcons.Operations.ADTs + ,Funcons.Operations.Booleans + ,Funcons.Operations.Optionals +-- ,Funcons.Operations.Rationals + ,Funcons.Operations.Integers + ,Funcons.Operations.Floats + ,Funcons.Operations.Strings + ,Funcons.Operations.Lists + ,Funcons.Operations.Tuples + ,Funcons.Operations.NonGroundValues + ,Funcons.Operations.Multisets + ,Funcons.Operations.Sets + ,Funcons.Operations.Bits + ,Funcons.Operations.Characters + ,Funcons.Operations.Maps + ,Funcons.Operations.Internal + other-extensions: InstanceSigs, OverloadedStrings + build-depends: base >=4.8 && <5 + ,containers >=0.5 && <= 0.6.0.1 + ,vector >=0.12 + ,bv >=0.5 + ,multiset >=0.3 && <0.4 + ,text >=1.2 && <1.3 + hs-source-dirs: src + default-language: Haskell2010 + ghc-options: -fwarn-incomplete-patterns -fwarn-monomorphism-restriction -fwarn-unused-imports