Servant.Util.Combinators.Filtering.Server

Documentation

class AreFilteringParams (params :: [TyNamedFilter])

Application of filter params.

Minimal complete definition

parseFilteringParam

Instances

AreFilteringParams ('[] :: [TyNamedFilter])

Defined in Servant.Util.Combinators.Filtering.Server

Methods

parseFilteringParam :: Text -> Text -> Maybe (Either Text $ SomeFilter '[])

(FromHttpApiData ty, Buildable ty, Typeable ty, KnownSymbol name, AreFilteringParams params) => AreFilteringParams ('TyNamedParam name ('ManualFilter ty) ': params)

Defined in Servant.Util.Combinators.Filtering.Server

Methods

parseFilteringParam :: Text -> Text -> Maybe (Either Text $ SomeFilter ('TyNamedParam name ('ManualFilter ty) ': params))

(FromHttpApiData ty, Typeable ty, AreAutoFilters (SupportedFilters ty), KnownSymbol name, AreFilteringParams params) => AreFilteringParams ('TyNamedParam name ('AutoFilter ty) ': params)

Defined in Servant.Util.Combinators.Filtering.Server

Methods

parseFilteringParam :: Text -> Text -> Maybe (Either Text $ SomeFilter ('TyNamedParam name ('AutoFilter ty) ': params))

Orphan instances

(HasServer subApi ctx, AreFilteringParams params) => HasServer (FilteringParams params :> subApi :: Type) ctx

Associated Types

type ServerT (FilteringParams params :> subApi) m

Methods

route :: Proxy (FilteringParams params :> subApi) -> Context ctx -> Delayed env (Server (FilteringParams params :> subApi)) -> Router env

hoistServerWithContext :: Proxy (FilteringParams params :> subApi) -> Proxy ctx -> (forall x. m x -> n x) -> ServerT (FilteringParams params :> subApi) m -> ServerT (FilteringParams params :> subApi) n