Data.Aeson.Diff.Generic.Instances

Instances are put into this module to avoid circular dependencies with the TH module. There is no need to import this module, since it is already re-exported in Data.Aeson.Diff.Generic. This module is only exported for documentation purpose.

Orphan instances

JsonPatch Bool

Methods

getAtPointer :: Pointer -> Bool -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Bool -> (forall v. JsonPatch v => v -> r) -> Result (r, Bool)

addAtPointer :: Pointer -> Bool -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Bool

copyPath :: Pointer -> Pointer -> Bool -> Result Bool

movePath :: Pointer -> Pointer -> Bool -> Result Bool

replaceAtPointer :: Pointer -> Bool -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Bool

testAtPointer :: Pointer -> Bool -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Bool

JsonPatch Char

Methods

getAtPointer :: Pointer -> Char -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Char -> (forall v. JsonPatch v => v -> r) -> Result (r, Char)

addAtPointer :: Pointer -> Char -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Char

copyPath :: Pointer -> Pointer -> Char -> Result Char

movePath :: Pointer -> Pointer -> Char -> Result Char

replaceAtPointer :: Pointer -> Char -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Char

testAtPointer :: Pointer -> Char -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Char

JsonPatch Double

Methods

getAtPointer :: Pointer -> Double -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Double -> (forall v. JsonPatch v => v -> r) -> Result (r, Double)

addAtPointer :: Pointer -> Double -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Double

copyPath :: Pointer -> Pointer -> Double -> Result Double

movePath :: Pointer -> Pointer -> Double -> Result Double

replaceAtPointer :: Pointer -> Double -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Double

testAtPointer :: Pointer -> Double -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Double

JsonPatch Float

Methods

getAtPointer :: Pointer -> Float -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Float -> (forall v. JsonPatch v => v -> r) -> Result (r, Float)

addAtPointer :: Pointer -> Float -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Float

copyPath :: Pointer -> Pointer -> Float -> Result Float

movePath :: Pointer -> Pointer -> Float -> Result Float

replaceAtPointer :: Pointer -> Float -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Float

testAtPointer :: Pointer -> Float -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Float

JsonPatch Int

Methods

getAtPointer :: Pointer -> Int -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Int -> (forall v. JsonPatch v => v -> r) -> Result (r, Int)

addAtPointer :: Pointer -> Int -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int

copyPath :: Pointer -> Pointer -> Int -> Result Int

movePath :: Pointer -> Pointer -> Int -> Result Int

replaceAtPointer :: Pointer -> Int -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int

testAtPointer :: Pointer -> Int -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int

JsonPatch Int8

Methods

getAtPointer :: Pointer -> Int8 -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Int8 -> (forall v. JsonPatch v => v -> r) -> Result (r, Int8)

addAtPointer :: Pointer -> Int8 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int8

copyPath :: Pointer -> Pointer -> Int8 -> Result Int8

movePath :: Pointer -> Pointer -> Int8 -> Result Int8

replaceAtPointer :: Pointer -> Int8 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int8

testAtPointer :: Pointer -> Int8 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int8

JsonPatch Int16

Methods

getAtPointer :: Pointer -> Int16 -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Int16 -> (forall v. JsonPatch v => v -> r) -> Result (r, Int16)

addAtPointer :: Pointer -> Int16 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int16

copyPath :: Pointer -> Pointer -> Int16 -> Result Int16

movePath :: Pointer -> Pointer -> Int16 -> Result Int16

replaceAtPointer :: Pointer -> Int16 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int16

testAtPointer :: Pointer -> Int16 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int16

JsonPatch Int32

Methods

getAtPointer :: Pointer -> Int32 -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Int32 -> (forall v. JsonPatch v => v -> r) -> Result (r, Int32)

addAtPointer :: Pointer -> Int32 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int32

copyPath :: Pointer -> Pointer -> Int32 -> Result Int32

movePath :: Pointer -> Pointer -> Int32 -> Result Int32

replaceAtPointer :: Pointer -> Int32 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int32

testAtPointer :: Pointer -> Int32 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int32

JsonPatch Int64

Methods

getAtPointer :: Pointer -> Int64 -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Int64 -> (forall v. JsonPatch v => v -> r) -> Result (r, Int64)

addAtPointer :: Pointer -> Int64 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int64

copyPath :: Pointer -> Pointer -> Int64 -> Result Int64

movePath :: Pointer -> Pointer -> Int64 -> Result Int64

replaceAtPointer :: Pointer -> Int64 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int64

testAtPointer :: Pointer -> Int64 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int64

JsonPatch Integer

Methods

getAtPointer :: Pointer -> Integer -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Integer -> (forall v. JsonPatch v => v -> r) -> Result (r, Integer)

addAtPointer :: Pointer -> Integer -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Integer

copyPath :: Pointer -> Pointer -> Integer -> Result Integer

movePath :: Pointer -> Pointer -> Integer -> Result Integer

replaceAtPointer :: Pointer -> Integer -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Integer

testAtPointer :: Pointer -> Integer -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Integer

JsonPatch Natural

Methods

getAtPointer :: Pointer -> Natural -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Natural -> (forall v. JsonPatch v => v -> r) -> Result (r, Natural)

addAtPointer :: Pointer -> Natural -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Natural

copyPath :: Pointer -> Pointer -> Natural -> Result Natural

movePath :: Pointer -> Pointer -> Natural -> Result Natural

replaceAtPointer :: Pointer -> Natural -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Natural

testAtPointer :: Pointer -> Natural -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Natural

JsonPatch Ordering

Methods

getAtPointer :: Pointer -> Ordering -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Ordering -> (forall v. JsonPatch v => v -> r) -> Result (r, Ordering)

addAtPointer :: Pointer -> Ordering -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Ordering

copyPath :: Pointer -> Pointer -> Ordering -> Result Ordering

movePath :: Pointer -> Pointer -> Ordering -> Result Ordering

replaceAtPointer :: Pointer -> Ordering -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Ordering

testAtPointer :: Pointer -> Ordering -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Ordering

JsonPatch Word

Methods

getAtPointer :: Pointer -> Word -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Word -> (forall v. JsonPatch v => v -> r) -> Result (r, Word)

addAtPointer :: Pointer -> Word -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word

copyPath :: Pointer -> Pointer -> Word -> Result Word

movePath :: Pointer -> Pointer -> Word -> Result Word

replaceAtPointer :: Pointer -> Word -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word

testAtPointer :: Pointer -> Word -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word

JsonPatch Word8

Methods

getAtPointer :: Pointer -> Word8 -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Word8 -> (forall v. JsonPatch v => v -> r) -> Result (r, Word8)

addAtPointer :: Pointer -> Word8 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word8

copyPath :: Pointer -> Pointer -> Word8 -> Result Word8

movePath :: Pointer -> Pointer -> Word8 -> Result Word8

replaceAtPointer :: Pointer -> Word8 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word8

testAtPointer :: Pointer -> Word8 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word8

JsonPatch Word16

Methods

getAtPointer :: Pointer -> Word16 -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Word16 -> (forall v. JsonPatch v => v -> r) -> Result (r, Word16)

addAtPointer :: Pointer -> Word16 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word16

copyPath :: Pointer -> Pointer -> Word16 -> Result Word16

