{-# 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, Eq, Show, Bounded, Enum)

# LANGUAGE DeriveDataTypeable #
# OPTIONS_HADDOCK not-home    #
 | An empty API: one which serves nothing. Morally speaking, this should be
module Servant.API.Empty(EmptyAPI(..)) where

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

  the unit of ' : < | > ' . Implementors of interpretations of API types should
  treat ' EmptyAPI ' as close to the unit as possible .
data EmptyAPI = EmptyAPI deriving (Typeable, Eq, Show, Bounded, Enum)
