@hackage / incremental

incremental update library

Latest0.3.1

Metadata

Last updated 19 Sep 2020, by FumiakiKinoshita
License BSD-3-Clause
Maintained by: fumiexcel@gmail.com
Lottery factor: 0

Links

Installation

Add this line in your cabal file

Readme

incremental: incremental update interface

This package provides a typeclass for incremental updates and diffing.

class Incremental a where
  -- | the difference type
  type Delta a
  -- | @'maybe' a ('patch' a) ('diff' b a) ≡ b@
  patch :: a -> Delta a -> a
  -- | returns 'Nothing' when there is no update
  diff :: a -> a -> Maybe (Delta a)