movePath :: Pointer -> Pointer -> Word16 -> Result Word16

replaceAtPointer :: Pointer -> Word16 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word16

testAtPointer :: Pointer -> Word16 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word16

JsonPatch Word32

Methods

getAtPointer :: Pointer -> Word32 -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Word32 -> (forall v. JsonPatch v => v -> r) -> Result (r, Word32)

addAtPointer :: Pointer -> Word32 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word32

copyPath :: Pointer -> Pointer -> Word32 -> Result Word32

movePath :: Pointer -> Pointer -> Word32 -> Result Word32

replaceAtPointer :: Pointer -> Word32 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word32

testAtPointer :: Pointer -> Word32 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word32

JsonPatch Word64

Methods

getAtPointer :: Pointer -> Word64 -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Word64 -> (forall v. JsonPatch v => v -> r) -> Result (r, Word64)

addAtPointer :: Pointer -> Word64 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word64

copyPath :: Pointer -> Pointer -> Word64 -> Result Word64

movePath :: Pointer -> Pointer -> Word64 -> Result Word64

replaceAtPointer :: Pointer -> Word64 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word64

testAtPointer :: Pointer -> Word64 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word64

JsonPatch ()

Methods

getAtPointer :: Pointer -> () -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> () -> (forall v. JsonPatch v => v -> r) -> Result (r, ())

addAtPointer :: Pointer -> () -> r -> (forall v. JsonPatch v => r -> Result v) -> Result ()

copyPath :: Pointer -> Pointer -> () -> Result ()

movePath :: Pointer -> Pointer -> () -> Result ()

replaceAtPointer :: Pointer -> () -> r -> (forall v. JsonPatch v => r -> Result v) -> Result ()

testAtPointer :: Pointer -> () -> r -> (forall v. JsonPatch v => r -> Result v) -> Result ()

JsonPatch Scientific

Methods

getAtPointer :: Pointer -> Scientific -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Scientific -> (forall v. JsonPatch v => v -> r) -> Result (r, Scientific)

addAtPointer :: Pointer -> Scientific -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Scientific

copyPath :: Pointer -> Pointer -> Scientific -> Result Scientific

movePath :: Pointer -> Pointer -> Scientific -> Result Scientific

replaceAtPointer :: Pointer -> Scientific -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Scientific

testAtPointer :: Pointer -> Scientific -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Scientific

JsonPatch Text

Methods

getAtPointer :: Pointer -> Text -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Text -> (forall v. JsonPatch v => v -> r) -> Result (r, Text)

addAtPointer :: Pointer -> Text -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Text

copyPath :: Pointer -> Pointer -> Text -> Result Text

movePath :: Pointer -> Pointer -> Text -> Result Text

replaceAtPointer :: Pointer -> Text -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Text

testAtPointer :: Pointer -> Text -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Text

JsonPatch UTCTime

Methods

getAtPointer :: Pointer -> UTCTime -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> UTCTime -> (forall v. JsonPatch v => v -> r) -> Result (r, UTCTime)

addAtPointer :: Pointer -> UTCTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result UTCTime

copyPath :: Pointer -> Pointer -> UTCTime -> Result UTCTime

movePath :: Pointer -> Pointer -> UTCTime -> Result UTCTime

replaceAtPointer :: Pointer -> UTCTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result UTCTime

testAtPointer :: Pointer -> UTCTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result UTCTime

JsonPatch Value

Methods

getAtPointer :: Pointer -> Value -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Value -> (forall v. JsonPatch v => v -> r) -> Result (r, Value)

addAtPointer :: Pointer -> Value -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Value

copyPath :: Pointer -> Pointer -> Value -> Result Value

movePath :: Pointer -> Pointer -> Value -> Result Value

replaceAtPointer :: Pointer -> Value -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Value

testAtPointer :: Pointer -> Value -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Value

JsonPatch DotNetTime

Methods

getAtPointer :: Pointer -> DotNetTime -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> DotNetTime -> (forall v. JsonPatch v => v -> r) -> Result (r, DotNetTime)

addAtPointer :: Pointer -> DotNetTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result DotNetTime

copyPath :: Pointer -> Pointer -> DotNetTime -> Result DotNetTime

movePath :: Pointer -> Pointer -> DotNetTime -> Result DotNetTime

replaceAtPointer :: Pointer -> DotNetTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result DotNetTime

testAtPointer :: Pointer -> DotNetTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result DotNetTime

JsonPatch Text

Methods

getAtPointer :: Pointer -> Text -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Text -> (forall v. JsonPatch v => v -> r) -> Result (r, Text)

addAtPointer :: Pointer -> Text -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Text

copyPath :: Pointer -> Pointer -> Text -> Result Text

movePath :: Pointer -> Pointer -> Text -> Result Text

replaceAtPointer :: Pointer -> Text -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Text

testAtPointer :: Pointer -> Text -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Text

JsonPatch Version

Methods

getAtPointer :: Pointer -> Version -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Version -> (forall v. JsonPatch v => v -> r) -> Result (r, Version)

addAtPointer :: Pointer -> Version -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Version

copyPath :: Pointer -> Pointer -> Version -> Result Version

movePath :: Pointer -> Pointer -> Version -> Result Version

replaceAtPointer :: Pointer -> Version -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Version

testAtPointer :: Pointer -> Version -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Version

JsonPatch CTime

Methods

getAtPointer :: Pointer -> CTime -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> CTime -> (forall v. JsonPatch v => v -> r) -> Result (r, CTime)

addAtPointer :: Pointer -> CTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result CTime

copyPath :: Pointer -> Pointer -> CTime -> Result CTime

movePath :: Pointer -> Pointer -> CTime -> Result CTime

replaceAtPointer :: Pointer -> CTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result CTime

testAtPointer :: Pointer -> CTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result CTime

JsonPatch IntSet

Methods

getAtPointer :: Pointer -> IntSet -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> IntSet -> (forall v. JsonPatch v => v -> r) -> Result (r, IntSet)

addAtPointer :: Pointer -> IntSet -> r -> (forall v. JsonPatch v => r -> Result v) -> Result IntSet

copyPath :: Pointer -> Pointer -> IntSet -> Result IntSet

movePath :: Pointer -> Pointer -> IntSet -> Result IntSet

replaceAtPointer :: Pointer -> IntSet -> r -> (forall v. JsonPatch v => r -> Result v) -> Result IntSet

testAtPointer :: Pointer -> IntSet -> r -> (forall v. JsonPatch v => r -> Result v) -> Result IntSet

JsonPatch LocalTime

Methods

getAtPointer :: Pointer -> LocalTime -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> LocalTime -> (forall v. JsonPatch v => v -> r) -> Result (r, LocalTime)

addAtPointer :: Pointer -> LocalTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result LocalTime

copyPath :: Pointer -> Pointer -> LocalTime -> Result LocalTime

movePath :: Pointer -> Pointer -> LocalTime -> Result LocalTime

replaceAtPointer :: Pointer -> LocalTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result LocalTime

testAtPointer :: Pointer -> LocalTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result LocalTime

JsonPatch TimeOfDay

Methods

getAtPointer :: Pointer -> TimeOfDay -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> TimeOfDay -> (forall v. JsonPatch v => v -> r) -> Result (r, TimeOfDay)

