Serv.Internal.Api.Analysis

Typeclasses constructing functions which reflect and analyze API types.

Documentation

class VerbsOf methods where

Minimal complete definition

verbsOf

Methods

verbsOf :: Proxy methods -> Set Verb

Instances

VerbsOf [k] ([] k)

Methods

verbsOf :: Proxy [k] methods -> Set Verb

(ReflectVerb verb, VerbsOf [Method star] methods) => VerbsOf [Method star] ((:) (Method star) (Method star verb headers body) methods)

Methods

verbsOf :: Proxy ((Method star ': Method star verb headers body) methods) methods -> Set Verb

class HeadersExpectedOf methods where

Minimal complete definition

headersExpectedOf

Methods

headersExpectedOf :: Proxy methods -> Set HeaderName

Instances

HeadersExpectedOf ([] (Method *))

Methods

headersExpectedOf :: Proxy [Method *] [Method *] -> Set HeaderName

HeadersExpectedOf rs => HeadersExpectedOf ((:) (Method *) (Method * verb headers body) rs)

Methods

headersExpectedOf :: Proxy [Method *] ((Method * ': Method * verb headers body) rs) -> Set HeaderName

HeadersExpectedOf ((:) (Method *) method rs) => HeadersExpectedOf ((:) (Method *) (CaptureBody * ctypes ty method) rs)

Methods

headersExpectedOf :: Proxy [Method *] ((Method * ': CaptureBody * ctypes ty method) rs) -> Set HeaderName

(HeadersExpectedOf ((:) (Method *) method rs), ReflectHeaderNames [Pair HeaderName *] hdrs) => HeadersExpectedOf ((:) (Method *) (CaptureHeaders * hdrs method) rs)

Methods

headersExpectedOf :: Proxy [Method *] ((Method * ': CaptureHeaders * hdrs method) rs) -> Set HeaderName

HeadersExpectedOf ((:) (Method *) method rs) => HeadersExpectedOf ((:) (Method *) (CaptureQuery * names method) rs)

Methods

headersExpectedOf :: Proxy [Method *] ((Method * ': CaptureQuery * names method) rs) -> Set HeaderName

class HeadersReturnedBy methods where

Minimal complete definition

headersReturnedBy

Methods

headersReturnedBy :: Proxy methods -> Set HeaderName

Instances

HeadersReturnedBy ([] (Method *))

Methods

headersReturnedBy :: Proxy [Method *] [Method *] -> Set HeaderName

(ReflectHeaderNames [Pair HeaderName *] headers, HeadersReturnedBy rs) => HeadersReturnedBy ((:) (Method *) (Method * verb headers body) rs)

Methods

headersReturnedBy :: Proxy [Method *] ((Method * ': Method * verb headers body) rs) -> Set HeaderName

HeadersReturnedBy ((:) (Method *) method rs) => HeadersReturnedBy ((:) (Method *) (CaptureBody * ctypes ty method) rs)

Methods

headersReturnedBy :: Proxy [Method *] ((Method * ': CaptureBody * ctypes ty method) rs) -> Set HeaderName

HeadersReturnedBy ((:) (Method *) method rs) => HeadersReturnedBy ((:) (Method *) (CaptureHeaders * hdrs method) rs)

Methods

headersReturnedBy :: Proxy [Method *] ((Method * ': CaptureHeaders * hdrs method) rs) -> Set HeaderName

HeadersReturnedBy ((:) (Method *) method rs) => HeadersReturnedBy ((:) (Method *) (CaptureQuery * names method) rs)

Methods

headersReturnedBy :: Proxy [Method *] ((Method * ': CaptureQuery * names method) rs) -> Set HeaderName