Rest.Container

Documentation

module Rest.Types.Container

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

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

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

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

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

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

defaultE :: Errors (Just Reason_)