Safe Haskell	None
Language	Haskell98

Network.URI.Template

Documentation

uri :: QuasiQuoter #

render :: UriTemplate -> [BoundValue] -> String #

parseTemplate :: String -> Either Doc UriTemplate #

type UriTemplate = [TemplateSegment] #

data TemplateSegment #

Constructors

Literal String
Embed Modifier [Variable]

Instances

Eq TemplateSegment #
Methods (==) :: TemplateSegment -> TemplateSegment -> Bool # (/=) :: TemplateSegment -> TemplateSegment -> Bool #
Read TemplateSegment #
Methods readsPrec :: Int -> ReadS TemplateSegment # readList :: ReadS [TemplateSegment] # readPrec :: ReadPrec TemplateSegment # readListPrec :: ReadPrec [TemplateSegment] #
Show TemplateSegment #
Methods showsPrec :: Int -> TemplateSegment -> ShowS # show :: TemplateSegment -> String # showList :: [TemplateSegment] -> ShowS #

data Modifier #

Constructors

Simple
Reserved
Fragment
Label
PathSegment
PathParameter
Query
QueryContinuation
Alias

Instances

Eq Modifier #
Methods (==) :: Modifier -> Modifier -> Bool # (/=) :: Modifier -> Modifier -> Bool #
Read Modifier #
Methods readsPrec :: Int -> ReadS Modifier # readList :: ReadS [Modifier] # readPrec :: ReadPrec Modifier # readListPrec :: ReadPrec [Modifier] #
Show Modifier #
Methods showsPrec :: Int -> Modifier -> ShowS # show :: Modifier -> String # showList :: [Modifier] -> ShowS #

data ValueModifier #

Constructors

Normal
Explode
MaxLength Int

Instances

Eq ValueModifier #
Methods (==) :: ValueModifier -> ValueModifier -> Bool # (/=) :: ValueModifier -> ValueModifier -> Bool #
Read ValueModifier #
Methods readsPrec :: Int -> ReadS ValueModifier # readList :: ReadS [ValueModifier] # readPrec :: ReadPrec ValueModifier # readListPrec :: ReadPrec [ValueModifier] #
Show ValueModifier #
Methods showsPrec :: Int -> ValueModifier -> ShowS # show :: ValueModifier -> String # showList :: [ValueModifier] -> ShowS #

data TemplateValue a where #

Constructors

Single :: String -> TemplateValue Single
Associative :: [(TemplateValue Single, TemplateValue Single)] -> TemplateValue Associative
List :: [TemplateValue Single] -> TemplateValue List

Instances

Show (TemplateValue a) #
Methods showsPrec :: Int -> TemplateValue a -> ShowS # show :: TemplateValue a -> String # showList :: [TemplateValue a] -> ShowS #

class ToTemplateValue a where #

Minimal complete definition

toTemplateValue

Associated Types

type TemplateRep a #

Methods

toTemplateValue :: a -> TemplateValue (TemplateRep a) #

Instances

ToTemplateValue Int #
Associated Types type TemplateRep Int :: * # Methods toTemplateValue :: Int -> TemplateValue (TemplateRep Int) #
ToTemplateValue Text #
Associated Types type TemplateRep Text :: * # Methods toTemplateValue :: Text -> TemplateValue (TemplateRep Text) #
ToTemplateValue Text #
Associated Types type TemplateRep Text :: * # Methods toTemplateValue :: Text -> TemplateValue (TemplateRep Text) #
ToTemplateValue TemplateString #
Associated Types type TemplateRep TemplateString :: * # Methods toTemplateValue :: TemplateString -> TemplateValue (TemplateRep TemplateString) #
(ToTemplateValue a, (~) * (TemplateRep a) Single) => ToTemplateValue [a] #
Associated Types type TemplateRep [a] :: * # Methods toTemplateValue :: [a] -> TemplateValue (TemplateRep [a]) #
(ToTemplateValue a, (~) * (TemplateRep a) Single) => ToTemplateValue (Vector a) #
Associated Types type TemplateRep (Vector a) :: * # Methods toTemplateValue :: Vector a -> TemplateValue (TemplateRep (Vector a)) #
(ToTemplateValue k, (~) * (TemplateRep k) Single, ToTemplateValue v, (~) * (TemplateRep v) Single) => ToTemplateValue (Map k v) #
Associated Types type TemplateRep (Map k v) :: * # Methods toTemplateValue :: Map k v -> TemplateValue (TemplateRep (Map k v)) #
(ToTemplateValue k, (~) * (TemplateRep k) Single, ToTemplateValue v, (~) * (TemplateRep v) Single) => ToTemplateValue (HashMap k v) #
Associated Types type TemplateRep (HashMap k v) :: * # Methods toTemplateValue :: HashMap k v -> TemplateValue (TemplateRep (HashMap k v)) #
(ToTemplateValue k, (~) * (TemplateRep k) Single, ToTemplateValue v, (~) * (TemplateRep v) Single) => ToTemplateValue (AList k v) #
Associated Types type TemplateRep (AList k v) :: * # Methods toTemplateValue :: AList k v -> TemplateValue (TemplateRep (AList k v)) #

newtype AList k v #

Constructors

AList
Fields fromAList :: [(k, v)]

Instances

(ToTemplateValue k, (~) * (TemplateRep k) Single, ToTemplateValue v, (~) * (TemplateRep v) Single) => ToTemplateValue (AList k v) #
Associated Types type TemplateRep (AList k v) :: * # Methods toTemplateValue :: AList k v -> TemplateValue (TemplateRep (AList k v)) #
type TemplateRep (AList k v) #
type TemplateRep (AList k v) = Associative

newtype TemplateString #

Constructors

String
Fields fromString :: String

Instances

Eq TemplateString #
Methods (==) :: TemplateString -> TemplateString -> Bool # (/=) :: TemplateString -> TemplateString -> Bool #
Read TemplateString #
Methods readsPrec :: Int -> ReadS TemplateString # readList :: ReadS [TemplateString] # readPrec :: ReadPrec TemplateString # readListPrec :: ReadPrec [TemplateString] #
Show TemplateString #
Methods showsPrec :: Int -> TemplateString -> ShowS # show :: TemplateString -> String # showList :: [TemplateString] -> ShowS #
IsString TemplateString #
Methods fromString :: String -> TemplateString #
ToTemplateValue TemplateString #
Associated Types type TemplateRep TemplateString :: * # Methods toTemplateValue :: TemplateString -> TemplateValue (TemplateRep TemplateString) #
type TemplateRep TemplateString #
type TemplateRep TemplateString = Single