gargantext-0.0.7.1.5.3: Search, map, share
Copyright(c) CNRS 2017-Present
LicenseAGPL + CECILL v3
Maintainerteam@gargantext.org
Stabilityexperimental
PortabilityPOSIX
Safe HaskellSafe-Inferred
LanguageHaskell2010

Gargantext.API.Errors.Types

Description

 
Synopsis

The main frontend error type

data FrontendError where #

An error that can be returned to the frontend. It carries a human-friendly diagnostic, the 'type' of the error as well as some context-specific data.

Constructors

FrontendError 

Fields

The internal backend type and an enumeration of all possible backend error types

data BackendErrorCode #

A (hopefully and eventually) exhaustive list of backend errors.

Instances

Instances details
Arbitrary BackendErrorCode # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON BackendErrorCode # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON BackendErrorCode # 
Instance details

Defined in Gargantext.API.Errors.Types

Bounded BackendErrorCode # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

Enum BackendErrorCode # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

Read BackendErrorCode # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

Show BackendErrorCode # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

Eq BackendErrorCode # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingKind BackendErrorCode # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

Associated Types

type Demote BackendErrorCode = (r :: Type) #

SingI 'EC_400__node_creation_failed_insert_node # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_400__node_creation_failed_no_parent # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_400__node_creation_failed_parent_exists # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_400__node_creation_failed_user_negative_id # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_400__node_lookup_failed_user_too_many_roots # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_400__node_needs_configuration # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_400__validation_error # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_403__login_failed_error # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_403__login_failed_invalid_username_or_password # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_403__user_not_authorized # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_404__node_context_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_404__node_corpus_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_404__node_list_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_404__node_lookup_failed_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_404__node_lookup_failed_parent_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_404__node_lookup_failed_user_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_404__node_lookup_failed_username_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_404__node_root_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_404__tree_empty_root # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_404__tree_root_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_405__not_allowed # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_500__internal_server_error # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_500__job_expired # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_500__job_generic_exception # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_500__job_invalid_id_type # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_500__job_invalid_mac # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_500__job_unknown_job # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_500__node_generic_exception # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_500__node_not_implemented_yet # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

SingI 'EC_500__tree_too_many_roots # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

type Demote BackendErrorCode # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

type Sing # 
Instance details

Defined in Gargantext.API.Errors.Types.Backend

data BackendInternalError #

An internal error which can be emitted from the backend and later converted into a FrontendError, for later consumption.

Instances

Instances details
ToJSON BackendInternalError # 
Instance details

Defined in Gargantext.API.Errors.Types

Exception BackendInternalError # 
Instance details

Defined in Gargantext.API.Errors.Types

Show BackendInternalError # 
Instance details

Defined in Gargantext.API.Errors.Types

HasAuthenticationError BackendInternalError # 
Instance details

Defined in Gargantext.API.Errors.Types

HasValidationError BackendInternalError # 
Instance details

Defined in Gargantext.API.Errors.Types

HasNodeError BackendInternalError # 
Instance details

Defined in Gargantext.API.Errors.Types

HasServerError BackendInternalError # 
Instance details

Defined in Gargantext.API.Errors.Types

HasLogger (GargM DevEnv BackendInternalError) # 
Instance details

Defined in Gargantext.API.Admin.EnvTypes

HasLogger (GargM Env BackendInternalError) # 
Instance details

Defined in Gargantext.API.Admin.EnvTypes

MonadLogger (GargM DevEnv BackendInternalError) # 
Instance details

Defined in Gargantext.API.Admin.EnvTypes

MonadLogger (GargM Env BackendInternalError) # 
Instance details

Defined in Gargantext.API.Admin.EnvTypes

type LogInitParams (GargM DevEnv BackendInternalError) # 
Instance details

Defined in Gargantext.API.Admin.EnvTypes

type LogInitParams (GargM Env BackendInternalError) # 
Instance details

Defined in Gargantext.API.Admin.EnvTypes

type LogPayload (GargM DevEnv BackendInternalError) # 
Instance details

