Documentation

data Responses (f :: Type -> Type -> Type -> Type) (responses :: (Type -> Type -> Type -> Type) -> Type) Source #

getResponses :: forall (f :: Type -> Type -> Type -> Type) responses. Responses f responses -> NonEmpty (responses f) Source #

class (Generic (responses Response), Generic (responses Response), Generic (responses Response), Generic (responses (Response :: Type -> Type -> Type -> Type)), GConstruct (Rep (responses Response)), GTraverse Response Response (Rep (responses Response)) (Rep (responses Response)), GTraverse Response Response (Rep (responses Response)) (Rep (responses Response)), GTraverse Response (Response :: Type -> Type -> Type -> Type) (Rep (responses Response)) (Rep (responses (Response :: Type -> Type -> Type -> Type))), GTraverse Response Response (Rep (responses Response)) (Rep (responses Response)), GZip Response Response (Rep (responses Response)) (Rep (responses Response))) => Cases (responses :: (Type -> Type -> Type -> Type) -> Type) Source #

cases :: forall (responses :: (Type -> Type -> Type -> Type) -> Type). Cases responses => GArgs Response (Rep (responses Response)) (Responses Response responses) Source #

parseResponses :: Cases responses => Responses Response responses -> Response -> IO (Either (Responses (Response :: Type -> Type -> Type -> Type) responses) (responses Response)) Source #

printResponses :: Cases responses => Responses Response responses -> responses Response -> IO Response Source #

traverseResponses :: forall f g responses t. (Generic (responses f), Generic (responses g), GTraverse f g (Rep (responses f)) (Rep (responses g)), Functor t) => (forall status headers body. f status headers body -> t (g status headers body)) -> responses f -> t (responses g) Source #