serv-0.1.0.0: Dependently typed API server framework

Index

-:Serv.Internal.Rec
//Serv.ContentType
/:Serv.ContentType
:::Serv.Internal.Pair, Serv.Api
:<|> 
1 (Type/Class)Serv.Internal.Server.Type, Serv.Server
2 (Data Constructor)Serv.Internal.Server.Type, Serv.Server
:>Serv.Internal.Api, Serv.Api
AcceptServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
acceptServ.Internal.Header.Name, Serv.Header.Proxies
AcceptCharsetServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
acceptCharsetServ.Internal.Header.Name, Serv.Header.Proxies
accepted202Serv.Server
AcceptEncodingServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
acceptEncodingServ.Internal.Header.Name, Serv.Header.Proxies
AcceptLanguageServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
acceptLanguageServ.Internal.Header.Name, Serv.Header.Proxies
AcceptPatchServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
acceptPatchServ.Internal.Header.Name, Serv.Header.Proxies
AcceptRangesServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
acceptRangesServ.Internal.Header.Name, Serv.Header.Proxies
AccessControlAllowCredentialsServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
accessControlAllowCredentialsServ.Internal.Header.Name, Serv.Header.Proxies
AccessControlAllowHeadersServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
accessControlAllowHeadersServ.Internal.Header.Name, Serv.Header.Proxies
AccessControlAllowMethodsServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
accessControlAllowMethodsServ.Internal.Header.Name, Serv.Header.Proxies
AccessControlAllowOriginServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
accessControlAllowOriginServ.Internal.Header.Name, Serv.Header.Proxies
AccessControlExposeHeadersServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
accessControlExposeHeadersServ.Internal.Header.Name, Serv.Header.Proxies
AccessControlMaxAgeServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
accessControlMaxAgeServ.Internal.Header.Name, Serv.Header.Proxies
AccessControlRequestHeadersServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
accessControlRequestHeadersServ.Internal.Header.Name, Serv.Header.Proxies
AccessControlRequestMethodServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
accessControlRequestMethodServ.Internal.Header.Name, Serv.Header.Proxies
AccessSet 
1 (Type/Class)Serv.Internal.Cors, Serv.Cors
2 (Data Constructor)Serv.Internal.Cors, Serv.Cors
AgeServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
ageServ.Internal.Header.Name, Serv.Header.Proxies
AllowServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
allowServ.Internal.Header.Name, Serv.Header.Proxies
ApiServ.Internal.Api, Serv.Api
ApplicationServ.Internal.Server.Type
asTaggedTypeOfServ.Server
AuthorizationServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
authorizationServ.Internal.Header.Name, Serv.Header.Proxies
badGateway502Serv.Server
BadRequestServ.Internal.Server.Error
badRequest400Serv.Server
Body 
1 (Type/Class)Serv.Internal.Api, Serv.Api
2 (Data Constructor)Serv.Internal.Api, Serv.Api
bodyServ.Internal.Server.Context
CacheControlServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
cacheControlServ.Internal.Header.Name, Serv.Header.Proxies
CaptureBodyServ.Internal.Api, Serv.Api
CaptureHeadersServ.Internal.Api, Serv.Api
CaptureQueryServ.Internal.Api, Serv.Api
Config 
1 (Type/Class)Serv.Internal.Server.Config, Serv.Server
2 (Data Constructor)Serv.Internal.Server.Config
configServ.Internal.Server.Context
conflict409Serv.Server
ConnectionServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
connectionServ.Internal.Header.Name, Serv.Header.Proxies
ConsServ.Internal.Rec
ConstServ.Internal.Api, Serv.Api
ContentDispositionServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
contentDispositionServ.Internal.Header.Name, Serv.Header.Proxies
ContentEncodingServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
contentEncodingServ.Internal.Header.Name, Serv.Header.Proxies
ContentLanguageServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
contentLanguageServ.Internal.Header.Name, Serv.Header.Proxies
ContentLengthServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
contentLengthServ.Internal.Header.Name, Serv.Header.Proxies
ContentLocationServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
contentLocationServ.Internal.Header.Name, Serv.Header.Proxies
ContentRangeServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
contentRangeServ.Internal.Header.Name, Serv.Header.Proxies
ContentSecurityPolicyServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
contentSecurityPolicyServ.Internal.Header.Name, Serv.Header.Proxies
ContentTypeServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
contentTypeServ.Internal.Header.Name, Serv.Header.Proxies
Context 
1 (Type/Class)Serv.Internal.Cors, Serv.Cors
2 (Data Constructor)Serv.Internal.Cors, Serv.Cors
3 (Type/Class)Serv.Internal.Server.Context
4 (Data Constructor)Serv.Internal.Server.Context
continue100Serv.Server
CookieServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
cookieServ.Internal.Header.Name, Serv.Header.Proxies
CorsServ.Internal.Api, Serv.Api
corsHeadersServ.Internal.Server.Context
corsPoliciesServ.Internal.Server.Context
CorsPolicyServ.Internal.Cors, Serv.Cors
corsPolicyServ.Internal.Cors, Serv.Cors
created201Serv.Server
credentialsAllowedServ.Internal.Cors, Serv.Cors
DateServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
dateServ.Internal.Header.Name, Serv.Header.Proxies
defaultConfigServ.Internal.Server.Config, Serv.Server
defaultOptionsResponseServ.Internal.Server
DELETEServ.Internal.Verb, Serv.Api
deleteBodyServ.Internal.Server.Type
eGetServ.Internal.Rec
ElemServ.Internal.Rec
eMapServ.Internal.Rec
EmptyServ.Internal.Api, Serv.Api
EmptyResponseServ.Internal.Server.Type
emptyResponseServ.Internal.Server.Type, Serv.Server
encodeBodyServ.Internal.Server
EndpointServ.Internal.Api, Serv.Api
ETagServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
eTagServ.Internal.Header.Name, Serv.Header.Proxies
examineHeaderServ.Internal.Server.Context
examineHeaderFastServ.Internal.Server.Context
ExpectServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
expectServ.Internal.Header.Name, Serv.Header.Proxies
expectationFailed417Serv.Server
expectHeaderServ.Internal.Server.Context
ExpiresServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
expiresServ.Internal.Header.Name, Serv.Header.Proxies
FlagServ.Internal.Api, Serv.Api
forbidden403Serv.Server
found302Serv.Server
FromServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
fromServ.Internal.Header.Name, Serv.Header.Proxies
fromByteStringServ.Internal.URI
gatewayTimeout504Serv.Server
GETServ.Internal.Verb, Serv.Api
getRawTextServ.Internal.RawText, Serv.Common
gone410Serv.Server
handleServ.Internal.Server, Serv.Server
HandlingServ.Internal.Server, Serv.Server
HasMediaTypeServ.Internal.MediaType, Serv.ContentType
HEADServ.Internal.Verb, Serv.Api
HeaderServ.Internal.Api, Serv.Api
HeaderAsServ.Internal.Api, Serv.Api
HeaderDecodeServ.Internal.Header.Serialization, Serv.Internal.Header, Serv.Header
headerDecodeServ.Internal.Header.Serialization, Serv.Internal.Header, Serv.Header
headerDecode'Serv.Internal.Header.Serialization
headerDecodeRawServ.Internal.Header.Serialization, Serv.Internal.Header
HeaderEncodeServ.Internal.Header.Serialization, Serv.Internal.Header, Serv.Header
headerEncodeServ.Internal.Header.Serialization, Serv.Internal.Header, Serv.Header
headerEncodeRawServ.Internal.Header.Serialization, Serv.Internal.Header
HeaderName 
1 (Type/Class)Serv.Internal.Header.Name, Serv.Internal.Header, Serv.Header
2 (Data Constructor)Serv.Internal.Header.Name, Serv.Internal.Header, Serv.Header
headerPairServ.Internal.Header.Serialization, Serv.Internal.Header
headersAllowedServ.Internal.Cors, Serv.Cors
headerSetServ.Internal.Cors
headersExpected 
1 (Function)Serv.Internal.Cors, Serv.Cors
2 (Function)Serv.Internal.Server.Context
HeadersExpectedOfServ.Internal.Api.Analysis
headersExpectedOfServ.Internal.Api.Analysis
headersExposedServ.Internal.Cors, Serv.Cors
headersReturnedServ.Internal.Cors, Serv.Cors
HeadersReturnedByServ.Internal.Api.Analysis
headersReturnedByServ.Internal.Api.Analysis
HostServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
hostServ.Internal.Header.Name, Serv.Header.Proxies
httpVersionNotSupported505Serv.Server
IfMatchServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
ifMatchServ.Internal.Header.Name, Serv.Header.Proxies
IfModifiedSinceServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
ifModifiedSinceServ.Internal.Header.Name, Serv.Header.Proxies
IfNoneMatchServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
ifNoneMatchServ.Internal.Header.Name, Serv.Header.Proxies
IfRangeServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
ifRangeServ.Internal.Header.Name, Serv.Header.Proxies
IfUnmodifiedSinceServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
ifUnmodifiedSinceServ.Internal.Header.Name, Serv.Header.Proxies
ignorableServ.Internal.Server.Error
imATeaPot418Serv.Server
ImplServ.Internal.Server, Serv.Server
internalServerError500Serv.Server
JSONServ.ContentType
LastModifiedServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
lastModifiedServ.Internal.Header.Name, Serv.Header.Proxies
lengthRequired411Serv.Server
LinkServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
linkServ.Internal.Header.Name, Serv.Header.Proxies
LocationServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
locationServ.Internal.Header.Name, Serv.Header.Proxies
makeApplicationServ.Server
makeContextServ.Internal.Server.Context
maxAgeServ.Internal.Cors, Serv.Cors
MaxForwardsServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
maxForwardsServ.Internal.Header.Name, Serv.Header.Proxies
mediaTypeServ.Internal.MediaType, Serv.ContentType
mergeContextServ.Internal.Cors
Method 
1 (Type/Class)Serv.Internal.Api, Serv.Api
2 (Data Constructor)Serv.Internal.Api, Serv.Api
methodServ.Internal.Server.Context
MethodNotAllowedServ.Internal.Server.Error
methodNotAllowed405Serv.Server
methodsAllowedServ.Internal.Cors, Serv.Cors
methodsAvailableServ.Internal.Cors, Serv.Cors
MimeDecodeServ.Internal.MediaType, Serv.ContentType
mimeDecodeServ.Internal.MediaType, Serv.ContentType
MimeEncodeServ.Internal.MediaType, Serv.ContentType
mimeEncodeServ.Internal.MediaType, Serv.ContentType
mkStatusServ.Server
movedPermanently301Serv.Server
multipleChoices300Serv.Server
negotiateContentServ.Internal.MediaType
negotiateContentAlwaysServ.Internal.MediaType
networkAuthenticationRequired511Serv.Server
NilServ.Internal.Rec
noContent204Serv.Server
nonAuthoritative203Serv.Server
noOpServ.Internal.Server.Type, Serv.Server
notAcceptable406Serv.Server
NotFoundServ.Internal.Server.Error
notFound404Serv.Server
NotHere 
1 (Type/Class)Serv.Internal.Server.Type, Serv.Server
2 (Data Constructor)Serv.Internal.Server.Type, Serv.Server
notImplemented501Serv.Server
notModified304Serv.Server
ok200Serv.Server
OneOfServ.Internal.Api, Serv.Api
OPTIONSServ.Internal.Verb, Serv.Api
orElseServ.Internal.Server.Type
OriginServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
origin 
1 (Function)Serv.Internal.Header.Name, Serv.Header.Proxies
2 (Function)Serv.Internal.Cors, Serv.Cors
originAllowedServ.Internal.Cors, Serv.Cors
PairServ.Internal.Pair, Serv.Api
partialContent206Serv.Server
PATCHServ.Internal.Verb, Serv.Api
PathServ.Internal.Api, Serv.Api
pathIsEmptyServ.Internal.Server.Context
pathZipperServ.Internal.Server.Context
paymentRequired402Serv.Server
permanentRedirect308Serv.Server
PermitAllServ.Internal.Cors, Serv.Cors
permitAllServ.Internal.Cors, Serv.Cors
PolicyServ.Internal.Cors, Serv.Cors
POSTServ.Internal.Verb, Serv.Api
PragmaServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
pragmaServ.Internal.Header.Name, Serv.Header.Proxies
preconditionFailed412Serv.Server
preconditionRequired428Serv.Server
predicateWhitelistServ.Internal.Cors, Serv.Cors
projectServ.Internal.Rec
Proxy 
1 (Data Constructor)Serv.Header.Proxies
2 (Type/Class)Serv.Header.Proxies
proxyServ.Server
ProxyAuthenticateServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
proxyAuthenticateServ.Internal.Header.Name, Serv.Header.Proxies
proxyAuthenticationRequired407Serv.Server
ProxyAuthorizationServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
proxyAuthorizationServ.Internal.Header.Name, Serv.Header.Proxies
PublicKeyPinsServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
publicKeyPinsServ.Internal.Header.Name, Serv.Header.Proxies
pullHeaderRawServ.Internal.Server.Context
PUTServ.Internal.Verb, Serv.Api
QueryDecodeServ.Internal.Query
queryDecodeServ.Internal.Query
QueryEncodeServ.Internal.Query
queryEncodeServ.Internal.Query
QueryParamServ.Internal.Api, Serv.Api
RangeServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
rangeServ.Internal.Header.Name, Serv.Header.Proxies
RawServ.Internal.Api, Serv.Api
RawText 
1 (Type/Class)Serv.Internal.RawText, Serv.Common
2 (Data Constructor)Serv.Internal.RawText, Serv.Common
RecServ.Internal.Rec
RecordIsoServ.Internal.Rec
RefererServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
refererServ.Internal.Header.Name, Serv.Header.Proxies
ReflectDecodersServ.Internal.MediaType
reflectDecodersServ.Internal.MediaType
ReflectEncodersServ.Internal.MediaType
reflectEncodersServ.Internal.MediaType
ReflectHeaderNamesServ.Internal.Header
reflectHeaderNamesServ.Internal.Header
ReflectHeadersServ.Internal.Header
reflectHeadersServ.Internal.Header
ReflectNameServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
reflectNameServ.Internal.Header.Name, Serv.Internal.Header
ReflectQueryServ.Internal.Query
reflectQueryServ.Internal.Query
ReflectVerbServ.Internal.Verb
reflectVerbServ.Internal.Verb
reorderServ.Internal.Rec
reproxyServ.Server
requestServ.Internal.Server.Context
requestedRangeNotSatisfiable416Serv.Server
requestEntityTooLarge413Serv.Server
requestHeaderFieldsTooLarge431Serv.Server
requestHeadersSeenServ.Internal.Server.Context
requestTimeout408Serv.Server
requestURITooLong414Serv.Server
requiredServ.Internal.Header.Serialization
resetContent205Serv.Server
resortHeadersServ.Internal.Server.Type
Response 
1 (Type/Class)Serv.Internal.Server.Type, Serv.Server
2 (Data Constructor)Serv.Internal.Server.Type
retagServ.Server
RetryAfterServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
retryAfterServ.Internal.Header.Name, Serv.Header.Proxies
RoutingError 
1 (Type/Class)Serv.Internal.Server.Error
2 (Data Constructor)Serv.Internal.Server.Type
routingErrorServ.Internal.Server.Type
runServerServ.Internal.Server.Type
runServerWaiServ.Internal.Server.Type
safeHeadServ.Internal.Server.Context
seeOther303Serv.Server
SegServ.Internal.Api, Serv.Api
Server 
1 (Type/Class)Serv.Internal.Server.Type, Serv.Server
2 (Data Constructor)Serv.Internal.Server.Type
ServerValueServ.Internal.Server.Type
serviceUnavailable503Serv.Server
SetCookieServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
setCookieServ.Internal.Header.Name, Serv.Header.Proxies
standardNameServ.Internal.Verb
Status 
1 (Data Constructor)Serv.Server
2 (Type/Class)Serv.Server
status100Serv.Server
status101Serv.Server
status200Serv.Server
status201Serv.Server
status202Serv.Server
status203Serv.Server
status204Serv.Server
status205Serv.Server
status206Serv.Server
status300Serv.Server
status301Serv.Server
status302Serv.Server
status303Serv.Server
status304Serv.Server
status305Serv.Server
status307Serv.Server
status308Serv.Server
status400Serv.Server
status401Serv.Server
status402Serv.Server
status403Serv.Server
status404Serv.Server
status405Serv.Server
status406Serv.Server
status407Serv.Server
status408Serv.Server
status409Serv.Server
status410Serv.Server
status411Serv.Server
status412Serv.Server
status413Serv.Server
status414Serv.Server
status415Serv.Server
status416Serv.Server
status417Serv.Server
status418Serv.Server
status422Serv.Server
status428Serv.Server
status429Serv.Server
status431Serv.Server
status500Serv.Server
status501Serv.Server
status502Serv.Server
status503Serv.Server
status504Serv.Server
status505Serv.Server
status511Serv.Server
statusCodeServ.Server
statusIsClientErrorServ.Server
statusIsInformationalServ.Server
statusIsRedirectionServ.Server
statusIsServerErrorServ.Server
statusIsSuccessfulServ.Server
statusMessageServ.Server
stepContextServ.Internal.Server.Context
StrictTransportSecurityServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
strictTransportSecurityServ.Internal.Header.Name, Serv.Header.Proxies
SubsetServ.Internal.Rec
switchingProtocols101Serv.Server
Tagged 
1 (Data Constructor)Serv.Server
2 (Type/Class)Serv.Server
tagSelfServ.Server
tagWithServ.Server
takeAllSegmentsServ.Internal.Server.Context
takeSegmentServ.Internal.Server.Context
TEServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
tEServ.Internal.Header.Name, Serv.Header.Proxies
temporaryRedirect307Serv.Server
TextPlainServ.ContentType
tooManyRequests429Serv.Server
TrailerServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
trailerServ.Internal.Header.Name, Serv.Header.Proxies
TransferEncodingServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
transferEncodingServ.Internal.Header.Name, Serv.Header.Proxies
transformServerServ.Internal.Server.Type, Serv.Server
tryDecodeServ.Internal.MediaType
unauthorized401Serv.Server
unprocessableEntity422Serv.Server
unproxyServ.Server
UnsupportedMediaTypeServ.Internal.Server.Error
unsupportedMediaType415Serv.Server
untagServ.Server
unTaggedServ.Server
untagSelfServ.Server
UpgradeServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
upgradeServ.Internal.Header.Name, Serv.Header.Proxies
URIDecodeServ.Internal.URI, Serv.URI
uriDecodeServ.Internal.URI, Serv.URI
URIEncodeServ.Internal.URI, Serv.URI
uriEncodeServ.Internal.URI, Serv.URI
useProxy305Serv.Server
UserAgentServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
userAgentServ.Internal.Header.Name, Serv.Header.Proxies
VaryServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
varyServ.Internal.Header.Name, Serv.Header.Proxies
VerbServ.Internal.Verb, Serv.Api
verbMatchServ.Internal.Server
VerbsOfServ.Internal.Api.Analysis
verbsOfServ.Internal.Api.Analysis
ViaServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
viaServ.Internal.Header.Name, Serv.Header.Proxies
WaiResponse 
1 (Type/Class)Serv.Internal.Server.Type
2 (Data Constructor)Serv.Internal.Server.Type
waiResponseServ.Internal.Server.Type
WarningServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
warningServ.Internal.Header.Name, Serv.Header.Proxies
WildcardServ.Internal.Api, Serv.Api
wildcardServ.Internal.Cors, Serv.Cors
withBodyServ.Internal.Server.Type, Serv.Server
withHeaderServ.Internal.Server.Type, Serv.Server
withQuietHeaderServ.Internal.Server.Type, Serv.Server
witnessServ.Server
WWWAuthenticateServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
wWWAuthenticateServ.Internal.Header.Name, Serv.Header.Proxies
XCsrfTokenServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
xCsrfTokenServ.Internal.Header.Name, Serv.Header.Proxies
XForwardedForServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
xForwardedForServ.Internal.Header.Name, Serv.Header.Proxies
XForwardedHostServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
xForwardedHostServ.Internal.Header.Name, Serv.Header.Proxies
XForwardedProtoServ.Internal.Header.Name, Serv.Internal.Header, Serv.Header
xForwardedProtoServ.Internal.Header.Name, Serv.Header.Proxies