Data.Aeson.Patch

Documentation

newtype Patch

Describes the changes between two JSON documents.

Constructors

Patch

Fields

• patchOperations :: [Operation]

Instances

Eq Patch

Defined in Data.Aeson.Patch

Methods

(==) :: Patch -> Patch -> Bool

(/=) :: Patch -> Patch -> Bool

Show Patch

Defined in Data.Aeson.Patch

Methods

showsPrec :: Int -> Patch -> ShowS

show :: Patch -> String

showList :: [Patch] -> ShowS

Generic Patch

Defined in Data.Aeson.Patch

Associated Types

type Rep Patch :: Type -> Type

Methods

from :: Patch -> Rep Patch x

to :: Rep Patch x -> Patch

Semigroup Patch

Defined in Data.Aeson.Patch

Methods

(<>) :: Patch -> Patch -> Patch

sconcat :: NonEmpty Patch -> Patch

stimes :: Integral b => b -> Patch -> Patch

Monoid Patch

Defined in Data.Aeson.Patch

Methods

mempty :: Patch

mappend :: Patch -> Patch -> Patch

mconcat :: [Patch] -> Patch

ToJSON Patch

Defined in Data.Aeson.Patch

Methods

toJSON :: Patch -> Value

toEncoding :: Patch -> Encoding

toJSONList :: [Patch] -> Value

toEncodingList :: [Patch] -> Encoding

FromJSON Patch

Defined in Data.Aeson.Patch

Methods

parseJSON :: Value -> Parser Patch

parseJSONList :: Value -> Parser [Patch]

type Rep Patch

Defined in Data.Aeson.Patch

type Rep Patch = D1 ('MetaData "Patch" "Data.Aeson.Patch" "aeson-diff-1.1.0.13-6QblOqYnPOz5hBmSgcA7GZ" 'True) (C1 ('MetaCons "Patch" 'PrefixI 'True) (S1 ('MetaSel ('Just "patchOperations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Operation])))

data Operation

An Operation describes the operations which can appear as part of a JSON Patch.

See RFC 6902 Section 4 http://tools.ietf.org/html/rfc6902#section-4.

Constructors

Add

http://tools.ietf.org/html/rfc6902#section-4.1

Fields

• changePointer :: Pointer
• changeValue :: Value

Cpy

http://tools.ietf.org/html/rfc6902#section-4.5

Fields

• changePointer :: Pointer
• fromPointer :: Pointer

Mov

http://tools.ietf.org/html/rfc6902#section-4.4

Fields

• changePointer :: Pointer
• fromPointer :: Pointer

Rem

http://tools.ietf.org/html/rfc6902#section-4.2

Fields

• changePointer :: Pointer

Rep

http://tools.ietf.org/html/rfc6902#section-4.3

Fields

• changePointer :: Pointer
• changeValue :: Value

Tst

http://tools.ietf.org/html/rfc6902#section-4.6

Fields

• changePointer :: Pointer
• changeValue :: Value

Instances

Eq Operation

Defined in Data.Aeson.Patch

Methods

(==) :: Operation -> Operation -> Bool

(/=) :: Operation -> Operation -> Bool

Show Operation

Defined in Data.Aeson.Patch

Methods

showsPrec :: Int -> Operation -> ShowS

show :: Operation -> String

showList :: [Operation] -> ShowS

Generic Operation

Defined in Data.Aeson.Patch

Associated Types

type Rep Operation :: Type -> Type

Methods

from :: Operation -> Rep Operation x

to :: Rep Operation x -> Operation

ToJSON Operation

Defined in Data.Aeson.Patch

Methods

toJSON :: Operation -> Value

toEncoding :: Operation -> Encoding

toJSONList :: [Operation] -> Value

toEncodingList :: [Operation] -> Encoding

FromJSON Operation

Defined in Data.Aeson.Patch

Methods

parseJSON :: Value -> Parser Operation

parseJSONList :: Value -> Parser [Operation]

type Rep Operation

Defined in Data.Aeson.Patch

type Rep Operation = D1 ('MetaData "Operation" "Data.Aeson.Patch" "aeson-diff-1.1.0.13-6QblOqYnPOz5hBmSgcA7GZ" 'False) ((C1 ('MetaCons "Add" 'PrefixI 'True) (S1 ('MetaSel ('Just "changePointer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer) :*: S1 ('MetaSel ('Just "changeValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :+: (C1 ('MetaCons "Cpy" 'PrefixI 'True) (S1 ('MetaSel ('Just "changePointer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer) :*: S1 ('MetaSel ('Just "fromPointer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer)) :+: C1 ('MetaCons "Mov" 'PrefixI 'True) (S1 ('MetaSel ('Just "changePointer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer) :*: S1 ('MetaSel ('Just "fromPointer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer)))) :+: (C1 ('MetaCons "Rem" 'PrefixI 'True) (S1 ('MetaSel ('Just "changePointer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer)) :+: (C1 ('MetaCons "Rep" 'PrefixI 'True) (S1 ('MetaSel ('Just "changePointer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer) :*: S1 ('MetaSel ('Just "changeValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :+: C1 ('MetaCons "Tst" 'PrefixI 'True) (S1 ('MetaSel ('Just "changePointer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer) :*: S1 ('MetaSel ('Just "changeValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))))

Modification

modifyPointer :: (Pointer -> Pointer) -> Operation -> Operation

Modify the Pointers in an Operation.

If the operation contains multiple pointers (i.e. a Mov or Cpy) then both will be modified.

modifyPointers :: (Pointer -> Pointer) -> Patch -> Patch

Modify the pointers in the Operations of a Patch.

See modifyPointer for details.

Predicates

isAdd :: Operation -> Bool

isRem :: Operation -> Bool

isRep :: Operation -> Bool

isMov :: Operation -> Bool

isCpy :: Operation -> Bool

isTst :: Operation -> Bool