Rest.Types.Error

Documentation

data DataError

Constructors

ParseError String

PrintError String

MissingField String

UnsupportedFormat String

Instances

Eq DataError

Methods

(==) :: DataError -> DataError -> Bool

(/=) :: DataError -> DataError -> Bool

Show DataError

Methods

showsPrec :: Int -> DataError -> ShowS

show :: DataError -> String

showList :: [DataError] -> ShowS

Generic DataError

Associated Types

type Rep DataError :: * -> *

Methods

from :: DataError -> Rep DataError x

to :: Rep DataError x -> DataError

ToJSON DataError

Methods

toJSON :: DataError -> Value

toEncoding :: DataError -> Encoding

FromJSON DataError

Methods

parseJSON :: Value -> Parser DataError

XmlPickler DataError

Methods

xpickle :: PU DataError

JSONSchema DataError

Methods

schema :: Proxy * DataError -> Schema

type Rep DataError

type Rep DataError = D1 (MetaData "DataError" "Rest.Types.Error" "rest-types-1.14.1.1-7ijkg1iC1LN7wPGX2run2l" False) ((:+:) ((:+:) (C1 (MetaCons "ParseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "PrintError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "MissingField" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "UnsupportedFormat" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))

newtype DomainReason a

Constructors

DomainReason

Fields

• reason :: a

Instances

Functor DomainReason

Methods

fmap :: (a -> b) -> DomainReason a -> DomainReason b

(<$) :: a -> DomainReason b -> DomainReason a

Foldable DomainReason

Methods

fold :: Monoid m => DomainReason m -> m

foldMap :: Monoid m => (a -> m) -> DomainReason a -> m

foldr :: (a -> b -> b) -> b -> DomainReason a -> b

foldr' :: (a -> b -> b) -> b -> DomainReason a -> b

foldl :: (b -> a -> b) -> b -> DomainReason a -> b

foldl' :: (b -> a -> b) -> b -> DomainReason a -> b

foldr1 :: (a -> a -> a) -> DomainReason a -> a

foldl1 :: (a -> a -> a) -> DomainReason a -> a

toList :: DomainReason a -> [a]

null :: DomainReason a -> Bool

length :: DomainReason a -> Int

elem :: Eq a => a -> DomainReason a -> Bool

maximum :: Ord a => DomainReason a -> a

minimum :: Ord a => DomainReason a -> a

sum :: Num a => DomainReason a -> a

product :: Num a => DomainReason a -> a

Traversable DomainReason

Methods

traverse :: Applicative f => (a -> f b) -> DomainReason a -> f (DomainReason b)

sequenceA :: Applicative f => DomainReason (f a) -> f (DomainReason a)

mapM :: Monad m => (a -> m b) -> DomainReason a -> m (DomainReason b)

sequence :: Monad m => DomainReason (m a) -> m (DomainReason a)

Eq a => Eq (DomainReason a)

Methods

(==) :: DomainReason a -> DomainReason a -> Bool

(/=) :: DomainReason a -> DomainReason a -> Bool

Show a => Show (DomainReason a)

Methods

showsPrec :: Int -> DomainReason a -> ShowS

show :: DomainReason a -> String

showList :: [DomainReason a] -> ShowS

Generic (DomainReason a)

Associated Types

type Rep (DomainReason a) :: * -> *

Methods

from :: DomainReason a -> Rep (DomainReason a) x

to :: Rep (DomainReason a) x -> DomainReason a

ToJSON a => ToJSON (DomainReason a)

Methods

toJSON :: DomainReason a -> Value

toEncoding :: DomainReason a -> Encoding

FromJSON a => FromJSON (DomainReason a)

Methods

parseJSON :: Value -> Parser (DomainReason a)

XmlPickler a => XmlPickler (DomainReason a)

Methods

xpickle :: PU (DomainReason a)

JSONSchema a => JSONSchema (DomainReason a)

Methods

schema :: Proxy * (DomainReason a) -> Schema

type Rep (DomainReason a)

type Rep (DomainReason a) = D1 (MetaData "DomainReason" "Rest.Types.Error" "rest-types-1.14.1.1-7ijkg1iC1LN7wPGX2run2l" True) (C1 (MetaCons "DomainReason" PrefixI True) (S1 (MetaSel (Just Symbol "reason") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

data Status a b

Constructors

Failure a

Success b

Instances

Functor (Status a)

Methods

fmap :: (a -> b) -> Status a a -> Status a b

(<$) :: a -> Status a b -> Status a a

Foldable (Status a)

Methods

fold :: Monoid m => Status a m -> m

foldMap :: Monoid m => (a -> m) -> Status a a -> m

foldr :: (a -> b -> b) -> b -> Status a a -> b

foldr' :: (a -> b -> b) -> b -> Status a a -> b

foldl :: (b -> a -> b) -> b -> Status a a -> b

foldl' :: (b -> a -> b) -> b -> Status a a -> b

foldr1 :: (a -> a -> a) -> Status a a -> a

foldl1 :: (a -> a -> a) -> Status a a -> a

toList :: Status a a -> [a]

null :: Status a a -> Bool

length :: Status a a -> Int

elem :: Eq a => a -> Status a a -> Bool

maximum :: Ord a => Status a a -> a

minimum :: Ord a => Status a a -> a

sum :: Num a => Status a a -> a

product :: Num a => Status a a -> a

Traversable (Status a)

Methods

traverse :: Applicative f => (a -> f b) -> Status a a -> f (Status a b)

sequenceA :: Applicative f => Status a (f a) -> f (Status a a)

mapM :: Monad m => (a -> m b) -> Status a a -> m (Status a b)

sequence :: Monad m => Status a (m a) -> m (Status a a)

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

Methods

(==) :: Status a b -> Status a b -> Bool

(/=) :: Status a b -> Status a b -> Bool

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

Methods

showsPrec :: Int -> Status a b -> ShowS

show :: Status a b -> String

showList :: [Status a b] -> ShowS

Generic (Status a b)

Associated Types

type Rep (Status a b) :: * -> *

Methods

from :: Status a b -> Rep (Status a b) x

to :: Rep (Status a b) x -> Status a b

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

Methods

toJSON :: Status a b -> Value

toEncoding :: Status a b -> Encoding

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

Methods

parseJSON :: Value -> Parser (Status a b)

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

Methods

xpickle :: PU (Status a b)

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

Methods

schema :: Proxy * (Status a b) -> Schema

type Rep (Status a b)

type Rep (Status a b) = D1 (MetaData "Status" "Rest.Types.Error" "rest-types-1.14.1.1-7ijkg1iC1LN7wPGX2run2l" False) ((:+:) (C1 (MetaCons "Failure" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) (C1 (MetaCons "Success" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b))))

fromEither :: Either a b -> Status a b

toEither :: Status a b -> Either a b

type Reason_ = Reason Void

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

Monad Reason

Methods

(>>=) :: Reason a -> (a -> Reason b) -> Reason b

(>>) :: Reason a -> Reason b -> Reason b

return :: a -> Reason a

fail :: String -> Reason a

Functor Reason

Methods

fmap :: (a -> b) -> Reason a -> Reason b

(<$) :: a -> Reason b -> Reason a

Applicative Reason

Methods

pure :: a -> Reason a

(<*>) :: Reason (a -> b) -> Reason a -> Reason b

(*>) :: Reason a -> Reason b -> Reason b

(<*) :: Reason a -> Reason b -> Reason a

Foldable Reason

Methods

fold :: Monoid m => Reason m -> m

foldMap :: Monoid m => (a -> m) -> Reason a -> m

foldr :: (a -> b -> b) -> b -> Reason a -> b

foldr' :: (a -> b -> b) -> b -> Reason a -> b

foldl :: (b -> a -> b) -> b -> Reason a -> b

foldl' :: (b -> a -> b) -> b -> Reason a -> b

foldr1 :: (a -> a -> a) -> Reason a -> a

foldl1 :: (a -> a -> a) -> Reason a -> a

toList :: Reason a -> [a]

null :: Reason a -> Bool

length :: Reason a -> Int

elem :: Eq a => a -> Reason a -> Bool

maximum :: Ord a => Reason a -> a

minimum :: Ord a => Reason a -> a

sum :: Num a => Reason a -> a

product :: Num a => Reason a -> a

Traversable Reason

Methods

traverse :: Applicative f => (a -> f b) -> Reason a -> f (Reason b)

sequenceA :: Applicative f => Reason (f a) -> f (Reason a)

mapM :: Monad m => (a -> m b) -> Reason a -> m (Reason b)

sequence :: Monad m => Reason (m a) -> m (Reason a)

Eq a => Eq (Reason a)

Methods

(==) :: Reason a -> Reason a -> Bool

(/=) :: Reason a -> Reason a -> Bool

Show a => Show (Reason a)

Methods

showsPrec :: Int -> Reason a -> ShowS

show :: Reason a -> String

showList :: [Reason a] -> ShowS

Generic (Reason a)

Associated Types

type Rep (Reason a) :: * -> *

Methods

from :: Reason a -> Rep (Reason a) x

to :: Rep (Reason a) x -> Reason a

ToJSON e => ToJSON (Reason e)

Methods

toJSON :: Reason e -> Value

toEncoding :: Reason e -> Encoding

FromJSON e => FromJSON (Reason e)

Methods

parseJSON :: Value -> Parser (Reason e)

XmlPickler e => XmlPickler (Reason e)

Methods

xpickle :: PU (Reason e)

JSONSchema e => JSONSchema (Reason e)

Methods

schema :: Proxy * (Reason e) -> Schema

ToResponseCode a => ToResponseCode (Reason a)

Methods

toResponseCode :: Reason a -> Int

type Rep (Reason a)

type Rep (Reason a) = D1 (MetaData "Reason" "Rest.Types.Error" "rest-types-1.14.1.1-7ijkg1iC1LN7wPGX2run2l" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "UnsupportedRoute" PrefixI False) U1) ((:+:) (C1 (MetaCons "UnsupportedMethod" PrefixI False) U1) (C1 (MetaCons "UnsupportedVersion" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "IdentError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataError))) (C1 (MetaCons "HeaderError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataError)))) ((:+:) (C1 (MetaCons "ParamError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataError))) (C1 (MetaCons "InputError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataError)))))) ((:+:) ((:+:) (C1 (MetaCons "OutputError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataError))) ((:+:) (C1 (MetaCons "NotFound" PrefixI False) U1) (C1 (MetaCons "NotAllowed" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "AuthenticationFailed" PrefixI False) U1) (C1 (MetaCons "Busy" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Gone" PrefixI False) U1) (C1 (MetaCons "CustomReason" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DomainReason a))))))))

data SomeReason where

Constructors

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

Instances

ToJSON SomeReason

Methods

toJSON :: SomeReason -> Value

toEncoding :: SomeReason -> Encoding

XmlPickler SomeReason

Methods

xpickle :: PU SomeReason

JSONSchema SomeReason

Methods

schema :: Proxy * SomeReason -> Schema

class ToResponseCode a where

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

Minimal complete definition

toResponseCode

Methods

toResponseCode :: a -> Int

Instances

ToResponseCode Void

Methods

toResponseCode :: Void -> Int

ToResponseCode a => ToResponseCode (Reason a)

Methods

toResponseCode :: Reason a -> Int