Network.URI.Template.Types

Documentation

data Single

data Associative

data List

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

data WrappedValue where

Constructors

WrappedValue :: TemplateValue a -> WrappedValue

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

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

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))

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 Variable

Constructors

Variable

Fields

• variableName :: String
• variableValueModifier :: ValueModifier

Instances

Eq Variable

Methods

(==) :: Variable -> Variable -> Bool

(/=) :: Variable -> Variable -> Bool

Read Variable

Methods

readsPrec :: Int -> ReadS Variable

readList :: ReadS [Variable]

readPrec :: ReadPrec Variable

readListPrec :: ReadPrec [Variable]

Show Variable

Methods

showsPrec :: Int -> Variable -> ShowS

show :: Variable -> String

showList :: [Variable] -> ShowS

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

type UriTemplate = [TemplateSegment]

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