Safe Haskell	None
Language	Haskell2010

Aeson.Match.QQ.Internal.Match

Documentation

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

holeTypeMatch :: TypeSig -> Value -> Bool Source #

matchArrayUO :: Validation (NonEmpty VE) (HashMap Text Value) -> Path -> Box (Vector (Value Value)) -> Vector Value -> Validation (NonEmpty VE) (HashMap Text Value) Source #

newtype I Source #

Constructors

I
Fields unI :: (Int, HashMap Text Value)

Instances

Instances details

Eq I Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: I -> I -> Bool # (/=) :: I -> I -> Bool #
Ord I Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods compare :: I -> I -> Ordering # (<) :: I -> I -> Bool # (<=) :: I -> I -> Bool # (>) :: I -> I -> Bool # (>=) :: I -> I -> Bool # max :: I -> I -> I # min :: I -> I -> I #

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

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

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

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

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

data VE Source #

Constructors

Mismatch Mismatch
MissingPathElem MissingPathElem
ExtraArrayValues ExtraArrayValues
ExtraObjectValues ExtraObjectValues

Instances

Instances details

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

data MissingPathElem Source #

Constructors

MkMissingPathElem
Fields path :: Path missing :: PathElem

Instances

Instances details

Eq MissingPathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: MissingPathElem -> MissingPathElem -> Bool # (/=) :: MissingPathElem -> MissingPathElem -> Bool #
Show MissingPathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> MissingPathElem -> ShowS # show :: MissingPathElem -> String # showList :: [MissingPathElem] -> ShowS #
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 #

data Mismatch Source #

Constructors

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

Instances

Instances details

Eq Mismatch Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: Mismatch -> Mismatch -> Bool # (/=) :: Mismatch -> Mismatch -> Bool #
Show Mismatch Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> Mismatch -> ShowS # show :: Mismatch -> String # showList :: [Mismatch] -> ShowS #
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 #

data ExtraArrayValues Source #

Constructors

MkExtraArrayValues
Fields path :: Path values :: Vector Value

Instances

Instances details

Eq ExtraArrayValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: ExtraArrayValues -> ExtraArrayValues -> Bool # (/=) :: ExtraArrayValues -> ExtraArrayValues -> Bool #
Show ExtraArrayValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> ExtraArrayValues -> ShowS # show :: ExtraArrayValues -> String # showList :: [ExtraArrayValues] -> ShowS #
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 #

data ExtraObjectValues Source #

Constructors

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

Instances

Instances details

Eq ExtraObjectValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: ExtraObjectValues -> ExtraObjectValues -> Bool # (/=) :: ExtraObjectValues -> ExtraObjectValues -> Bool #
Show ExtraObjectValues Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> ExtraObjectValues -> ShowS # show :: ExtraObjectValues -> String # showList :: [ExtraObjectValues] -> ShowS #
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 #

type Path = [PathElem] Source #

data PathElem Source #

Constructors

Key Text
Idx Int

Instances

Instances details

Eq PathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods (==) :: PathElem -> PathElem -> Bool # (/=) :: PathElem -> PathElem -> Bool #
Show PathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods showsPrec :: Int -> PathElem -> ShowS # show :: PathElem -> String # showList :: [PathElem] -> ShowS #
IsString PathElem Source #
Instance details Defined in Aeson.Match.QQ.Internal.Match Methods fromString :: String -> PathElem #
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 #

imapMaybe :: (Int -> a -> Maybe b) -> [a] -> [b] Source #