Data.Delta.Core

Documentation

class Delta delta where

Type class for delta types.

Associated Types

type Base delta :: Type

Base type for which delta represents a delta. This is implemented as a type family, so that we can have multiple delta types for the same base type.

Methods

apply :: delta -> Base delta -> Base delta

Apply a delta to the base type.

Whenever the type delta is a Semigroup, we require that

apply (d1 <> d2) = apply d1 . apply d2

This means that deltas are applied right-to-left: d1 is applied after d2.

Whenever the type delta is a Monoid, we require that

apply mempty = id

Instances

Delta (Endo a)

Endo is the most general delta, which allows any change.

Defined in Data.Delta.Core

Associated Types

type Base (Endo a)

Methods

apply :: Endo a -> Base (Endo a) -> Base (Endo a)

Delta delta => Delta (NonEmpty delta)

For convenience, a nonempty list of deltas can be applied like a list of deltas.

Remember that deltas are applied right-to-left.

Defined in Data.Delta.Core

Associated Types

type Base (NonEmpty delta)

Methods

apply :: NonEmpty delta -> Base (NonEmpty delta) -> Base (NonEmpty delta)

Delta (NoChange a)

apply NoChange a = a

Defined in Data.Delta.Core

Associated Types

type Base (NoChange a)

Methods

apply :: NoChange a -> Base (NoChange a) -> Base (NoChange a)

Delta (Replace a)

apply (Replace a) _ = a

Defined in Data.Delta.Core

Associated Types

type Base (Replace a)

Methods

apply :: Replace a -> Base (Replace a) -> Base (Replace a)

Delta (DeltaList a)

apply (Append xs) ys = xs ++ ys

Defined in Data.Delta.List

Associated Types

type Base (DeltaList a)

Methods

apply :: DeltaList a -> Base (DeltaList a) -> Base (DeltaList a)

Ord a => Delta (DeltaSet a)

Defined in Data.Delta.Set

Associated Types

type Base (DeltaSet a)

Methods

apply :: DeltaSet a -> Base (DeltaSet a) -> Base (DeltaSet a)

Ord a => Delta (DeltaSet1 a)

Defined in Data.Delta.Set

Associated Types

type Base (DeltaSet1 a)

Methods

apply :: DeltaSet1 a -> Base (DeltaSet1 a) -> Base (DeltaSet1 a)

Delta delta => Delta (Maybe delta)

A delta can be optionally applied.

Defined in Data.Delta.Core

Associated Types

type Base (Maybe delta)

Methods

apply :: Maybe delta -> Base (Maybe delta) -> Base (Maybe delta)

Delta delta => Delta [delta]

A list of deltas can be applied like a single delta. This overloading of apply is very convenient.

Order is important: The head of the list is applied last, so deltas are applied right-to-left. Hence, apply is a morphism

apply []         = id

apply (d1 ++ d2) = apply d1 . apply d2

Defined in Data.Delta.Core

Associated Types

type Base [delta]

Methods

apply :: [delta] -> Base [delta] -> Base [delta]

(Ord key, Delta da) => Delta (DeltaMap key da)

Defined in Data.Delta.Map

Associated Types

type Base (DeltaMap key da)

Methods

apply :: DeltaMap key da -> Base (DeltaMap key da) -> Base (DeltaMap key da)

(Delta d1, Delta d2) => Delta (d1, d2)

A pair of deltas represents a delta for a pair.

Defined in Data.Delta.Core

Associated Types

type Base (d1, d2)

Methods

apply :: (d1, d2) -> Base (d1, d2) -> Base (d1, d2)

(Delta d1, Delta d2, Delta d3) => Delta (d1, d2, d3)

A triple of deltas represents a delta for a triple.

Defined in Data.Delta.Core

Associated Types

type Base (d1, d2, d3)

Methods

apply :: (d1, d2, d3) -> Base (d1, d2, d3) -> Base (d1, d2, d3)

(Delta d1, Delta d2, Delta d3, Delta d4) => Delta (d1, d2, d3, d4)

A 4-tuple of deltas represents a delta for a 4-tuple.

Defined in Data.Delta.Core

Associated Types

type Base (d1, d2, d3, d4)

Methods

apply :: (d1, d2, d3, d4) -> Base (d1, d2, d3, d4) -> Base (d1, d2, d3, d4)

data NoChange (a :: Type)

The least general delta, where nothing is changed.

Constructors

NoChange

Instances

Show (NoChange a)

Defined in Data.Delta.Core

Methods

showsPrec :: Int -> NoChange a -> ShowS

show :: NoChange a -> String

showList :: [NoChange a] -> ShowS

Delta (NoChange a)

apply NoChange a = a

Defined in Data.Delta.Core

Associated Types

type Base (NoChange a)

Methods

apply :: NoChange a -> Base (NoChange a) -> Base (NoChange a)

Eq (NoChange a)

Defined in Data.Delta.Core

Methods

(==) :: NoChange a -> NoChange a -> Bool

(/=) :: NoChange a -> NoChange a -> Bool

Ord (NoChange a)

Defined in Data.Delta.Core

Methods

compare :: NoChange a -> NoChange a -> Ordering

(<) :: NoChange a -> NoChange a -> Bool

(<=) :: NoChange a -> NoChange a -> Bool

(>) :: NoChange a -> NoChange a -> Bool

(>=) :: NoChange a -> NoChange a -> Bool

max :: NoChange a -> NoChange a -> NoChange a

min :: NoChange a -> NoChange a -> NoChange a

type Base (NoChange a)

Defined in Data.Delta.Core

type Base (NoChange a) = a

newtype Replace a

Trivial delta type for the type a that replaces the value wholesale.

Constructors

Replace a

Instances

Semigroup (Replace a)

Combine replacements. The first argument takes precedence. Hence, apply is a morphism:

apply (Replace a <> Replace b) = apply (Replace a) . apply (Replace b)

More strongly, we have

apply (Replace a <> _) = apply (Replace a)

Defined in Data.Delta.Core

Methods

(<>) :: Replace a -> Replace a -> Replace a

sconcat :: NonEmpty (Replace a) -> Replace a

stimes :: Integral b => b -> Replace a -> Replace a

Show a => Show (Replace a)

Defined in Data.Delta.Core

Methods

showsPrec :: Int -> Replace a -> ShowS

show :: Replace a -> String

showList :: [Replace a] -> ShowS

Delta (Replace a)

apply (Replace a) _ = a

Defined in Data.Delta.Core

Associated Types

type Base (Replace a)

Methods

apply :: Replace a -> Base (Replace a) -> Base (Replace a)

Eq a => Eq (Replace a)

Defined in Data.Delta.Core

Methods

(==) :: Replace a -> Replace a -> Bool

(/=) :: Replace a -> Replace a -> Bool

Ord a => Ord (Replace a)

Defined in Data.Delta.Core

Methods

compare :: Replace a -> Replace a -> Ordering

(<) :: Replace a -> Replace a -> Bool

(<=) :: Replace a -> Replace a -> Bool

(>) :: Replace a -> Replace a -> Bool

(>=) :: Replace a -> Replace a -> Bool

max :: Replace a -> Replace a -> Replace a

min :: Replace a -> Replace a -> Replace a

type Base (Replace a)

Defined in Data.Delta.Core

type Base (Replace a) = a