Servant.Hateoas.Layer.Build

Type family

type family ReplaceHandler server replacement where ...

Replace the result Type of a function with a new Type.

Equations

ReplaceHandler (a :<|> b) replacement = ReplaceHandler a replacement :<|> ReplaceHandler b replacement

ReplaceHandler (a -> b) replacement = a -> ReplaceHandler b replacement

ReplaceHandler _ replacement = replacement

Class

class BuildLayerLinks l m where

Create all RelationLinks to a Layers RelativeChildren.

Methods

buildLayerLinks :: MonadIO m => Proxy l -> Proxy m -> ReplaceHandler (ServerT l m) [(String, RelationLink)]

Instances

(verb ~ Verb method status cts a, AllMime cts, ReflectMethod method, api ~ MkPrefix apiCs verb, HasRelationLink api, KnownSymbol sym, HasTemplatedLink (MkPrefix '[Capture' mods sym x] verb), BuildLayerLinks ('Layer apiCs cs verb) m, buildLinksFun ~ ReplaceHandler (ServerT api m) [(String, RelationLink)], PolyvariadicComp2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun), Return2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun) ~ (RelationLink, [(String, RelationLink)]), Replace2 (MkLink api RelationLink) buildLinksFun [(String, RelationLink)] (IsFun buildLinksFun) ~ buildLinksFun) => BuildLayerLinks ('Layer apiCs (Capture' mods sym x ': cs) verb) m

Defined in Servant.Hateoas.Layer.Build

Methods

buildLayerLinks :: Proxy ('Layer apiCs (Capture' mods sym x ': cs) verb) -> Proxy m -> ReplaceHandler (ServerT ('Layer apiCs (Capture' mods sym x ': cs) verb) m) [(String, RelationLink)]

(verb ~ Verb method status cts a, AllMime cts, ReflectMethod method, api ~ MkPrefix apiCs verb, HasRelationLink api, KnownSymbol sym, HasTemplatedLink (MkPrefix '[CaptureAll sym x] verb), BuildLayerLinks ('Layer apiCs cs verb) m, buildLinksFun ~ ReplaceHandler (ServerT api m) [(String, RelationLink)], PolyvariadicComp2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun), Return2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun) ~ (RelationLink, [(String, RelationLink)]), Replace2 (MkLink api RelationLink) buildLinksFun [(String, RelationLink)] (IsFun buildLinksFun) ~ buildLinksFun) => BuildLayerLinks ('Layer apiCs (CaptureAll sym x ': cs) verb) m

Defined in Servant.Hateoas.Layer.Build

Methods

buildLayerLinks :: Proxy ('Layer apiCs (CaptureAll sym x ': cs) verb) -> Proxy m -> ReplaceHandler (ServerT ('Layer apiCs (CaptureAll sym x ': cs) verb) m) [(String, RelationLink)]

(verb ~ Verb method status cts a, AllMime cts, ReflectMethod method, api ~ MkPrefix apiCs verb, HasRelationLink api, KnownSymbol sym, HasTemplatedLink (MkPrefix '[QueryFlag sym] verb), BuildLayerLinks ('Layer apiCs cs verb) m, buildLinksFun ~ ReplaceHandler (ServerT api m) [(String, RelationLink)], PolyvariadicComp2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun), Return2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun) ~ (RelationLink, [(String, RelationLink)]), Replace2 (MkLink api RelationLink) buildLinksFun [(String, RelationLink)] (IsFun buildLinksFun) ~ buildLinksFun) => BuildLayerLinks ('Layer apiCs (QueryFlag sym ': cs) verb) m

Defined in Servant.Hateoas.Layer.Build

Methods

buildLayerLinks :: Proxy ('Layer apiCs (QueryFlag sym ': cs) verb) -> Proxy m -> ReplaceHandler (ServerT ('Layer apiCs (QueryFlag sym ': cs) verb) m) [(String, RelationLink)]

(verb ~ Verb method status cts a, AllMime cts, ReflectMethod method, api ~ MkPrefix apiCs verb, HasRelationLink api, KnownSymbol sym, HasTemplatedLink (MkPrefix '[QueryParam' mods sym x] verb), BuildLayerLinks ('Layer apiCs cs verb) m, buildLinksFun ~ ReplaceHandler (ServerT api m) [(String, RelationLink)], PolyvariadicComp2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun), Return2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun) ~ (RelationLink, [(String, RelationLink)]), Replace2 (MkLink api RelationLink) buildLinksFun [(String, RelationLink)] (IsFun buildLinksFun) ~ buildLinksFun) => BuildLayerLinks ('Layer apiCs (QueryParam' mods sym x ': cs) verb) m

