serv-0.2.0.0: Dependently typed API framework

Safe HaskellNone
LanguageHaskell2010

Serv.Api.Analysis

Description

Typeclasses constructing functions which reflect and analyze API types.

(A little rough right now, sorry)

Documentation

data EndpointAnalysis Source

Constructors

EndpointAnalysis 

Fields

verbsHandled :: Set Verb
 
headersExpected :: Set SomeHeaderName
 
headersEmitted :: Set SomeHeaderName
 

Instances

inspectEndpoint :: forall hs. Sing hs -> EndpointAnalysis Source

inspectHandler :: forall h. Sing h -> EndpointAnalysis Source

headerNames :: forall hts. Sing hts -> Set SomeHeaderName Source

inspectVerbs :: forall hs. Sing hs -> Set Verb Source

headersExpectedOf :: forall hs. Sing hs -> Set SomeHeaderName Source