Codec.Winery.Query

Description

Maintainer : Fumiaki Kinoshita fumiexcel@gmail.com

Building blocks for winery queries.

Synopsis

Documentation

newtype Query a b Source #

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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Codec.Winery.Query Methods id :: Query a a # (.) :: Query b c -> Query a b -> Query a c #

Throw an error.

Takes a list and traverses on it.

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

Takes a record and extracts the specified field.

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

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