Safe Haskell | None |
---|---|
Language | Haskell2010 |
Servant.API.Sub
Synopsis
- data (path :: k) :> a
Documentation
data (path :: k) :> a infixr 4 Source #
The contained API (second argument) can be found under ("/" ++ path)
(path being the first argument).
Example:
>>>
-- GET /hello/world
>>>
-- returning a JSON encoded World value
>>>
type MyApi = "hello" :> "world" :> Get '[JSON] World
Instances
(TypeError (PartialApplication (HasLink :: Type -> Constraint) arr) :: Constraint) => HasLink (arr :> sub :: Type) Source # | |
(KnownSymbol sym, HasLink sub) => HasLink (sym :> sub :: Type) Source # | |
HasLink sub => HasLink (HttpVersion :> sub :: Type) Source # | |
Defined in Servant.Links Methods toLink :: (Link -> a) -> Proxy (HttpVersion :> sub) -> Link -> MkLink (HttpVersion :> sub) a Source # | |
HasLink sub => HasLink (BasicAuth realm a :> sub :: Type) Source # | |
(ToHttpApiData v, HasLink sub) => HasLink (Capture' mods sym v :> sub :: Type) Source # | |
(ToHttpApiData v, HasLink sub) => HasLink (CaptureAll sym v :> sub :: Type) Source # | |
Defined in Servant.Links Methods toLink :: (Link -> a) -> Proxy (CaptureAll sym v :> sub) -> Link -> MkLink (CaptureAll sym v :> sub) a Source # | |
HasLink sub => HasLink (Description s :> sub :: Type) Source # | |
Defined in Servant.Links Methods toLink :: (Link -> a) -> Proxy (Description s :> sub) -> Link -> MkLink (Description s :> sub) a Source # | |
HasLink sub => HasLink (Summary s :> sub :: Type) Source # | |
HasLink sub => HasLink (AuthProtect tag :> sub :: Type) Source # | |
Defined in Servant.Links Methods toLink :: (Link -> a) -> Proxy (AuthProtect tag :> sub) -> Link -> MkLink (AuthProtect tag :> sub) a Source # | |
(HasLink sub, ToHttpApiData v) => HasLink (Fragment v :> sub :: Type) Source # | |
HasLink sub => HasLink (Header' mods sym a :> sub :: Type) Source # | |
HasLink sub => HasLink (IsSecure :> sub :: Type) Source # | |
(KnownSymbol sym, HasLink sub) => HasLink (QueryFlag sym :> sub :: Type) Source # | |
(KnownSymbol sym, ToHttpApiData v, HasLink sub, SBoolI (FoldRequired mods)) => HasLink (QueryParam' mods sym v :> sub :: Type) Source # | |
Defined in Servant.Links Methods toLink :: (Link -> a) -> Proxy (QueryParam' mods sym v :> sub) -> Link -> MkLink (QueryParam' mods sym v :> sub) a Source # | |
(KnownSymbol sym, ToHttpApiData v, HasLink sub) => HasLink (QueryParams sym v :> sub :: Type) Source # | |
Defined in Servant.Links Methods toLink :: (Link -> a) -> Proxy (QueryParams sym v :> sub) -> Link -> MkLink (QueryParams sym v :> sub) a Source # | |
HasLink sub => HasLink (RemoteHost :> sub :: Type) Source # | |
Defined in Servant.Links Methods toLink :: (Link -> a) -> Proxy (RemoteHost :> sub) -> Link -> MkLink (RemoteHost :> sub) a Source # | |
HasLink sub => HasLink (ReqBody' mods ct a :> sub :: Type) Source # | |
HasLink sub => HasLink (StreamBody' mods framing ct a :> sub :: Type) Source # | |
Defined in Servant.Links Methods toLink :: (Link -> a0) -> Proxy (StreamBody' mods framing ct a :> sub) -> Link -> MkLink (StreamBody' mods framing ct a :> sub) a0 Source # | |
HasLink sub => HasLink (WithResource res :> sub :: Type) Source # | |
Defined in Servant.Links Methods toLink :: (Link -> a) -> Proxy (WithResource res :> sub) -> Link -> MkLink (WithResource res :> sub) a Source # | |
HasLink sub => HasLink (Vault :> sub :: Type) Source # | |
(TypeError (NoInstanceForSub (HasLink :: Type -> Constraint) ty) :: Constraint) => HasLink (ty :> sub :: Type) Source # | |
type MkLink (arr :> sub :: Type) _1 Source # | |
Defined in Servant.Links type MkLink (arr :> sub :: Type) _1 = TypeError (PartialApplication (HasLink :: Type -> Constraint) arr) :: Type | |
type MkLink (sym :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (HttpVersion :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (BasicAuth realm a :> sub :: Type) r Source # | |
Defined in Servant.Links | |
type MkLink (Capture' mods sym v :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (CaptureAll sym v :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (Description s :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (Summary s :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (AuthProtect tag :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (Fragment v :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (Header' mods sym a :> sub :: Type) r Source # | |
Defined in Servant.Links | |
type MkLink (IsSecure :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (QueryFlag sym :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (QueryParam' mods sym v :> sub :: Type) a Source # | |
Defined in Servant.Links type MkLink (QueryParam' mods sym v :> sub :: Type) a = If (FoldRequired mods) v (Maybe v) -> MkLink sub a | |
type MkLink (QueryParams sym v :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (RemoteHost :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (ReqBody' mods ct a :> sub :: Type) r Source # | |
Defined in Servant.Links | |
type MkLink (StreamBody' mods framing ct a :> sub :: Type) r Source # | |
Defined in Servant.Links | |
type MkLink (WithResource res :> sub :: Type) a Source # | |
Defined in Servant.Links | |
type MkLink (Vault :> sub :: Type) a Source # | |
Defined in Servant.Links |