| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Trasa.Core.Implicit
Documentation
class HasMeta route where Source #
Associated Types
type CaptureStrategy route :: Type -> Type Source #
type QueryStrategy route :: Type -> Type Source #
type RequestBodyStrategy route :: Type -> Type Source #
type ResponseBodyStrategy route :: Type -> Type Source #
Methods
meta :: route caps qrys req resp -> Meta (CaptureStrategy route) (QueryStrategy route) (RequestBodyStrategy route) (ResponseBodyStrategy route) caps qrys req resp Source #
prepare :: HasMeta route => route captures queries request response -> Arguments captures queries request (Prepared route response) Source #
link :: (HasMeta route, HasCaptureEncoding (CaptureStrategy route), HasCaptureEncoding (QueryStrategy route)) => Prepared route response -> Url Source #
Arguments
| :: (HasMeta route, HasCaptureDecoding (CaptureStrategy route), HasCaptureDecoding (QueryStrategy route), RequestBodyStrategy route ~ Many strat, HasBodyDecoding strat, EnumerableRoute route) | |
| => Method | Request Method |
| -> Url | Everything after the authority |
| -> Maybe Content | Request content type and body |
| -> Either TrasaErr (Concealed route) |
class EnumerableRoute route where Source #
Methods
enumerateRoutes :: [Constructed route] Source #
router :: (HasMeta route, HasCaptureDecoding (CaptureStrategy route), EnumerableRoute route) => Router route Source #