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 (


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

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,,,, (info)
Dependencies base (>=4.8 && <5), bv (>=0.5), containers (>=0.5 && <0.7), multiset (>=0.3 && <0.4), text (>=1.2), vector (>=0.12) [details]
License MIT
Author L. Thomas van Binsbergen and Neil Sculthorpe
Maintainer L. Thomas van Binsbergen <>
Revised Revision 2 made by ltvanbinsbergen at 2024-01-19T11:08:30Z
Category Compilers/Interpreters
Home page
Uploaded by ltvanbinsbergen at 2021-06-26T12:27:46Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 2687 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2021-06-26 [all 1 reports]