Aeson.Match.QQ.Internal.Value

Documentation

data Matcher ext

A value constructed using qq that attempts to match a JSON document.

Constructors

Hole (Maybe HoleSig) (Maybe Text)

Optionally typed, optionally named _hole. If a type is provided, the _hole only matches those values that have that type. If a name is provided, the matched value is returned to the user.

Null

Bool Bool

Number Scientific

String Text

StringCI (CI Text)

Case-insensitive strings

Array (Array ext)

ArrayUO (Array ext)

Unordered arrays

Object (Object ext)

Ext ext

External values spliced into a Matcher using the `#{}` syntax

Instances

Functor Matcher

Defined in Aeson.Match.QQ.Internal.Value

Methods

fmap :: (a -> b) -> Matcher a -> Matcher b

(<$) :: a -> Matcher b -> Matcher a

ToJSON ext => ToJSON (Matcher ext)

Defined in Aeson.Match.QQ.Internal.Value

Methods

toJSON :: Matcher ext -> Value

toEncoding :: Matcher ext -> Encoding

toJSONList :: [Matcher ext] -> Value

toEncodingList :: [Matcher ext] -> Encoding

Show ext => Show (Matcher ext)

Defined in Aeson.Match.QQ.Internal.Value

Methods

showsPrec :: Int -> Matcher ext -> ShowS

show :: Matcher ext -> String

showList :: [Matcher ext] -> ShowS

Eq ext => Eq (Matcher ext)

Defined in Aeson.Match.QQ.Internal.Value

Methods

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

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

data Box a

A wrapper for those matchers that support the ... syntax.

Constructors

Box

Fields

• values :: a
• extra :: Bool

  Are extra, not specifically mentioned by a Matcher, values allowed in a Value?

Instances

Functor Box

Defined in Aeson.Match.QQ.Internal.Value

Methods

fmap :: (a -> b) -> Box a -> Box b

(<$) :: a -> Box b -> Box a

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

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

Eq a => Eq (Box a)

Defined in Aeson.Match.QQ.Internal.Value

Methods

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

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

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

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

data HoleSig

_hole type signature

Constructors

HoleSig

Fields

• type_ :: Type
• nullable :: Bool

Instances

ToJSON HoleSig

Defined in Aeson.Match.QQ.Internal.Value

Methods

toJSON :: HoleSig -> Value

toEncoding :: HoleSig -> Encoding

toJSONList :: [HoleSig] -> Value

toEncodingList :: [HoleSig] -> Encoding

Show HoleSig

Defined in Aeson.Match.QQ.Internal.Value

Methods

showsPrec :: Int -> HoleSig -> ShowS

show :: HoleSig -> String

showList :: [HoleSig] -> ShowS

Eq HoleSig

Defined in Aeson.Match.QQ.Internal.Value

Methods

(==) :: HoleSig -> HoleSig -> Bool

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

Lift HoleSig

Defined in Aeson.Match.QQ.Internal.Value

Methods

lift :: Quote m => HoleSig -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => HoleSig -> Code m HoleSig

data Type

_hole type

Constructors

BoolT

_ : bool

NumberT

_ : number

StringT

_ : string

StringCIT

_ : ci-string

ArrayT

_ : array

ArrayUOT

_ : unordered-array

ObjectT

_ : object

Instances

ToJSON Type

Defined in Aeson.Match.QQ.Internal.Value

Methods

toJSON :: Type -> Value

toEncoding :: Type -> Encoding

toJSONList :: [Type] -> Value

toEncodingList :: [Type] -> Encoding

Show Type

Defined in Aeson.Match.QQ.Internal.Value

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Eq Type

Defined in Aeson.Match.QQ.Internal.Value

Methods

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

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

Pretty Type

Defined in Aeson.Match.QQ.Internal.Value

Methods

pPrintPrec :: PrettyLevel -> Rational -> Type -> Doc

pPrint :: Type -> Doc

pPrintList :: PrettyLevel -> [Type] -> Doc

Lift Type

Defined in Aeson.Match.QQ.Internal.Value

Methods

lift :: Quote m => Type -> m Exp

liftTyped :: forall (m :: Type0 -> Type0). Quote m => Type -> Code m Type

embed :: Value -> Matcher ext

quote :: Matcher Exp -> Q Exp

It may be tempting to make this the Lift instance for Matcher, but I don't think it would be correct. We can get a lot from re-using Lift machinery: namely, we can cpmpletely bypass manual Exp construction. But, fundamentally, Lift is for "serializing" Haskell values and it is not what we are attempting here.