operational-alacarte: A version of Operational suitable for extensible EDSLs

[ bsd3, language, library ] [ Propose Tags ] [ Report a vulnerability ]

A version of Operational \[1\] suitable for EDSLs extensible via data types à la carte.

This library provides two important extensions to Operational:

  1. The ability for instructions to refer to sub-programs in a generic way. (This is a key to obtaining an extensible library.)

  2. Generic interpretation of programs, including sub-programs and other sub-structures (e.g. expressions).

More information is found in the documentation of Control.Monad.Operational.Higher.

\[1\] http://hackage.haskell.org/package/operational


[Skip to Readme]

Modules

[Index]

Downloads

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

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.1.1, 0.2, 0.3, 0.3.1
Dependencies base (>=4.6 && <5), mtl (<2.4) [details]
License BSD-3-Clause
Copyright Copyright (c) 2016 Emil Axelsson Copyright (c) 2015 Emil Axelsson, Heinrich Apfelmus
Author Emil Axelsson
Maintainer 78emil@gmail.com
Revised Revision 1 made by EmilAxelsson at 2022-05-27T15:12:55Z
Category Language
Home page https://github.com/emilaxelsson/operational-alacarte
Bug tracker https://github.com/emilaxelsson/operational-alacarte/issues
Source repo head: git clone git@github.com:emilaxelsson/operational-alacarte.git
Uploaded by EmilAxelsson at 2016-12-07T20:37:31Z
Distributions NixOS:0.3.1
Reverse Dependencies 6 direct, 2 indirect [details]
Downloads 3826 total (19 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-12-07 [all 1 reports]

Readme for operational-alacarte-0.3.1

[back to package description]

operational-alacarte

A version of Operational suitable for EDSLs extensible via data types à la carte. For more information, see the source code documentation.

Build Status