Mig.Extra.Server.Html

Html servers

Http verbs

type Get m a = Send GET m (Resp a)

type Post m a = Send POST m (Resp a)

type Put m a = Send PUT m (Resp a)

type Delete m a = Send DELETE m (Resp a)

type Patch m a = Send PATCH m (Resp a)

type Options m a = Send OPTIONS m (Resp a)

type Head m a = Send HEAD m (Resp a)

type Trace m a = Send TRACE m (Resp a)

Response

newtype Resp a

Constructors

Resp (Resp Html a)

Instances

Functor Resp

Defined in Mig.Extra.Server.Html

Methods

fmap :: (a -> b) -> Resp a -> Resp b

(<$) :: a -> Resp b -> Resp a

Show a => Show (Resp a)

Defined in Mig.Extra.Server.Html

Methods

showsPrec :: Int -> Resp a -> ShowS

show :: Resp a -> String

showList :: [Resp a] -> ShowS

Eq a => Eq (Resp a)

Defined in Mig.Extra.Server.Html

Methods

(==) :: Resp a -> Resp a -> Bool

(/=) :: Resp a -> Resp a -> Bool

ToMarkup a => IsResp (Resp a)

Defined in Mig.Extra.Server.Html

Associated Types

type RespBody (Resp a)

type RespError (Resp a)

type RespMedia (Resp a)

Methods

ok :: RespBody (Resp a) -> Resp a

bad :: Status -> RespError (Resp a) -> Resp a

noContent :: Status -> Resp a

addHeaders :: ResponseHeaders -> Resp a -> Resp a

getHeaders :: Resp a -> ResponseHeaders

setStatus :: Status -> Resp a -> Resp a

getRespBody :: Resp a -> Maybe (RespBody (Resp a))

getRespError :: Resp a -> Maybe (RespError (Resp a))

getStatus :: Resp a -> Status

setMedia :: MediaType -> Resp a -> Resp a

getMedia :: MediaType

toResponse :: Resp a -> Response

type RespBody (Resp a)

Defined in Mig.Extra.Server.Html

type RespBody (Resp a) = RespBody (Resp Html a)

type RespError (Resp a)

Defined in Mig.Extra.Server.Html

type RespError (Resp a) = RespError (Resp Html a)

type RespMedia (Resp a)

Defined in Mig.Extra.Server.Html

type RespMedia (Resp a) = RespMedia (Resp Html a)

type RespOr err a = Either (Resp err) (Resp a)

utils

data Link

HTML a-links, this type is useful for using with template engines that rely on ToJSON instance. Also it can be rendered as Html with ToMarkup instance.

Constructors

Link

Fields

• href :: Url
• name :: Text

Instances

ToJSON Link

Defined in Mig.Extra.Server.Html

Methods

toJSON :: Link -> Value

toEncoding :: Link -> Encoding

toJSONList :: [Link] -> Value

toEncodingList :: [Link] -> Encoding

omitField :: Link -> Bool

Generic Link

Defined in Mig.Extra.Server.Html

Associated Types

type Rep Link :: Type -> Type

Methods

from :: Link -> Rep Link x

to :: Rep Link x -> Link

ToMarkup Link

Defined in Mig.Extra.Server.Html

Methods

toMarkup :: Link -> Markup

preEscapedToMarkup :: Link -> Markup

type Rep Link

Defined in Mig.Extra.Server.Html

type Rep Link = D1 ('MetaData "Link" "Mig.Extra.Server.Html" "mig-extra-0.1.1.0-Fy8fBLvUa0253nIxPk24rB" 'False) (C1 ('MetaCons "Link" 'PrefixI 'True) (S1 ('MetaSel ('Just "href") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Url) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

re-exports

newtype Body (media :: k) a

Generic case for request body. The type encodes a media type and value of the request body.

Constructors

Body a

Instances

(FromReqBody ty a, ToSchema a, ToPlugin b) => ToPlugin (Body ty a -> b)

Defined in Mig.Core.Class.Plugin

Methods

toPluginInfo :: RouteInfo -> RouteInfo

toPluginFun :: (Body ty a -> b) -> ServerFun (MonadOf (Body ty a -> b)) -> ServerFun (MonadOf (Body ty a -> b))

(ToSchema a, FromReqBody media a, ToRoute b) => ToRoute (Body media a -> b)

Defined in Mig.Core.Class.Route

Methods

toRouteInfo :: RouteInfo -> RouteInfo

toRouteFun :: (Body media a -> b) -> ServerFun (MonadOf (Body media a -> b))

FromClient b => FromClient (Body media a -> b)

Defined in Mig.Client

Associated Types

type ClientResult (Body media a -> b)

Methods

fromClient :: (Body media a -> b) -> ClientResult (Body media a -> b)

(ToRespBody media a, ToClient b) => ToClient (Body media a -> b)

Defined in Mig.Client

Methods

toClient :: forall (m :: Type -> Type). Server m -> Body media a -> b

clientArity :: Int

type ClientResult (Body media a -> b)

Defined in Mig.Client

type ClientResult (Body media a -> b) = a -> ClientResult b

module Mig.Extra.Server.Common