Aeson.Match.QQ

Documentation

data Value ext

Constructors

Any (Maybe Text)

Null

Bool Bool

Number Scientific

String Text

Array (Array ext)

Object (Object ext)

Ext ext

Instances

Eq ext => Eq (Value ext)

Defined in Aeson.Match.QQ.Internal.Value

Methods

(==) :: Value ext -> Value ext -> Bool

(/=) :: Value ext -> Value ext -> Bool

Show ext => Show (Value ext)

Defined in Aeson.Match.QQ.Internal.Value

Methods

showsPrec :: Int -> Value ext -> ShowS

show :: Value ext -> String

showList :: [Value ext] -> ShowS

ext ~ Exp => Lift (Value ext)

Convert `Value Exp` to `Value Aeson.Value`. This uses a roundabout way to get Value from toEncoding to avoid calling toJSON which may be undefined for some datatypes.

Defined in Aeson.Match.QQ.Internal.Value

Methods

lift :: Value ext -> Q Exp

ToJSON ext => ToJSON (Value ext)

Defined in Aeson.Match.QQ.Internal.Value

Methods

toJSON :: Value ext -> Value0

toEncoding :: Value ext -> Encoding

toJSONList :: [Value ext] -> Value0

toEncodingList :: [Value ext] -> Encoding

type Array ext = Box (Vector (Value ext))

type Object ext = Box (HashMap Text (Value ext))

data Box a

Constructors

Box

Fields

• knownValues :: a
• extendable :: Bool

Instances

Eq a => Eq (Box a)

Defined in Aeson.Match.QQ.Internal.Value

Methods

(==) :: Box a -> Box a -> Bool

(/=) :: Box a -> Box a -> Bool

Show a => Show (Box a)

Defined in Aeson.Match.QQ.Internal.Value

Methods

showsPrec :: Int -> Box a -> ShowS

show :: Box a -> String

showList :: [Box a] -> ShowS

ToJSON a => ToJSON (Box a)

Defined in Aeson.Match.QQ.Internal.Value

Methods

toJSON :: Box a -> Value

toEncoding :: Box a -> Encoding

toJSONList :: [Box a] -> Value

toEncodingList :: [Box a] -> 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

parse :: ByteString -> Either String (Value Exp)

qq :: QuasiQuoter

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

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