Data.Aeson.JSONPath.Query.Types

This module contains the data structures.

Documentation

data Query

Constructors

Query

Fields

• queryType :: QueryType
• querySegments :: [QuerySegment]

Instances

Queryable Query

Defined in Data.Aeson.JSONPath.Query

Methods

query' :: Query -> Value -> Value -> Vector Value

queryLocated' :: Query -> Value -> Value -> String -> Vector (String, Value)

Show Query

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> Query -> ShowS

show :: Query -> String

showList :: [Query] -> ShowS

Eq Query

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: Query -> Query -> Bool

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

Lift Query

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

Constructors

Root

Current

Instances

Show QueryType

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> QueryType -> ShowS

show :: QueryType -> String

showList :: [QueryType] -> ShowS

Eq QueryType

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: QueryType -> QueryType -> Bool

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

Lift QueryType

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

Constructors

Bracketed [Selector]

Dotted Text

WildcardSegment

Instances

Queryable Segment

Defined in Data.Aeson.JSONPath.Query

Methods

query' :: Segment -> Value -> Value -> Vector Value

queryLocated' :: Segment -> Value -> Value -> String -> Vector (String, Value)

Show Segment

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> Segment -> ShowS

show :: Segment -> String

showList :: [Segment] -> ShowS

Eq Segment

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: Segment -> Segment -> Bool

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

Lift Segment

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

Constructors

QuerySegment

Fields

• segmentType :: SegmentType
• segment :: Segment

Instances

Queryable QuerySegment

Defined in Data.Aeson.JSONPath.Query

Methods

query' :: QuerySegment -> Value -> Value -> Vector Value

queryLocated' :: QuerySegment -> Value -> Value -> String -> Vector (String, Value)

Show QuerySegment

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> QuerySegment -> ShowS

show :: QuerySegment -> String

showList :: [QuerySegment] -> ShowS

Eq QuerySegment

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: QuerySegment -> QuerySegment -> Bool

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

Lift QuerySegment

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

Constructors

Child

Descendant

Instances

Show SegmentType

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> SegmentType -> ShowS

show :: SegmentType -> String

showList :: [SegmentType] -> ShowS

Eq SegmentType

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: SegmentType -> SegmentType -> Bool

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

Lift SegmentType

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

Constructors

Name Text

Index Int

ArraySlice (Maybe Int, Maybe Int, Int)

Filter LogicalOrExpr

WildcardSelector

Instances

Queryable Selector

Defined in Data.Aeson.JSONPath.Query

Methods

query' :: Selector -> Value -> Value -> Vector Value

queryLocated' :: Selector -> Value -> Value -> String -> Vector (String, Value)

Show Selector

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> Selector -> ShowS

show :: Selector -> String

showList :: [Selector] -> ShowS

Eq Selector

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: Selector -> Selector -> Bool

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

Lift Selector

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

Constructors

LogicalOr [LogicalAndExpr]

Instances

Show LogicalOrExpr

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> LogicalOrExpr -> ShowS

show :: LogicalOrExpr -> String

showList :: [LogicalOrExpr] -> ShowS

Eq LogicalOrExpr

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: LogicalOrExpr -> LogicalOrExpr -> Bool

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

Lift LogicalOrExpr

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

Constructors

LogicalAnd [BasicExpr]

Instances

Show LogicalAndExpr

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> LogicalAndExpr -> ShowS

show :: LogicalAndExpr -> String

showList :: [LogicalAndExpr] -> ShowS

Eq LogicalAndExpr

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: LogicalAndExpr -> LogicalAndExpr -> Bool

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

Lift LogicalAndExpr

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

Constructors

Paren LogicalOrExpr

NotParen LogicalOrExpr

Test TestExpr

NotTest TestExpr

Comparison ComparisonExpr

Instances

Show BasicExpr

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> BasicExpr -> ShowS

show :: BasicExpr -> String

showList :: [BasicExpr] -> ShowS

Eq BasicExpr

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: BasicExpr -> BasicExpr -> Bool

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

Lift BasicExpr

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

data ComparisonExpr

Constructors

Comp Comparable ComparisonOp Comparable

Instances

Show ComparisonExpr

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> ComparisonExpr -> ShowS

show :: ComparisonExpr -> String

showList :: [ComparisonExpr] -> ShowS

Eq ComparisonExpr

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: ComparisonExpr -> ComparisonExpr -> Bool

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

Lift ComparisonExpr

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

Constructors

Less

LessOrEqual

Greater

GreaterOrEqual

Equal

NotEqual

Instances

Show ComparisonOp

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> ComparisonOp -> ShowS

show :: ComparisonOp -> String

showList :: [ComparisonOp] -> ShowS

Eq ComparisonOp

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: ComparisonOp -> ComparisonOp -> Bool

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

Lift ComparisonOp

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

Constructors

CompLitString Text

CompLitNum Scientific

CompLitBool Bool

CompLitNull

CompSQ SingularQuery

Instances

Show Comparable

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> Comparable -> ShowS

show :: Comparable -> String

showList :: [Comparable] -> ShowS

Eq Comparable

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: Comparable -> Comparable -> Bool

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

Lift Comparable

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

Constructors

SingularQuery

Fields

• singularQueryType :: SingularQueryType
• singularQuerySegments :: [SingularQuerySegment]

Instances

Show SingularQuery

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> SingularQuery -> ShowS

show :: SingularQuery -> String

showList :: [SingularQuery] -> ShowS

Eq SingularQuery

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: SingularQuery -> SingularQuery -> Bool

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

Lift SingularQuery

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

Constructors

RootSQ

CurrentSQ

Instances

Show SingularQueryType

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> SingularQueryType -> ShowS

show :: SingularQueryType -> String

showList :: [SingularQueryType] -> ShowS

Eq SingularQueryType

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: SingularQueryType -> SingularQueryType -> Bool

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

Lift SingularQueryType

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

Constructors

NameSQSeg Text

IndexSQSeg Int

Instances

Show SingularQuerySegment

Defined in Data.Aeson.JSONPath.Query.Types

Methods

showsPrec :: Int -> SingularQuerySegment -> ShowS

show :: SingularQuerySegment -> String

showList :: [SingularQuerySegment] -> ShowS

Eq SingularQuerySegment

Defined in Data.Aeson.JSONPath.Query.Types

Methods

(==) :: SingularQuerySegment -> SingularQuerySegment -> Bool

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

Lift SingularQuerySegment

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