Rest.Types.Error

Documentation

data DataError

Constructors

ParseError String

PrintError String

MissingField String

UnsupportedFormat String

Instances

Eq DataError

Show DataError

Generic DataError

ToJSON DataError

FromJSON DataError

XmlPickler DataError

JSONSchema DataError

Error DataError

Regular DataError

type Rep DataError

type PF DataError

newtype DomainReason a

Constructors

DomainReason

Fields

reason :: a

Instances

Functor DomainReason

Foldable DomainReason

Traversable DomainReason

Eq a => Eq (DomainReason a)

Show a => Show (DomainReason a)

Generic (DomainReason a)

ToJSON a => ToJSON (DomainReason a)

FromJSON a => FromJSON (DomainReason a)

XmlPickler a => XmlPickler (DomainReason a)

JSONSchema a => JSONSchema (DomainReason a)

type Rep (DomainReason a)

data Status a b

Constructors

Failure a

Success b

Instances

Functor (Status a)

Foldable (Status a)

Traversable (Status a)

(Eq a, Eq b) => Eq (Status a b)

(Show a, Show b) => Show (Status a b)

Generic (Status a b)

(ToJSON a, ToJSON b) => ToJSON (Status a b)

(FromJSON a, FromJSON b) => FromJSON (Status a b)

(XmlPickler a, XmlPickler b) => XmlPickler (Status a b)

(JSONSchema a, JSONSchema b) => JSONSchema (Status a b)

Regular (Status a b)

Typeable (* -> * -> *) Status

type Rep (Status a b)

type PF (Status a b)

fromEither :: Either a b -> Status a b

toEither :: Status a b -> Either a b

type Reason_ = Reason ()

data Reason a

Constructors

UnsupportedRoute

UnsupportedMethod

UnsupportedVersion

IdentError DataError

HeaderError DataError

ParamError DataError

InputError DataError

OutputError DataError

NotFound

NotAllowed

AuthenticationFailed

Busy

Gone

CustomReason (DomainReason a)

Instances

Functor Reason

Foldable Reason

Traversable Reason

Eq a => Eq (Reason a)

Show a => Show (Reason a)

Generic (Reason a)

ToJSON e => ToJSON (Reason e)

FromJSON e => FromJSON (Reason e)

XmlPickler e => XmlPickler (Reason e)

JSONSchema e => JSONSchema (Reason e)

Error (Reason e)

Regular (Reason a)

ToResponseCode a => ToResponseCode (Reason a)

Typeable (* -> *) Reason

type Rep (Reason a)

type PF (Reason e)

data SomeReason where

Constructors

SomeReason :: (XmlPickler e, JSONSchema e, ToJSON e) => Reason e -> SomeReason

Instances

ToJSON SomeReason

XmlPickler SomeReason

JSONSchema SomeReason

Error SomeReason

Typeable * SomeReason

class ToResponseCode a where

The response code that should be given for a type. This is currently only used for errors.

Methods

toResponseCode :: a -> Int

Instances

ToResponseCode ()

ToResponseCode a => ToResponseCode (Reason a)