| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Rest.Types.Error
- data DataError
- newtype DomainReason a = DomainReason {
- reason :: a
- data Status a b
- fromEither :: Either a b -> Status a b
- toEither :: Status a b -> Either a b
- type Reason_ = Reason Void
- data Reason a
- data SomeReason where
- SomeReason :: (XmlPickler e, JSONSchema e, ToJSON e) => Reason e -> SomeReason
- class ToResponseCode a where
- toResponseCode :: a -> Int
Documentation
Constructors
| ParseError String | |
| PrintError String | |
| MissingField String | |
| UnsupportedFormat String |
newtype DomainReason a Source
Constructors
| DomainReason | |
Fields
| |
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) |
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) | |
| Typeable (* -> * -> *) Status | |
| type Rep (Status a b) |
fromEither :: Either a b -> Status a b Source
Constructors
Instances
| Monad Reason | |
| Functor Reason | |
| Applicative 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) | |
| ToResponseCode a => ToResponseCode (Reason a) | |
| Typeable (* -> *) Reason | |
| type Rep (Reason a) |
data SomeReason where Source
Constructors
| SomeReason :: (XmlPickler e, JSONSchema e, ToJSON e) => Reason e -> SomeReason |
class ToResponseCode a where Source
The response code that should be given for a type. This is currently only used for errors.
Methods
toResponseCode :: a -> Int Source
Instances
| ToResponseCode Void | |
| ToResponseCode a => ToResponseCode (Reason a) |