servant-checked-exceptions-core-2.2.0.0: Checked exceptions for Servant APIs.

CopyrightDennis Gosnell 2017
LicenseBSD3
MaintainerDennis Gosnell (cdep.illabout@gmail.com)
Stabilityexperimental
Portabilityunknown
Safe HaskellSafe
LanguageHaskell2010

Servant.Checked.Exceptions.Internal.Verbs

Description

This module defines the Throws and Throwing types.

Documentation

data VerbWithErr (method :: k1) (successStatusCode :: Nat) (contentTypes :: [*]) (es :: [*]) a Source #

Instances
Generic (VerbWithErr method successStatusCode contentTypes es a) Source # 
Instance details

Defined in Servant.Checked.Exceptions.Internal.Verbs

Associated Types

type Rep (VerbWithErr method successStatusCode contentTypes es a) :: Type -> Type #

Methods

from :: VerbWithErr method successStatusCode contentTypes es a -> Rep (VerbWithErr method successStatusCode contentTypes es a) x #

to :: Rep (VerbWithErr method successStatusCode contentTypes es a) x -> VerbWithErr method successStatusCode contentTypes es a #

type Rep (VerbWithErr method successStatusCode contentTypes es a) Source # 
Instance details

Defined in Servant.Checked.Exceptions.Internal.Verbs

type Rep (VerbWithErr method successStatusCode contentTypes es a) = D1 (MetaData "VerbWithErr" "Servant.Checked.Exceptions.Internal.Verbs" "servant-checked-exceptions-core-2.2.0.0-JjWNBThNKuA7FPLuqPs8C0" False) (V1 :: Type -> Type)