Codec.Winery.Query

Maintainer : Fumiaki Kinoshita [e-mail]

Building blocks for winery queries.

Documentation

newtype Query a b

Query is a transformation between Extractors. Like jq, this returns a list of values.

Constructors

Query

Fields

• runQuery :: Extractor [a] -> Extractor [b]

Instances

Functor (Query a)

Defined in Codec.Winery.Query

Methods

fmap :: (a0 -> b) -> Query a a0 -> Query a b

(<$) :: a0 -> Query a b -> Query a a0

Applicative (Query a)

Defined in Codec.Winery.Query

Methods

pure :: a0 -> Query a a0

(<*>) :: Query a (a0 -> b) -> Query a a0 -> Query a b

liftA2 :: (a0 -> b -> c) -> Query a a0 -> Query a b -> Query a c

(*>) :: Query a a0 -> Query a b -> Query a b

(<*) :: Query a a0 -> Query a b -> Query a a0

Alternative (Query a)

Defined in Codec.Winery.Query

Methods

empty :: Query a a0

(<|>) :: Query a a0 -> Query a a0 -> Query a a0

some :: Query a a0 -> Query a [a0]

many :: Query a a0 -> Query a [a0]

Category Query

Defined in Codec.Winery.Query

Methods

id :: Query a a

(.) :: Query b c -> Query a b -> Query a c

invalid :: WineryException -> Query a b

Throw an error.

list :: Typeable a => Query a a

Takes a list and traverses on it.

range :: Typeable a => Int -> Int -> Query a a

Takes a list and enumerates elements in the specified range. Like Python's array slicing, negative numbers counts from the last element.

field :: Typeable a => Text -> Query a a

Takes a record and extracts the specified field.

con :: Typeable a => Text -> Query a a

Takes a variant and returns a value when the constructor matches.

select :: Query a Bool -> Query a a

Propagate values if the supplied Query doesn't return False.