Safe Haskell	Safe-Inferred
Language	Haskell2010

Web.Minion.Response.Union

Documentation

data Union (as :: [Type]) where Source #

Constructors

This :: !a -> Union (a ': as)
That :: !(Union as) -> Union (a ': as)

Instances details

(CanRespond a, CanRespond (Union as)) => CanRespond (Union (a ': as) :: Type) Source #
Instance details Defined in Web.Minion.Response.Union Methods canRespond :: [ByteString] -> Bool Source #
CanRespond (Union ('[] :: [Type])) Source #
Instance details Defined in Web.Minion.Response.Union Methods canRespond :: [ByteString] -> Bool Source #
(ToResponse m a, Monad m, ToResponse m (Union as)) => ToResponse m (Union (a ': as)) Source #
Instance details Defined in Web.Minion.Response.Union Methods toResponse :: [ByteString] -> Union (a ': as) -> m Response Source #
Monad m => ToResponse m (Union ('[] :: [Type])) Source #
Instance details Defined in Web.Minion.Response.Union Methods toResponse :: [ByteString] -> Union '[] -> m Response Source #

class Inject a as where Source #

Methods

Instances details

Inject a (a ': as) Source #
Instance details Defined in Web.Minion.Response.Union Methods inject :: a -> Union (a ': as) Source #
Inject a as => Inject a (x ': as) Source #
Instance details Defined in Web.Minion.Response.Union Methods inject :: a -> Union (x ': as) Source #