addAtPointer :: Pointer -> TimeOfDay -> r -> (forall v. JsonPatch v => r -> Result v) -> Result TimeOfDay

copyPath :: Pointer -> Pointer -> TimeOfDay -> Result TimeOfDay

movePath :: Pointer -> Pointer -> TimeOfDay -> Result TimeOfDay

replaceAtPointer :: Pointer -> TimeOfDay -> r -> (forall v. JsonPatch v => r -> Result v) -> Result TimeOfDay

testAtPointer :: Pointer -> TimeOfDay -> r -> (forall v. JsonPatch v => r -> Result v) -> Result TimeOfDay

JsonPatch NominalDiffTime

Methods

getAtPointer :: Pointer -> NominalDiffTime -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> NominalDiffTime -> (forall v. JsonPatch v => v -> r) -> Result (r, NominalDiffTime)

addAtPointer :: Pointer -> NominalDiffTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result NominalDiffTime

copyPath :: Pointer -> Pointer -> NominalDiffTime -> Result NominalDiffTime

movePath :: Pointer -> Pointer -> NominalDiffTime -> Result NominalDiffTime

replaceAtPointer :: Pointer -> NominalDiffTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result NominalDiffTime

testAtPointer :: Pointer -> NominalDiffTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result NominalDiffTime

JsonPatch DiffTime

Methods

getAtPointer :: Pointer -> DiffTime -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> DiffTime -> (forall v. JsonPatch v => v -> r) -> Result (r, DiffTime)

addAtPointer :: Pointer -> DiffTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result DiffTime

copyPath :: Pointer -> Pointer -> DiffTime -> Result DiffTime

movePath :: Pointer -> Pointer -> DiffTime -> Result DiffTime

replaceAtPointer :: Pointer -> DiffTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result DiffTime

testAtPointer :: Pointer -> DiffTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result DiffTime

JsonPatch Day

Methods

getAtPointer :: Pointer -> Day -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Day -> (forall v. JsonPatch v => v -> r) -> Result (r, Day)

addAtPointer :: Pointer -> Day -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Day

copyPath :: Pointer -> Pointer -> Day -> Result Day

movePath :: Pointer -> Pointer -> Day -> Result Day

replaceAtPointer :: Pointer -> Day -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Day

testAtPointer :: Pointer -> Day -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Day

JsonPatch UUID

Methods

getAtPointer :: Pointer -> UUID -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> UUID -> (forall v. JsonPatch v => v -> r) -> Result (r, UUID)

addAtPointer :: Pointer -> UUID -> r -> (forall v. JsonPatch v => r -> Result v) -> Result UUID

copyPath :: Pointer -> Pointer -> UUID -> Result UUID

movePath :: Pointer -> Pointer -> UUID -> Result UUID

replaceAtPointer :: Pointer -> UUID -> r -> (forall v. JsonPatch v => r -> Result v) -> Result UUID

testAtPointer :: Pointer -> UUID -> r -> (forall v. JsonPatch v => r -> Result v) -> Result UUID

FieldLens Bool

Methods

fieldLens :: Key -> Bool -> Result (GetSet Bool)

deleteAt :: Key -> Bool -> (forall v. JsonPatch v => v -> r) -> Result (r, Bool)

insertAt :: Key -> Bool -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Bool

FieldLens Char

Methods

fieldLens :: Key -> Char -> Result (GetSet Char)

deleteAt :: Key -> Char -> (forall v. JsonPatch v => v -> r) -> Result (r, Char)

insertAt :: Key -> Char -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Char

FieldLens Double

Methods

fieldLens :: Key -> Double -> Result (GetSet Double)

deleteAt :: Key -> Double -> (forall v. JsonPatch v => v -> r) -> Result (r, Double)

insertAt :: Key -> Double -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Double

FieldLens Float

Methods

fieldLens :: Key -> Float -> Result (GetSet Float)

deleteAt :: Key -> Float -> (forall v. JsonPatch v => v -> r) -> Result (r, Float)

insertAt :: Key -> Float -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Float

FieldLens Int

Methods

fieldLens :: Key -> Int -> Result (GetSet Int)

deleteAt :: Key -> Int -> (forall v. JsonPatch v => v -> r) -> Result (r, Int)

insertAt :: Key -> Int -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int

FieldLens Int8

Methods

fieldLens :: Key -> Int8 -> Result (GetSet Int8)

deleteAt :: Key -> Int8 -> (forall v. JsonPatch v => v -> r) -> Result (r, Int8)

insertAt :: Key -> Int8 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int8

FieldLens Int16

Methods

fieldLens :: Key -> Int16 -> Result (GetSet Int16)

deleteAt :: Key -> Int16 -> (forall v. JsonPatch v => v -> r) -> Result (r, Int16)

insertAt :: Key -> Int16 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int16

FieldLens Int32

Methods

fieldLens :: Key -> Int32 -> Result (GetSet Int32)

deleteAt :: Key -> Int32 -> (forall v. JsonPatch v => v -> r) -> Result (r, Int32)

insertAt :: Key -> Int32 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int32

FieldLens Int64

Methods

fieldLens :: Key -> Int64 -> Result (GetSet Int64)

deleteAt :: Key -> Int64 -> (forall v. JsonPatch v => v -> r) -> Result (r, Int64)

insertAt :: Key -> Int64 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Int64

FieldLens Integer

Methods

fieldLens :: Key -> Integer -> Result (GetSet Integer)

deleteAt :: Key -> Integer -> (forall v. JsonPatch v => v -> r) -> Result (r, Integer)

insertAt :: Key -> Integer -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Integer

FieldLens Natural

Methods

fieldLens :: Key -> Natural -> Result (GetSet Natural)

deleteAt :: Key -> Natural -> (forall v. JsonPatch v => v -> r) -> Result (r, Natural)

insertAt :: Key -> Natural -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Natural

FieldLens Ordering

Methods

fieldLens :: Key -> Ordering -> Result (GetSet Ordering)

deleteAt :: Key -> Ordering -> (forall v. JsonPatch v => v -> r) -> Result (r, Ordering)

insertAt :: Key -> Ordering -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Ordering

FieldLens Word

Methods

fieldLens :: Key -> Word -> Result (GetSet Word)

deleteAt :: Key -> Word -> (forall v. JsonPatch v => v -> r) -> Result (r, Word)

insertAt :: Key -> Word -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word

FieldLens Word8

Methods

fieldLens :: Key -> Word8 -> Result (GetSet Word8)

deleteAt :: Key -> Word8 -> (forall v. JsonPatch v => v -> r) -> Result (r, Word8)

insertAt :: Key -> Word8 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word8

FieldLens Word16

Methods

fieldLens :: Key -> Word16 -> Result (GetSet Word16)

deleteAt :: Key -> Word16 -> (forall v. JsonPatch v => v -> r) -> Result (r, Word16)

insertAt :: Key -> Word16 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word16

FieldLens Word32

Methods

fieldLens :: Key -> Word32 -> Result (GetSet Word32)

deleteAt :: Key -> Word32 -> (forall v. JsonPatch v => v -> r) -> Result (r, Word32)

insertAt :: Key -> Word32 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word32

FieldLens Word64

Methods

fieldLens :: Key -> Word64 -> Result (GetSet Word64)

