servant-checked-exceptions-core-2.0.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 k1 k method successStatusCode contentTypes es a) Source # 

Associated Types

type Rep (VerbWithErr k1 k method successStatusCode contentTypes es a) :: * -> * #

Methods

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

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

type Rep (VerbWithErr k1 k method successStatusCode contentTypes es a) Source # 
type Rep (VerbWithErr k1 k method successStatusCode contentTypes es a) = D1 * (MetaData "VerbWithErr" "Servant.Checked.Exceptions.Internal.Verbs" "servant-checked-exceptions-core-2.0.0.0-4bIcHJtwVAtGnNIFfIr0yU" False) (V1 *)