metrics-wai-0.5.7: Metrics WAI integration
Safe HaskellSafe-Inferred
LanguageGHC2021

Data.Metrics.Servant

Description

Given a servant API type, this module gives you a Paths for withPathTemplate.

Synopsis

Documentation

servantPrometheusMiddleware :: forall proxy api. RoutesToPaths api => proxy api -> Middleware Source #

This does not catch errors, so it must be called outside of catchErrors.

routesToPaths :: forall routes. RoutesToPaths routes => Paths Source #

class RoutesToPaths routes where Source #

Instances

Instances details
RoutesToPaths EmptyAPI Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths Raw Source # 
Instance details

Defined in Data.Metrics.Servant

(RoutesToPaths route, RoutesToPaths routes) => RoutesToPaths (route :<|> routes :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths (NoContentVerb method :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

(KnownSymbol seg, RoutesToPaths segs) => RoutesToPaths (seg :> segs :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

(KnownSymbol capture, RoutesToPaths segs) => RoutesToPaths (Capture' mods capture a :> segs :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths rest => RoutesToPaths (Description desc :> rest :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths rest => RoutesToPaths (Summary summary :> rest :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths rest => RoutesToPaths (Header' mods name a :> rest :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths api => RoutesToPaths (QueryFlag a :> api :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths rest => RoutesToPaths (QueryParam' mods name a :> rest :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths rest => RoutesToPaths (ReqBody' mods cts a :> rest :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths rest => RoutesToPaths (StreamBody' opts framing ct a :> rest :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths rest => RoutesToPaths (MultipartForm tag a :> rest :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths (Verb method status cts a :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant

RoutesToPaths (Stream method status framing ct a :: Type) Source # 
Instance details

Defined in Data.Metrics.Servant