deleteAt :: Key -> Word64 -> (forall v. JsonPatch v => v -> r) -> Result (r, Word64)

insertAt :: Key -> Word64 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Word64

FieldLens ()

Methods

fieldLens :: Key -> () -> Result (GetSet ())

deleteAt :: Key -> () -> (forall v. JsonPatch v => v -> r) -> Result (r, ())

insertAt :: Key -> () -> r -> (forall v. JsonPatch v => r -> Result v) -> Result ()

FieldLens Scientific

Methods

fieldLens :: Key -> Scientific -> Result (GetSet Scientific)

deleteAt :: Key -> Scientific -> (forall v. JsonPatch v => v -> r) -> Result (r, Scientific)

insertAt :: Key -> Scientific -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Scientific

FieldLens Text

Methods

fieldLens :: Key -> Text -> Result (GetSet Text)

deleteAt :: Key -> Text -> (forall v. JsonPatch v => v -> r) -> Result (r, Text)

insertAt :: Key -> Text -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Text

FieldLens UTCTime

Methods

fieldLens :: Key -> UTCTime -> Result (GetSet UTCTime)

deleteAt :: Key -> UTCTime -> (forall v. JsonPatch v => v -> r) -> Result (r, UTCTime)

insertAt :: Key -> UTCTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result UTCTime

FieldLens DotNetTime

Methods

fieldLens :: Key -> DotNetTime -> Result (GetSet DotNetTime)

deleteAt :: Key -> DotNetTime -> (forall v. JsonPatch v => v -> r) -> Result (r, DotNetTime)

insertAt :: Key -> DotNetTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result DotNetTime

FieldLens Text

Methods

fieldLens :: Key -> Text -> Result (GetSet Text)

deleteAt :: Key -> Text -> (forall v. JsonPatch v => v -> r) -> Result (r, Text)

insertAt :: Key -> Text -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Text

FieldLens Version

Methods

fieldLens :: Key -> Version -> Result (GetSet Version)

deleteAt :: Key -> Version -> (forall v. JsonPatch v => v -> r) -> Result (r, Version)

insertAt :: Key -> Version -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Version

FieldLens CTime

Methods

fieldLens :: Key -> CTime -> Result (GetSet CTime)

deleteAt :: Key -> CTime -> (forall v. JsonPatch v => v -> r) -> Result (r, CTime)

insertAt :: Key -> CTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result CTime

FieldLens IntSet

Methods

fieldLens :: Key -> IntSet -> Result (GetSet IntSet)

deleteAt :: Key -> IntSet -> (forall v. JsonPatch v => v -> r) -> Result (r, IntSet)

insertAt :: Key -> IntSet -> r -> (forall v. JsonPatch v => r -> Result v) -> Result IntSet

FieldLens LocalTime

Methods

fieldLens :: Key -> LocalTime -> Result (GetSet LocalTime)

deleteAt :: Key -> LocalTime -> (forall v. JsonPatch v => v -> r) -> Result (r, LocalTime)

insertAt :: Key -> LocalTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result LocalTime

FieldLens TimeOfDay

Methods

fieldLens :: Key -> TimeOfDay -> Result (GetSet TimeOfDay)

deleteAt :: Key -> TimeOfDay -> (forall v. JsonPatch v => v -> r) -> Result (r, TimeOfDay)

insertAt :: Key -> TimeOfDay -> r -> (forall v. JsonPatch v => r -> Result v) -> Result TimeOfDay

FieldLens NominalDiffTime

Methods

fieldLens :: Key -> NominalDiffTime -> Result (GetSet NominalDiffTime)

deleteAt :: Key -> NominalDiffTime -> (forall v. JsonPatch v => v -> r) -> Result (r, NominalDiffTime)

insertAt :: Key -> NominalDiffTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result NominalDiffTime

FieldLens DiffTime

Methods

fieldLens :: Key -> DiffTime -> Result (GetSet DiffTime)

deleteAt :: Key -> DiffTime -> (forall v. JsonPatch v => v -> r) -> Result (r, DiffTime)

insertAt :: Key -> DiffTime -> r -> (forall v. JsonPatch v => r -> Result v) -> Result DiffTime

FieldLens Day

Methods

fieldLens :: Key -> Day -> Result (GetSet Day)

deleteAt :: Key -> Day -> (forall v. JsonPatch v => v -> r) -> Result (r, Day)

insertAt :: Key -> Day -> r -> (forall v. JsonPatch v => r -> Result v) -> Result Day

FieldLens UUID

Methods

fieldLens :: Key -> UUID -> Result (GetSet UUID)

deleteAt :: Key -> UUID -> (forall v. JsonPatch v => v -> r) -> Result (r, UUID)

insertAt :: Key -> UUID -> r -> (forall v. JsonPatch v => r -> Result v) -> Result UUID

JsonPatch a => JsonPatch [a]

Methods

getAtPointer :: Pointer -> [a] -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> [a] -> (forall v. JsonPatch v => v -> r) -> Result (r, [a])

addAtPointer :: Pointer -> [a] -> r -> (forall v. JsonPatch v => r -> Result v) -> Result [a]

copyPath :: Pointer -> Pointer -> [a] -> Result [a]

movePath :: Pointer -> Pointer -> [a] -> Result [a]

replaceAtPointer :: Pointer -> [a] -> r -> (forall v. JsonPatch v => r -> Result v) -> Result [a]

testAtPointer :: Pointer -> [a] -> r -> (forall v. JsonPatch v => r -> Result v) -> Result [a]

JsonPatch a => JsonPatch (Maybe a)

Methods

getAtPointer :: Pointer -> Maybe a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Maybe a -> (forall v. JsonPatch v => v -> r) -> Result (r, Maybe a)

addAtPointer :: Pointer -> Maybe a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Maybe a)

copyPath :: Pointer -> Pointer -> Maybe a -> Result (Maybe a)

movePath :: Pointer -> Pointer -> Maybe a -> Result (Maybe a)

replaceAtPointer :: Pointer -> Maybe a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Maybe a)

testAtPointer :: Pointer -> Maybe a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Maybe a)

(Typeable * a, Integral a, ToJSON a, FromJSON a, Eq a) => JsonPatch (Ratio a)

Methods

getAtPointer :: Pointer -> Ratio a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Ratio a -> (forall v. JsonPatch v => v -> r) -> Result (r, Ratio a)

addAtPointer :: Pointer -> Ratio a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Ratio a)

copyPath :: Pointer -> Pointer -> Ratio a -> Result (Ratio a)

movePath :: Pointer -> Pointer -> Ratio a -> Result (Ratio a)

replaceAtPointer :: Pointer -> Ratio a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Ratio a)

testAtPointer :: Pointer -> Ratio a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Ratio a)

(HasResolution a, Typeable * a, FromJSON a, ToJSON a) => JsonPatch (Fixed a)

Methods

getAtPointer :: Pointer -> Fixed a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Fixed a -> (forall v. JsonPatch v => v -> r) -> Result (r, Fixed a)

addAtPointer :: Pointer -> Fixed a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Fixed a)

copyPath :: Pointer -> Pointer -> Fixed a -> Result (Fixed a)

movePath :: Pointer -> Pointer -> Fixed a -> Result (Fixed a)

replaceAtPointer :: Pointer -> Fixed a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Fixed a)

