Documentation

module Rest.Types.Container

listI :: Inputs i -> Maybe (Inputs (Just (List (FromMaybe () i)))) Source #

listO :: Outputs o -> Maybe (Outputs (Just (List (FromMaybe () o)))) Source #

mappingI :: forall i i'. i ~ FromMaybe () i' => Inputs i' -> Maybe (Inputs (Just (StringHashMap String i))) Source #

mappingO :: forall o o'. o ~ FromMaybe () o' => Outputs o' -> Maybe (Outputs (Just (StringHashMap String o))) Source #

statusO :: (e ~ FromMaybe Void e', o ~ FromMaybe () o') => Errors e' -> Outputs o' -> Maybe (Outputs (Just (Status e o))) Source #

reasonE :: e ~ FromMaybe Void e' => Errors e' -> Errors (Just (Reason e)) Source #

defaultE :: Errors (Just Reason_) Source #