improved description of BasicAuth lookup
This commit is contained in:
parent
e48052bf27
commit
001f8de754
1 changed files with 2 additions and 3 deletions
|
@ -11,8 +11,7 @@ import GHC.TypeLits (Symbol)
|
||||||
-- type to encapsulate authentication logic.
|
-- type to encapsulate authentication logic.
|
||||||
--
|
--
|
||||||
-- Example:
|
-- Example:
|
||||||
-- >>> type AuthLookup = Text -> IO User
|
-- >>> type MyApi = BasicAuth "book-realm" DB :> "books" :> Get '[JSON] [Book]
|
||||||
-- >>> type MyApi = BasicAuth "book-realm" :> "books" :> Get '[JSON] [Book]
|
|
||||||
data BasicAuth (realm :: Symbol) lookup
|
data BasicAuth (realm :: Symbol) lookup
|
||||||
deriving (Typeable)
|
deriving (Typeable)
|
||||||
|
|
||||||
|
@ -20,6 +19,6 @@ data BasicAuth (realm :: Symbol) lookup
|
||||||
-- >>> import Servant.API
|
-- >>> import Servant.API
|
||||||
-- >>> import Data.Aeson
|
-- >>> import Data.Aeson
|
||||||
-- >>> import Data.Text
|
-- >>> import Data.Text
|
||||||
-- >>> data User
|
-- >>> data DB
|
||||||
-- >>> data Book
|
-- >>> data Book
|
||||||
-- >>> instance ToJSON Book where { toJSON = undefined }
|
-- >>> instance ToJSON Book where { toJSON = undefined }
|
||||||
|
|
Loading…
Reference in a new issue