Copyright	(c) 2025 Patrick Brisbin
License	AGPL-3
Maintainer	pbrisbin@gmail.com
Stability	experimental
Portability	POSIX
Safe Haskell	Safe-Inferred
Language	GHC2021

Data.JSON.Patch.Type

Description

Documentation

data Patch Source #

Constructors

Add AddOp
Remove RemoveOp
Replace ReplaceOp
Copy CopyOp
Move MoveOp
Test TestOp

Instances

Instances details

FromJSON Patch Source #
Instance details Defined in Data.JSON.Patch.Type Methods parseJSON :: Value -> Parser Patch # parseJSONList :: Value -> Parser [Patch] # omittedField :: Maybe Patch #
Show Patch Source #
Instance details Defined in Data.JSON.Patch.Type Methods showsPrec :: Int -> Patch -> ShowS # show :: Patch -> String # showList :: [Patch] -> ShowS #
Eq Patch Source #
Instance details Defined in Data.JSON.Patch.Type Methods (==) :: Patch -> Patch -> Bool # (/=) :: Patch -> Patch -> Bool #

data AddOp Source #

Constructors

AddOp
Fields path :: Pointer value :: Value

Instances

Instances details

FromJSON AddOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods parseJSON :: Value -> Parser AddOp # parseJSONList :: Value -> Parser [AddOp] # omittedField :: Maybe AddOp #
Generic AddOp Source #
Instance details Defined in Data.JSON.Patch.Type Associated Types type Rep AddOp :: Type -> Type # Methods from :: AddOp -> Rep AddOp x # to :: Rep AddOp x -> AddOp #
Show AddOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods showsPrec :: Int -> AddOp -> ShowS # show :: AddOp -> String # showList :: [AddOp] -> ShowS #
Eq AddOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods (==) :: AddOp -> AddOp -> Bool # (/=) :: AddOp -> AddOp -> Bool #
type Rep AddOp Source #
Instance details Defined in Data.JSON.Patch.Type type Rep AddOp = D1 ('MetaData "AddOp" "Data.JSON.Patch.Type" "jsonpatch-0.1.0.0-KXsRr7GOCKcJ2q7ltMVO0p" 'False) (C1 ('MetaCons "AddOp" 'PrefixI 'True) (S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

newtype RemoveOp Source #

Constructors

RemoveOp
Fields path :: Pointer

Instances

Instances details

FromJSON RemoveOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods parseJSON :: Value -> Parser RemoveOp # parseJSONList :: Value -> Parser [RemoveOp] # omittedField :: Maybe RemoveOp #
Generic RemoveOp Source #
Instance details Defined in Data.JSON.Patch.Type Associated Types type Rep RemoveOp :: Type -> Type # Methods from :: RemoveOp -> Rep RemoveOp x # to :: Rep RemoveOp x -> RemoveOp #
Show RemoveOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods showsPrec :: Int -> RemoveOp -> ShowS # show :: RemoveOp -> String # showList :: [RemoveOp] -> ShowS #
Eq RemoveOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods (==) :: RemoveOp -> RemoveOp -> Bool # (/=) :: RemoveOp -> RemoveOp -> Bool #
type Rep RemoveOp Source #
Instance details Defined in Data.JSON.Patch.Type type Rep RemoveOp = D1 ('MetaData "RemoveOp" "Data.JSON.Patch.Type" "jsonpatch-0.1.0.0-KXsRr7GOCKcJ2q7ltMVO0p" 'True) (C1 ('MetaCons "RemoveOp" 'PrefixI 'True) (S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer)))

data ReplaceOp Source #

Constructors

ReplaceOp
Fields path :: Pointer value :: Value

Instances

Instances details

FromJSON ReplaceOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods parseJSON :: Value -> Parser ReplaceOp # parseJSONList :: Value -> Parser [ReplaceOp] # omittedField :: Maybe ReplaceOp #
Generic ReplaceOp Source #
Instance details Defined in Data.JSON.Patch.Type Associated Types type Rep ReplaceOp :: Type -> Type # Methods from :: ReplaceOp -> Rep ReplaceOp x # to :: Rep ReplaceOp x -> ReplaceOp #
Show ReplaceOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods showsPrec :: Int -> ReplaceOp -> ShowS # show :: ReplaceOp -> String # showList :: [ReplaceOp] -> ShowS #
Eq ReplaceOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods (==) :: ReplaceOp -> ReplaceOp -> Bool # (/=) :: ReplaceOp -> ReplaceOp -> Bool #
type Rep ReplaceOp Source #
Instance details Defined in Data.JSON.Patch.Type type Rep ReplaceOp = D1 ('MetaData "ReplaceOp" "Data.JSON.Patch.Type" "jsonpatch-0.1.0.0-KXsRr7GOCKcJ2q7ltMVO0p" 'False) (C1 ('MetaCons "ReplaceOp" 'PrefixI 'True) (S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

data CopyOp Source #

Constructors

CopyOp
Fields from :: Pointer path :: Pointer

Instances

Instances details

FromJSON CopyOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods parseJSON :: Value -> Parser CopyOp # parseJSONList :: Value -> Parser [CopyOp] # omittedField :: Maybe CopyOp #
Generic CopyOp Source #
Instance details Defined in Data.JSON.Patch.Type Associated Types type Rep CopyOp :: Type -> Type # Methods from :: CopyOp -> Rep CopyOp x # to :: Rep CopyOp x -> CopyOp #
Show CopyOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods showsPrec :: Int -> CopyOp -> ShowS # show :: CopyOp -> String # showList :: [CopyOp] -> ShowS #
Eq CopyOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods (==) :: CopyOp -> CopyOp -> Bool # (/=) :: CopyOp -> CopyOp -> Bool #
type Rep CopyOp Source #
Instance details Defined in Data.JSON.Patch.Type type Rep CopyOp = D1 ('MetaData "CopyOp" "Data.JSON.Patch.Type" "jsonpatch-0.1.0.0-KXsRr7GOCKcJ2q7ltMVO0p" 'False) (C1 ('MetaCons "CopyOp" 'PrefixI 'True) (S1 ('MetaSel ('Just "from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer) :*: S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer)))

data MoveOp Source #

Constructors

MoveOp
Fields from :: Pointer path :: Pointer

Instances

Instances details

FromJSON MoveOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods parseJSON :: Value -> Parser MoveOp # parseJSONList :: Value -> Parser [MoveOp] # omittedField :: Maybe MoveOp #
Generic MoveOp Source #
Instance details Defined in Data.JSON.Patch.Type Associated Types type Rep MoveOp :: Type -> Type # Methods from :: MoveOp -> Rep MoveOp x # to :: Rep MoveOp x -> MoveOp #
Show MoveOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods showsPrec :: Int -> MoveOp -> ShowS # show :: MoveOp -> String # showList :: [MoveOp] -> ShowS #
Eq MoveOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods (==) :: MoveOp -> MoveOp -> Bool # (/=) :: MoveOp -> MoveOp -> Bool #
type Rep MoveOp Source #
Instance details Defined in Data.JSON.Patch.Type type Rep MoveOp = D1 ('MetaData "MoveOp" "Data.JSON.Patch.Type" "jsonpatch-0.1.0.0-KXsRr7GOCKcJ2q7ltMVO0p" 'False) (C1 ('MetaCons "MoveOp" 'PrefixI 'True) (S1 ('MetaSel ('Just "from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer) :*: S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer)))

data TestOp Source #

Constructors

TestOp
Fields path :: Pointer value :: Value

Instances

Instances details

FromJSON TestOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods parseJSON :: Value -> Parser TestOp # parseJSONList :: Value -> Parser [TestOp] # omittedField :: Maybe TestOp #
Generic TestOp Source #
Instance details Defined in Data.JSON.Patch.Type Associated Types type Rep TestOp :: Type -> Type # Methods from :: TestOp -> Rep TestOp x # to :: Rep TestOp x -> TestOp #
Show TestOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods showsPrec :: Int -> TestOp -> ShowS # show :: TestOp -> String # showList :: [TestOp] -> ShowS #
Eq TestOp Source #
Instance details Defined in Data.JSON.Patch.Type Methods (==) :: TestOp -> TestOp -> Bool # (/=) :: TestOp -> TestOp -> Bool #
type Rep TestOp Source #
Instance details Defined in Data.JSON.Patch.Type type Rep TestOp = D1 ('MetaData "TestOp" "Data.JSON.Patch.Type" "jsonpatch-0.1.0.0-KXsRr7GOCKcJ2q7ltMVO0p" 'False) (C1 ('MetaCons "TestOp" 'PrefixI 'True) (S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pointer) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))