Web.Eved.Server

Documentation

data RequestData a

Constructors

BodyRequestData (ByteString -> Either Text a)

PureRequestData a

Instances

Functor RequestData

Defined in Web.Eved.Server

Methods

fmap :: (a -> b) -> RequestData a -> RequestData b

(<$) :: a -> RequestData b -> RequestData a

newtype EvedServerT m a

Constructors

EvedServerT

Fields

• unEvedServerT :: (forall a. m a -> IO a) -> [Text] -> RequestData a -> Application

Instances

EvedAuth (EvedServerT m)

Defined in Web.Eved.Auth

Methods

auth_ :: NonEmpty (AuthScheme a) -> EvedServerT m b -> EvedServerT m (a -> b)

Eved (EvedServerT m) m

Defined in Web.Eved.Server

Methods

(.<|>) :: EvedServerT m a -> EvedServerT m b -> EvedServerT m (a :<|> b)

lit :: Text -> EvedServerT m a -> EvedServerT m a

capture :: Text -> UrlElement a -> EvedServerT m b -> EvedServerT m (a -> b)

reqBody :: NonEmpty (ContentType a) -> EvedServerT m b -> EvedServerT m (a -> b)

queryParam :: Text -> QueryParam a -> EvedServerT m b -> EvedServerT m (a -> b)

verb :: StdMethod -> Status -> NonEmpty (ContentType a) -> EvedServerT m (m a)

server :: (forall a. m a -> IO a) -> a -> EvedServerT m a -> Application

data RoutingError

Constructors

PathError

CaptureError Text

QueryParamParseError Text

NoContentMatchError

NoAcceptMatchError

NoMethodMatchError

Instances

Eq RoutingError

Defined in Web.Eved.Server

Methods

(==) :: RoutingError -> RoutingError -> Bool

(/=) :: RoutingError -> RoutingError -> Bool

Ord RoutingError

Defined in Web.Eved.Server

Methods

compare :: RoutingError -> RoutingError -> Ordering

(<) :: RoutingError -> RoutingError -> Bool

(<=) :: RoutingError -> RoutingError -> Bool

(>) :: RoutingError -> RoutingError -> Bool

(>=) :: RoutingError -> RoutingError -> Bool

max :: RoutingError -> RoutingError -> RoutingError

min :: RoutingError -> RoutingError -> RoutingError

Show RoutingError

Defined in Web.Eved.Server

Methods

showsPrec :: Int -> RoutingError -> ShowS

show :: RoutingError -> String

showList :: [RoutingError] -> ShowS

Exception RoutingError

Defined in Web.Eved.Server

Methods

toException :: RoutingError -> SomeException

fromException :: SomeException -> Maybe RoutingError

displayException :: RoutingError -> String

newtype UserApplicationError a

Constructors

UserApplicationError a

Instances

Show a => Show (UserApplicationError a)

Defined in Web.Eved.Server

Methods

showsPrec :: Int -> UserApplicationError a -> ShowS

show :: UserApplicationError a -> String

showList :: [UserApplicationError a] -> ShowS

Exception a => Exception (UserApplicationError a)

Defined in Web.Eved.Server

Methods

toException :: UserApplicationError a -> SomeException

fromException :: SomeException -> Maybe (UserApplicationError a)

displayException :: UserApplicationError a -> String

serverErrorToResponse :: ServerError -> Response

data ServerError

Constructors

ServerError

Fields

• errorStatus :: Status
• errorBody :: ByteString
• errorHeaders :: [Header]

Instances

Show ServerError

Defined in Web.Eved.Server

Methods

showsPrec :: Int -> ServerError -> ShowS

show :: ServerError -> String

showList :: [ServerError] -> ShowS

Exception ServerError

Defined in Web.Eved.Server

Methods

toException :: ServerError -> SomeException

fromException :: SomeException -> Maybe ServerError

displayException :: ServerError -> String

defaultErrorHandler :: SomeException -> ServerError