Serv.Api

API types/kinds

data Api star

data Path star

data Handler star

data Output star

data Body star

Syntax sugar

type a ::: b

Singletons

data family Sing a

Type aliases

Api

type Endpoint ann ms

type OneOf apis

type Abstract

type a :> b

Path

type Const sym

type HeaderAs ty sym

type Seg sym ty

type Header name ty

type Wildcard

Handler

type Method verb responses

type CaptureBody cTypes ty method

type CaptureHeaders hdrs method

type CaptureQuery query method

Output

type Respond hdrs body

Body

type HasBody ctypes ty

type Empty