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_)