funcons-values: Library providing values and operations on values in a fixed universe.

[ compilers-interpreters, library, mit ] [ Propose Tags ]

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 fixed universe types, values and operations which are lifted to funcons as part of the funcons-tools package (

Versions [faq],,,, (info)
Dependencies base (>=4.8 && <5), bv (>=0.5), containers (>=0.5 && <=, multiset (==0.3.*), text (==1.2.*), vector (>=0.12) [details]
License MIT
Author L. Thomas van Binsbergen and Neil Sculthorpe
Maintainer L. Thomas van Binsbergen <>
Revised Revision 1 made by ltvanbinsbergen at 2019-03-03T09:10:32Z
Category Compilers/Interpreters
Home page
Uploaded by ltvanbinsbergen at 2019-03-02T11:41:23Z
Distributions NixOS:
Downloads 1889 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-03-02 [all 1 reports]


[Index] [Quick Jump]


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees