servant-checked-exceptions-core-2.2.0.1: Checked exceptions for Servant APIs.
CopyrightDennis Gosnell 2017
LicenseBSD3
MaintainerDennis Gosnell (cdep.illabout@gmail.com)
Stabilityexperimental
Portabilityunknown
Safe HaskellNone
LanguageHaskell2010

Servant.Checked.Exceptions.Internal.Servant.API

Description

This module defines the Throws and Throwing types.

Synopsis

Documentation

data Throws (e :: *) Source #

Throws is used in Servant API definitions and signifies that an API will throw the given error.

Here is an example of how to create an API that potentially returns a String as an error, or an Int on success:

>>> import Servant.API (Get, JSON, (:>))
>>> type API = Throws String :> Get '[JSON] Int

Instances

Instances details
HasDocs (Throwing (Snoc es e) :> api) => HasDocs (Throwing es :> (Throws e :> api) :: Type) Source #

When a Throws e comes immediately after a Throwing es, Snoc the e onto the es.

Instance details

Defined in Servant.Checked.Exceptions.Internal.Servant.Docs

Methods

docsFor :: Proxy (Throwing es :> (Throws e :> api)) -> (Endpoint, Action) -> DocOptions -> API #

HasDocs (Throwing '[e] :> api) => HasDocs (Throws e :> api :: Type) Source #

Change a Throws into Throwing.

Instance details

Defined in Servant.Checked.Exceptions.Internal.Servant.Docs

Methods

docsFor :: Proxy (Throws e :> api) -> (Endpoint, Action) -> DocOptions -> API #

data NoThrow Source #

NoThrow is used to indicate that an API will not throw an error, but that it will still return a response wrapped in a Envelope.

Examples

Expand

Create an API using NoThrow:

>>> import Servant.API (Get, JSON, (:>))
>>> type API = NoThrow :> Get '[JSON] Int

A servant-server handler for this type would look like the following:

  apiHandler :: Handler (Envelope '[] Int)
  apiHandler = pureSuccEnvelope 3

Instances

Instances details
HasDocs (Verb method status ctypes (Envelope ('[] :: [Type]) a)) => HasDocs (NoThrow :> Verb method status ctypes a :: Type) Source #

When NoThrow comes before a Verb, generate the documentation for the same Verb, but returning an Envelope '[].

Instance details

Defined in Servant.Checked.Exceptions.Internal.Servant.Docs

Methods

docsFor :: Proxy (NoThrow :> Verb method status ctypes a) -> (Endpoint, Action) -> DocOptions -> API #

data Throwing (e :: [*]) Source #

This is used internally and should not be used by end-users.

Instances

Instances details
HasDocs (Throwing (Snoc es e) :> api) => HasDocs (Throwing es :> (Throws e :> api) :: Type) Source #

When a Throws e comes immediately after a Throwing es, Snoc the e onto the es.

Instance details

Defined in Servant.Checked.Exceptions.Internal.Servant.Docs

Methods

docsFor :: Proxy (Throwing es :> (Throws e :> api)) -> (Endpoint, Action) -> DocOptions -> API #

(CreateRespBodiesFor es ctypes, HasDocs (Verb method status ctypes (Envelope es a))) => HasDocs (Throwing es :> Verb method status ctypes a :: Type) Source #

When Throwing es comes before a Verb, generate the documentation for the same Verb, but returning an Envelope es. Also add documentation for the potential es.

Instance details

Defined in Servant.Checked.Exceptions.Internal.Servant.Docs

Methods

docsFor :: Proxy (Throwing es :> Verb method status ctypes a) -> (Endpoint, Action) -> DocOptions -> API #

type family ThrowingNonterminal api where ... Source #

Used by the HasServer and HasClient instances for Throwing es :> api :> apis to detect Throwing es followed immediately by Throws e.

Equations

ThrowingNonterminal (Throwing es :> (Throws e :> api)) = Throwing (Snoc es e) :> api 
ThrowingNonterminal (Throwing es :> (c :> api)) = c :> (Throwing es :> api) 

class ErrStatus e where Source #

Note that clients generated by servant-client currently don't handle status codes outside the 2XX range correctly. Take a look at the README for more details.

Methods

toErrStatus :: e -> Status Source #

type family AllErrStatus (es :: [k]) :: Constraint where ... Source #

Equations

AllErrStatus '[] = () 
AllErrStatus (a ': as) = (ErrStatus a, AllErrStatus as) 
>>> :set -XDataKinds
>>> :set -XTypeOperators