edit: A monad for rewriting things.

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain]

Edit is a monad for rewriting things.


[Skip to ReadMe]

Properties

Versions0.0.1.0, 0.0.1.1, 1.0.0.0, 1.0.0.0, 1.0.1.0
Change logChangeLog.md
Dependenciesbase (>=4.9 && <4.12), comonad, deepseq (>=1.1 && <1.5), QuickCheck (>=2.10 && <2.12), transformers (==0.5.*) [details]
LicenseBSD-3-Clause
CopyrightVarun Gandhi 2018
AuthorVarun Gandhi <theindigamer15@gmail.com>
MaintainerVarun Gandhi <theindigamer15@gmail.com>
CategoryData
Home pagehttps://github.com/theindigamer/edit
Source repositoryhead: git clone https://github.com/theindigamer/edit.git
UploadedThu Jul 19 11:28:01 UTC 2018 by theindigamer

Modules

[Index]

Flags

NameDescriptionDefaultType
no_arbitrary

Removes QuickCheck as a dependency (so no Arbitray instance is provided).

DisabledManual
no_comonad

Removes comonad as a dependency (so no Comonad instance is provided).

DisabledManual
tutorial

Build the tutorial. Adds dependencies on uniplate and containers.

DisabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees


Readme for edit-1.0.0.0

[back to package description]

Edit Hackage badge

The Edit monad allows you to easily bubble up whether a change was made or not when rewriting things. Some cases where this can be handy:

  1. You are making a sequence of transformations on some type and want to keep track of whether any of them changed it or not.
  2. You are rewriting a recursive type (or a garden of mutually recursive types!) and want to bubble up information whether something was changed or not.

For example, Reddit user /u/p__bing says

[..] I work as an iOS developer and we have this same exact idea implemented, as a monad, in Swift, to make our UI updates faster (if a change goes through our model layer and comes out Clean, we don’t bother touching the UI).

A small example:

>>> halveEvens x = if x `mod` 2 == 0 then (Dirty $ x `div` 2) else (Clean x)
>>> traverse halveEvens [1, 2, 3]
Dirty [1,1,3]
>>> traverse halveEvens [1, 3, 5]
Clean [1,3,5]

More thorough documentation is available on Hackage under the Data.Edit module. There is a tutorial too under Data.Edit.Tutorial.

There is also a corresponding monad transformer EditT available under Control.Monad.Trans.EditT.

Contributing

Please open an issue on the Github issue tracker to discuss missing documentation, API changes etc.