Servant.API.Alternative · servant-0.20.2

datadata (:<|>) a b

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

Example:

Example1 expression

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

Instances14Bifoldable, Bifunctor, Bitraversable, Biapplicative, HasLink, Functor, …

Bifoldable (:<|>)Defined in servant-0.20.2 · Servant.API.Alternative
Bifunctor (:<|>)Defined in servant-0.20.2 · Servant.API.Alternative
Bitraversable (:<|>)Defined in servant-0.20.2 · Servant.API.Alternative
Biapplicative (:<|>)Defined in servant-0.20.2 · Servant.API.Alternative
(HasLink a, HasLink b) => HasLink (a :<|> b)Defined in servant-0.20.2 · Servant.Links
Functor ((:<|>) a)Defined in servant-0.20.2 · Servant.API.Alternative
Foldable ((:<|>) a)Defined in servant-0.20.2 · Servant.API.Alternative
Traversable ((:<|>) a)Defined in servant-0.20.2 · Servant.API.Alternative
(Bounded a, Bounded b) => Bounded (a :<|> b)Defined in servant-0.20.2 · Servant.API.Alternative
(Eq a, Eq b) => Eq (a :<|> b)Defined in servant-0.20.2 · Servant.API.Alternative
(Show a, Show b) => Show (a :<|> b)Defined in servant-0.20.2 · Servant.API.Alternative
(Semigroup a, Semigroup b) => Semigroup (a :<|> b)Defined in servant-0.20.2 · Servant.API.Alternative
(Monoid a, Monoid b) => Monoid (a :<|> b)Defined in servant-0.20.2 · Servant.API.Alternative
type MkLink (a :<|> b) r = MkLink a r :<|> MkLink b rDefined in servant-0.20.2 · Servant.Links