Safe Haskell	Safe
Language	Haskell2010

Servant.API.Alternative

Synopsis

Documentation

data a :<|> b infixr 8 Source

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) Source
Foldable ((:<\|>) a) Source
Traversable ((:<\|>) a) Source
(Bounded a, Bounded b) => Bounded ((:<\|>) a b) Source
(Eq a, Eq b) => Eq ((:<\|>) a b) Source
(Show a, Show b) => Show ((:<\|>) a b) Source
(Monoid a, Monoid b) => Monoid ((:<\|>) a b) Source
(Enter typ1 arg1 ret1, Enter typ2 arg2 ret2, (~) * arg1 arg2) => Enter ((:<\|>) typ1 typ2) arg1 ((:<\|>) ret1 ret2) Source

Functor ((:<\|>) a) Source
Foldable ((:<\|>) a) Source
Traversable ((:<\|>) a) Source
(Bounded a, Bounded b) => Bounded ((:<\|>) a b) Source
(Eq a, Eq b) => Eq ((:<\|>) a b) Source
(Show a, Show b) => Show ((:<\|>) a b) Source
(Monoid a, Monoid b) => Monoid ((:<\|>) a b) Source
(Enter typ1 arg1 ret1, Enter typ2 arg2 ret2, (~) * arg1 arg2) => Enter ((:<\|>) typ1 typ2) arg1 ((:<\|>) ret1 ret2) Source