Jarilo.Method

data Method :: Type

data Get :: Method

Instances

• MethodRouter Get

data Post :: Method

Instances

• MethodRouter Post

data Put :: Method

Instances

• MethodRouter Put

data MethodProxy (method :: Method)

Constructors

• MethodProxy

newtype MethodError

Constructors

• MethodError { actualMethod :: Either CustomMethod Method, expectedMethod :: Either CustomMethod Method }

checkMethod :: forall errors. Either CustomMethod Method -> Either CustomMethod Method -> Maybe (Variant (methodError :: MethodError | errors))

class MethodRouter (method :: Method)  where

Members

• methodRouter :: forall errors. MethodProxy method -> Either CustomMethod Method -> Maybe (Variant (methodError :: MethodError | errors))

Instances

• MethodRouter Get
• MethodRouter Post
• MethodRouter Put