Defined in Gargantext.API.Admin.EnvTypes

type LogPayload (GargM Env BackendInternalError) # 
Instance details

Defined in Gargantext.API.Admin.EnvTypes

data Logger (GargM DevEnv BackendInternalError) # 
Instance details

Defined in Gargantext.API.Admin.EnvTypes

data Logger (GargM Env BackendInternalError) # 
Instance details

Defined in Gargantext.API.Admin.EnvTypes

data family ToFrontendErrorData (payload :: BackendErrorCode) :: Type #

Instances

Instances details
FromJSON (ToFrontendErrorData 'EC_400__node_creation_failed_insert_node) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_400__node_creation_failed_no_parent) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_400__node_creation_failed_parent_exists) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_400__node_creation_failed_user_negative_id) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_400__node_needs_configuration) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_400__validation_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_403__login_failed_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_403__login_failed_invalid_username_or_password) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_403__user_not_authorized) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_404__node_context_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_404__node_corpus_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_404__node_list_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_user_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_username_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_404__node_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_404__tree_empty_root) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_404__tree_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_405__not_allowed) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_500__internal_server_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_500__job_expired) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_500__job_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_500__job_invalid_id_type) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_500__job_invalid_mac) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_500__job_unknown_job) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_500__node_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_500__node_not_implemented_yet) # 
Instance details

Defined in Gargantext.API.Errors.Types

FromJSON (ToFrontendErrorData 'EC_500__tree_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_400__node_creation_failed_insert_node) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_400__node_creation_failed_no_parent) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_400__node_creation_failed_parent_exists) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_400__node_creation_failed_user_negative_id) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_400__node_needs_configuration) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_400__validation_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_403__login_failed_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_403__login_failed_invalid_username_or_password) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_403__user_not_authorized) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_404__node_context_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_404__node_corpus_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_404__node_list_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_user_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_username_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_404__node_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_404__tree_empty_root) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_404__tree_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_405__not_allowed) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_500__internal_server_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_500__job_expired) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_500__job_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_500__job_invalid_id_type) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_500__job_invalid_mac) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_500__job_unknown_job) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_500__node_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_500__node_not_implemented_yet) # 
Instance details

Defined in Gargantext.API.Errors.Types

ToJSON (ToFrontendErrorData 'EC_500__tree_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_400__node_creation_failed_insert_node) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_400__node_creation_failed_no_parent) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_400__node_creation_failed_parent_exists) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_400__node_creation_failed_user_negative_id) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_400__node_needs_configuration) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_400__validation_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_403__login_failed_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_403__login_failed_invalid_username_or_password) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_403__user_not_authorized) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_404__node_context_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_404__node_corpus_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_404__node_list_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_404__node_lookup_failed_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_404__node_lookup_failed_user_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_404__node_lookup_failed_username_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_404__node_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_404__tree_empty_root) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_404__tree_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_405__not_allowed) # 
Instance details

Defined in Gargantext.API.Errors.Types

Associated Types

type Rep (ToFrontendErrorData 'EC_405__not_allowed) :: Type -> Type #

Generic (ToFrontendErrorData 'EC_500__internal_server_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_500__job_expired) # 
Instance details

Defined in Gargantext.API.Errors.Types

Associated Types

type Rep (ToFrontendErrorData 'EC_500__job_expired) :: Type -> Type #

Generic (ToFrontendErrorData 'EC_500__job_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_500__job_invalid_id_type) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_500__job_invalid_mac) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_500__job_unknown_job) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_500__node_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_500__node_not_implemented_yet) # 
Instance details

Defined in Gargantext.API.Errors.Types

Generic (ToFrontendErrorData 'EC_500__tree_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_400__node_creation_failed_insert_node) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_400__node_creation_failed_no_parent) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_400__node_creation_failed_parent_exists) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_400__node_creation_failed_user_negative_id) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_400__node_needs_configuration) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_400__validation_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_403__login_failed_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_403__login_failed_invalid_username_or_password) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_403__user_not_authorized) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_404__node_context_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_404__node_corpus_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_404__node_list_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_404__node_lookup_failed_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_404__node_lookup_failed_user_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_404__node_lookup_failed_username_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_404__node_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_404__tree_empty_root) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_404__tree_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_405__not_allowed) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_500__internal_server_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_500__job_expired) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_500__job_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_500__job_invalid_id_type) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_500__job_invalid_mac) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_500__job_unknown_job) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_500__node_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_500__node_not_implemented_yet) # 
Instance details

Defined in Gargantext.API.Errors.Types

Show (ToFrontendErrorData 'EC_500__tree_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_400__node_creation_failed_insert_node) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_400__node_creation_failed_no_parent) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_400__node_creation_failed_parent_exists) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_400__node_creation_failed_user_negative_id) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_400__node_needs_configuration) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_400__validation_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_403__login_failed_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_403__login_failed_invalid_username_or_password) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_403__user_not_authorized) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_404__node_context_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_404__node_corpus_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_404__node_list_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_404__node_lookup_failed_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_404__node_lookup_failed_user_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_404__node_lookup_failed_username_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_404__node_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_404__tree_empty_root) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_404__tree_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_405__not_allowed) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_500__internal_server_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_500__job_expired) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_500__job_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_500__job_invalid_id_type) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_500__job_invalid_mac) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_500__job_unknown_job) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_500__node_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_500__node_not_implemented_yet) # 
Instance details

Defined in Gargantext.API.Errors.Types

Eq (ToFrontendErrorData 'EC_500__tree_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_400__node_creation_failed_insert_node # 
Instance details

Defined in Gargantext.API.Errors.Types

newtype ToFrontendErrorData 'EC_400__node_creation_failed_no_parent # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_400__node_creation_failed_parent_exists # 
Instance details

Defined in Gargantext.API.Errors.Types

newtype ToFrontendErrorData 'EC_400__node_creation_failed_user_negative_id # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_400__node_needs_configuration # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_400__validation_error # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_403__login_failed_error # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_403__login_failed_invalid_username_or_password # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_403__user_not_authorized # 
Instance details

Defined in Gargantext.API.Errors.Types

newtype ToFrontendErrorData 'EC_404__node_context_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_404__node_corpus_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

newtype ToFrontendErrorData 'EC_404__node_list_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

newtype ToFrontendErrorData 'EC_404__node_lookup_failed_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

newtype ToFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

newtype ToFrontendErrorData 'EC_404__node_lookup_failed_user_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

newtype ToFrontendErrorData 'EC_404__node_lookup_failed_username_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_404__node_root_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_404__tree_empty_root # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_404__tree_root_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_405__not_allowed # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_500__internal_server_error # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_500__job_expired # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_500__job_generic_exception # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_500__job_invalid_id_type # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_500__job_invalid_mac # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_500__job_unknown_job # 
Instance details

Defined in Gargantext.API.Errors.Types

newtype ToFrontendErrorData 'EC_500__node_generic_exception # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_500__node_not_implemented_yet # 
Instance details

Defined in Gargantext.API.Errors.Types

data ToFrontendErrorData 'EC_500__tree_too_many_roots # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_400__node_creation_failed_insert_node) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_400__node_creation_failed_insert_node) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_node_creation_failed_insert_node" 'PrefixI 'True) (S1 ('MetaSel ('Just "necin_user_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UserId) :*: S1 ('MetaSel ('Just "necin_parent_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ParentId)))
type Rep (ToFrontendErrorData 'EC_400__node_creation_failed_no_parent) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_400__node_creation_failed_no_parent) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'True) (C1 ('MetaCons "FE_node_creation_failed_no_parent" 'PrefixI 'True) (S1 ('MetaSel ('Just "necnp_user_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserId)))
type Rep (ToFrontendErrorData 'EC_400__node_creation_failed_parent_exists) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_400__node_creation_failed_parent_exists) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_node_creation_failed_parent_exists" 'PrefixI 'True) (S1 ('MetaSel ('Just "necpe_parent_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ParentId) :*: S1 ('MetaSel ('Just "necpe_user_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UserId)))
type Rep (ToFrontendErrorData 'EC_400__node_creation_failed_user_negative_id) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_400__node_creation_failed_user_negative_id) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'True) (C1 ('MetaCons "FE_node_creation_failed_user_negative_id" 'PrefixI 'True) (S1 ('MetaSel ('Just "neuni_user_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserId)))
type Rep (ToFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_node_lookup_failed_user_too_many_roots" 'PrefixI 'True) (S1 ('MetaSel ('Just "netmr_user_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UserId) :*: S1 ('MetaSel ('Just "netmr_roots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [NodeId])))
type Rep (ToFrontendErrorData 'EC_400__node_needs_configuration) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_400__node_needs_configuration) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_node_needs_configuration" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (ToFrontendErrorData 'EC_400__validation_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_400__validation_error) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_validation_error" 'PrefixI 'True) (S1 ('MetaSel ('Just "validation_error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))
type Rep (ToFrontendErrorData 'EC_403__login_failed_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_403__login_failed_error) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_login_failed_error" 'PrefixI 'True) (S1 ('MetaSel ('Just "lfe_node_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NodeId) :*: S1 ('MetaSel ('Just "lfe_user_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UserId)))
type Rep (ToFrontendErrorData 'EC_403__login_failed_invalid_username_or_password) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_403__login_failed_invalid_username_or_password) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_login_failed_invalid_username_or_password" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (ToFrontendErrorData 'EC_403__user_not_authorized) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_403__user_not_authorized) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_user_not_authorized" 'PrefixI 'True) (S1 ('MetaSel ('Just "una_user_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UserId) :*: S1 ('MetaSel ('Just "una_msg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))
type Rep (ToFrontendErrorData 'EC_404__node_context_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_404__node_context_not_found) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'True) (C1 ('MetaCons "FE_node_context_not_found" 'PrefixI 'True) (S1 ('MetaSel ('Just "necnf_context_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContextId)))
type Rep (ToFrontendErrorData 'EC_404__node_corpus_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_404__node_corpus_not_found) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_node_corpus_not_found" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (ToFrontendErrorData 'EC_404__node_list_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_404__node_list_not_found) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'True) (C1 ('MetaCons "FE_node_list_not_found" 'PrefixI 'True) (S1 ('MetaSel ('Just "lnf_list_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListId)))
type Rep (ToFrontendErrorData 'EC_404__node_lookup_failed_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_404__node_lookup_failed_not_found) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'True) (C1 ('MetaCons "FE_node_lookup_failed_not_found" 'PrefixI 'True) (S1 ('MetaSel ('Just "nenf_node_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NodeId)))
type Rep (ToFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'True) (C1 ('MetaCons "FE_node_lookup_failed_parent_not_found" 'PrefixI 'True) (S1 ('MetaSel ('Just "nepnf_node_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NodeId)))
type Rep (ToFrontendErrorData 'EC_404__node_lookup_failed_user_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_404__node_lookup_failed_user_not_found) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'True) (C1 ('MetaCons "FE_node_lookup_failed_user_not_found" 'PrefixI 'True) (S1 ('MetaSel ('Just "nenf_user_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserId)))
type Rep (ToFrontendErrorData 'EC_404__node_lookup_failed_username_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_404__node_lookup_failed_username_not_found) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'True) (C1 ('MetaCons "FE_node_lookup_failed_username_not_found" 'PrefixI 'True) (S1 ('MetaSel ('Just "nenf_username") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Username)))
type Rep (ToFrontendErrorData 'EC_404__node_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_404__node_root_not_found) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_node_root_not_found" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (ToFrontendErrorData 'EC_404__tree_empty_root) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_404__tree_empty_root) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_tree_empty_root" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (ToFrontendErrorData 'EC_404__tree_root_not_found) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_404__tree_root_not_found) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_tree_root_not_found" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (ToFrontendErrorData 'EC_405__not_allowed) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_405__not_allowed) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_not_allowed" 'PrefixI 'True) (S1 ('MetaSel ('Just "isena_error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))
type Rep (ToFrontendErrorData 'EC_500__internal_server_error) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_500__internal_server_error) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_internal_server_error" 'PrefixI 'True) (S1 ('MetaSel ('Just "ise_error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))
type Rep (ToFrontendErrorData 'EC_500__job_expired) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_500__job_expired) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_job_expired" 'PrefixI 'True) (S1 ('MetaSel ('Just "jee_job_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))
type Rep (ToFrontendErrorData 'EC_500__job_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_500__job_generic_exception) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_job_generic_exception" 'PrefixI 'True) (S1 ('MetaSel ('Just "jege_error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))
type Rep (ToFrontendErrorData 'EC_500__job_invalid_id_type) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_500__job_invalid_id_type) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_job_invalid_id_type" 'PrefixI 'True) (S1 ('MetaSel ('Just "jeiit_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))
type Rep (ToFrontendErrorData 'EC_500__job_invalid_mac) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_500__job_invalid_mac) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_job_invalid_mac" 'PrefixI 'True) (S1 ('MetaSel ('Just "jeim_mac") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))
type Rep (ToFrontendErrorData 'EC_500__job_unknown_job) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_500__job_unknown_job) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_job_unknown_job" 'PrefixI 'True) (S1 ('MetaSel ('Just "jeuj_job_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))
type Rep (ToFrontendErrorData 'EC_500__node_generic_exception) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_500__node_generic_exception) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'True) (C1 ('MetaCons "FE_node_generic_exception" 'PrefixI 'True) (S1 ('MetaSel ('Just "nege_error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
type Rep (ToFrontendErrorData 'EC_500__node_not_implemented_yet) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_500__node_not_implemented_yet) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_node_not_implemented_yet" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (ToFrontendErrorData 'EC_500__tree_too_many_roots) # 
Instance details

Defined in Gargantext.API.Errors.Types

type Rep (ToFrontendErrorData 'EC_500__tree_too_many_roots) = D1 ('MetaData "ToFrontendErrorData" "Gargantext.API.Errors.Types" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "FE_tree_too_many_roots" 'PrefixI 'True) (S1 ('MetaSel ('Just "tmr_roots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty NodeId))))

Constructing frontend errors

mkFrontendErrNoDiagnostic :: IsFrontendErrorData payload => ToFrontendErrorData payload -> FrontendError #

Creates an error without attaching a diagnostic to it.

mkFrontendErrShow :: IsFrontendErrorData payload => ToFrontendErrorData payload -> FrontendError #

Renders the error by using as a diagnostic the string resulting from Showing the underlying type.

Evidence carrying

data Dict (c :: k -> Constraint) (a :: k) where #

Constructors

Dict :: c a => Dict c a 

Instances

Instances details
Show (Dict c a) # 
Instance details

Defined in Gargantext.Utils.Dict

Methods

showsPrec :: Int -> Dict c a -> ShowS #

show :: Dict c a -> String #

showList :: [Dict c a] -> ShowS #

class (SingI payload, ToJSON (ToFrontendErrorData payload), FromJSON (ToFrontendErrorData payload), Show (ToFrontendErrorData payload), Eq (ToFrontendErrorData payload), Typeable payload) => IsFrontendErrorData payload where #

Methods

isFrontendErrorData :: Proxy payload -> Dict IsFrontendErrorData payload #

Instances

Instances details
IsFrontendErrorData 'EC_400__node_creation_failed_insert_node # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_400__node_creation_failed_no_parent # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_400__node_creation_failed_parent_exists # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_400__node_creation_failed_user_negative_id # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_400__node_needs_configuration # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_400__validation_error # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_403__login_failed_error # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_403__login_failed_invalid_username_or_password # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_403__user_not_authorized # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_404__node_context_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_404__node_corpus_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_404__node_list_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_404__node_lookup_failed_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_404__node_lookup_failed_user_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_404__node_lookup_failed_username_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_404__node_root_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_404__tree_empty_root # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_404__tree_root_not_found # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_405__not_allowed # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_500__internal_server_error # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_500__job_expired # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_500__job_generic_exception # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_500__job_invalid_id_type # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_500__job_invalid_mac # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_500__job_unknown_job # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_500__node_generic_exception # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_500__node_not_implemented_yet # 
Instance details

Defined in Gargantext.API.Errors.Types

IsFrontendErrorData 'EC_500__tree_too_many_roots # 
Instance details

Defined in Gargantext.API.Errors.Types

Generating test cases

Orphan instances

Arbitrary BackendErrorCode # 
Instance details

FromJSON BackendErrorCode # 
Instance details

ToJSON BackendErrorCode # 
Instance details

IsFrontendErrorData 'EC_400__node_creation_failed_insert_node # 
Instance details

IsFrontendErrorData 'EC_400__node_creation_failed_no_parent # 
Instance details

IsFrontendErrorData 'EC_400__node_creation_failed_parent_exists # 
Instance details

IsFrontendErrorData 'EC_400__node_creation_failed_user_negative_id # 
Instance details

IsFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots # 
Instance details

IsFrontendErrorData 'EC_400__node_needs_configuration # 
Instance details

IsFrontendErrorData 'EC_400__validation_error # 
Instance details

IsFrontendErrorData 'EC_403__login_failed_error # 
Instance details

IsFrontendErrorData 'EC_403__login_failed_invalid_username_or_password # 
Instance details

IsFrontendErrorData 'EC_403__user_not_authorized # 
Instance details

IsFrontendErrorData 'EC_404__node_context_not_found # 
Instance details

IsFrontendErrorData 'EC_404__node_corpus_not_found # 
Instance details

IsFrontendErrorData 'EC_404__node_list_not_found # 
Instance details

IsFrontendErrorData 'EC_404__node_lookup_failed_not_found # 
Instance details

IsFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found # 
Instance details

IsFrontendErrorData 'EC_404__node_lookup_failed_user_not_found # 
Instance details

IsFrontendErrorData 'EC_404__node_lookup_failed_username_not_found # 
Instance details

IsFrontendErrorData 'EC_404__node_root_not_found # 
Instance details

IsFrontendErrorData 'EC_404__tree_empty_root # 
Instance details

IsFrontendErrorData 'EC_404__tree_root_not_found # 
Instance details

IsFrontendErrorData 'EC_405__not_allowed # 
Instance details

IsFrontendErrorData 'EC_500__internal_server_error # 
Instance details

IsFrontendErrorData 'EC_500__job_expired # 
Instance details

IsFrontendErrorData 'EC_500__job_generic_exception # 
Instance details

IsFrontendErrorData 'EC_500__job_invalid_id_type # 
Instance details

IsFrontendErrorData 'EC_500__job_invalid_mac # 
Instance details

IsFrontendErrorData 'EC_500__job_unknown_job # 
Instance details

IsFrontendErrorData 'EC_500__node_generic_exception # 
Instance details

IsFrontendErrorData 'EC_500__node_not_implemented_yet # 
Instance details

IsFrontendErrorData 'EC_500__tree_too_many_roots # 
Instance details

FromJSON (ToFrontendErrorData 'EC_400__node_creation_failed_insert_node) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_400__node_creation_failed_no_parent) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_400__node_creation_failed_parent_exists) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_400__node_creation_failed_user_negative_id) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_400__node_needs_configuration) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_400__validation_error) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_403__login_failed_error) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_403__login_failed_invalid_username_or_password) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_403__user_not_authorized) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_404__node_context_not_found) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_404__node_corpus_not_found) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_404__node_list_not_found) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_not_found) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_user_not_found) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_username_not_found) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_404__node_root_not_found) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_404__tree_empty_root) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_404__tree_root_not_found) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_405__not_allowed) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_500__internal_server_error) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_500__job_expired) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_500__job_generic_exception) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_500__job_invalid_id_type) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_500__job_invalid_mac) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_500__job_unknown_job) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_500__node_generic_exception) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_500__node_not_implemented_yet) # 
Instance details

FromJSON (ToFrontendErrorData 'EC_500__tree_too_many_roots) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_400__node_creation_failed_insert_node) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_400__node_creation_failed_no_parent) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_400__node_creation_failed_parent_exists) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_400__node_creation_failed_user_negative_id) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_400__node_needs_configuration) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_400__validation_error) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_403__login_failed_error) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_403__login_failed_invalid_username_or_password) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_403__user_not_authorized) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_404__node_context_not_found) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_404__node_corpus_not_found) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_404__node_list_not_found) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_not_found) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_user_not_found) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_404__node_lookup_failed_username_not_found) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_404__node_root_not_found) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_404__tree_empty_root) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_404__tree_root_not_found) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_405__not_allowed) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_500__internal_server_error) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_500__job_expired) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_500__job_generic_exception) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_500__job_invalid_id_type) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_500__job_invalid_mac) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_500__job_unknown_job) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_500__node_generic_exception) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_500__node_not_implemented_yet) # 
Instance details

ToJSON (ToFrontendErrorData 'EC_500__tree_too_many_roots) # 
Instance details

Generic (ToFrontendErrorData 'EC_400__node_creation_failed_insert_node) # 
Instance details

Generic (ToFrontendErrorData 'EC_400__node_creation_failed_no_parent) # 
Instance details

Generic (ToFrontendErrorData 'EC_400__node_creation_failed_parent_exists) # 
Instance details

Generic (ToFrontendErrorData 'EC_400__node_creation_failed_user_negative_id) # 
Instance details

Generic (ToFrontendErrorData 'EC_400__node_lookup_failed_user_too_many_roots) # 
Instance details

Generic (ToFrontendErrorData 'EC_400__node_needs_configuration) # 
Instance details

Generic (ToFrontendErrorData 'EC_400__validation_error) # 
Instance details

Generic (ToFrontendErrorData 'EC_403__login_failed_error) # 
Instance details

Generic (ToFrontendErrorData 'EC_403__login_failed_invalid_username_or_password) # 
Instance details

Generic (ToFrontendErrorData 'EC_403__user_not_authorized) # 
Instance details

Generic (ToFrontendErrorData 'EC_404__node_context_not_found) # 
Instance details

Generic (ToFrontendErrorData 'EC_404__node_corpus_not_found) # 
Instance details

Generic (ToFrontendErrorData 'EC_404__node_list_not_found) # 
Instance details

Generic (ToFrontendErrorData 'EC_404__node_lookup_failed_not_found) # 
Instance details

Generic (ToFrontendErrorData 'EC_404__node_lookup_failed_parent_not_found) # 
Instance details

Generic (ToFrontendErrorData 'EC_404__node_lookup_failed_user_not_found) # 
Instance details

Generic (ToFrontendErrorData 'EC_404__node_lookup_failed_username_not_found) # 
Instance details

Generic (ToFrontendErrorData 'EC_404__node_root_not_found) # 
Instance details

Generic (ToFrontendErrorData 'EC_404__tree_empty_root) # 
Instance details

Generic (ToFrontendErrorData 'EC_404__tree_root_not_found) # 
Instance details

Generic (ToFrontendErrorData 'EC_405__not_allowed) # 
Instance details

Associated Types

type Rep (ToFrontendErrorData 'EC_405__not_allowed) :: Type -> Type #

Generic (ToFrontendErrorData 'EC_500__internal_server_error) # 
Instance details

Generic (ToFrontendErrorData 'EC_500__job_expired) # 
Instance details

Associated Types

type Rep (ToFrontendErrorData 'EC_500__job_expired) :: Type -> Type #

Generic (ToFrontendErrorData 'EC_500__job_generic_exception) # 
Instance details

Generic (ToFrontendErrorData 'EC_500__job_invalid_id_type) # 
Instance details

Associated Types

type R