testAtPointer :: Pointer -> Fixed a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Fixed a)

JsonPatch a => JsonPatch (Min a)

Methods

getAtPointer :: Pointer -> Min a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Min a -> (forall v. JsonPatch v => v -> r) -> Result (r, Min a)

addAtPointer :: Pointer -> Min a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Min a)

copyPath :: Pointer -> Pointer -> Min a -> Result (Min a)

movePath :: Pointer -> Pointer -> Min a -> Result (Min a)

replaceAtPointer :: Pointer -> Min a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Min a)

testAtPointer :: Pointer -> Min a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Min a)

JsonPatch a => JsonPatch (Max a)

Methods

getAtPointer :: Pointer -> Max a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Max a -> (forall v. JsonPatch v => v -> r) -> Result (r, Max a)

addAtPointer :: Pointer -> Max a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Max a)

copyPath :: Pointer -> Pointer -> Max a -> Result (Max a)

movePath :: Pointer -> Pointer -> Max a -> Result (Max a)

replaceAtPointer :: Pointer -> Max a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Max a)

testAtPointer :: Pointer -> Max a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Max a)

JsonPatch a => JsonPatch (First a)

Methods

getAtPointer :: Pointer -> First a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> First a -> (forall v. JsonPatch v => v -> r) -> Result (r, First a)

addAtPointer :: Pointer -> First a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (First a)

copyPath :: Pointer -> Pointer -> First a -> Result (First a)

movePath :: Pointer -> Pointer -> First a -> Result (First a)

replaceAtPointer :: Pointer -> First a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (First a)

testAtPointer :: Pointer -> First a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (First a)

JsonPatch a => JsonPatch (Last a)

Methods

getAtPointer :: Pointer -> Last a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Last a -> (forall v. JsonPatch v => v -> r) -> Result (r, Last a)

addAtPointer :: Pointer -> Last a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Last a)

copyPath :: Pointer -> Pointer -> Last a -> Result (Last a)

movePath :: Pointer -> Pointer -> Last a -> Result (Last a)

replaceAtPointer :: Pointer -> Last a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Last a)

testAtPointer :: Pointer -> Last a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Last a)

JsonPatch a => JsonPatch (WrappedMonoid a)

Methods

getAtPointer :: Pointer -> WrappedMonoid a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> WrappedMonoid a -> (forall v. JsonPatch v => v -> r) -> Result (r, WrappedMonoid a)

addAtPointer :: Pointer -> WrappedMonoid a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (WrappedMonoid a)

copyPath :: Pointer -> Pointer -> WrappedMonoid a -> Result (WrappedMonoid a)

movePath :: Pointer -> Pointer -> WrappedMonoid a -> Result (WrappedMonoid a)

replaceAtPointer :: Pointer -> WrappedMonoid a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (WrappedMonoid a)

testAtPointer :: Pointer -> WrappedMonoid a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (WrappedMonoid a)

JsonPatch a => JsonPatch (Option a)

Methods

getAtPointer :: Pointer -> Option a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Option a -> (forall v. JsonPatch v => v -> r) -> Result (r, Option a)

addAtPointer :: Pointer -> Option a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Option a)

copyPath :: Pointer -> Pointer -> Option a -> Result (Option a)

movePath :: Pointer -> Pointer -> Option a -> Result (Option a)

replaceAtPointer :: Pointer -> Option a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Option a)

testAtPointer :: Pointer -> Option a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Option a)

JsonPatch a => JsonPatch (NonEmpty a)

Methods

getAtPointer :: Pointer -> NonEmpty a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> NonEmpty a -> (forall v. JsonPatch v => v -> r) -> Result (r, NonEmpty a)

addAtPointer :: Pointer -> NonEmpty a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (NonEmpty a)

copyPath :: Pointer -> Pointer -> NonEmpty a -> Result (NonEmpty a)

movePath :: Pointer -> Pointer -> NonEmpty a -> Result (NonEmpty a)

replaceAtPointer :: Pointer -> NonEmpty a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (NonEmpty a)

testAtPointer :: Pointer -> NonEmpty a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (NonEmpty a)

JsonPatch a => JsonPatch (Identity a)

Methods

getAtPointer :: Pointer -> Identity a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Identity a -> (forall v. JsonPatch v => v -> r) -> Result (r, Identity a)

addAtPointer :: Pointer -> Identity a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Identity a)

copyPath :: Pointer -> Pointer -> Identity a -> Result (Identity a)

movePath :: Pointer -> Pointer -> Identity a -> Result (Identity a)

replaceAtPointer :: Pointer -> Identity a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Identity a)

testAtPointer :: Pointer -> Identity a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Identity a)

JsonPatch a => JsonPatch (Dual a)

Methods

getAtPointer :: Pointer -> Dual a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Dual a -> (forall v. JsonPatch v => v -> r) -> Result (r, Dual a)

addAtPointer :: Pointer -> Dual a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Dual a)

copyPath :: Pointer -> Pointer -> Dual a -> Result (Dual a)

movePath :: Pointer -> Pointer -> Dual a -> Result (Dual a)

replaceAtPointer :: Pointer -> Dual a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Dual a)

testAtPointer :: Pointer -> Dual a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Dual a)

JsonPatch a => JsonPatch (IntMap a)

Methods

getAtPointer :: Pointer -> IntMap a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> IntMap a -> (forall v. JsonPatch v => v -> r) -> Result (r, IntMap a)

addAtPointer :: Pointer -> IntMap a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (IntMap a)

copyPath :: Pointer -> Pointer -> IntMap a -> Result (IntMap a)

movePath :: Pointer -> Pointer -> IntMap a -> Result (IntMap a)

replaceAtPointer :: Pointer -> IntMap a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (IntMap a)

testAtPointer :: Pointer -> IntMap a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (IntMap a)

JsonPatch a => JsonPatch (Tree a)

Methods

getAtPointer :: Pointer -> Tree a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Tree a -> (forall v. JsonPatch v => v -> r) -> Result (r, Tree a)

addAtPointer :: Pointer -> Tree a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Tree a)

copyPath :: Pointer -> Pointer -> Tree a -> Result (Tree a)

movePath :: Pointer -> Pointer -> Tree a -> Result (Tree a)

replaceAtPointer :: Pointer -> Tree a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Tree a)

testAtPointer :: Pointer -> Tree a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Tree a)

(Ord a, JsonPatch a) => JsonPatch (Seq a)

Methods

getAtPointer :: Pointer -> Seq a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Seq a -> (forall v. JsonPatch v => v -> r) -> Result (r, Seq a)

addAtPointer :: Pointer -> Seq a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Seq a)

copyPath :: Pointer -> Pointer -> Seq a -> Result (Seq a)

movePath :: Pointer -> Pointer -> Seq a -> Result (Seq a)

replaceAtPointer :: Pointer -> Seq a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Seq a)

testAtPointer :: Pointer -> Seq a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Seq a)

(Ord a, JsonPatch a) => JsonPatch (Set a)

Methods

getAtPointer :: Pointer -> Set a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Set a -> (forall v. JsonPatch v => v -> r) -> Result (r, Set a)

addAtPointer :: Pointer -> Set a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Set a)

copyPath :: Pointer -> Pointer -> Set a -> Result (Set a)

