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

Methods

minBound :: EmptyAPI

maxBound :: EmptyAPI

Enum EmptyAPI

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

Methods

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

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

Show EmptyAPI

Methods

showsPrec :: Int -> EmptyAPI -> ShowS

show :: EmptyAPI -> String

showList :: [EmptyAPI] -> ShowS

HasLink * EmptyAPI

Associated Types

type MkLink EmptyAPI (endpoint :: EmptyAPI) a :: *

Methods

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

type MkLink * EmptyAPI a

type MkLink * EmptyAPI a = EmptyAPI