minion-0.1.0.0: A Haskell introspectable web router
Safe HaskellSafe-Inferred
LanguageHaskell2010

Web.Minion.Response.Union

Documentation

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

Constructors

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

Instances

Instances details
(CanRespond a, CanRespond (Union as)) => CanRespond (Union (a ': as) :: Type) Source # 
Instance details

Defined in Web.Minion.Response.Union

CanRespond (Union ('[] :: [Type])) Source # 
Instance details

Defined in Web.Minion.Response.Union

(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

inject :: a -> Union as Source #

Instances

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 #