movePath :: Pointer -> Pointer -> Set a -> Result (Set a)

replaceAtPointer :: Pointer -> Set a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Set a)

testAtPointer :: Pointer -> Set a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Set a)

JsonPatch a => JsonPatch (DList a)

Methods

getAtPointer :: Pointer -> DList a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> DList a -> (forall v. JsonPatch v => v -> r) -> Result (r, DList a)

addAtPointer :: Pointer -> DList a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (DList a)

copyPath :: Pointer -> Pointer -> DList a -> Result (DList a)

movePath :: Pointer -> Pointer -> DList a -> Result (DList a)

replaceAtPointer :: Pointer -> DList a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (DList a)

testAtPointer :: Pointer -> DList a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (DList a)

(Hashable a, Eq a, FromJSON a, Typeable * a, ToJSON a) => JsonPatch (HashSet a)

Methods

getAtPointer :: Pointer -> HashSet a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> HashSet a -> (forall v. JsonPatch v => v -> r) -> Result (r, HashSet a)

addAtPointer :: Pointer -> HashSet a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (HashSet a)

copyPath :: Pointer -> Pointer -> HashSet a -> Result (HashSet a)

movePath :: Pointer -> Pointer -> HashSet a -> Result (HashSet a)

replaceAtPointer :: Pointer -> HashSet a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (HashSet a)

testAtPointer :: Pointer -> HashSet a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (HashSet a)

(Unbox a, JsonPatch a) => JsonPatch (Vector a)

Methods

getAtPointer :: Pointer -> Vector a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Vector a -> (forall v. JsonPatch v => v -> r) -> Result (r, Vector a)

addAtPointer :: Pointer -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

copyPath :: Pointer -> Pointer -> Vector a -> Result (Vector a)

movePath :: Pointer -> Pointer -> Vector a -> Result (Vector a)

replaceAtPointer :: Pointer -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

testAtPointer :: Pointer -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

(Storable a, JsonPatch a) => JsonPatch (Vector a)

Methods

getAtPointer :: Pointer -> Vector a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Vector a -> (forall v. JsonPatch v => v -> r) -> Result (r, Vector a)

addAtPointer :: Pointer -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

copyPath :: Pointer -> Pointer -> Vector a -> Result (Vector a)

movePath :: Pointer -> Pointer -> Vector a -> Result (Vector a)

replaceAtPointer :: Pointer -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

testAtPointer :: Pointer -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

(Prim a, JsonPatch a) => JsonPatch (Vector a)

Methods

getAtPointer :: Pointer -> Vector a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Vector a -> (forall v. JsonPatch v => v -> r) -> Result (r, Vector a)

addAtPointer :: Pointer -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

copyPath :: Pointer -> Pointer -> Vector a -> Result (Vector a)

movePath :: Pointer -> Pointer -> Vector a -> Result (Vector a)

replaceAtPointer :: Pointer -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

testAtPointer :: Pointer -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

JsonPatch a => FieldLens [a]

Methods

fieldLens :: Key -> [a] -> Result (GetSet [a])

deleteAt :: Key -> [a] -> (forall v. JsonPatch v => v -> r) -> Result (r, [a])

insertAt :: Key -> [a] -> r -> (forall v. JsonPatch v => r -> Result v) -> Result [a]

(Typeable * a, Integral a, ToJSON a, FromJSON a, Eq a) => FieldLens (Ratio a)

Methods

fieldLens :: Key -> Ratio a -> Result (GetSet (Ratio a))

deleteAt :: Key -> Ratio a -> (forall v. JsonPatch v => v -> r) -> Result (r, Ratio a)

insertAt :: Key -> Ratio a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Ratio a)

JsonPatch a => FieldLens (Vector a)

Methods

fieldLens :: Key -> Vector a -> Result (GetSet (Vector a))

deleteAt :: Key -> Vector a -> (forall v. JsonPatch v => v -> r) -> Result (r, Vector a)

insertAt :: Key -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

(HasResolution a, Typeable * a, FromJSON a, ToJSON a) => FieldLens (Fixed a)

Methods

fieldLens :: Key -> Fixed a -> Result (GetSet (Fixed a))

deleteAt :: Key -> Fixed a -> (forall v. JsonPatch v => v -> r) -> Result (r, Fixed a)

insertAt :: Key -> Fixed a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Fixed a)

JsonPatch a => FieldLens (NonEmpty a)

Methods

fieldLens :: Key -> NonEmpty a -> Result (GetSet (NonEmpty a))

deleteAt :: Key -> NonEmpty a -> (forall v. JsonPatch v => v -> r) -> Result (r, NonEmpty a)

insertAt :: Key -> NonEmpty a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (NonEmpty a)

JsonPatch a => FieldLens (IntMap a)

Methods

fieldLens :: Key -> IntMap a -> Result (GetSet (IntMap a))

deleteAt :: Key -> IntMap a -> (forall v. JsonPatch v => v -> r) -> Result (r, IntMap a)

insertAt :: Key -> IntMap a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (IntMap a)

JsonPatch a => FieldLens (Tree a)

Methods

fieldLens :: Key -> Tree a -> Result (GetSet (Tree a))

deleteAt :: Key -> Tree a -> (forall v. JsonPatch v => v -> r) -> Result (r, Tree a)

insertAt :: Key -> Tree a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Tree a)

(Ord a, JsonPatch a) => FieldLens (Seq a)

Methods

fieldLens :: Key -> Seq a -> Result (GetSet (Seq a))

deleteAt :: Key -> Seq a -> (forall v. JsonPatch v => v -> r) -> Result (r, Seq a)

insertAt :: Key -> Seq a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Seq a)

(Ord a, JsonPatch a) => FieldLens (Set a)

Methods

fieldLens :: Key -> Set a -> Result (GetSet (Set a))

deleteAt :: Key -> Set a -> (forall v. JsonPatch v => v -> r) -> Result (r, Set a)

insertAt :: Key -> Set a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Set a)

JsonPatch a => FieldLens (DList a)

Methods

fieldLens :: Key -> DList a -> Result (GetSet (DList a))

deleteAt :: Key -> DList a -> (forall v. JsonPatch v => v -> r) -> Result (r, DList a)

insertAt :: Key -> DList a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (DList a)

(Hashable a, Eq a, FromJSON a, Typeable * a, ToJSON a) => FieldLens (HashSet a)

Methods

fieldLens :: Key -> HashSet a -> Result (GetSet (HashSet a))

deleteAt :: Key -> HashSet a -> (forall v. JsonPatch v => v -> r) -> Result (r, HashSet a)

insertAt :: Key -> HashSet a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (HashSet a)

(Unbox a, JsonPatch a) => FieldLens (Vector a)

Methods

fieldLens :: Key -> Vector a -> Result (GetSet (Vector a))

deleteAt :: Key -> Vector a -> (forall v. JsonPatch v => v -> r) -> Result (r, Vector a)

insertAt :: Key -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

(Storable a, JsonPatch a) => FieldLens (Vector a)

Methods

fieldLens :: Key -> Vector a -> Result (GetSet (Vector a))

deleteAt :: Key -> Vector a -> (forall v. JsonPatch v => v -> r) -> Result (r, Vector a)

insertAt :: Key -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

(Prim a, JsonPatch a) => FieldLens (Vector a)

