Servant.API.Empty

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

Bounded EmptyAPI

Defined in Servant.API.Empty

Methods

minBound :: EmptyAPI

maxBound :: EmptyAPI

Enum EmptyAPI

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]

Eq EmptyAPI

Defined in Servant.API.Empty

Methods

(==) :: EmptyAPI -> EmptyAPI -> Bool

(/=) :: EmptyAPI -> EmptyAPI -> Bool

Show EmptyAPI

Defined in Servant.API.Empty

Methods

showsPrec :: Int -> EmptyAPI -> ShowS

show :: EmptyAPI -> String

showList :: [EmptyAPI] -> ShowS

HasLink EmptyAPI

Defined in Servant.Links

Associated Types

type MkLink EmptyAPI a

Methods

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

type MkLink EmptyAPI a

Defined in Servant.Links

type MkLink EmptyAPI a = EmptyAPI