Copyright	Copyright © 2020 Lars Kuhtz <lakuhtz@gmail.com>
License	MIT
Maintainer	Lars Kuhtz <lakuhtz@gmail.com>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Configuration.Utils.Internal.JsonTools

Contents

Conflict Resoluation Strategies

Description

The difference algorithms uses the following identies on JSON Values:

An array equals the same array with all Null entries removed.
An object equals the same object with all Null valued properties removed.

Synopsis

data Diff a
- = OnlyLeft a
- | OnlyRight a
- | Conflict a a
- | Both a
diff :: Value -> Value -> Value
resolve :: (Diff Value -> Value) -> Value -> Value
merge :: Diff Value -> Value
mergeLeft :: Diff Value -> Value
mergeRight :: Diff Value -> Value
resolveLeft :: Diff Value -> Value
resolveOnlyLeft :: Diff Value -> Value
resolveRight :: Diff Value -> Value
resolveOnlyRight :: Diff Value -> Value

Documentation

data Diff a Source #

Represent differences between two values

Constructors

OnlyLeft a
OnlyRight a
Conflict a a
Both a

Instances

Instances details

Eq a => Eq (Diff a) Source #
Instance details Defined in Configuration.Utils.Internal.JsonTools Methods (==) :: Diff a -> Diff a -> Bool # (/=) :: Diff a -> Diff a -> Bool #
Ord a => Ord (Diff a) Source #
Instance details Defined in Configuration.Utils.Internal.JsonTools Methods compare :: Diff a -> Diff a -> Ordering # (<) :: Diff a -> Diff a -> Bool # (<=) :: Diff a -> Diff a -> Bool # (>) :: Diff a -> Diff a -> Bool # (>=) :: Diff a -> Diff a -> Bool # max :: Diff a -> Diff a -> Diff a # min :: Diff a -> Diff a -> Diff a #
Generic (Diff a) Source #
Instance details Defined in Configuration.Utils.Internal.JsonTools Associated Types type Rep (Diff a) :: Type -> Type # Methods from :: Diff a -> Rep (Diff a) x # to :: Rep (Diff a) x -> Diff a #
ToJSON a => ToJSON (Diff a) Source #
Instance details Defined in Configuration.Utils.Internal.JsonTools Methods toJSON :: Diff a -> Value # toEncoding :: Diff a -> Encoding # toJSONList :: [Diff a] -> Value # toEncodingList :: [Diff a] -> Encoding #
FromJSON a => FromJSON (Diff a) Source #
Instance details Defined in Configuration.Utils.Internal.JsonTools Methods parseJSON :: Value -> Parser (Diff a) # parseJSONList :: Value -> Parser [Diff a] #
type Rep (Diff a) Source #
Instance details Defined in Configuration.Utils.Internal.JsonTools type Rep (Diff a) = D1 ('MetaData "Diff" "Configuration.Utils.Internal.JsonTools" "configuration-tools-0.6.0-AfDoYgRxqzf7bAK5aH24Tx" 'False) ((C1 ('MetaCons "OnlyLeft" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "OnlyRight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "Conflict" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Both" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

diff :: Value -> Value -> Value Source #

Merge two JSON values and annotate the result with the differences.

resolve :: (Diff Value -> Value) -> Value -> Value Source #

Resolve differences between two JSON values using the provided conflict resolution function.

Conflict Resoluation Strategies

merge :: Diff Value -> Value Source #

Merge all non-conflicting differences. Leave the conflict annotations in the result.

mergeLeft :: Diff Value -> Value Source #

Merge all differences. Pick the left value in case of a conflict.

mergeRight :: Diff Value -> Value Source #

Merge all differences. Pick the right value in case of a conflict.

resolveLeft :: Diff Value -> Value Source #

Resolve all differences by choosing the left value.

resolveOnlyLeft :: Diff Value -> Value Source #

Keep values that only occure in the left value. Remove all values that occur in the right value or in both.

The result is the left value minus the right value.

resolveRight :: Diff Value -> Value Source #

Resolve all differences by choosing the right value.

resolveOnlyRight :: Diff Value -> Value Source #

Keep values that only occure in the right value. Remove all values that occur in the left value or in both.

The result is the right value minus the left value.