Remove unused imports.
This commit is contained in:
parent
7ea1203c8b
commit
9b10181d9a
2 changed files with 0 additions and 3 deletions
|
@ -1,8 +1,6 @@
|
||||||
{-# LANGUAGE PolyKinds #-}
|
{-# LANGUAGE PolyKinds #-}
|
||||||
module Servant.API.Header where
|
module Servant.API.Header where
|
||||||
|
|
||||||
import GHC.TypeLits
|
|
||||||
|
|
||||||
-- | Extract the given header's value as a value of type @a@.
|
-- | Extract the given header's value as a value of type @a@.
|
||||||
--
|
--
|
||||||
-- Example:
|
-- Example:
|
||||||
|
|
|
@ -3,7 +3,6 @@
|
||||||
module Servant.API.Sub where
|
module Servant.API.Sub where
|
||||||
|
|
||||||
import Data.Proxy
|
import Data.Proxy
|
||||||
import GHC.TypeLits
|
|
||||||
|
|
||||||
-- | The contained API (second argument) can be found under @("/" ++ path)@
|
-- | The contained API (second argument) can be found under @("/" ++ path)@
|
||||||
-- (path being the first argument).
|
-- (path being the first argument).
|
||||||
|
|
Loading…
Reference in a new issue