eeva/servant
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

add 'canonicalize' to canonicalize the api type under a Proxy

Browse source
This commit is contained in:
Alp Mestanogullari 2015-03-09 19:23:26 +01:00
parent 73914586b1
commit 6af9b9e70f
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/Servant/API.hs
View file

@ -48,12 +48,14 @@ module Servant.API (
-- * Canonicalizing (flattening) API types -- * Canonicalizing (flattening) API types
Canonicalize, Canonicalize,
canonicalize,
-- * Utilities -- * Utilities
module Servant.Utils.Links, module Servant.Utils.Links,
-- | Type-safe internal URIs -- | Type-safe internal URIs
) where ) where
import Data.Proxy (Proxy(..))
import Servant.Common.Text (FromText(..), ToText(..)) import Servant.Common.Text (FromText(..), ToText(..))
import Servant.API.Alternative ((:<|>) (..)) import Servant.API.Alternative ((:<|>) (..))
import Servant.API.Capture (Capture) import Servant.API.Capture (Capture)
@ -97,3 +99,6 @@ type family Canonicalize api :: * where
type family Redex a b c :: * where type family Redex a b c :: * where
Redex a a first = Canonicalize first :> a Redex a a first = Canonicalize first :> a
Redex a b first = Canonicalize (first :> b) Redex a b first = Canonicalize (first :> b)
canonicalize :: Canonicalize layout ~ t => Proxy layout -> Proxy t
canonicalize Proxy = Proxy