Documentation

type GargM env err = ReaderT env (ExceptT err IO) #

type GargServer api = forall env err m. MonadLogger m => GargServerT env err m api #

type GargServerC env err m = (CmdRandom env err m, HasNodeStory env err m, EnvC env, ErrC err, ToJSON err) #

type HasJobEnv' env = HasJobEnv env JobLog JobLog #

type GargNoServer t = forall env err m. GargNoServer' env err m => m t #

type EnvC env = (HasConnectionPool env, HasSettings env, HasJobEnv env JobLog JobLog, HasConfig env, HasNodeStoryEnv env, HasMail env, HasNLPServer env) #

type ErrC err = (HasNodeError err, HasValidationError err, HasTreeError err, HasServerError err, HasAuthenticationError err, Exception err) #

type GargServerT env err m api = GargServerC env err m => ServerT api m #

type GargServerM env err api = (EnvC env, ErrC err) => ServerT api (GargM env err) #

type GargNoServer' env err m = (CmdM env err m, HasNodeStory env err m, HasSettings env, HasNodeError err) #

simuLogs :: (MonadBase IO m, MonadJobStatus m) => JobHandle m -> Int -> m () #

authenticationError :: (MonadError e m, HasAuthenticationError e) => AuthenticationError -> m a #

class HasServerError err where #

serverError :: (MonadError err m, HasServerError err) => ServerError -> m a #