Methods

fieldLens :: Key -> Vector a -> Result (GetSet (Vector a))

deleteAt :: Key -> Vector a -> (forall v. JsonPatch v => v -> r) -> Result (r, Vector a)

insertAt :: Key -> Vector a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Vector a)

(JsonPatch a1, JsonPatch a2) => JsonPatch (Either a1 a2)

Methods

getAtPointer :: Pointer -> Either a1 a2 -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Either a1 a2 -> (forall v. JsonPatch v => v -> r) -> Result (r, Either a1 a2)

addAtPointer :: Pointer -> Either a1 a2 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Either a1 a2)

copyPath :: Pointer -> Pointer -> Either a1 a2 -> Result (Either a1 a2)

movePath :: Pointer -> Pointer -> Either a1 a2 -> Result (Either a1 a2)

replaceAtPointer :: Pointer -> Either a1 a2 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Either a1 a2)

testAtPointer :: Pointer -> Either a1 a2 -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Either a1 a2)

(JsonPatch a1, JsonPatch a2) => JsonPatch (a1, a2)

Methods

getAtPointer :: Pointer -> (a1, a2) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2))

addAtPointer :: Pointer -> (a1, a2) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2)

copyPath :: Pointer -> Pointer -> (a1, a2) -> Result (a1, a2)

movePath :: Pointer -> Pointer -> (a1, a2) -> Result (a1, a2)

replaceAtPointer :: Pointer -> (a1, a2) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2)

testAtPointer :: Pointer -> (a1, a2) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2)

(ToJSONKey k, Typeable * k, Eq k, Hashable k, FromJSONKey k, JsonPatch a) => JsonPatch (HashMap k a)

Methods

getAtPointer :: Pointer -> HashMap k a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> HashMap k a -> (forall v. JsonPatch v => v -> r) -> Result (r, HashMap k a)

addAtPointer :: Pointer -> HashMap k a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (HashMap k a)

copyPath :: Pointer -> Pointer -> HashMap k a -> Result (HashMap k a)

movePath :: Pointer -> Pointer -> HashMap k a -> Result (HashMap k a)

replaceAtPointer :: Pointer -> HashMap k a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (HashMap k a)

testAtPointer :: Pointer -> HashMap k a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (HashMap k a)

(FromJSONKey k, ToJSONKey k, Eq k, Ord k, JsonPatch k, JsonPatch a) => JsonPatch (Map k a)

Methods

getAtPointer :: Pointer -> Map k a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Map k a -> (forall v. JsonPatch v => v -> r) -> Result (r, Map k a)

addAtPointer :: Pointer -> Map k a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Map k a)

copyPath :: Pointer -> Pointer -> Map k a -> Result (Map k a)

movePath :: Pointer -> Pointer -> Map k a -> Result (Map k a)

replaceAtPointer :: Pointer -> Map k a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Map k a)

testAtPointer :: Pointer -> Map k a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Map k a)

Typeable * a => JsonPatch (Proxy * a)

Methods

getAtPointer :: Pointer -> Proxy * a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Proxy * a -> (forall v. JsonPatch v => v -> r) -> Result (r, Proxy * a)

addAtPointer :: Pointer -> Proxy * a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Proxy * a)

copyPath :: Pointer -> Pointer -> Proxy * a -> Result (Proxy * a)

movePath :: Pointer -> Pointer -> Proxy * a -> Result (Proxy * a)

replaceAtPointer :: Pointer -> Proxy * a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Proxy * a)

testAtPointer :: Pointer -> Proxy * a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Proxy * a)

(ToJSONKey k, Typeable * k, Eq k, Hashable k, FromJSONKey k, JsonPatch a) => FieldLens (HashMap k a)

Methods

fieldLens :: Key -> HashMap k a -> Result (GetSet (HashMap k a))

deleteAt :: Key -> HashMap k a -> (forall v. JsonPatch v => v -> r) -> Result (r, HashMap k a)

insertAt :: Key -> HashMap k a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (HashMap k a)

(FromJSONKey k, ToJSONKey k, Eq k, Ord k, JsonPatch a, JsonPatch k) => FieldLens (Map k a)

Methods

fieldLens :: Key -> Map k a -> Result (GetSet (Map k a))

deleteAt :: Key -> Map k a -> (forall v. JsonPatch v => v -> r) -> Result (r, Map k a)

insertAt :: Key -> Map k a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Map k a)

Typeable * a => FieldLens (Proxy * a)

Methods

fieldLens :: Key -> Proxy * a -> Result (GetSet (Proxy * a))

deleteAt :: Key -> Proxy * a -> (forall v. JsonPatch v => v -> r) -> Result (r, Proxy * a)

insertAt :: Key -> Proxy * a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Proxy * a)

(JsonPatch a1, JsonPatch a2, JsonPatch a3) => JsonPatch (a1, a2, a3)

Methods

getAtPointer :: Pointer -> (a1, a2, a3) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3))

addAtPointer :: Pointer -> (a1, a2, a3) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3)

copyPath :: Pointer -> Pointer -> (a1, a2, a3) -> Result (a1, a2, a3)

movePath :: Pointer -> Pointer -> (a1, a2, a3) -> Result (a1, a2, a3)

replaceAtPointer :: Pointer -> (a1, a2, a3) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3)

testAtPointer :: Pointer -> (a1, a2, a3) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3)

(Typeable * b, JsonPatch a) => JsonPatch (Const * a b)

Methods

getAtPointer :: Pointer -> Const * a b -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Const * a b -> (forall v. JsonPatch v => v -> r) -> Result (r, Const * a b)

addAtPointer :: Pointer -> Const * a b -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Const * a b)

copyPath :: Pointer -> Pointer -> Const * a b -> Result (Const * a b)

movePath :: Pointer -> Pointer -> Const * a b -> Result (Const * a b)

replaceAtPointer :: Pointer -> Const * a b -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Const * a b)

testAtPointer :: Pointer -> Const * a b -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Const * a b)

(Typeable * a, JsonPatch b) => JsonPatch (Tagged * a b)

Methods

getAtPointer :: Pointer -> Tagged * a b -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Tagged * a b -> (forall v. JsonPatch v => v -> r) -> Result (r, Tagged * a b)

addAtPointer :: Pointer -> Tagged * a b -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Tagged * a b)

copyPath :: Pointer -> Pointer -> Tagged * a b -> Result (Tagged * a b)

movePath :: Pointer -> Pointer -> Tagged * a b -> Result (Tagged * a b)

replaceAtPointer :: Pointer -> Tagged * a b -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Tagged * a b)

testAtPointer :: Pointer -> Tagged * a b -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Tagged * a b)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4) => JsonPatch (a1, a2, a3, a4)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4))

addAtPointer :: Pointer -> (a1, a2, a3, a4) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4) -> Result (a1, a2, a3, a4)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4) -> Result (a1, a2, a3, a4)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4)

testAtPointer :: Pointer -> (a1, a2, a3, a4) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4)

(ToJSON1 f, ToJSON1 g, FromJSON1 f, FromJSON1 g, Eq1 f, Eq1 g, JsonPatch a, Typeable (* -> *) f, Typeable (* -> *) g, JsonPatch (f a), JsonPatch (g a)) => JsonPatch (Product * f g a)

