servant-0.20.2: A family of combinators for defining webservices APIs

Safe Haskell | None
Language | Haskell2010

Servant.API.Empty

Synopsis

- data EmptyAPI = EmptyAPI

# Documentation

data EmptyAPI #

An empty API: one which serves nothing. Morally speaking, this should be the unit of `:<|>`. Implementors of interpretations of API types should treat `EmptyAPI` as close to the unit as possible.

Constructors

EmptyAPI |

#### Instances

Instances details

Bounded EmptyAPI # |
Instance details Defined in Servant.API.Empty Methods minBound :: EmptyAPI # maxBound :: EmptyAPI #
Enum EmptyAPI # |
Instance details Defined in Servant.API.Empty Methods succ :: EmptyAPI -> EmptyAPI # pred :: EmptyAPI -> EmptyAPI # toEnum :: Int -> EmptyAPI # fromEnum :: EmptyAPI -> Int # enumFrom :: EmptyAPI -> [EmptyAPI] # enumFromThen :: EmptyAPI -> EmptyAPI -> [EmptyAPI] # enumFromTo :: EmptyAPI -> EmptyAPI -> [EmptyAPI] # enumFromThenTo :: EmptyAPI -> EmptyAPI -> EmptyAPI -> [EmptyAPI] #
Show EmptyAPI # |
Instance details Defined in Servant.API.Empty Methods showsPrec :: Int -> EmptyAPI -> ShowS # show :: EmptyAPI -> String # showList :: [EmptyAPI] -> ShowS #
Eq EmptyAPI # |
Instance details Defined in Servant.API.Empty Methods (==) :: EmptyAPI -> EmptyAPI -> Bool # (/=) :: EmptyAPI -> EmptyAPI -> Bool #
HasLink EmptyAPI # |

Instance details

Defined in Servant.Links

Associated Types

type MkLink EmptyAPI a |
Instance details Defined in Servant.Links type MkLink EmptyAPI a = EmptyAPI

Methods

toLink :: (Link -> a) -> Proxy EmptyAPI -> Link -> MkLink EmptyAPI a #

type MkLink EmptyAPI a # |
Instance details Defined in Servant.Links type MkLink EmptyAPI a = EmptyAPI