Copyright	(c) 2024-2025 Taimoor Zaeem
License	MIT
Maintainer	Taimoor Zaeem <[email protected]>
Stability	Experimental
Portability	Portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Aeson.JSONPath.Query.Types

Description

This module contains the data structures.

Synopsis

data Query = Query {
- queryType :: QueryType
- querySegments :: [QuerySegment]
}
data QueryType
- = Root
- | Current
data Segment
- = Bracketed [Selector]
- | Dotted Text
- | WildcardSegment
data QuerySegment = QuerySegment {
- segmentType :: SegmentType
- segment :: Segment
}
data SegmentType
- = Child
- | Descendant
data Selector
- = Name Text
- | Index Int
- | ArraySlice (Maybe Int, Maybe Int, Int)
- | Filter LogicalOrExpr
- | WildcardSelector
newtype LogicalOrExpr = LogicalOr [LogicalAndExpr]
newtype LogicalAndExpr = LogicalAnd [BasicExpr]
data BasicExpr
- = Paren LogicalOrExpr
- | NotParen LogicalOrExpr
- | Test TestExpr
- | NotTest TestExpr
- | Comparison ComparisonExpr
type TestExpr = Query
data ComparisonExpr = Comp Comparable ComparisonOp Comparable
data ComparisonOp
- = Less
- | LessOrEqual
- | Greater
- | GreaterOrEqual
- | Equal
- | NotEqual
data Comparable
- = CompLitString Text
- | CompLitNum Scientific
- | CompLitBool Bool
- | CompLitNull
- | CompSQ SingularQuery
data SingularQuery = SingularQuery {
- singularQueryType :: SingularQueryType
- singularQuerySegments :: [SingularQuerySegment]
}
data SingularQueryType
- = RootSQ
- | CurrentSQ
data SingularQuerySegment
- = NameSQSeg Text
- | IndexSQSeg Int

Documentation

data Query Source #

Constructors

Query
Fields queryType :: QueryType querySegments :: [QuerySegment]

Instances

Instances details

Queryable Query Source #
Instance details Defined in Data.Aeson.JSONPath.Query Methods query' :: Query -> Value -> Value -> Vector Value Source # queryLocated' :: Query -> Value -> Value -> String -> Vector (String, Value) Source #
Show Query Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> Query -> ShowS # show :: Query -> String # showList :: [Query] -> ShowS #
Eq Query Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: Query -> Query -> Bool # (/=) :: Query -> Query -> Bool #
Lift Query Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => Query -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Query -> Code m Query #

data QueryType Source #

Constructors

Root
Current

Instances

Instances details

Show QueryType Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> QueryType -> ShowS # show :: QueryType -> String # showList :: [QueryType] -> ShowS #
Eq QueryType Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: QueryType -> QueryType -> Bool # (/=) :: QueryType -> QueryType -> Bool #
Lift QueryType Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => QueryType -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => QueryType -> Code m QueryType #

data Segment Source #

Constructors

Bracketed [Selector]
Dotted Text
WildcardSegment

Instances

Instances details

Queryable Segment Source #
Instance details Defined in Data.Aeson.JSONPath.Query Methods query' :: Segment -> Value -> Value -> Vector Value Source # queryLocated' :: Segment -> Value -> Value -> String -> Vector (String, Value) Source #
Show Segment Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> Segment -> ShowS # show :: Segment -> String # showList :: [Segment] -> ShowS #
Eq Segment Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: Segment -> Segment -> Bool # (/=) :: Segment -> Segment -> Bool #
Lift Segment Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => Segment -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Segment -> Code m Segment #

data QuerySegment Source #

Constructors

QuerySegment
Fields segmentType :: SegmentType segment :: Segment

Instances

Instances details

Queryable QuerySegment Source #
Instance details Defined in Data.Aeson.JSONPath.Query Methods query' :: QuerySegment -> Value -> Value -> Vector Value Source # queryLocated' :: QuerySegment -> Value -> Value -> String -> Vector (String, Value) Source #
Show QuerySegment Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> QuerySegment -> ShowS # show :: QuerySegment -> String # showList :: [QuerySegment] -> ShowS #
Eq QuerySegment Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: QuerySegment -> QuerySegment -> Bool # (/=) :: QuerySegment -> QuerySegment -> Bool #
Lift QuerySegment Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => QuerySegment -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => QuerySegment -> Code m QuerySegment #

data SegmentType Source #

Constructors

Child
Descendant

Instances

Instances details

Show SegmentType Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> SegmentType -> ShowS # show :: SegmentType -> String # showList :: [SegmentType] -> ShowS #
Eq SegmentType Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: SegmentType -> SegmentType -> Bool # (/=) :: SegmentType -> SegmentType -> Bool #
Lift SegmentType Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => SegmentType -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SegmentType -> Code m SegmentType #

data Selector Source #

Constructors

Name Text
Index Int
ArraySlice (Maybe Int, Maybe Int, Int)
Filter LogicalOrExpr
WildcardSelector

Instances

Instances details

Queryable Selector Source #
Instance details Defined in Data.Aeson.JSONPath.Query Methods query' :: Selector -> Value -> Value -> Vector Value Source # queryLocated' :: Selector -> Value -> Value -> String -> Vector (String, Value) Source #
Show Selector Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> Selector -> ShowS # show :: Selector -> String # showList :: [Selector] -> ShowS #
Eq Selector Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: Selector -> Selector -> Bool # (/=) :: Selector -> Selector -> Bool #
Lift Selector Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => Selector -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Selector -> Code m Selector #

