Web.Growler.Types

Documentation

data MatchResult

Constructors

Fail

Partial [Param]

Complete [Param]

Instances

Eq MatchResult

Show MatchResult

Monoid MatchResult

newtype RoutePattern

Constructors

RoutePattern

Fields

runRoutePattern :: Request -> (Text, Request, MatchResult)

Instances

IsString RoutePattern

Monoid RoutePattern

path :: Request -> Text

capture :: Text -> RoutePattern

type Param = (ByteString, ByteString)

data BodySource

Constructors

FileSource !(FilePath, Maybe FilePart)

BuilderSource !Builder

LBSSource !ByteString

StreamSource !StreamingBody

RawSource !(IO ByteString -> (ByteString -> IO ()) -> IO ()) !Response

Instances

HasBodySource ResponseState BodySource

data RequestState

Constructors

RequestState

Fields

requestStateMatchedPattern :: Maybe Text

requestStateParams :: [Param]

requestStateRequest :: Request

Instances

HasRequest RequestState Request

HasParams RequestState [Param]

HasMatchedPattern RequestState (Maybe Text)

data ResponseState

Constructors

ResponseState

Fields

responseStateStatus :: !Status

responseStateHeaders :: !(HashMap (CI ByteString) [ByteString])

responseStateBodySource :: !BodySource

Instances

HasStatus ResponseState Status

HasBodySource ResponseState BodySource

HasHeaders ResponseState (HashMap (CI ByteString) [ByteString])

class HasBodySource s a | s -> a where

Methods

bodySource :: Lens' s a

Instances

HasBodySource ResponseState BodySource

class HasHeaders s a | s -> a where

Methods

headers :: Lens' s a

Instances

HasHeaders ResponseState (HashMap (CI ByteString) [ByteString])

class HasStatus s a | s -> a where

Methods

status :: Lens' s a

Instances

HasStatus ResponseState Status

class HasMatchedPattern s a | s -> a where

Methods

matchedPattern :: Lens' s a

Instances

HasMatchedPattern RequestState (Maybe Text)

class HasParams s a | s -> a where

Methods

params :: Lens' s a

Instances

HasParams RequestState [Param]

class HasRequest s a | s -> a where

Methods

request :: Lens' s a

Instances

HasRequest RequestState Request

type EarlyTermination = ResponseState

type HandlerAbort m = EitherT EarlyTermination m

newtype HandlerT m a

Constructors

HandlerT

Fields

fromHandler :: RWST RequestState () ResponseState (HandlerAbort m) a

Instances

MonadTrans HandlerT

MonadTransControl HandlerT

MonadBase b m => MonadBase b (HandlerT m)

MonadBaseControl b m => MonadBaseControl b (HandlerT m)

Monad m => Monad (HandlerT m)

Monad m => Functor (HandlerT m)

Monad m => Applicative (HandlerT m)

MonadIO m => MonadIO (HandlerT m)

data StT HandlerT = StHandlerT {

• unStHandlerT :: Either ResponseState (a, ResponseState)

}

data StM (HandlerT m) = StMHandlerT {

• unStMHandlerT :: StM m (StT HandlerT a)

}

type Handler = HandlerT IO

newtype GrowlerT m a

Constructors

GrowlerT

Fields

fromGrowlerT :: StateT [(StdMethod, RoutePattern, HandlerT m ())] m a

Instances

Monad m => Monad (GrowlerT m)

Functor m => Functor (GrowlerT m)

(Functor m, Monad m) => Applicative (GrowlerT m)

MonadIO m => MonadIO (GrowlerT m)

type Growler = GrowlerT IO