WebApi.Contract

Provides the contract for the web api. The contract consists of WebApi and ApiContract classes. WebApi contains information related to the entire group of APIs whereas ApiContract is concerned with information related to each end point. Once the contract is written, it can be then used to

• Write a WebApiImplementation and corresponding ApiHandler for it.
• Get a client for web api.
• Get a mock server and a mock client for web api.

... and possibly more.

API Contract

class OrdVersion (Version p) => WebApi p

Describes a collection of web apis.

Associated Types

type Version p :: *

Version of the web api.

type Apis p :: [*]

List of all end points that this web api provides.

class (SingMethod m, WebApi p) => ApiContract p m r

Describes a contract for a single API end point.

Associated Types

type PathParam m r

Type of path param that this end point takes in. Defaults to PathParam' m r.

type QueryParam m r

Type of query param that this end point takes in. Defaults to ().

type FormParam m r

Type form params that this end point takes in. Defaults to ().

type FileParam m r

Type of file params that this end point takes in. Defaults to ().

type HeaderIn m r

Type of header params that this end point takes in. Defaults to ().

type CookieIn m r

Type of cookie params that this end point takes in. Defaults to ().

type ApiOut m r

Type of result of this end point when successful. Defaults to ().

type ApiErr m r

Type of result of this end point when a known failure occurs. Defaults to ().

type HeaderOut m r

Type of headers of this end point gives out. Defaults to ().

type CookieOut m r

Type of cookies of this end point gives out. Defaults to ().

type ContentTypes m r :: [*]

List of Content Types that this end point can serve. Defaults to [JSON].

Request and Response

type family PathParam' m r :: *

Type of the path params that a route r has. If a custom routing system is being used, then you will have to give an instance for PathParam' for types being used in routing. Please take a look at the existing instances of PathParam' for reference.

Instances

type PathParam' m (Static s) = ()

type PathParam' m ((:/) k k1 p1 p2)

data Request m r

Datatype representing a request to route r with method m.

Constructors

Req

Fields

pathParam :: PathParam m r

Path params of the request.

queryParam :: QueryParam m r

Query params of the request.

formParam :: FormParam m r

Form params of the request.

fileParam :: FileParam m r

File params of the request.

headerIn :: HeaderIn m r

Header params of the request.

cookieIn :: CookieIn m r

Cookie params of the request.

method :: Text

data Response m r

Datatype representing a response from route r with method m.

Constructors

Success Status (ApiOut m r) (HeaderOut m r) (CookieOut m r)

Failure (Either (ApiError m r) OtherError)

data ApiError m r

Datatype representing a known failure from route r with method m.

Constructors

ApiError

Fields

code :: Status

err :: ApiErr m r

headerOut :: Maybe (HeaderOut m r)

cookieOut :: Maybe (CookieOut m r)

data OtherError

Datatype representing an unknown failure.

Constructors

OtherError

Fields

exception :: SomeException

Methods

module WebApi.Method