40 lines
1.3 KiB
Haskell
40 lines
1.3 KiB
Haskell
{-# LANGUAGE DataKinds #-}
|
|
{-# LANGUAGE FlexibleContexts #-}
|
|
{-# LANGUAGE FlexibleInstances #-}
|
|
{- LANGUAGE OverloadedStrings #-}
|
|
{-# LANGUAGE KindSignatures #-}
|
|
{-# LANGUAGE ScopedTypeVariables #-}
|
|
{-# LANGUAGE TypeFamilies #-}
|
|
{-# LANGUAGE TypeOperators #-}
|
|
{- LANGUAGE UndecidableInstances #-}
|
|
|
|
-- | This is a custom combinator for S.S.UsingConfigSpec. It's split up into
|
|
-- its own module to be able to test how exactly module import work when using
|
|
-- the config.
|
|
module Servant.Server.UsingConfigSpec.CustomCombinator where
|
|
|
|
import Servant
|
|
import Servant.Server.Internal.Config
|
|
import Servant.Server.Internal.RoutingApplication
|
|
|
|
data CustomCombinator (tag :: *)
|
|
|
|
data CustomConfig = CustomConfig String
|
|
|
|
instance forall subApi (c :: [*]) tag .
|
|
(HasServer subApi) =>
|
|
HasServer (CustomCombinator tag :> subApi) where
|
|
|
|
type ServerT (CustomCombinator tag :> subApi) m =
|
|
CustomConfig -> ServerT subApi m
|
|
type HasCfg (CustomCombinator tag :> subApi) c =
|
|
(HasConfigEntry c tag CustomConfig, HasCfg subApi c)
|
|
|
|
route Proxy config delayed =
|
|
route subProxy config (fmap (inject config) delayed :: Delayed (Server subApi))
|
|
where
|
|
subProxy :: Proxy subApi
|
|
subProxy = Proxy
|
|
|
|
inject config f = f (getConfigEntry (Proxy :: Proxy tag) config)
|
|
|