Aeson.Match.QQ.Internal.Match

Documentation

match :: Value Value -> Value -> Validation (NonEmpty VE) (HashMap Text Value)

holeTypeMatch :: TypeSig -> Value -> Bool

mismatch :: Path -> Value Value -> Value -> Validation (NonEmpty VE) a

missingPathElem :: Path -> PathElem -> Validation (NonEmpty VE) a

extraArrayValues :: Path -> Vector Value -> Validation (NonEmpty VE) a

extraObjectValues :: Path -> HashMap Text Value -> Validation (NonEmpty VE) a

throwE :: e -> Validation (NonEmpty e) a

data VE

Constructors

Mismatch Mismatch

MissingPathElem MissingPathElem

ExtraArrayValues ExtraArrayValues

ExtraObjectValues ExtraObjectValues

Instances

Eq VE

Defined in Aeson.Match.QQ.Internal.Match

Methods

(==) :: VE -> VE -> Bool

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

Show VE

Defined in Aeson.Match.QQ.Internal.Match

Methods

showsPrec :: Int -> VE -> ShowS

show :: VE -> String

showList :: [VE] -> ShowS

ToJSON VE

Defined in Aeson.Match.QQ.Internal.Match

Methods

toJSON :: VE -> Value

toEncoding :: VE -> Encoding

toJSONList :: [VE] -> Value

toEncodingList :: [VE] -> Encoding

data MissingPathElem

Constructors

MkMissingPathElem

Fields

• path :: Path
• missing :: PathElem

Instances

Eq MissingPathElem

Defined in Aeson.Match.QQ.Internal.Match

Methods

(==) :: MissingPathElem -> MissingPathElem -> Bool

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

Show MissingPathElem

Defined in Aeson.Match.QQ.Internal.Match

Methods

showsPrec :: Int -> MissingPathElem -> ShowS

show :: MissingPathElem -> String

showList :: [MissingPathElem] -> ShowS

ToJSON MissingPathElem

Defined in Aeson.Match.QQ.Internal.Match

Methods

toJSON :: MissingPathElem -> Value

toEncoding :: MissingPathElem -> Encoding

toJSONList :: [MissingPathElem] -> Value

toEncodingList :: [MissingPathElem] -> Encoding

data Mismatch

Constructors

MkMismatch

Fields

• path :: Path
• matcher :: Value Value
• given :: Value

Instances

Eq Mismatch

Defined in Aeson.Match.QQ.Internal.Match

Methods

(==) :: Mismatch -> Mismatch -> Bool

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

Show Mismatch

Defined in Aeson.Match.QQ.Internal.Match

Methods

showsPrec :: Int -> Mismatch -> ShowS

show :: Mismatch -> String

showList :: [Mismatch] -> ShowS

ToJSON Mismatch

Defined in Aeson.Match.QQ.Internal.Match

Methods

toJSON :: Mismatch -> Value

toEncoding :: Mismatch -> Encoding

toJSONList :: [Mismatch] -> Value

toEncodingList :: [Mismatch] -> Encoding

data ExtraArrayValues

Constructors

MkExtraArrayValues

Fields

• path :: Path
• values :: Vector Value

Instances

Eq ExtraArrayValues

Defined in Aeson.Match.QQ.Internal.Match

Methods

(==) :: ExtraArrayValues -> ExtraArrayValues -> Bool

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

Show ExtraArrayValues

Defined in Aeson.Match.QQ.Internal.Match

Methods

showsPrec :: Int -> ExtraArrayValues -> ShowS

show :: ExtraArrayValues -> String

showList :: [ExtraArrayValues] -> ShowS

ToJSON ExtraArrayValues

Defined in Aeson.Match.QQ.Internal.Match

Methods

toJSON :: ExtraArrayValues -> Value

toEncoding :: ExtraArrayValues -> Encoding

toJSONList :: [ExtraArrayValues] -> Value

toEncodingList :: [ExtraArrayValues] -> Encoding

data ExtraObjectValues

Constructors

MkExtraObjectValues

Fields

• path :: Path
• values :: HashMap Text Value

Instances

Eq ExtraObjectValues

Defined in Aeson.Match.QQ.Internal.Match

Methods

(==) :: ExtraObjectValues -> ExtraObjectValues -> Bool

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

Show ExtraObjectValues

Defined in Aeson.Match.QQ.Internal.Match

Methods

showsPrec :: Int -> ExtraObjectValues -> ShowS

show :: ExtraObjectValues -> String

showList :: [ExtraObjectValues] -> ShowS

ToJSON ExtraObjectValues

Defined in Aeson.Match.QQ.Internal.Match

Methods

toJSON :: ExtraObjectValues -> Value

toEncoding :: ExtraObjectValues -> Encoding

toJSONList :: [ExtraObjectValues] -> Value

toEncodingList :: [ExtraObjectValues] -> Encoding

type Path = [PathElem]

data PathElem

Constructors

Key Text

Idx Int

Instances

Eq PathElem

Defined in Aeson.Match.QQ.Internal.Match

Methods

(==) :: PathElem -> PathElem -> Bool

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

Show PathElem

Defined in Aeson.Match.QQ.Internal.Match

Methods

showsPrec :: Int -> PathElem -> ShowS

show :: PathElem -> String

showList :: [PathElem] -> ShowS

IsString PathElem

Defined in Aeson.Match.QQ.Internal.Match

Methods

fromString :: String -> PathElem

ToJSON PathElem

Defined in Aeson.Match.QQ.Internal.Match

Methods

toJSON :: PathElem -> Value

toEncoding :: PathElem -> Encoding

toJSONList :: [PathElem] -> Value

toEncodingList :: [PathElem] -> Encoding