okapi-0.2.0.0: A bidirectional HTTP description language
Safe HaskellNone
LanguageGHC2024

Okapi.HTTP.Request.Method

Documentation

data KnownMethod (m :: Symbol) where Source #

Constructors

GET :: KnownMethod "GET" 
POST :: KnownMethod "POST" 
PUT :: KnownMethod "PUT" 
DELETE :: KnownMethod "DELETE" 

Instances

Instances details
Show (KnownMethod m) Source # 
Instance details

Defined in Okapi.HTTP.Request.Method

Methods

showsPrec :: Int -> KnownMethod m -> ShowS #

show :: KnownMethod m -> String #

showList :: [KnownMethod m] -> ShowS #

Eq (KnownMethod m) Source # 
Instance details

Defined in Okapi.HTTP.Request.Method

Methods

(==) :: KnownMethod m -> KnownMethod m -> Bool #

(/=) :: KnownMethod m -> KnownMethod m -> Bool #

data Method a where Source #

Constructors

Raw :: Method ByteString 
Method :: forall (m :: Symbol). KnownMethod m -> Method (KnownMethod m) 

Instances

Instances details
type Context Method Source # 
Instance details

Defined in Okapi.HTTP.Request.Method

type Context Method = Method
type Failure Method Source # 
Instance details

Defined in Okapi.HTTP.Request.Method

type Failure Method = ParseError

data ParseError Source #

Constructors

ParseError 

Instances

Instances details
Show ParseError Source # 
Instance details

Defined in Okapi.HTTP.Request.Method

Methods

showsPrec :: Int -> ParseError -> ShowS #

show :: ParseError -> String #

showList :: [ParseError] -> ShowS #

Eq ParseError Source # 
Instance details

Defined in Okapi.HTTP.Request.Method

Methods

(==) :: ParseError -> ParseError -> Bool #

(/=) :: ParseError -> ParseError -> Bool #

parse :: Method method -> Method -> Either ParseError method Source #

print :: Method method -> method -> Method Source #

raw :: Method Method Source #

method :: forall (m :: Symbol). KnownMethod m -> Method (KnownMethod m) Source #

knownMethodToStd :: forall (m :: Symbol). KnownMethod m -> StdMethod Source #

extractMethod :: forall (m :: Symbol). Method (KnownMethod m) -> StdMethod Source #

type GET = KnownMethod "GET" Source #

type POST = KnownMethod "POST" Source #

type PUT = KnownMethod "PUT" Source #

type DELETE = KnownMethod "DELETE" Source #