Rest.Container

Documentation

module Rest.Types.Container

listI :: Inputs a -> Maybe (Inputs (List a))

listO :: Outputs a -> Maybe (Outputs (List a))

mappingI :: forall k i. (Typeable k, IsString k, ToString k) => Inputs i -> Maybe (Inputs (StringMap k i))

mappingO :: forall k o. (Typeable k, IsString k, ToString k) => Outputs o -> Maybe (Outputs (StringMap k o))

statusO :: Errors e -> Outputs o -> Maybe (Outputs (Status e o))

reasonE :: Errors a -> Errors (Reason a)