Methods

getAtPointer :: Pointer -> Product * f g a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Product * f g a -> (forall v. JsonPatch v => v -> r) -> Result (r, Product * f g a)

addAtPointer :: Pointer -> Product * f g a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Product * f g a)

copyPath :: Pointer -> Pointer -> Product * f g a -> Result (Product * f g a)

movePath :: Pointer -> Pointer -> Product * f g a -> Result (Product * f g a)

replaceAtPointer :: Pointer -> Product * f g a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Product * f g a)

testAtPointer :: Pointer -> Product * f g a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Product * f g a)

(ToJSON1 f, ToJSON1 g, FromJSON1 f, FromJSON1 g, Eq1 f, Eq1 g, JsonPatch a, Typeable (* -> *) f, Typeable (* -> *) g, JsonPatch (f a), JsonPatch (g a)) => JsonPatch (Sum * f g a)

Methods

getAtPointer :: Pointer -> Sum * f g a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Sum * f g a -> (forall v. JsonPatch v => v -> r) -> Result (r, Sum * f g a)

addAtPointer :: Pointer -> Sum * f g a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Sum * f g a)

copyPath :: Pointer -> Pointer -> Sum * f g a -> Result (Sum * f g a)

movePath :: Pointer -> Pointer -> Sum * f g a -> Result (Sum * f g a)

replaceAtPointer :: Pointer -> Sum * f g a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Sum * f g a)

testAtPointer :: Pointer -> Sum * f g a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Sum * f g a)

(ToJSON1 f, ToJSON1 g, FromJSON1 f, FromJSON1 g, Eq1 f, Eq1 g, JsonPatch a, Typeable (* -> *) f, Typeable (* -> *) g, JsonPatch (f a), JsonPatch (g a)) => FieldLens (Product * f g a)

Methods

fieldLens :: Key -> Product * f g a -> Result (GetSet (Product * f g a))

deleteAt :: Key -> Product * f g a -> (forall v. JsonPatch v => v -> r) -> Result (r, Product * f g a)

insertAt :: Key -> Product * f g a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Product * f g a)

(ToJSON1 f, ToJSON1 g, FromJSON1 f, FromJSON1 g, Eq1 f, Eq1 g, JsonPatch a, Typeable (* -> *) f, Typeable (* -> *) g, JsonPatch (f a), JsonPatch (g a)) => FieldLens (Sum * f g a)

Methods

fieldLens :: Key -> Sum * f g a -> Result (GetSet (Sum * f g a))

deleteAt :: Key -> Sum * f g a -> (forall v. JsonPatch v => v -> r) -> Result (r, Sum * f g a)

insertAt :: Key -> Sum * f g a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Sum * f g a)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4, JsonPatch a5) => JsonPatch (a1, a2, a3, a4, a5)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4, a5) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4, a5) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4, a5))

addAtPointer :: Pointer -> (a1, a2, a3, a4, a5) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5) -> Result (a1, a2, a3, a4, a5)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5) -> Result (a1, a2, a3, a4, a5)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4, a5) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5)

testAtPointer :: Pointer -> (a1, a2, a3, a4, a5) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5)

(Eq1 f, Eq1 g, FromJSON1 f, FromJSON1 g, Typeable (* -> *) f, Typeable (* -> *) g, JsonPatch a, ToJSON1 f, ToJSON1 g, JsonPatch (f (g a))) => JsonPatch (Compose * * f g a)

Methods

getAtPointer :: Pointer -> Compose * * f g a -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> Compose * * f g a -> (forall v. JsonPatch v => v -> r) -> Result (r, Compose * * f g a)

addAtPointer :: Pointer -> Compose * * f g a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Compose * * f g a)

copyPath :: Pointer -> Pointer -> Compose * * f g a -> Result (Compose * * f g a)

movePath :: Pointer -> Pointer -> Compose * * f g a -> Result (Compose * * f g a)

replaceAtPointer :: Pointer -> Compose * * f g a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Compose * * f g a)

testAtPointer :: Pointer -> Compose * * f g a -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (Compose * * f g a)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4, JsonPatch a5, JsonPatch a6) => JsonPatch (a1, a2, a3, a4, a5, a6)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4, a5, a6))

addAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6) -> Result (a1, a2, a3, a4, a5, a6)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6) -> Result (a1, a2, a3, a4, a5, a6)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6)

testAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4, JsonPatch a5, JsonPatch a6, JsonPatch a7) => JsonPatch (a1, a2, a3, a4, a5, a6, a7)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4, a5, a6, a7))

addAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7) -> Result (a1, a2, a3, a4, a5, a6, a7)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7) -> Result (a1, a2, a3, a4, a5, a6, a7)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7)

testAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4, JsonPatch a5, JsonPatch a6, JsonPatch a7, JsonPatch a8) => JsonPatch (a1, a2, a3, a4, a5, a6, a7, a8)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4, a5, a6, a7, a8))

addAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8) -> Result (a1, a2, a3, a4, a5, a6, a7, a8)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8) -> Result (a1, a2, a3, a4, a5, a6, a7, a8)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8)

testAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4, JsonPatch a5, JsonPatch a6, JsonPatch a7, JsonPatch a8, JsonPatch a9) => JsonPatch (a1, a2, a3, a4, a5, a6, a7, a8, a9)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4, a5, a6, a7, a8, a9))

addAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9)

testAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4, JsonPatch a5, JsonPatch a6, JsonPatch a7, JsonPatch a8, JsonPatch a9, JsonPatch a10) => JsonPatch (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10))

addAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

testAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4, JsonPatch a5, JsonPatch a6, JsonPatch a7, JsonPatch a8, JsonPatch a9, JsonPatch a10, JsonPatch a11) => JsonPatch (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11))

addAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)

testAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4, JsonPatch a5, JsonPatch a6, JsonPatch a7, JsonPatch a8, JsonPatch a9, JsonPatch a10, JsonPatch a11, JsonPatch a12) => JsonPatch (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12))

addAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)

testAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4, JsonPatch a5, JsonPatch a6, JsonPatch a7, JsonPatch a8, JsonPatch a9, JsonPatch a10, JsonPatch a11, JsonPatch a12, JsonPatch a13) => JsonPatch (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13))

addAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)

testAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4, JsonPatch a5, JsonPatch a6, JsonPatch a7, JsonPatch a8, JsonPatch a9, JsonPatch a10, JsonPatch a11, JsonPatch a12, JsonPatch a13, JsonPatch a14) => JsonPatch (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14))

addAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)

testAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)

(JsonPatch a1, JsonPatch a2, JsonPatch a3, JsonPatch a4, JsonPatch a5, JsonPatch a6, JsonPatch a7, JsonPatch a8, JsonPatch a9, JsonPatch a10, JsonPatch a11, JsonPatch a12, JsonPatch a13, JsonPatch a14, JsonPatch a15) => JsonPatch (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)

Methods

getAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) -> (forall v. JsonPatch v => v -> r) -> Result r

deleteAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) -> (forall v. JsonPatch v => v -> r) -> Result (r, (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15))

addAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)

copyPath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)

movePath :: Pointer -> Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)

replaceAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)

testAtPointer :: Pointer -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) -> r -> (forall v. JsonPatch v => r -> Result v) -> Result (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)