added documentation

This commit is contained in:
Sönke Hahn 2014-10-28 17:12:25 +08:00
parent f37e39bb4d
commit e255b1fa5a
3 changed files with 38 additions and 14 deletions

View File

@ -1,8 +1,14 @@
module Servant module Servant (
( module Servant.API -- | This module and its submodules can be used to define servant APIs. Note
, module Servant.Client -- that these API definitions don't directly implement a server (or anything
, module Servant.Server -- else).
, module Servant.Text module Servant.API,
-- | For implementing servers for servant APIs.
module Servant.Server,
-- | For accessing servant APIs as API clients.
module Servant.Client,
-- | Helper module
module Servant.Text,
) where ) where
import Servant.API import Servant.API

View File

@ -1,11 +1,24 @@
module Servant.API module Servant.API (
( module Servant.API.Capture
, module Servant.API.Get -- * Combinators
, module Servant.API.GetParam -- | Type-level combinator for expressing routing, captures, get parameters, etc.
, module Servant.API.Post module Servant.API.Sub,
, module Servant.API.RQBody -- | Type-level combinator for alternative endpoints
, module Servant.API.Sub module Servant.API.Union,
, module Servant.API.Union
-- * Accessing information from the request
-- | Capturing parts of the url path as parsed values
module Servant.API.Capture,
-- | Retrieving parameters from the query part of the 'URI'
module Servant.API.GetParam,
-- | Accessing the request's body
module Servant.API.RQBody,
-- * Actual endpoints, distinguished by HTTP method
-- | GET requests
module Servant.API.Get,
-- | POST requests
module Servant.API.Post,
) where ) where
import Servant.API.Capture import Servant.API.Capture
@ -14,4 +27,4 @@ import Servant.API.GetParam
import Servant.API.Post import Servant.API.Post
import Servant.API.RQBody import Servant.API.RQBody
import Servant.API.Sub import Servant.API.Sub
import Servant.API.Union import Servant.API.Union

View File

@ -1,5 +1,10 @@
{-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE OverloadedStrings #-}
-- | This module lets you implement 'Server's for defined APIs. You will
-- probably need 'serve' (and look at the 'HasServer' type family), but
-- 'toApplication' and 'route' are rather internals.
module Servant.Server where module Servant.Server where
import Data.Proxy import Data.Proxy