Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data BackendErrorCode
- = EC_404__node_list_not_found
- | EC_404__node_root_not_found
- | EC_404__node_lookup_failed_not_found
- | EC_404__node_lookup_failed_parent_not_found
- | EC_400__node_lookup_failed_user_too_many_roots
- | EC_404__node_lookup_failed_user_not_found
- | EC_404__node_lookup_failed_username_not_found
- | EC_404__node_corpus_not_found
- | EC_500__node_not_implemented_yet
- | EC_404__node_context_not_found
- | EC_400__node_creation_failed_no_parent
- | EC_400__node_creation_failed_parent_exists
- | EC_400__node_creation_failed_insert_node
- | EC_400__node_creation_failed_user_negative_id
- | EC_500__node_generic_exception
- | EC_400__node_needs_configuration
- | EC_400__validation_error
- | EC_403__login_failed_error
- | EC_403__login_failed_invalid_username_or_password
- | EC_403__user_not_authorized
- | EC_404__tree_root_not_found
- | EC_404__tree_empty_root
- | EC_500__tree_too_many_roots
- | EC_500__internal_server_error
- | EC_405__not_allowed
- | EC_500__job_invalid_id_type
- | EC_500__job_expired
- | EC_500__job_invalid_mac
- | EC_500__job_unknown_job
- | EC_500__job_generic_exception
- type family EC_404__node_list_not_foundSym0 :: BackendErrorCode where ...
- type family EC_404__node_root_not_foundSym0 :: BackendErrorCode where ...
- type family EC_404__node_lookup_failed_not_foundSym0 :: BackendErrorCode where ...
- type family EC_404__node_lookup_failed_parent_not_foundSym0 :: BackendErrorCode where ...
- type family EC_400__node_lookup_failed_user_too_many_rootsSym0 :: BackendErrorCode where ...
- type family EC_404__node_lookup_failed_user_not_foundSym0 :: BackendErrorCode where ...
- type family EC_404__node_lookup_failed_username_not_foundSym0 :: BackendErrorCode where ...
- type family EC_404__node_corpus_not_foundSym0 :: BackendErrorCode where ...
- type family EC_500__node_not_implemented_yetSym0 :: BackendErrorCode where ...
- type family EC_404__node_context_not_foundSym0 :: BackendErrorCode where ...
- type family EC_400__node_creation_failed_no_parentSym0 :: BackendErrorCode where ...
- type family EC_400__node_creation_failed_parent_existsSym0 :: BackendErrorCode where ...
- type family EC_400__node_creation_failed_insert_nodeSym0 :: BackendErrorCode where ...
- type family EC_400__node_creation_failed_user_negative_idSym0 :: BackendErrorCode where ...
- type family EC_500__node_generic_exceptionSym0 :: BackendErrorCode where ...
- type family EC_400__node_needs_configurationSym0 :: BackendErrorCode where ...
- type family EC_400__validation_errorSym0 :: BackendErrorCode where ...
- type family EC_403__login_failed_errorSym0 :: BackendErrorCode where ...
- type family EC_403__login_failed_invalid_username_or_passwordSym0 :: BackendErrorCode where ...
- type family EC_403__user_not_authorizedSym0 :: BackendErrorCode where ...
- type family EC_404__tree_root_not_foundSym0 :: BackendErrorCode where ...
- type family EC_404__tree_empty_rootSym0 :: BackendErrorCode where ...
- type family EC_500__tree_too_many_rootsSym0 :: BackendErrorCode where ...
- type family EC_500__internal_server_errorSym0 :: BackendErrorCode where ...
- type family EC_405__not_allowedSym0 :: BackendErrorCode where ...
- type family EC_500__job_invalid_id_typeSym0 :: BackendErrorCode where ...
- type family EC_500__job_expiredSym0 :: BackendErrorCode where ...
- type family EC_500__job_invalid_macSym0 :: BackendErrorCode where ...
- type family EC_500__job_unknown_jobSym0 :: BackendErrorCode where ...
- type family EC_500__job_generic_exceptionSym0 :: BackendErrorCode where ...
- data SBackendErrorCode :: BackendErrorCode -> Type where
- SEC_404__node_list_not_found :: SBackendErrorCode ('EC_404__node_list_not_found :: BackendErrorCode)
- SEC_404__node_root_not_found :: SBackendErrorCode ('EC_404__node_root_not_found :: BackendErrorCode)
- SEC_404__node_lookup_failed_not_found :: SBackendErrorCode ('EC_404__node_lookup_failed_not_found :: BackendErrorCode)
- SEC_404__node_lookup_failed_parent_not_found :: SBackendErrorCode ('EC_404__node_lookup_failed_parent_not_found :: BackendErrorCode)
- SEC_400__node_lookup_failed_user_too_many_roots :: SBackendErrorCode ('EC_400__node_lookup_failed_user_too_many_roots :: BackendErrorCode)
- SEC_404__node_lookup_failed_user_not_found :: SBackendErrorCode ('EC_404__node_lookup_failed_user_not_found :: BackendErrorCode)
- SEC_404__node_lookup_failed_username_not_found :: SBackendErrorCode ('EC_404__node_lookup_failed_username_not_found :: BackendErrorCode)
- SEC_404__node_corpus_not_found :: SBackendErrorCode ('EC_404__node_corpus_not_found :: BackendErrorCode)
- SEC_500__node_not_implemented_yet :: SBackendErrorCode ('EC_500__node_not_implemented_yet :: BackendErrorCode)
- SEC_404__node_context_not_found :: SBackendErrorCode ('EC_404__node_context_not_found :: BackendErrorCode)
- SEC_400__node_creation_failed_no_parent :: SBackendErrorCode ('EC_400__node_creation_failed_no_parent :: BackendErrorCode)
- SEC_400__node_creation_failed_parent_exists :: SBackendErrorCode ('EC_400__node_creation_failed_parent_exists :: BackendErrorCode)
- SEC_400__node_creation_failed_insert_node :: SBackendErrorCode ('EC_400__node_creation_failed_insert_node :: BackendErrorCode)
- SEC_400__node_creation_failed_user_negative_id :: SBackendErrorCode ('EC_400__node_creation_failed_user_negative_id :: BackendErrorCode)
- SEC_500__node_generic_exception :: SBackendErrorCode ('EC_500__node_generic_exception :: BackendErrorCode)
- SEC_400__node_needs_configuration :: SBackendErrorCode ('EC_400__node_needs_configuration :: BackendErrorCode)
- SEC_400__validation_error :: SBackendErrorCode ('EC_400__validation_error :: BackendErrorCode)
- SEC_403__login_failed_error :: SBackendErrorCode ('EC_403__login_failed_error :: BackendErrorCode)
- SEC_403__login_failed_invalid_username_or_password :: SBackendErrorCode ('EC_403__login_failed_invalid_username_or_password :: BackendErrorCode)
- SEC_403__user_not_authorized :: SBackendErrorCode ('EC_403__user_not_authorized :: BackendErrorCode)
- SEC_404__tree_root_not_found :: SBackendErrorCode ('EC_404__tree_root_not_found :: BackendErrorCode)
- SEC_404__tree_empty_root :: SBackendErrorCode ('EC_404__tree_empty_root :: BackendErrorCode)
- SEC_500__tree_too_many_roots :: SBackendErrorCode ('EC_500__tree_too_many_roots :: BackendErrorCode)
- SEC_500__internal_server_error :: SBackendErrorCode ('EC_500__internal_server_error :: BackendErrorCode)
- SEC_405__not_allowed :: SBackendErrorCode ('EC_405__not_allowed :: BackendErrorCode)
- SEC_500__job_invalid_id_type :: SBackendErrorCode ('EC_500__job_invalid_id_type :: BackendErrorCode)
- SEC_500__job_expired :: SBackendErrorCode ('EC_500__job_expired :: BackendErrorCode)
- SEC_500__job_invalid_mac :: SBackendErrorCode ('EC_500__job_invalid_mac :: BackendErrorCode)
- SEC_500__job_unknown_job :: SBackendErrorCode ('EC_500__job_unknown_job :: BackendErrorCode)
- SEC_500__job_generic_exception :: SBackendErrorCode ('EC_500__job_generic_exception :: BackendErrorCode)
- data family ToFrontendErrorData (payload :: BackendErrorCode) :: Type
- class (SingI payload, ToJSON (ToFrontendErrorData payload), FromJSON (ToFrontendErrorData payload), Show (ToFrontendErrorData payload), Eq (ToFrontendErrorData payload), Typeable payload) => IsFrontendErrorData payload where
- isFrontendErrorData :: Proxy payload -> Dict IsFrontendErrorData payload
Documentation
data BackendErrorCode #
A (hopefully and eventually) exhaustive list of backend errors.
Instances
type family EC_404__node_list_not_foundSym0 :: BackendErrorCode where ... #
type family EC_404__node_root_not_foundSym0 :: BackendErrorCode where ... #
type family EC_404__node_lookup_failed_not_foundSym0 :: BackendErrorCode where ... #
type family EC_404__node_lookup_failed_parent_not_foundSym0 :: BackendErrorCode where ... #
type family EC_400__node_lookup_failed_user_too_many_rootsSym0 :: BackendErrorCode where ... #
type family EC_404__node_lookup_failed_user_not_foundSym0 :: BackendErrorCode where ... #
type family EC_404__node_lookup_failed_username_not_foundSym0 :: BackendErrorCode where ... #
type family EC_404__node_corpus_not_foundSym0 :: BackendErrorCode where ... #
type family EC_500__node_not_implemented_yetSym0 :: BackendErrorCode where ... #
type family EC_404__node_context_not_foundSym0 :: BackendErrorCode where ... #
type family EC_400__node_creation_failed_no_parentSym0 :: BackendErrorCode where ... #
type family EC_400__node_creation_failed_parent_existsSym0 :: BackendErrorCode where ... #
type family EC_400__node_creation_failed_insert_nodeSym0 :: BackendErrorCode where ... #
type family EC_400__node_creation_failed_user_negative_idSym0 :: BackendErrorCode where ... #
type family EC_500__node_generic_exceptionSym0 :: BackendErrorCode where ... #
type family EC_400__node_needs_configurationSym0 :: BackendErrorCode where ... #
type family EC_400__validation_errorSym0 :: BackendErrorCode where ... #
type family EC_403__login_failed_errorSym0 :: BackendErrorCode where ... #
type family EC_403__login_failed_invalid_username_or_passwordSym0 :: BackendErrorCode where ... #
type family EC_403__user_not_authorizedSym0 :: BackendErrorCode where ... #
type family EC_404__tree_root_not_foundSym0 :: BackendErrorCode where ... #
type family EC_404__tree_empty_rootSym0 :: BackendErrorCode where ... #
type family EC_500__tree_too_many_rootsSym0 :: BackendErrorCode where ... #
type family EC_500__internal_server_errorSym0 :: BackendErrorCode where ... #
type family EC_405__not_allowedSym0 :: BackendErrorCode where ... #
type family EC_500__job_invalid_id_typeSym0 :: BackendErrorCode where ... #
type family EC_500__job_expiredSym0 :: BackendErrorCode where ... #
type family EC_500__job_invalid_macSym0 :: BackendErrorCode where ... #
type family EC_500__job_unknown_jobSym0 :: BackendErrorCode where ... #
type family EC_500__job_generic_exceptionSym0 :: BackendErrorCode where ... #
data SBackendErrorCode :: BackendErrorCode -> Type where #
data family ToFrontendErrorData (payload :: BackendErrorCode) :: Type #
Instances
class (SingI payload, ToJSON (ToFrontendErrorData payload), FromJSON (ToFrontendErrorData payload), Show (ToFrontendErrorData payload), Eq (ToFrontendErrorData payload), Typeable payload) => IsFrontendErrorData payload where #
isFrontendErrorData :: Proxy payload -> Dict IsFrontendErrorData payload #