Aeson.Match.QQ

Documentation

data Value ext

Constructors

Any (Maybe TypeSig) (Maybe Text)

Null

Bool Bool

Number Scientific

String Text

Array (Array ext)

Object (Object ext)

Ext ext

Instances

ext ~ Exp => Lift (Value ext :: Type)

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

liftTyped :: Value ext -> Q (TExp (Value ext))

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

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

data TypeSig

Constructors

TypeSig

Fields

• type_ :: Type
• nullable :: Nullable

Instances

Eq TypeSig

Defined in Aeson.Match.QQ.Internal.Value

Methods

(==) :: TypeSig -> TypeSig -> Bool

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

Show TypeSig

Defined in Aeson.Match.QQ.Internal.Value

Methods

showsPrec :: Int -> TypeSig -> ShowS

show :: TypeSig -> String

showList :: [TypeSig] -> ShowS

ToJSON TypeSig

Defined in Aeson.Match.QQ.Internal.Value

Methods

toJSON :: TypeSig -> Value

toEncoding :: TypeSig -> Encoding

toJSONList :: [TypeSig] -> Value

toEncodingList :: [TypeSig] -> Encoding

Lift TypeSig

Defined in Aeson.Match.QQ.Internal.Value

Methods

lift :: TypeSig -> Q Exp

liftTyped :: TypeSig -> Q (TExp TypeSig)

data Type

Constructors

BoolT

NumberT

StringT

ArrayT

ObjectT

Instances

Eq Type

Defined in Aeson.Match.QQ.Internal.Value

Methods

(==) :: Type -> Type -> Bool

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

Show Type

Defined in Aeson.Match.QQ.Internal.Value

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

ToJSON Type

Defined in Aeson.Match.QQ.Internal.Value

Methods

toJSON :: Type -> Value

toEncoding :: Type -> Encoding

toJSONList :: [Type] -> Value

toEncodingList :: [Type] -> Encoding

Lift Type

Defined in Aeson.Match.QQ.Internal.Value

Methods

lift :: Type -> Q Exp

liftTyped :: Type -> Q (TExp Type)

data Nullable

Constructors

Nullable

NonNullable

Instances

Eq Nullable

Defined in Aeson.Match.QQ.Internal.Value

Methods

(==) :: Nullable -> Nullable -> Bool

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

Show Nullable

Defined in Aeson.Match.QQ.Internal.Value

Methods

showsPrec :: Int -> Nullable -> ShowS

show :: Nullable -> String

showList :: [Nullable] -> ShowS

ToJSON Nullable

Defined in Aeson.Match.QQ.Internal.Value

Methods

toJSON :: Nullable -> Value

toEncoding :: Nullable -> Encoding

toJSONList :: [Nullable] -> Value

toEncodingList :: [Nullable] -> Encoding

Lift Nullable

Defined in Aeson.Match.QQ.Internal.Value

Methods

lift :: Nullable -> Q Exp

liftTyped :: Nullable -> Q (TExp Nullable)

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