-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Silk Rest Framework Types -- @package rest-types @version 1.13 module Rest.Types.ShowUrl class ShowUrl a showUrl :: ShowUrl a => a -> String instance ShowUrl Text instance ShowUrl Text instance ShowUrl UUID instance ShowUrl Integer instance ShowUrl Int instance ShowUrl String module Rest.Types.Range -- | Data type for representing the requested range in list handlers. data Range Range :: Int -> Int -> Range offset :: Range -> Int count :: Range -> Int -- | Module facilitating informative inspection of datatypes. module Rest.Types.Info -- | Type class representing information about the read/show function on a -- data type. class Typeable a => Info a where example _ = "" describe :: Info a => proxy a -> String example :: Info a => proxy a -> String instance Info Integer instance Info Int instance Info Text instance Info String module Rest.Types.Void -- | The Void type is used as the identifier for resources that -- can't be routed to. It contains no values apart from bottom. newtype Void Void :: (forall a. a) -> Void magic :: Void -> forall a. a instance Typeable Void instance Datatype D1Void instance Generic Void instance Show Void instance XmlPickler Void instance JSONSchema Void instance ToJSON Void instance FromJSON Void module Rest.Types.Error data DataError ParseError :: String -> DataError PrintError :: String -> DataError MissingField :: String -> DataError UnsupportedFormat :: String -> DataError newtype DomainReason a DomainReason :: a -> DomainReason a reason :: DomainReason a -> a data Status a b Failure :: a -> Status a b Success :: b -> Status a b fromEither :: Either a b -> Status a b toEither :: Status a b -> Either a b type Reason_ = Reason Void data Reason a UnsupportedRoute :: Reason a UnsupportedMethod :: Reason a UnsupportedVersion :: Reason a IdentError :: DataError -> Reason a HeaderError :: DataError -> Reason a ParamError :: DataError -> Reason a InputError :: DataError -> Reason a OutputError :: DataError -> Reason a NotFound :: Reason a NotAllowed :: Reason a AuthenticationFailed :: Reason a Busy :: Reason a Gone :: Reason a CustomReason :: (DomainReason a) -> Reason a data SomeReason SomeReason :: Reason e -> SomeReason -- | The response code that should be given for a type. This is currently -- only used for errors. class ToResponseCode a toResponseCode :: ToResponseCode a => a -> Int instance Typeable SomeReason instance ToResponseCode a => ToResponseCode (Reason a) instance ToResponseCode Void instance JSONSchema SomeReason instance ToJSON SomeReason instance XmlPickler SomeReason instance JSONSchema e => JSONSchema (Reason e) instance JSONSchema DataError instance FromJSON e => FromJSON (Reason e) instance ToJSON e => ToJSON (Reason e) instance FromJSON DataError instance ToJSON DataError instance XmlPickler e => XmlPickler (Reason e) instance XmlPickler DataError instance Regular (Reason a0) instance Constructor Reason_CustomReason_ instance Constructor Reason_Gone_ instance Constructor Reason_Busy_ instance Constructor Reason_AuthenticationFailed_ instance Constructor Reason_NotAllowed_ instance Constructor Reason_NotFound_ instance Constructor Reason_OutputError_ instance Constructor Reason_InputError_ instance Constructor Reason_ParamError_ instance Constructor Reason_HeaderError_ instance Constructor Reason_IdentError_ instance Constructor Reason_UnsupportedVersion_ instance Constructor Reason_UnsupportedMethod_ instance Constructor Reason_UnsupportedRoute_ instance Regular DataError instance Constructor DataError_UnsupportedFormat_ instance Constructor DataError_MissingField_ instance Constructor DataError_PrintError_ instance Constructor DataError_ParseError_ instance Typeable Reason instance Eq a => Eq (Reason a) instance Generic (Reason a) instance Show a => Show (Reason a) instance Functor Reason instance Foldable Reason instance Traversable Reason instance Datatype D1Reason instance Constructor C1_0Reason instance Constructor C1_1Reason instance Constructor C1_2Reason instance Constructor C1_3Reason instance Constructor C1_4Reason instance Constructor C1_5Reason instance Constructor C1_6Reason instance Constructor C1_7Reason instance Constructor C1_8Reason instance Constructor C1_9Reason instance Constructor C1_10Reason instance Constructor C1_11Reason instance Constructor C1_12Reason instance Constructor C1_13Reason instance (JSONSchema a, JSONSchema b) => JSONSchema (Status a b) instance (FromJSON a, FromJSON b) => FromJSON (Status a b) instance (ToJSON a, ToJSON b) => ToJSON (Status a b) instance (XmlPickler a, XmlPickler b) => XmlPickler (Status a b) instance Regular (Status a0 b0) instance Constructor Status_Success_ instance Constructor Status_Failure_ instance Typeable Status instance Eq DataError instance Generic DataError instance Show DataError instance Eq a => Eq (DomainReason a) instance Generic (DomainReason a) instance Functor DomainReason instance Foldable DomainReason instance Show a => Show (DomainReason a) instance Traversable DomainReason instance (Eq a, Eq b) => Eq (Status a b) instance (Show a, Show b) => Show (Status a b) instance Generic (Status a b) instance Functor (Status a) instance Foldable (Status a) instance Traversable (Status a) instance Datatype D1DataError instance Constructor C1_0DataError instance Constructor C1_1DataError instance Constructor C1_2DataError instance Constructor C1_3DataError instance Datatype D1DomainReason instance Constructor C1_0DomainReason instance Selector S1_0_0DomainReason instance Datatype D1Status instance Constructor C1_0Status instance Constructor C1_1Status instance JSONSchema a => JSONSchema (DomainReason a) instance FromJSON a => FromJSON (DomainReason a) instance ToJSON a => ToJSON (DomainReason a) instance XmlPickler a => XmlPickler (DomainReason a) module Rest.Types.Method data Method GET :: Method PUT :: Method POST :: Method DELETE :: Method instance Show Method instance Eq Method instance Bounded Method instance Enum Method instance XmlPickler Method instance JSONSchema Method instance FromJSON Method instance ToJSON Method module Rest.Types.Container.Resource data Resource Resource :: String -> Method -> CaseInsensitiveKeyValues -> KeyValues -> String -> Resource uri :: Resource -> String method :: Resource -> Method headers :: Resource -> CaseInsensitiveKeyValues parameters :: Resource -> KeyValues input :: Resource -> String newtype Resources Resources :: [Resource] -> Resources type KeyValues = StringHashMap String Value newtype Value Value :: String -> Value unValue :: Value -> String instance JSONSchema Resources instance FromJSON Resources instance ToJSON Resources instance XmlPickler Resources instance Regular Resources instance Constructor Resources_Resources_ instance Typeable Resources instance Generic Resources instance Datatype D1Resources instance Constructor C1_0Resources instance JSONSchema Resource instance FromJSON Resource instance ToJSON Resource instance XmlPickler Resource instance Regular Resource instance Selector Resource_Resource_input_ instance Selector Resource_Resource_parameters_ instance Selector Resource_Resource_headers_ instance Selector Resource_Resource_method_ instance Selector Resource_Resource_uri_ instance Constructor Resource_Resource_ instance Typeable Value instance Typeable Resource instance FromJSON Value instance ToJSON Value instance Show Value instance Generic Resource instance Show Resource instance Datatype D1Resource instance Constructor C1_0Resource instance Selector S1_0_0Resource instance Selector S1_0_1Resource instance Selector S1_0_2Resource instance Selector S1_0_3Resource instance Selector S1_0_4Resource instance XmlPickler Value instance JSONSchema Value module Rest.Types.Container data List a List :: Int -> Int -> [a] -> List a offset :: List a -> Int count :: List a -> Int items :: List a -> [a] data SomeOutput SomeOutput :: o -> SomeOutput instance Typeable SomeOutput instance JSONSchema SomeOutput instance ToJSON SomeOutput instance XmlPickler SomeOutput instance JSONSchema a => JSONSchema (List a) instance FromJSON a => FromJSON (List a) instance ToJSON a => ToJSON (List a) instance XmlPickler a => XmlPickler (List a) instance Regular (List a0) instance Selector List_List_items_ instance Selector List_List_count_ instance Selector List_List_offset_ instance Constructor List_List_ instance Typeable List instance Generic (List a) instance Show a => Show (List a) instance Datatype D1List instance Constructor C1_0List instance Selector S1_0_0List instance Selector S1_0_1List instance Selector S1_0_2List