| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Web.Eved.Server
Documentation
data RequestData a Source #
Constructors
| BodyRequestData (ByteString -> Either Text a) | |
| PureRequestData a |
Instances
| Functor RequestData Source # | |
Defined in Web.Eved.Server Methods fmap :: (a -> b) -> RequestData a -> RequestData b # (<$) :: a -> RequestData b -> RequestData a # | |
newtype EvedServerT m a Source #
Constructors
| EvedServerT | |
Fields
| |
Instances
| EvedAuth (EvedServerT m) Source # | |
Defined in Web.Eved.Auth Methods auth_ :: NonEmpty (AuthScheme a) -> EvedServerT m b -> EvedServerT m (a -> b) Source # | |
| Eved (EvedServerT m) m Source # | |
Defined in Web.Eved.Server Methods (.<|>) :: EvedServerT m a -> EvedServerT m b -> EvedServerT m (a :<|> b) Source # lit :: Text -> EvedServerT m a -> EvedServerT m a Source # capture :: Text -> UrlElement a -> EvedServerT m b -> EvedServerT m (a -> b) Source # reqBody :: NonEmpty (ContentType a) -> EvedServerT m b -> EvedServerT m (a -> b) Source # queryParam :: Text -> QueryParam a -> EvedServerT m b -> EvedServerT m (a -> b) Source # verb :: StdMethod -> Status -> NonEmpty (ContentType a) -> EvedServerT m (m a) Source # | |
server :: (forall a. m a -> IO a) -> a -> EvedServerT m a -> Application Source #
data RoutingError Source #
Constructors
| PathError | |
| CaptureError Text | |
| QueryParamParseError Text | |
| NoContentMatchError | |
| NoAcceptMatchError | |
| NoMethodMatchError |
Instances
| Eq RoutingError Source # | |
Defined in Web.Eved.Server | |
| Ord RoutingError Source # | |
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 Source # | |
Defined in Web.Eved.Server Methods showsPrec :: Int -> RoutingError -> ShowS # show :: RoutingError -> String # showList :: [RoutingError] -> ShowS # | |
| Exception RoutingError Source # | |
Defined in Web.Eved.Server Methods toException :: RoutingError -> SomeException # fromException :: SomeException -> Maybe RoutingError # displayException :: RoutingError -> String # | |
newtype UserApplicationError a Source #
Constructors
| UserApplicationError a |
Instances
| Show a => Show (UserApplicationError a) Source # | |
Defined in Web.Eved.Server Methods showsPrec :: Int -> UserApplicationError a -> ShowS # show :: UserApplicationError a -> String # showList :: [UserApplicationError a] -> ShowS # | |
| Exception a => Exception (UserApplicationError a) Source # | |
Defined in Web.Eved.Server Methods toException :: UserApplicationError a -> SomeException # fromException :: SomeException -> Maybe (UserApplicationError a) # displayException :: UserApplicationError a -> String # | |
data ServerError Source #
Constructors
| ServerError | |
Fields
| |
Instances
| Show ServerError Source # | |
Defined in Web.Eved.Server Methods showsPrec :: Int -> ServerError -> ShowS # show :: ServerError -> String # showList :: [ServerError] -> ShowS # | |
| Exception ServerError Source # | |
Defined in Web.Eved.Server Methods toException :: ServerError -> SomeException # fromException :: SomeException -> Maybe ServerError # displayException :: ServerError -> String # | |