Servant.Util.Combinators.Filtering.Getters

Filter getters.

Allows to get a value passed by user to a manual filter. Extracing auto filters is not allowed as soon as they are too complex to make anything useful with them anyway.

Documentation

manualFilterValue :: forall name params filter filterKind. (filterKind ~ LookupParam "filter" name (params :: [TyNamedFilter]), filter ~ UnManualFilter filterKind, Typeable filter, KnownSymbol name) => NameLabel name -> FilteringSpec params -> [filter]

Extract a value from manual filter.