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

    import           Data.Typeable (Typeable)

    -- | 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)