{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE OverloadedStrings #-}
module TmpProc.Example1.Routes
(
ContactsAPI
, contactsAPI
)
where
import Data.Proxy (Proxy(..))
import Servant.API
import TmpProc.Example1.Schema
type ContactsAPI =
"contacts" :> Capture "contactid" ContactID :> Get '[JSON] Contact
:<|> "contacts" :> ReqBody '[JSON] Contact :> Post '[JSON] ContactID
contactsAPI :: Proxy ContactsAPI
contactsAPI :: Proxy ContactsAPI
contactsAPI = Proxy ContactsAPI
forall {k} (t :: k). Proxy t
Proxy :: Proxy ContactsAPI