Safe Haskell	None
Language	Haskell2010

Servant.Ekg

Documentation

class HasEndpoint a where Source #

Methods

getEndpoint :: Proxy a -> Request -> Maybe APIEndpoint Source #

enumerateEndpoints :: Proxy a -> [APIEndpoint] Source #

Instances

HasEndpoint Raw Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy Raw -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy Raw -> [APIEndpoint] Source #
HasEndpoint EmptyAPI Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy EmptyAPI -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy EmptyAPI -> [APIEndpoint] Source #
(HasEndpoint a, HasEndpoint b) => HasEndpoint (a :<\|> b :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (a :<\|> b) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (a :<\|> b) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (WithNamedContext x y sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (WithNamedContext x y sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (WithNamedContext x y sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (HttpVersion :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (HttpVersion :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (HttpVersion :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (StreamBody' mods framing ct a :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (StreamBody' mods framing ct a :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (StreamBody' mods framing ct a :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (ReqBody' mods cts a :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (ReqBody' mods cts a :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (ReqBody' mods cts a :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (RemoteHost :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (RemoteHost :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (RemoteHost :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (QueryParam' mods h a :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (QueryParam' mods h a :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (QueryParam' mods h a :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (QueryParams h a :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (QueryParams h a :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (QueryParams h a :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (QueryFlag h :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (QueryFlag h :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (QueryFlag h :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (Header' mods h a :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (Header' mods h a :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (Header' mods h a :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (IsSecure :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (IsSecure :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (IsSecure :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (Summary d :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (Summary d :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (Summary d :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (Description d :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (Description d :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (Description d :> sub) -> [APIEndpoint] Source #
(KnownSymbol capture, HasEndpoint sub) => HasEndpoint (Capture' mods capture a :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (Capture' mods capture a :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (Capture' mods capture a :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (CaptureAll h a :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (CaptureAll h a :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (CaptureAll h a :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (BasicAuth realm a :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (BasicAuth realm a :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (BasicAuth realm a :> sub) -> [APIEndpoint] Source #
HasEndpoint sub => HasEndpoint (Vault :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (Vault :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (Vault :> sub) -> [APIEndpoint] Source #
(KnownSymbol path, HasEndpoint sub) => HasEndpoint (path :> sub :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (path :> sub) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (path :> sub) -> [APIEndpoint] Source #
ReflectMethod method => HasEndpoint (Verb method status cts a :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (Verb method status cts a) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (Verb method status cts a) -> [APIEndpoint] Source #
ReflectMethod method => HasEndpoint (Stream method status framing ct a :: Type) Source #
Instance details Defined in Servant.Ekg Methods getEndpoint :: Proxy (Stream method status framing ct a) -> Request -> Maybe APIEndpoint Source # enumerateEndpoints :: Proxy (Stream method status framing ct a) -> [APIEndpoint] Source #

data APIEndpoint Source #

Constructors

APIEndpoint
Fields pathSegments :: [Text] method :: Method

Instances

Eq APIEndpoint Source #
Instance details Defined in Servant.Ekg.Internal Methods (==) :: APIEndpoint -> APIEndpoint -> Bool # (/=) :: APIEndpoint -> APIEndpoint -> Bool #
Show APIEndpoint Source #
Instance details Defined in Servant.Ekg.Internal Methods showsPrec :: Int -> APIEndpoint -> ShowS # show :: APIEndpoint -> String # showList :: [APIEndpoint] -> ShowS #
Generic APIEndpoint Source #
Instance details Defined in Servant.Ekg.Internal Associated Types type Rep APIEndpoint :: Type -> Type # Methods from :: APIEndpoint -> Rep APIEndpoint x # to :: Rep APIEndpoint x -> APIEndpoint #
Hashable APIEndpoint Source #
Instance details Defined in Servant.Ekg.Internal Methods hashWithSalt :: Int -> APIEndpoint -> Int # hash :: APIEndpoint -> Int #
type Rep APIEndpoint Source #
Instance details Defined in Servant.Ekg.Internal type Rep APIEndpoint = D1 (MetaData "APIEndpoint" "Servant.Ekg.Internal" "servant-ekg-0.3-6fUPJAIsl2Qi31EQF2Kk" False) (C1 (MetaCons "APIEndpoint" PrefixI True) (S1 (MetaSel (Just "pathSegments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text]) :*: S1 (MetaSel (Just "method") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Method)))

monitorEndpoints :: HasEndpoint api => Proxy api -> Store -> IO Middleware Source #