Safe Haskell	None
Language	Haskell2010

Web.Scotty.Internal.Types

Synopsis

data Options = Options {
- verbose :: Int
- settings :: Settings
}
defaultOptions :: Options
newtype RouteOptions = RouteOptions {
- maxRequestBodySize :: Maybe Kilobytes
}
defaultRouteOptions :: RouteOptions
type Kilobytes = Int
type Middleware (m :: Type -> Type) = Application m -> Application m
type Application (m :: Type -> Type) = Request -> m Response
data BodyChunkBuffer = BodyChunkBuffer {
- hasFinishedReadingChunks :: Bool
- chunksReadSoFar :: [ByteString]
}
data BodyInfo = BodyInfo {
- bodyInfoReadProgress :: MVar Int
- bodyInfoChunkBuffer :: MVar BodyChunkBuffer
- bodyInfoDirectChunkRead :: IO ByteString
}
data ScottyState (m :: Type -> Type) = ScottyState {
- middlewares :: [Middleware]
- routes :: [BodyInfo -> Middleware m]
- handler :: Maybe (ErrorHandler m)
- routeOptions :: RouteOptions
}
defaultScottyState :: forall (m :: Type -> Type). ScottyState m
addMiddleware :: forall (m :: Type -> Type). Middleware -> ScottyState m -> ScottyState m
addRoute :: (BodyInfo -> Middleware m) -> ScottyState m -> ScottyState m
setHandler :: forall (m :: Type -> Type). Maybe (ErrorHandler m) -> ScottyState m -> ScottyState m
updateMaxRequestBodySize :: forall (m :: Type -> Type). RouteOptions -> ScottyState m -> ScottyState m
newtype ScottyT (m :: Type -> Type) a = ScottyT {
- runS :: ReaderT Options (State (ScottyState m)) a
}
data ActionError
- = AERedirect Text
- | AENext
- | AEFinish
tryNext :: MonadUnliftIO m => m a -> m Bool
data StatusError = StatusError Status Text
type ErrorHandler (m :: Type -> Type) = Handler (ActionT m) ()
data ScottyException
- = RequestTooLarge
- | MalformedJSON ByteString Text
- | FailedToParseJSON ByteString Text
- | PathParameterNotFound Text
- | QueryParameterNotFound Text
- | FormFieldNotFound Text
- | FailedToParseParameter Text Text Text
- | WarpRequestException InvalidRequest
- | WaiRequestParseException RequestParseException
- | ResourceTException InvalidAccess
type Param = (Text, Text)
type File t = (Text, FileInfo t)
data ActionEnv = Env {
- envReq :: Request
- envPathParams :: [Param]
- envQueryParams :: [Param]
- envFormDataAction :: InternalState -> ParseRequestBodyOptions -> IO ([Param], [File FilePath])
- envBody :: IO ByteString
- envBodyChunk :: IO ByteString
- envResponse :: TVar ScottyResponse
}
formParamsAndFilesWith :: forall (m :: Type -> Type). MonadUnliftIO m => InternalState -> ParseRequestBodyOptions -> ActionT m ([Param], [File FilePath])
getResponse :: MonadIO m => ActionEnv -> m ScottyResponse
getResponseAction :: forall (m :: Type -> Type). MonadIO m => ActionT m ScottyResponse
modifyResponse :: forall (m :: Type -> Type). MonadIO m => (ScottyResponse -> ScottyResponse) -> ActionT m ()
data BodyPartiallyStreamed = BodyPartiallyStreamed
data Content
- = ContentBuilder Builder
- | ContentFile FilePath
- | ContentStream StreamingBody
- | ContentResponse Response
data ScottyResponse = SR {
- srStatus :: Status
- srHeaders :: ResponseHeaders
- srContent :: Content
}
setContent :: Content -> ScottyResponse -> ScottyResponse
setHeaderWith :: ([(HeaderName, ByteString)] -> [(HeaderName, ByteString)]) -> ScottyResponse -> ScottyResponse
setStatus :: Status -> ScottyResponse -> ScottyResponse
defaultScottyResponse :: ScottyResponse
newtype ActionT (m :: Type -> Type) a = ActionT {
- runAM :: ReaderT ActionEnv m a
}
withActionEnv :: forall (m :: Type -> Type) a. Monad m => (ActionEnv -> ActionEnv) -> ActionT m a -> ActionT m a
tryAnyStatus :: MonadUnliftIO m => m a -> m Bool
data RoutePattern
- = Capture Text
- | Literal Text
- | Function (Request -> Maybe [Param])

Documentation

data Options Source #

Constructors

Options
Fields verbose :: Int 0 = silent, 1(def) = startup banner settings :: Settings Warp `Settings` Note: to work around an issue in warp, the default FD cache duration is set to 0 so changes to static files are always picked up. This likely has performance implications, so you may want to modify this for production servers using `setFdCacheDuration`.

Instances

Instances details

Default Options Source #
Instance details Defined in Web.Scotty.Internal.Types Methods def :: Options