newtype LogicalOrExpr Source #

Constructors

LogicalOr [LogicalAndExpr]

Instances

Instances details

Show LogicalOrExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> LogicalOrExpr -> ShowS # show :: LogicalOrExpr -> String # showList :: [LogicalOrExpr] -> ShowS #
Eq LogicalOrExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: LogicalOrExpr -> LogicalOrExpr -> Bool # (/=) :: LogicalOrExpr -> LogicalOrExpr -> Bool #
Lift LogicalOrExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => LogicalOrExpr -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => LogicalOrExpr -> Code m LogicalOrExpr #

newtype LogicalAndExpr Source #

Constructors

LogicalAnd [BasicExpr]

Instances

Instances details

Show LogicalAndExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> LogicalAndExpr -> ShowS # show :: LogicalAndExpr -> String # showList :: [LogicalAndExpr] -> ShowS #
Eq LogicalAndExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: LogicalAndExpr -> LogicalAndExpr -> Bool # (/=) :: LogicalAndExpr -> LogicalAndExpr -> Bool #
Lift LogicalAndExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => LogicalAndExpr -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => LogicalAndExpr -> Code m LogicalAndExpr #

data BasicExpr Source #

Constructors

Paren LogicalOrExpr
NotParen LogicalOrExpr
Test TestExpr
NotTest TestExpr
Comparison ComparisonExpr

Instances

Instances details

Show BasicExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> BasicExpr -> ShowS # show :: BasicExpr -> String # showList :: [BasicExpr] -> ShowS #
Eq BasicExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: BasicExpr -> BasicExpr -> Bool # (/=) :: BasicExpr -> BasicExpr -> Bool #
Lift BasicExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => BasicExpr -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => BasicExpr -> Code m BasicExpr #

type TestExpr = Query Source #

data ComparisonExpr Source #

Constructors

Comp Comparable ComparisonOp Comparable

Instances

Instances details

Show ComparisonExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> ComparisonExpr -> ShowS # show :: ComparisonExpr -> String # showList :: [ComparisonExpr] -> ShowS #
Eq ComparisonExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: ComparisonExpr -> ComparisonExpr -> Bool # (/=) :: ComparisonExpr -> ComparisonExpr -> Bool #
Lift ComparisonExpr Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => ComparisonExpr -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ComparisonExpr -> Code m ComparisonExpr #

data ComparisonOp Source #

Constructors

Less
LessOrEqual
Greater
GreaterOrEqual
Equal
NotEqual

Instances

Instances details

Show ComparisonOp Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> ComparisonOp -> ShowS # show :: ComparisonOp -> String # showList :: [ComparisonOp] -> ShowS #
Eq ComparisonOp Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: ComparisonOp -> ComparisonOp -> Bool # (/=) :: ComparisonOp -> ComparisonOp -> Bool #
Lift ComparisonOp Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => ComparisonOp -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ComparisonOp -> Code m ComparisonOp #

data Comparable Source #

Constructors

CompLitString Text
CompLitNum Scientific
CompLitBool Bool
CompLitNull
CompSQ SingularQuery

Instances

Instances details

Show Comparable Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> Comparable -> ShowS # show :: Comparable -> String # showList :: [Comparable] -> ShowS #
Eq Comparable Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: Comparable -> Comparable -> Bool # (/=) :: Comparable -> Comparable -> Bool #
Lift Comparable Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => Comparable -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Comparable -> Code m Comparable #

data SingularQuery Source #

Constructors

SingularQuery
Fields singularQueryType :: SingularQueryType singularQuerySegments :: [SingularQuerySegment]

Instances

Instances details

Show SingularQuery Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> SingularQuery -> ShowS # show :: SingularQuery -> String # showList :: [SingularQuery] -> ShowS #
Eq SingularQuery Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: SingularQuery -> SingularQuery -> Bool # (/=) :: SingularQuery -> SingularQuery -> Bool #
Lift SingularQuery Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => SingularQuery -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SingularQuery -> Code m SingularQuery #

data SingularQueryType Source #

Constructors

RootSQ
CurrentSQ

Instances

Instances details

Show SingularQueryType Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> SingularQueryType -> ShowS # show :: SingularQueryType -> String # showList :: [SingularQueryType] -> ShowS #
Eq SingularQueryType Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: SingularQueryType -> SingularQueryType -> Bool # (/=) :: SingularQueryType -> SingularQueryType -> Bool #
Lift SingularQueryType Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => SingularQueryType -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SingularQueryType -> Code m SingularQueryType #

data SingularQuerySegment Source #

Constructors

NameSQSeg Text
IndexSQSeg Int

Instances

Instances details

Show SingularQuerySegment Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods showsPrec :: Int -> SingularQuerySegment -> ShowS # show :: SingularQuerySegment -> String # showList :: [SingularQuerySegment] -> ShowS #
Eq SingularQuerySegment Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods (==) :: SingularQuerySegment -> SingularQuerySegment -> Bool # (/=) :: SingularQuerySegment -> SingularQuerySegment -> Bool #
Lift SingularQuerySegment Source #
Instance details Defined in Data.Aeson.JSONPath.Query.Types Methods lift :: Quote m => SingularQuerySegment -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SingularQuerySegment -> Code m SingularQuerySegment #