WebGear.Trait.Method

Trait capturing the HTTP method in a request.

Documentation

data Method (t :: StdMethod)

A Trait for capturing the HTTP method of a request

Instances

(Monad m, IsStdMethod t) => Trait (Method t :: Type) Request m

Defined in WebGear.Trait.Method

Associated Types

type Val (Method t) Request

type Fail (Method t) Request

Methods

check :: Request -> m (CheckResult (Method t) Request)

type Val (Method t :: Type) Request

Defined in WebGear.Trait.Method

type Val (Method t :: Type) Request = Method

type Fail (Method t :: Type) Request

Defined in WebGear.Trait.Method

type Fail (Method t :: Type) Request = MethodMismatch

class IsStdMethod t where

A typeclass implemented by all StdMethods to convert them from type level to term level.

Methods

toStdMethod :: Proxy t -> StdMethod

Convert t to term level.

Instances

IsStdMethod 'PATCH

Defined in WebGear.Trait.Method

Methods

toStdMethod :: Proxy 'PATCH -> StdMethod

IsStdMethod 'OPTIONS

Defined in WebGear.Trait.Method

Methods

toStdMethod :: Proxy 'OPTIONS -> StdMethod

IsStdMethod 'CONNECT

Defined in WebGear.Trait.Method

Methods

toStdMethod :: Proxy 'CONNECT -> StdMethod

IsStdMethod 'TRACE

Defined in WebGear.Trait.Method

Methods

toStdMethod :: Proxy 'TRACE -> StdMethod

IsStdMethod 'DELETE

Defined in WebGear.Trait.Method

Methods

toStdMethod :: Proxy 'DELETE -> StdMethod

IsStdMethod 'PUT

Defined in WebGear.Trait.Method

Methods

toStdMethod :: Proxy 'PUT -> StdMethod

IsStdMethod 'HEAD

Defined in WebGear.Trait.Method

Methods

toStdMethod :: Proxy 'HEAD -> StdMethod

IsStdMethod 'POST

Defined in WebGear.Trait.Method

Methods

toStdMethod :: Proxy 'POST -> StdMethod

IsStdMethod 'GET

Defined in WebGear.Trait.Method

Methods

toStdMethod :: Proxy 'GET -> StdMethod

data MethodMismatch

Failure to match method against an expected value

Constructors

MethodMismatch

Fields

• expectedMethod :: Method
• actualMethod :: Method