phasechange: Freezing, thawing, and copy elision
This library provides a class for types which present the same underlying data in both an immutable (frozen) as well as a mutable (thawed) form, and various functions to manipulate them. Some of the functions allow for copy elision.
Instances are provided for the array types from the
vector packages, but this is mainly for completeness: there is
nothing these instances do which
vector doesn't already do better. The main purpose, rather, is to assist new types, for instance types whose implementation relies on destructive-update foreign imports, and cases when writing a full stream fusion framework isn't practical.
There are three modules:
- This module exports the class without its methods, together with functions which guarantee referential transparency (provided that instances are well-behaved). This is the module you should normally import to work with PhaseChangeable data.
- This module exports functions which can break referential transparency if they are used improperly. Be careful.
- This module exports the class along with its methods. Import it if you want to define a new instance.
|Dependencies||array (==0.4.*), base (>=4.4 && <4.6), ghc-prim, monad-st (==0.2.*), primitive (==0.4.*), vector (==0.9.*) [details]|
|Copyright||Copyright (C) 2012 Gábor Lehel|
|Maintainer||Gábor Lehel <email@example.com>|
|Source repo||head: git clone git://github.com/glehel/phasechange.git|
|Uploaded||by GaborLehel at Sat Jun 30 14:58:12 UTC 2012|
|Downloads||596 total (14 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees