Servant.Named

Documentation

type NamedQueryParam = NamedQueryParam' [Required, Strict]

Like QueryParam, but instead of extracting a type a, it extracts a named type named :! a, where named corresponds to the query parameter string.

type OptionalQueryParam = NamedQueryParam' [Optional, Strict]

Lookup the value associated to the sym query string parameter and try to extract it as an optional named argument of type sym :? a.

data NamedQueryParams (sym :: Symbol) (a :: *)

Like QueryParams, but extracts a named type named :! [a] instead, where named corresponds to the query parameter string.

Instances

(KnownSymbol sym, ToHttpApiData v, HasLink sub) => HasLink (NamedQueryParams sym v :> sub :: Type)

Defined in Servant.Named

Associated Types

type MkLink (NamedQueryParams sym v :> sub) a :: Type

Methods

toLink :: (Link -> a) -> Proxy (NamedQueryParams sym v :> sub) -> Link -> MkLink (NamedQueryParams sym v :> sub) a

type MkLink (NamedQueryParams sym v :> sub :: Type) a

Defined in Servant.Named

type MkLink (NamedQueryParams sym v :> sub :: Type) a = (sym :! [v]) -> MkLink sub a

data NamedQueryFlag (sym :: Symbol)

Like `QueryFlag, but extracts a named type named :! Bool instead, where named corresponds to the query parameter string.

Instances

(KnownSymbol sym, HasLink sub) => HasLink (NamedQueryFlag sym :> sub :: Type)

Defined in Servant.Named

Associated Types

type MkLink (NamedQueryFlag sym :> sub) a :: Type

Methods

toLink :: (Link -> a) -> Proxy (NamedQueryFlag sym :> sub) -> Link -> MkLink (NamedQueryFlag sym :> sub) a

type MkLink (NamedQueryFlag sym :> sub :: Type) a

Defined in Servant.Named

type MkLink (NamedQueryFlag sym :> sub :: Type) a = (sym :! Bool) -> MkLink sub a

data NamedQueryParam' (mods :: [*]) (sym :: Symbol) (a :: *)

Like QueryParam', but instead of extracting a type a, it extracts a named type NamedF f a sym, where the name corresponds to the query parameter string.

Instances

(KnownSymbol sym, ToHttpApiData v, HasLink sub, SBoolI (FoldRequired mods)) => HasLink (NamedQueryParam' mods sym v :> sub :: Type)

Defined in Servant.Named

Associated Types

type MkLink (NamedQueryParam' mods sym v :> sub) a :: Type

Methods

toLink :: (Link -> a) -> Proxy (NamedQueryParam' mods sym v :> sub) -> Link -> MkLink (NamedQueryParam' mods sym v :> sub) a

type MkLink (NamedQueryParam' mods sym v :> sub :: Type) a

Defined in Servant.Named

type MkLink (NamedQueryParam' mods sym v :> sub :: Type) a = If (FoldRequired mods) (sym :! v) (sym :? v) -> MkLink sub a