Network.URI.Template

Documentation

uri :: QuasiQuoter

render :: Buildable str => UriTemplate -> [BoundValue] -> str

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

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 (Maybe a)

Associated Types

type TemplateRep (Maybe a) :: *

Methods

toTemplateValue :: Maybe a -> TemplateValue (TemplateRep (Maybe 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

class Monoid (StringBuilder a) => Buildable a where

Minimal complete definition

build, addChar, addString

Associated Types

type StringBuilder a

Methods

build :: StringBuilder a -> a

addChar :: Proxy a -> Char -> StringBuilder a

addString :: Proxy a -> String -> StringBuilder a

Instances

Buildable ByteString

Associated Types

type StringBuilder ByteString :: *

Methods

build :: StringBuilder ByteString -> ByteString

addChar :: Proxy * ByteString -> Char -> StringBuilder ByteString

addString :: Proxy * ByteString -> String -> StringBuilder ByteString

Buildable ByteString

Associated Types

type StringBuilder ByteString :: *

Methods

build :: StringBuilder ByteString -> ByteString

addChar :: Proxy * ByteString -> Char -> StringBuilder ByteString

addString :: Proxy * ByteString -> String -> StringBuilder ByteString

Buildable Text

Associated Types

type StringBuilder Text :: *

Methods

build :: StringBuilder Text -> Text

addChar :: Proxy * Text -> Char -> StringBuilder Text

addString :: Proxy * Text -> String -> StringBuilder Text

Buildable Text

Associated Types

type StringBuilder Text :: *

Methods

build :: StringBuilder Text -> Text

addChar :: Proxy * Text -> Char -> StringBuilder Text

addString :: Proxy * Text -> String -> StringBuilder Text

Buildable String

Associated Types

type StringBuilder String :: *

Methods

build :: StringBuilder String -> String

addChar :: Proxy * String -> Char -> StringBuilder String

addString :: Proxy * String -> String -> StringBuilder String

Buildable Builder

Associated Types

type StringBuilder Builder :: *

Methods

build :: StringBuilder Builder -> Builder

addChar :: Proxy * Builder -> Char -> StringBuilder Builder

addString :: Proxy * Builder -> String -> StringBuilder Builder

Buildable Builder

Associated Types

type StringBuilder Builder :: *

Methods

build :: StringBuilder Builder -> Builder

addChar :: Proxy * Builder -> Char -> StringBuilder Builder

addString :: Proxy * Builder -> String -> StringBuilder Builder