Rest.Dictionary.Combinators

Combinators for specifying the input/output dictionaries of a Handler. The combinators can be combined using (.).

Input dictionaries

stringI :: Dict h p Nothing o e -> Dict h p (Just String) o e

Allow direct usage of as input as String.

xmlTextI :: Dict h p Nothing o e -> Dict h p (Just Text) o e

Allow direct usage of as input as raw Xml Text.

fileI :: Dict h p Nothing o e -> Dict h p (Just ByteString) o e

Allow usage of input as file contents, represented as a ByteString.

readI :: (Info i, Read i, Show i, FromMaybe i i' ~ i) => Dict h p i' o e -> Dict h p (Just i) o e

The input can be read into some instance of Read. For inspection reasons the type must also be an instance of both Info and Show.

xmlI :: (Typeable i, XmlPickler i, FromMaybe i i' ~ i) => Dict h p i' o e -> Dict h p (Just i) o e

The input can be read into some instance of XmlPickler.

rawXmlI :: Dict h p Nothing o e -> Dict h p (Just ByteString) o e

The input can be used as an XML ByteString.

jsonI :: (Typeable i, FromJSON i, JSONSchema i, FromMaybe i i' ~ i) => Dict h p i' o e -> Dict h p (Just i) o e

The input can be read into some instance of Json.

Output dictionaries

stringO :: Dict h p i Nothing e -> Dict h p i (Just String) e

Allow output as plain String.

fileO :: Dict h p i Nothing e -> Dict h p i (Just (ByteString, String)) e

Allow file output using a combination of the raw data and a mime type.

xmlO :: (Typeable o, XmlPickler o, FromMaybe o o' ~ o) => Dict h p i o' e -> Dict h p i (Just o) e

Allow output as XML using the XmlPickler type class.

rawXmlO :: Dict h p i Nothing e -> Dict h p i (Just ByteString) e

Allow output as raw XML represented as a ByteString.

jsonO :: (Typeable o, ToJSON o, JSONSchema o, FromMaybe o o' ~ o) => Dict h p i o' e -> Dict h p i (Just o) e

Allow output as JSON using the Json type class.

multipartO :: Dict h p i Nothing e -> Dict h p i (Just [BodyPart]) e

Allow output as multipart. Writes out the ByteStrings separated by boundaries, with content type 'multipart/mixed'.

Error dictionaries

jsonE :: (ToResponseCode e, Typeable e, ToJSON e, JSONSchema e, FromMaybe e e' ~ e) => Dict h p i o e' -> Dict h p i o (Just e)

Allow error output as JSON using the Json type class.

xmlE :: (ToResponseCode e, Typeable e, XmlPickler e, FromMaybe e e' ~ e) => Dict h p i o e' -> Dict h p i o (Just e)

Allow error output as XML using the XmlPickler type class.

Composed dictionaries

xmlJsonI :: (Typeable i, FromJSON i, JSONSchema i, XmlPickler i, FromMaybe i i' ~ i) => Dict h p i' o e -> Dict h p (Just i) o e

The input can be read into some instance of both Json and XmlPickler.

xmlJsonO :: (Typeable o, ToJSON o, JSONSchema o, XmlPickler o, FromMaybe o o' ~ o) => Dict h p i o' e -> Dict h p i (Just o) e

Allow output as JSON using the Json type class and allow output as XML using the XmlPickler type class.

xmlJsonE :: (ToResponseCode e, Typeable e, ToJSON e, JSONSchema e, XmlPickler e, FromMaybe e e' ~ e) => Dict h p i o e' -> Dict h p i o (Just e)

Allow error output as JSON using the Json type class and allow output as XML using the XmlPickler type class.

xmlJson :: (Typeable i, FromJSON i, JSONSchema i, XmlPickler i, Typeable o, ToJSON o, JSONSchema o, XmlPickler o, FromMaybe i i' ~ i, FromMaybe o o' ~ o) => Dict h p i' o' e -> Dict h p (Just i) (Just o) e

The input can be read into some instance of both Json and XmlPickler and allow output as JSON using the Json type class and allow output as XML using the XmlPickler type class.

Header dictionaries

mkHeader :: Header h -> Dict x p i o e -> Dict h p i o e

Set custom sub-dictionary for recognizing headers.

addHeader :: Header h -> Dict h' p i o e -> Dict (h, h') p i o e

Add custom sub-dictionary for recognizing headers.

Parameter dictionaries

mkPar :: Param p -> Dict h x i o e -> Dict h p i o e

Set custom sub-dictionary for recognizing parameters.

addPar :: Param p -> Dict h p' i o e -> Dict h (p, p') i o e

Add custom sub-dictionary for recognizing parameters.

Deprecated

someI :: Dict h p i o e -> Dict h p i o e

Deprecated: This can be safely removed, it is now just the identity.

Open up input type for extension with custom dictionaries.

someO :: Dict h p i o e -> Dict h p i o e

Deprecated: This can be safely removed, it is now just the identity.

Open up output type for extension with custom dictionaries.

someE :: Dict h p i o e -> Dict h p i o e

Deprecated: This can be safely removed, it is now just the identity.

Open up error type for extension with custom dictionaries.