Web.Minion.Response.Union

Documentation

data Union (as :: [Type]) where

Constructors

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

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

Instances

(CanRespond a, CanRespond (Union as)) => CanRespond (Union (a ': as) :: Type)

Defined in Web.Minion.Response.Union

Methods

canRespond :: [ByteString] -> Bool

CanRespond (Union ('[] :: [Type]))

Defined in Web.Minion.Response.Union

Methods

canRespond :: [ByteString] -> Bool

(ToResponse m a, Monad m, ToResponse m (Union as)) => ToResponse m (Union (a ': as))

Defined in Web.Minion.Response.Union

Methods

toResponse :: [ByteString] -> Union (a ': as) -> m Response

Monad m => ToResponse m (Union ('[] :: [Type]))

Defined in Web.Minion.Response.Union

Methods

toResponse :: [ByteString] -> Union '[] -> m Response

class Inject a as where

Methods

inject :: a -> Union as

Instances

Inject a (a ': as)

Defined in Web.Minion.Response.Union

Methods

inject :: a -> Union (a ': as)

Inject a as => Inject a (x ': as)

Defined in Web.Minion.Response.Union

Methods

inject :: a -> Union (x ': as)