Safe Haskell	None
Language	Haskell2010

Web.Scotty.Internal.Types

Synopsis

data Options = Options {
- verbose :: Int
- settings :: Settings
- jsonMode :: Bool
}
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 Status Text
- | AENext
- | AEFinish
tryNext :: MonadUnliftIO m => m a -> m Bool
type ErrorHandler (m :: Type -> Type) = Handler (ActionT m) ()
data ScottyException
- = RequestTooLarge
- | MalformedJSON ByteString Text
- | FailedToParseJSON ByteString Text
- | MalformedForm 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.
jsonMode :: Bool
If True, return JSON error responses instead of HTML

defaultOptions :: Options Source #

newtype RouteOptions Source #

Constructors

RouteOptions
Fields maxRequestBodySize :: Maybe Kilobytes

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 Status 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 #
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 #

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

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 #
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 #
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

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

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

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