{-# LANGUAGE DeriveDataTypeable #-}
{-# OPTIONS_HADDOCK not-home    #-}
module Servant.API.Empty(EmptyAPI(..)) where

import           Data.Typeable
                 (Typeable)
import           Prelude ()
import           Prelude.Compat

-- | 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.
data EmptyAPI = EmptyAPI deriving (Typeable, EmptyAPI -> EmptyAPI -> Bool
(EmptyAPI -> EmptyAPI -> Bool)
-> (EmptyAPI -> EmptyAPI -> Bool) -> Eq EmptyAPI
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: EmptyAPI -> EmptyAPI -> Bool
== :: EmptyAPI -> EmptyAPI -> Bool
$c/= :: EmptyAPI -> EmptyAPI -> Bool
/= :: EmptyAPI -> EmptyAPI -> Bool
Eq, Int -> EmptyAPI -> ShowS
[EmptyAPI] -> ShowS
EmptyAPI -> String
(Int -> EmptyAPI -> ShowS)
-> (EmptyAPI -> String) -> ([EmptyAPI] -> ShowS) -> Show EmptyAPI
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> EmptyAPI -> ShowS
showsPrec :: Int -> EmptyAPI -> ShowS
$cshow :: EmptyAPI -> String
show :: EmptyAPI -> String
$cshowList :: [EmptyAPI] -> ShowS
showList :: [EmptyAPI] -> ShowS
Show, EmptyAPI
EmptyAPI -> EmptyAPI -> Bounded EmptyAPI
forall a. a -> a -> Bounded a
$cminBound :: EmptyAPI
minBound :: EmptyAPI
$cmaxBound :: EmptyAPI
maxBound :: EmptyAPI
Bounded, Int -> EmptyAPI
EmptyAPI -> Int
EmptyAPI -> [EmptyAPI]
EmptyAPI -> EmptyAPI
EmptyAPI -> EmptyAPI -> [EmptyAPI]
EmptyAPI -> EmptyAPI -> EmptyAPI -> [EmptyAPI]
(EmptyAPI -> EmptyAPI)
-> (EmptyAPI -> EmptyAPI)
-> (Int -> EmptyAPI)
-> (EmptyAPI -> Int)
-> (EmptyAPI -> [EmptyAPI])
-> (EmptyAPI -> EmptyAPI -> [EmptyAPI])
-> (EmptyAPI -> EmptyAPI -> [EmptyAPI])
-> (EmptyAPI -> EmptyAPI -> EmptyAPI -> [EmptyAPI])
-> Enum EmptyAPI
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: EmptyAPI -> EmptyAPI
succ :: EmptyAPI -> EmptyAPI
$cpred :: EmptyAPI -> EmptyAPI
pred :: EmptyAPI -> EmptyAPI
$ctoEnum :: Int -> EmptyAPI
toEnum :: Int -> EmptyAPI
$cfromEnum :: EmptyAPI -> Int
fromEnum :: EmptyAPI -> Int
$cenumFrom :: EmptyAPI -> [EmptyAPI]
enumFrom :: EmptyAPI -> [EmptyAPI]
$cenumFromThen :: EmptyAPI -> EmptyAPI -> [EmptyAPI]
enumFromThen :: EmptyAPI -> EmptyAPI -> [EmptyAPI]
$cenumFromTo :: EmptyAPI -> EmptyAPI -> [EmptyAPI]
enumFromTo :: EmptyAPI -> EmptyAPI -> [EmptyAPI]
$cenumFromThenTo :: EmptyAPI -> EmptyAPI -> EmptyAPI -> [EmptyAPI]
enumFromThenTo :: EmptyAPI -> EmptyAPI -> EmptyAPI -> [EmptyAPI]
Enum)