Safe Haskell	Safe-Inferred
Language	Haskell2010

Aeson.Match.QQ.Internal.Match

Synopsis

match :: Value Value -> Value -> Either (NonEmpty Error) (HashMap Text Value)
data Error
data Mismatch = MkMismatch {
- path :: Path
- matcher :: Value Value
- given :: Value
}
data MissingPathElem = MkMissingPathElem {
- path :: Path
- missing :: PathElem
}
data ExtraArrayValues = MkExtraArrayValues {
- path :: Path
- values :: Vector Value
}
data ExtraObjectValues = MkExtraObjectValues {
- path :: Path
- values :: HashMap Text Value
}
newtype Path = Path {
- unPath :: [PathElem]
}
data PathElem
- = Key Text
- | Idx Int

Documentation

match Source #

Arguments

:: Value Value	A matcher
-> Value	A `Value` from aeson
-> Either (NonEmpty Error) (HashMap Text Value)	Either a non-empty list of errors, or a mapping from _holes to their values.

Test if a matcher matches a Value.

data Error Source #

Constructors

Mismatch Mismatch
Mistype Mismatch
MissingPathElem MissingPathElem
ExtraArrayValues ExtraArrayValues
ExtraObjectValues ExtraObjectValues

Instances

Instances details

ToJSON Error Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods toJSON :: Error -> Value # toEncoding :: Error -> Encoding # toJSONList :: [Error] -> Value # toEncodingList :: [Error] -> Encoding #
Show Error Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> Error -> ShowS # show :: Error -> String # showList :: [Error] -> ShowS #
Eq Error Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: Error -> Error -> Bool # (/=) :: Error -> Error -> Bool #
Pretty Error Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods pPrintPrec :: PrettyLevel -> Rational -> Error -> Doc # pPrint :: Error -> Doc # pPrintList :: PrettyLevel -> [Error] -> Doc #

data Mismatch Source #

Constructors

MkMismatch
Fields path :: Path matcher :: Value Value given :: Value

Instances

Instances details

ToJSON Mismatch Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods toJSON :: Mismatch -> Value # toEncoding :: Mismatch -> Encoding # toJSONList :: [Mismatch] -> Value # toEncodingList :: [Mismatch] -> Encoding #
Show Mismatch Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> Mismatch -> ShowS # show :: Mismatch -> String # showList :: [Mismatch] -> ShowS #
Eq Mismatch Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: Mismatch -> Mismatch -> Bool # (/=) :: Mismatch -> Mismatch -> Bool #
Pretty Mismatch Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods pPrintPrec :: PrettyLevel -> Rational -> Mismatch -> Doc # pPrint :: Mismatch -> Doc # pPrintList :: PrettyLevel -> [Mismatch] -> Doc #

data MissingPathElem Source #

Constructors

MkMissingPathElem
Fields path :: Path missing :: PathElem

Instances

Instances details

ToJSON MissingPathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods toJSON :: MissingPathElem -> Value # toEncoding :: MissingPathElem -> Encoding # toJSONList :: [MissingPathElem] -> Value # toEncodingList :: [MissingPathElem] -> Encoding #
Show MissingPathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> MissingPathElem -> ShowS # show :: MissingPathElem -> String # showList :: [MissingPathElem] -> ShowS #
Eq MissingPathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: MissingPathElem -> MissingPathElem -> Bool # (/=) :: MissingPathElem -> MissingPathElem -> Bool #
Pretty MissingPathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods pPrintPrec :: PrettyLevel -> Rational -> MissingPathElem -> Doc # pPrint :: MissingPathElem -> Doc # pPrintList :: PrettyLevel -> [MissingPathElem] -> Doc #

data ExtraArrayValues Source #

Constructors

MkExtraArrayValues
Fields path :: Path values :: Vector Value

Instances

Instances details

ToJSON ExtraArrayValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods toJSON :: ExtraArrayValues -> Value # toEncoding :: ExtraArrayValues -> Encoding # toJSONList :: [ExtraArrayValues] -> Value # toEncodingList :: [ExtraArrayValues] -> Encoding #
Show ExtraArrayValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> ExtraArrayValues -> ShowS # show :: ExtraArrayValues -> String # showList :: [ExtraArrayValues] -> ShowS #
Eq ExtraArrayValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: ExtraArrayValues -> ExtraArrayValues -> Bool # (/=) :: ExtraArrayValues -> ExtraArrayValues -> Bool #
Pretty ExtraArrayValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods pPrintPrec :: PrettyLevel -> Rational -> ExtraArrayValues -> Doc # pPrint :: ExtraArrayValues -> Doc # pPrintList :: PrettyLevel -> [ExtraArrayValues] -> Doc #

data ExtraObjectValues Source #

Constructors

MkExtraObjectValues
Fields path :: Path values :: HashMap Text Value

Instances

Instances details

ToJSON ExtraObjectValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods toJSON :: ExtraObjectValues -> Value # toEncoding :: ExtraObjectValues -> Encoding # toJSONList :: [ExtraObjectValues] -> Value # toEncodingList :: [ExtraObjectValues] -> Encoding #
Show ExtraObjectValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> ExtraObjectValues -> ShowS # show :: ExtraObjectValues -> String # showList :: [ExtraObjectValues] -> ShowS #
Eq ExtraObjectValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: ExtraObjectValues -> ExtraObjectValues -> Bool # (/=) :: ExtraObjectValues -> ExtraObjectValues -> Bool #
Pretty ExtraObjectValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods pPrintPrec :: PrettyLevel -> Rational -> ExtraObjectValues -> Doc # pPrint :: ExtraObjectValues -> Doc # pPrintList :: PrettyLevel -> [ExtraObjectValues] -> Doc #

newtype Path Source #

Constructors

Path
Fields unPath :: [PathElem]

Instances

Instances details

ToJSON Path Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods toJSON :: Path -> Value # toEncoding :: Path -> Encoding # toJSONList :: [Path] -> Value # toEncodingList :: [Path] -> Encoding #
IsList Path Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Associated Types type Item Path # Methods fromList :: [Item Path] -> Path # fromListN :: Int -> [Item Path] -> Path # toList :: Path -> [Item Path] #
Show Path Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> Path -> ShowS # show :: Path -> String # showList :: [Path] -> ShowS #
Eq Path Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: Path -> Path -> Bool # (/=) :: Path -> Path -> Bool #
Pretty Path Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods pPrintPrec :: PrettyLevel -> Rational -> Path -> Doc # pPrint :: Path -> Doc # pPrintList :: PrettyLevel -> [Path] -> Doc #
type Item Path Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match type Item Path = Item [PathElem]

data PathElem Source #

Constructors

Key Text
Idx Int

Instances

Instances details

ToJSON PathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods toJSON :: PathElem -> Value # toEncoding :: PathElem -> Encoding # toJSONList :: [PathElem] -> Value # toEncodingList :: [PathElem] -> Encoding #
IsString PathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods fromString :: String -> PathElem #
Show PathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> PathElem -> ShowS # show :: PathElem -> String # showList :: [PathElem] -> ShowS #
Eq PathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: PathElem -> PathElem -> Bool # (/=) :: PathElem -> PathElem -> Bool #
Pretty PathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods pPrintPrec :: PrettyLevel -> Rational -> PathElem -> Doc # pPrint :: PathElem -> Doc # pPrintList :: PrettyLevel -> [PathElem] -> Doc #