The prelude-edsl package

[Tags:bsd3, library]

Prelude.EDSL exports a small subset of the Prelude: some standard types and classes plus a small number of convenience functions.

The motivation for this module is that it is common for deeply embedded domain-specific languages (EDSLs) to redefine identifiers from the Prelude, so EDSL users must hide the Prelude in their programs. However, there are certain useful things from the Prelude that are usually not redefined -- function composition being one example -- so it becomes quite awkward to have to hide everything from the Prelude.

The reason for exporting e.g the Num class but not Ord is that it is possible to give an instance for deep embeddings of the former but not the latter. For example, assuming Exp is the type of a deep embedding, we can have

(+) :: Exp -> Exp -> Exp

but not

(<) :: Exp -> Exp -> Exp

(because (<) has a Bool result, regardless of the type of the arguments).

Properties

Versions 0.1, 0.1.1, 0.1.2, 0.2, 0.3, 0.3.1, 0.4
Dependencies base (<20) [details]
License BSD3
Copyright Copyright (c) 2015, Emil Axelsson
Author Emil Axelsson
Maintainer emax@chalmers.se
Category Language
Home page https://github.com/emilaxelsson/prelude-edsl
Bug tracker https://github.com/emilaxelsson/prelude-edsl/issues
Source repository head: git clone git@github.com:emilaxelsson/prelude-edsl.git
Uploaded Wed Apr 20 12:19:35 UTC 2016 by EmilAxelsson
Distributions NixOS:0.4
Downloads 397 total (21 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-04-20 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees