Copyright	Dennis Gosnell 2017
License	BSD3
Maintainer	Dennis Gosnell (cdep.illabout@gmail.com)
Stability	experimental
Portability	unknown
Safe Haskell	None
Language	Haskell2010

Servant.Checked.Exceptions.Internal.Servant.Server

Contents

Orphan instances

Description

This module exports HasServer instances for Throws and Throwing.

Synopsis

Documentation

Orphan instances

HasServer * ((:>) k * (Throwing (Snoc * es e)) api) context => HasServer * ((:>) * * (Throwing es) ((:>) k * (Throws e) api)) context Source #	When a `Throws e` comes immediately after a `Throwing es`, `Snoc` the `e` onto the `es`.
Associated Types type ServerT ((:>) * * (Throwing es) ((:>) k * (Throws e) api)) (context :: (:>) * * (Throwing es) ((:>) k * (Throws e) api)) (m :: * -> ) :: # Methods route :: Proxy ((* :> ) (Throwing es) ((k :> ) (Throws e) api)) context -> Context context -> Delayed env (Server ((* :> ) (Throwing es) ((k :> ) (Throws e) api)) context) -> Router env #
HasServer * (Verb * k1 method status ctypes (Envelope es a)) context => HasServer * ((:>) * * (Throwing es) (Verb * k1 method status ctypes a)) context Source #	When `Throwing es` comes before a `Verb`, change it into the same `Verb` but returning an `Envelope es`.
Associated Types type ServerT ((:>) * * (Throwing es) (Verb * k1 method status ctypes a)) (context :: (:>) * * (Throwing es) (Verb * k1 method status ctypes a)) (m :: * -> ) :: # Methods route :: Proxy ((* :> ) (Throwing es) (Verb k1 method status ctypes a)) context -> Context context -> Delayed env (Server ((* :> ) (Throwing es) (Verb k1 method status ctypes a)) context) -> Router env #
HasServer * ((:>) k * (Throwing ((:) * e ([] ))) api) context => HasServer ((:>) k * (Throws e) api) context Source #	Change a `Throws` into `Throwing`.
Associated Types type ServerT ((:>) k * (Throws e) api) (context :: (:>) k * (Throws e) api) (m :: * -> ) :: # Methods route :: Proxy ((k :> ) (Throws e) api) context -> Context context -> Delayed env (Server ((k :> ) (Throws e) api) context) -> Router env #