| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Servant
- module Servant.API
- module Servant.Server
- module Servant.Utils.Links
- module Servant.Utils.StaticFiles
- data Proxy t :: k -> * = Proxy
- throwError :: MonadError e m => forall a. e -> m a
Documentation
This module and its submodules can be used to define servant APIs. Note that these API definitions don't directly implement a server (or anything else).
module Servant.API
For implementing servers for servant APIs.
module Servant.Server
Utilities on top of the servant core
module Servant.Utils.Links
module Servant.Utils.StaticFiles
Useful re-exports
data Proxy t :: k -> *
A concrete, poly-kinded proxy type
Constructors
| Proxy |
Instances
| Monad (Proxy *) | |
| Functor (Proxy *) | |
| Applicative (Proxy *) | |
| Foldable (Proxy *) | |
| Bounded (Proxy k s) | |
| Enum (Proxy k s) | |
| Eq (Proxy k s) | |
| Ord (Proxy k s) | |
| Read (Proxy k s) | |
| Show (Proxy k s) | |
| Ix (Proxy k s) | |
| Generic (Proxy * t) | |
| Monoid (Proxy k s) | |
| Semigroup (Proxy k s) | |
| type Rep (Proxy k t) = D1 D1Proxy (C1 C1_0Proxy U1) |
throwError :: MonadError e m => forall a. e -> m a
Is used within a monadic computation to begin exception processing.