focus

A general abstraction for manipulating elements of container data structures

https://github.com/nikita-volkov/focus

Version on this page:0.1.5
LTS Haskell 23.23:1.0.3.2
Stackage Nightly 2025-05-23:1.0.3.2
Latest on Hackage:1.0.3.2

See all snapshots focus appears in

MIT licensed and maintained by Nikita Volkov
This version can be pinned in stack with:focus-0.1.5@sha256:8bae36ad13b1afc231072267b3ceae5b095f9ef4fe12ed2bd923c0dde6d97f54,1507

Module documentation for 0.1.5

Depends on 1 package(full list with versions):
base
Used by 3 packages in lts-7.24(full list with versions):
Spock, stm-containers, timemap

An API for construction of free-form strategies of access and manipulation of elements of arbitrary data structures. It allows to implement efficient composite patterns, e.g., a simultaneous update and lookup of an element, and even more complex things.

Strategies are meant to be interpreted by the host data structure libraries. Thus they allow to implement all access and modification patterns of a data structure with just a single function, which interprets strategies.

This library provides pure and monadic interfaces, so it supports both immutable and mutable data structures.