Defined in Servant.Hateoas.Layer.Build

Methods

buildLayerLinks :: Proxy ('Layer apiCs (QueryParam' mods sym x ': cs) verb) -> Proxy m -> ReplaceHandler (ServerT ('Layer apiCs (QueryParam' mods sym x ': cs) verb) m) [(String, RelationLink)]

(verb ~ Verb method status cts a, AllMime cts, ReflectMethod method, api ~ MkPrefix apiCs verb, HasRelationLink api, KnownSymbol sym, HasTemplatedLink (MkPrefix '[QueryParams sym x] verb), BuildLayerLinks ('Layer apiCs cs verb) m, buildLinksFun ~ ReplaceHandler (ServerT api m) [(String, RelationLink)], PolyvariadicComp2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun), Return2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun) ~ (RelationLink, [(String, RelationLink)]), Replace2 (MkLink api RelationLink) buildLinksFun [(String, RelationLink)] (IsFun buildLinksFun) ~ buildLinksFun) => BuildLayerLinks ('Layer apiCs (QueryParams sym x ': cs) verb) m

Defined in Servant.Hateoas.Layer.Build

Methods

buildLayerLinks :: Proxy ('Layer apiCs (QueryParams sym x ': cs) verb) -> Proxy m -> ReplaceHandler (ServerT ('Layer apiCs (QueryParams sym x ': cs) verb) m) [(String, RelationLink)]

(verb ~ Verb method status cts a, AllMime cts, ReflectMethod method, api ~ MkPrefix apiCs verb, HasRelationLink api, KnownSymbol sym, HasTemplatedLink (MkPrefix '[DeepQuery sym x] verb), BuildLayerLinks ('Layer apiCs cs verb) m, buildLinksFun ~ ReplaceHandler (ServerT api m) [(String, RelationLink)], PolyvariadicComp2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun), Return2 (MkLink api RelationLink) buildLinksFun (IsFun buildLinksFun) ~ (RelationLink, [(String, RelationLink)]), Replace2 (MkLink api RelationLink) buildLinksFun [(String, RelationLink)] (IsFun buildLinksFun) ~ buildLinksFun) => BuildLayerLinks ('Layer apiCs (DeepQuery sym x ': cs) verb) m

Defined in Servant.Hateoas.Layer.Build

Methods

buildLayerLinks :: Proxy ('Layer apiCs (DeepQuery sym x ': cs) verb) -> Proxy m -> ReplaceHandler (ServerT ('Layer apiCs (DeepQuery sym x ': cs) verb) m) [(String, RelationLink)]

(c ~ MkPrefix (apiCs ++ '[Sym sym]) verb, HasRelationLink c, mkLink ~ MkLink c RelationLink, KnownSymbol sym, BuildLayerLinks ('Layer apiCs cs verb) m, buildLinksFun ~ ReplaceHandler (ServerT (MkPrefix apiCs verb) m) [(String, RelationLink)], PolyvariadicComp2 mkLink buildLinksFun (IsFun mkLink), Return2 mkLink buildLinksFun (IsFun mkLink) ~ (RelationLink, [(String, RelationLink)]), Replace2 mkLink buildLinksFun [(String, RelationLink)] (IsFun mkLink) ~ buildLinksFun) => BuildLayerLinks ('Layer apiCs (Sym sym ': cs) verb) m

Defined in Servant.Hateoas.Layer.Build

Methods

buildLayerLinks :: Proxy ('Layer apiCs (Sym sym ': cs) verb) -> Proxy m -> ReplaceHandler (ServerT ('Layer apiCs (Sym sym ': cs) verb) m) [(String, RelationLink)]

(api ~ MkPrefix apiCs verb, HasRelationLink api, mkSelf ~ MkLink api RelationLink, PolyvariadicComp mkSelf (IsFun mkSelf), Return mkSelf (IsFun mkSelf) ~ RelationLink, Replace mkSelf [(String, RelationLink)] (IsFun mkSelf) ~ ReplaceHandler (ServerT api m) [(String, RelationLink)]) => BuildLayerLinks ('Layer apiCs ('[] :: [Type]) verb) m

Defined in Servant.Hateoas.Layer.Build

Methods

buildLayerLinks :: Proxy ('Layer apiCs '[] verb) -> Proxy m -> ReplaceHandler (ServerT ('Layer apiCs '[] verb) m) [(String, RelationLink)]