Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
uri :: QuasiQuoter Source #
render :: UriTemplate -> [BoundValue] -> String Source #
parseTemplate :: String -> Either Doc UriTemplate Source #
type UriTemplate = [TemplateSegment] Source #
data TemplateSegment Source #
data ValueModifier Source #
data TemplateValue a where Source #
Single :: String -> TemplateValue Single | |
Associative :: [(TemplateValue Single, TemplateValue Single)] -> TemplateValue Associative | |
List :: [TemplateValue Single] -> TemplateValue List |
Show (TemplateValue a) Source # | |
class ToTemplateValue a where Source #
type TemplateRep a Source #
toTemplateValue :: a -> TemplateValue (TemplateRep a) Source #
ToTemplateValue Int Source # | |
ToTemplateValue Text Source # | |
ToTemplateValue Text Source # | |
ToTemplateValue TemplateString Source # | |
(ToTemplateValue a, (~) * (TemplateRep a) Single) => ToTemplateValue [a] Source # | |
(ToTemplateValue a, (~) * (TemplateRep a) Single) => ToTemplateValue (Vector a) Source # | |
(ToTemplateValue k, (~) * (TemplateRep k) Single, ToTemplateValue v, (~) * (TemplateRep v) Single) => ToTemplateValue (Map k v) Source # | |
(ToTemplateValue k, (~) * (TemplateRep k) Single, ToTemplateValue v, (~) * (TemplateRep v) Single) => ToTemplateValue (HashMap k v) Source # | |
(ToTemplateValue k, (~) * (TemplateRep k) Single, ToTemplateValue v, (~) * (TemplateRep v) Single) => ToTemplateValue (AList k v) Source # | |
(ToTemplateValue k, (~) * (TemplateRep k) Single, ToTemplateValue v, (~) * (TemplateRep v) Single) => ToTemplateValue (AList k v) Source # | |
type TemplateRep (AList k v) Source # | |