Servant.API.Alternative

Documentation

data a :<|> b infixr 8

Union of two APIs, first takes precedence in case of overlap.

Example:

>>> :{
type MyApi = "books" :> Get '[JSON] [Book] -- GET /books
       :<|> "books" :> ReqBody '[JSON] Book :> Post '[JSON] () -- POST /books
:}

Constructors

a :<|> b infixr 8

Instances

Functor ((:<|>) a)

Foldable ((:<|>) a)

Traversable ((:<|>) a)

(Bounded a, Bounded b) => Bounded ((:<|>) a b)

(Eq a, Eq b) => Eq ((:<|>) a b)

(Show a, Show b) => Show ((:<|>) a b)

(Monoid a, Monoid b) => Monoid ((:<|>) a b)

(Enter typ1 arg1 ret1, Enter typ2 arg2 ret2, (~) * arg1 arg2) => Enter ((:<|>) typ1 typ2) arg1 ((:<|>) ret1 ret2)