Jordan.Servant.Server

Provides instances from server-related types to jordan API combinators.

Sadly, this does mean that this module has a bunch of orphan instances. Please, *please* use these instead of any others. Please.

Documentation

type QueryArgument mods a = If (FoldRequired mods) a (Maybe a)

If the query was required, no maybe. Otherwise, wrap the query in a maybe.

Orphan instances

(HasServer rest context, FromJSON a) => HasServer (ReportingRequestBody a :> rest :: Type) context

Parse a request body. On parse errors where a valid but wrong-for-the-type JSON is given, we return back an error report.

Associated Types

type ServerT (ReportingRequestBody a :> rest) m

Methods

route :: Proxy (ReportingRequestBody a :> rest) -> Context context -> Delayed env (Server (ReportingRequestBody a :> rest)) -> Router env

hoistServerWithContext :: Proxy (ReportingRequestBody a :> rest) -> Proxy context -> (forall x. m x -> n x) -> ServerT (ReportingRequestBody a :> rest) m -> ServerT (ReportingRequestBody a :> rest) n

(HasServer rest context, FromJSON a, KnownSymbol baseKey, SBoolI (FoldRequired mods)) => HasServer (JordanQuery' baseKey mods a :> rest :: Type) context

Associated Types

type ServerT (JordanQuery' baseKey mods a :> rest) m

Methods

route :: Proxy (JordanQuery' baseKey mods a :> rest) -> Context context -> Delayed env (Server (JordanQuery' baseKey mods a :> rest)) -> Router env

hoistServerWithContext :: Proxy (JordanQuery' baseKey mods a :> rest) -> Proxy context -> (forall x. m x -> n x) -> ServerT (JordanQuery' baseKey mods a :> rest) m -> ServerT (JordanQuery' baseKey mods a :> rest) n