@hackage delta-types1.0.0.0

Delta types, also known as change actions.

Categories
- Data Structures
License
Apache-2.0
Maintainer
hal@cardanofoundation.org
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 1.0.0.0 Thu, 27 Mar 2025

Installation
In your cabal file:
Tested Compilers
Dependencies (3)
- base >=4.14 && <5
- containers >=0.5 && <0.9
- semigroupoids >=6.0.1 && <6.1
Dependents (1)
@hackage/delta-store

Package Flags

release

(off by default)

Enable optimization and `-Werror`

A delta type da for a base type a is a collection of values, each of which corresponds to a change a → a of the base type.

See also

Delta encodings help separate business logic from database operations
Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog (Here, the concept of a delta type is called a change action.)