Line.Bot.Webhook

Documentation

type Webhook = LineReqBody '[JSON] Events :> Post '[JSON] NoContent

This type alias just specifies how webhook requests should be handled

data LineReqBody (contentTypes :: [*]) (a :: *)

A Servant combinator that extracts the request body as a value of type a and performs signature valiadation

Instances

(AllCTUnrender list a, HasServer api context, HasContextEntry context ChannelSecret) => HasServer (LineReqBody list a :> api :: Type) context

Defined in Line.Bot.Webhook

Associated Types

type ServerT (LineReqBody list a :> api) m :: Type

Methods

route :: Proxy (LineReqBody list a :> api) -> Context context -> Delayed env (Server (LineReqBody list a :> api)) -> Router env

hoistServerWithContext :: Proxy (LineReqBody list a :> api) -> Proxy context -> (forall x. m x -> n x) -> ServerT (LineReqBody list a :> api) m -> ServerT (LineReqBody list a :> api) n

type ServerT (LineReqBody list a :> api :: Type) m

Defined in Line.Bot.Webhook

type ServerT (LineReqBody list a :> api :: Type) m = a -> ServerT api m

module Line.Bot.Webhook.Events