Pact.API.Verb

(source)

Verbs for HTTP methods

Reexports

import public Pact.WAI.Method
import public Pact.WAI.StatusCode

Definitions

record Verb : Type

  Verb is a record that contains the HTTP method, status code, accept type, and response type

Totality: total
Visibility: public export
Constructor:

MkVerb : Method -> StatusCode -> Type -> Type -> Verb

Projections:

.accept : Verb -> Type

  Accept type

.method : Verb -> Method

  HTTP method

.response : Verb -> Type

  Response type

.status : Verb -> StatusCode

  HTTP status code

.method : Verb -> Method

  HTTP method

Visibility: public export

method : Verb -> Method

  HTTP method

Visibility: public export

.status : Verb -> StatusCode

  HTTP status code

Visibility: public export

status : Verb -> StatusCode

  HTTP status code

Visibility: public export

.accept : Verb -> Type

  Accept type

Visibility: public export

accept : Verb -> Type

  Accept type

Visibility: public export

.response : Verb -> Type

  Response type

Visibility: public export

response : Verb -> Type

  Response type

Visibility: public export

VerbAccept : Verb -> Type

Visibility: public export

VerbResponse : Verb -> Type

Visibility: public export

Head' : StatusCode -> Type -> Type -> Verb

  Head verb

Visibility: public export

Get' : StatusCode -> Type -> Type -> Verb

  Get verb

Visibility: public export

Post' : StatusCode -> Type -> Type -> Verb

  Post verb

Visibility: public export

Put' : StatusCode -> Type -> Type -> Verb

  Put verb

Visibility: public export

Delete' : StatusCode -> Type -> Type -> Verb

  Delete verb

Visibility: public export

Patch' : StatusCode -> Type -> Type -> Verb

  Patch verb

Visibility: public export

Head : Type -> Type -> Verb

  Head verb with code 200

Visibility: public export

Get : Type -> Type -> Verb

  Get verb with code 200

Visibility: public export

Post : Type -> Type -> Verb

  Post verb with code 201

Visibility: public export

Put : Type -> Type -> Verb

  Put verb with code 200

Visibility: public export

Delete : Type -> Type -> Verb

  Delete verb with code 200

Visibility: public export

Patch : Type -> Type -> Verb

  Patch verb with code 200

Visibility: public export

PostCreated : Type -> Type -> Verb

  Post verb with code 201 (Created)

Visibility: public export

PutCreated : Type -> Type -> Verb

  Put verb with code 201 (Created)

Visibility: public export

GetAccepted : Type -> Type -> Verb

  Get verb with code 202 (Accepted)

Visibility: public export

PostAccepted : Type -> Type -> Verb

  Post verb with code 202 (Accepted)

Visibility: public export

DeleteAccepted : Type -> Type -> Verb

  Delete verb with code 202 (Accepted)

Visibility: public export

PatchAccepted : Type -> Type -> Verb

  Patch verb with code 202 (Accepted)

Visibility: public export

PutAccepted : Type -> Type -> Verb

  Put verb with code 202 (Accepted)

Visibility: public export

GetNonAuthoritative : Type -> Type -> Verb

  Get verb with code 203 (Non-Authoritative)

Visibility: public export

PostNonAuthoritative : Type -> Type -> Verb

  Post verb with code 203 (Non-Authoritative)

Visibility: public export

DeleteNonAuthoritative : Type -> Type -> Verb

  Delete verb with code 203 (Non-Authoritative)

Visibility: public export

PatchNonAuthoritative : Type -> Type -> Verb

  Patch verb with code 203 (Non-Authoritative)

Visibility: public export

PutNonAuthoritative : Type -> Type -> Verb

  Put verb with code 203 (Non-Authoritative)

Visibility: public export

GetNoContent : Type -> Type -> Verb

  Get verb with code 204 (No Content)

Visibility: public export

PostNoContent : Type -> Type -> Verb

  Post verb with code 204 (No Content)

Visibility: public export

DeleteNoContent : Type -> Type -> Verb

  Delete verb with code 204 (No Content)

Visibility: public export

PatchNoContent : Type -> Type -> Verb

  Patch verb with code 204 (No Content)

Visibility: public export

PutNoContent : Type -> Type -> Verb

  Put verb with code 204 (No Content)

Visibility: public export

HeadNoContent : Type -> Type -> Verb

  Head verb with code 204 (No Content)

Visibility: public export

HeadResetContent : Type -> Type -> Verb

  Head verb with code 205 (Reset Content)

Visibility: public export

GetResetContent : Type -> Type -> Verb

  Get verb with code 205 (Reset Content)

Visibility: public export

PostResetContent : Type -> Type -> Verb

  Post verb with code 205 (Reset Content)

Visibility: public export

DeleteResetContent : Type -> Type -> Verb

  Delete verb with code 205 (Reset Content)

Visibility: public export

PatchResetContent : Type -> Type -> Verb

  Patch verb with code 205 (Reset Content)

Visibility: public export

PutResetContent : Type -> Type -> Verb

  Put verb with code 205 (Reset Content)

Visibility: public export