defaultOptions :: Options Source #

newtype RouteOptions Source #

Constructors

RouteOptions
Fields maxRequestBodySize :: Maybe Kilobytes

Instances

Instances details

Default RouteOptions Source #
Instance details Defined in Web.Scotty.Internal.Types Methods def :: RouteOptions

defaultRouteOptions :: RouteOptions Source #

type Kilobytes = Int Source #

type Middleware (m :: Type -> Type) = Application m -> Application m Source #

type Application (m :: Type -> Type) = Request -> m Response Source #

data BodyChunkBuffer Source #

Constructors

BodyChunkBuffer
Fields hasFinishedReadingChunks :: Bool whether we've reached the end of the stream yet chunksReadSoFar :: [ByteString]

data BodyInfo Source #

The key part of having two MVars is that we can "clone" the BodyInfo to create a copy where the index is reset to 0, but the chunk cache is the same. Passing a cloned BodyInfo into each matched route allows them each to start from the first chunk if they call bodyReader.

Introduced in (#308)

Constructors

BodyInfo
Fields bodyInfoReadProgress :: MVar Int index into the stream read so far bodyInfoChunkBuffer :: MVar BodyChunkBuffer bodyInfoDirectChunkRead :: IO ByteString can be called to get more chunks

data ScottyState (m :: Type -> Type) Source #

Constructors

ScottyState
Fields middlewares :: [Middleware] routes :: [BodyInfo -> Middleware m] handler :: Maybe (ErrorHandler m) routeOptions :: RouteOptions

defaultScottyState :: forall (m :: Type -> Type). ScottyState m Source #

addMiddleware :: forall (m :: Type -> Type). Middleware -> ScottyState m -> ScottyState m Source #

addRoute :: (BodyInfo -> Middleware m) -> ScottyState m -> ScottyState m Source #

setHandler :: forall (m :: Type -> Type). Maybe (ErrorHandler m) -> ScottyState m -> ScottyState m Source #

updateMaxRequestBodySize :: forall (m :: Type -> Type). RouteOptions -> ScottyState m -> ScottyState m Source #

newtype ScottyT (m :: Type -> Type) a Source #

Constructors

ScottyT
Fields runS :: ReaderT Options (State (ScottyState m)) a

Instances

Instances details

Applicative (ScottyT m) Source #
Instance details Defined in Web.Scotty.Internal.Types Methods pure :: a -> ScottyT m a (<>) :: ScottyT m (a -> b) -> ScottyT m a -> ScottyT m b liftA2 :: (a -> b -> c) -> ScottyT m a -> ScottyT m b -> ScottyT m c (>) :: ScottyT m a -> ScottyT m b -> ScottyT m b (<*) :: ScottyT m a -> ScottyT m b -> ScottyT m a
Functor (ScottyT m) Source #
Instance details Defined in Web.Scotty.Internal.Types Methods fmap :: (a -> b) -> ScottyT m a -> ScottyT m b (<$) :: a -> ScottyT m b -> ScottyT m a
Monad (ScottyT m) Source #
Instance details Defined in Web.Scotty.Internal.Types Methods (>>=) :: ScottyT m a -> (a -> ScottyT m b) -> ScottyT m b (>>) :: ScottyT m a -> ScottyT m b -> ScottyT m b return :: a -> ScottyT m a
Monoid a => Monoid (ScottyT m a) Source #
Instance details Defined in Web.Scotty.Internal.Types Methods mempty :: ScottyT m a mappend :: ScottyT m a -> ScottyT m a -> ScottyT m a mconcat :: [ScottyT m a] -> ScottyT m a
Semigroup a => Semigroup (ScottyT m a) Source #
Instance details Defined in Web.Scotty.Internal.Types Methods (<>) :: ScottyT m a -> ScottyT m a -> ScottyT m a sconcat :: NonEmpty (ScottyT m a) -> ScottyT m a stimes :: Integral b => b -> ScottyT m a -> ScottyT m a

data ActionError Source #

Internal exception mechanism used to modify the request processing flow.

The exception constructor is not exposed to the user and all exceptions of this type are caught and processed within the runAction function.

Constructors

AERedirect Text	Redirect
AENext	Stop processing this route and skip to the next one
AEFinish	Stop processing the request

Instances

Instances details

Exception ActionError Source #
Instance details Defined in Web.Scotty.Internal.Types Methods toException :: ActionError -> SomeException fromException :: SomeException -> Maybe ActionError displayException :: ActionError -> String backtraceDesired :: ActionError -> Bool
Show ActionError Source #
Instance details Defined in Web.Scotty.Internal.Types Methods showsPrec :: Int -> ActionError -> ShowS show :: ActionError -> String showList :: [ActionError] -> ShowS

tryNext :: MonadUnliftIO m => m a -> m Bool Source #

data StatusError Source #

Deprecated: If it is supposed to be caught, a proper exception type should be defined

E.g. when a parameter is not found in a query string (400 Bad Request) or when parsing a JSON body fails (422 Unprocessable Entity)

Constructors

StatusError Status Text

Deprecated: If it is supposed to be caught, a proper exception type should be defined

Instances

Instances details

Exception StatusError Source #
Instance details Defined in Web.Scotty.Internal.Types Methods toException :: StatusError -> SomeException fromException :: SomeException -> Maybe StatusError displayException :: StatusError -> String backtraceDesired :: StatusError -> Bool
Show StatusError Source #
Instance details Defined in Web.Scotty.Internal.Types Methods showsPrec :: Int -> StatusError -> ShowS show :: StatusError -> String showList :: [StatusError] -> ShowS
MonadUnliftIO m => MonadError StatusError (ActionT m) Source #	Models the invariant that only `StatusError`s can be thrown and caught.
Instance details Defined in Web.Scotty.Internal.Types Methods throwError :: StatusError -> ActionT m a catchError :: ActionT m a -> (StatusError -> ActionT m a) -> ActionT m a

type ErrorHandler (m :: Type -> Type) = Handler (ActionT m) () Source #

Specializes a Handler to the ActionT monad

data ScottyException Source #

Thrown e.g. when a request is too large

Constructors

RequestTooLarge
MalformedJSON ByteString Text
FailedToParseJSON ByteString Text
PathParameterNotFound Text
QueryParameterNotFound Text
FormFieldNotFound Text
FailedToParseParameter Text Text Text
WarpRequestException InvalidRequest
WaiRequestParseException RequestParseException
ResourceTException InvalidAccess

Instances

Instances details

Exception ScottyException Source #
Instance details Defined in Web.Scotty.Internal.Types Methods toException :: ScottyException -> SomeException fromException :: SomeException -> Maybe ScottyException displayException :: ScottyException -> String backtraceDesired :: ScottyException -> Bool
Show ScottyException Source #
Instance details Defined in Web.Scotty.Internal.Types Methods showsPrec :: Int -> ScottyException -> ShowS show :: ScottyException -> String showList :: [ScottyException] -> ShowS

type Param = (Text, Text) Source #

type File t = (Text, FileInfo t) Source #

Type parameter t is the file content. Could be () when not needed or a FilePath for temp files instead.

data ActionEnv Source #

Constructors

Env
Fields envReq :: Request envPathParams :: [Param] envQueryParams :: [Param] envFormDataAction :: InternalState -> ParseRequestBodyOptions -> IO ([Param], [File FilePath]) envBody :: IO ByteString envBodyChunk :: IO ByteString envResponse :: TVar ScottyResponse

formParamsAndFilesWith :: forall (m :: Type -> Type). MonadUnliftIO m => InternalState -> ParseRequestBodyOptions -> ActionT m ([Param], [File FilePath]) Source #

getResponse :: MonadIO m => ActionEnv -> m ScottyResponse Source #

getResponseAction :: forall (m :: Type -> Type). MonadIO m => ActionT m ScottyResponse Source #

modifyResponse :: forall (m :: Type -> Type). MonadIO m => (ScottyResponse -> ScottyResponse) -> ActionT m () Source #

data BodyPartiallyStreamed Source #

Constructors

BodyPartiallyStreamed

Instances

Instances details

Exception BodyPartiallyStreamed Source #
Instance details Defined in Web.Scotty.Internal.Types Methods toException :: BodyPartiallyStreamed -> SomeException fromException :: SomeException -> Maybe BodyPartiallyStreamed displayException :: BodyPartiallyStreamed -> String backtraceDesired :: BodyPartiallyStreamed -> Bool
Show BodyPartiallyStreamed Source #
Instance details Defined in Web.Scotty.Internal.Types Methods showsPrec :: Int -> BodyPartiallyStreamed -> ShowS show :: BodyPartiallyStreamed -> String showList :: [BodyPartiallyStreamed] -> ShowS

data Content Source #

Constructors

ContentBuilder Builder
ContentFile FilePath
ContentStream StreamingBody
ContentResponse Response

data ScottyResponse Source #

Constructors

SR
Fields srStatus :: Status srHeaders :: ResponseHeaders srContent :: Content

Instances

Instances details

Default ScottyResponse Source #
Instance details Defined in Web.Scotty.Internal.Types Methods def :: ScottyResponse

setContent :: Content -> ScottyResponse -> ScottyResponse Source #

setHeaderWith :: ([(HeaderName, ByteString)] -> [(HeaderName, ByteString)]) -> ScottyResponse -> ScottyResponse Source #

setStatus :: Status -> ScottyResponse -> ScottyResponse Source #

defaultScottyResponse :: ScottyResponse Source #

The default response has code 200 OK and empty body

newtype ActionT (m :: Type -> Type) a Source #

Constructors

ActionT
Fields runAM :: ReaderT ActionEnv m a

Instances

Instances details

MonadTransControl ActionT Source #

Instance details

IsString RoutePattern Source #
Instance details Defined in Web.Scotty.Internal.Types Methods fromString :: String -> RoutePattern

Capture Text
Literal Text
Function (Request -> Maybe [Param])