|
| 1 | +const PREFIX = "PLAY"; |
| 2 | +const FULFILLED = "FULFILLED"; |
| 3 | +const FAILED = "FAILED"; |
| 4 | + |
| 5 | +// UI-Related Action Types. |
| 6 | +export const SET_CURRENT_KERNEL_NAME = `${PREFIX}/SET_CURRENT_KERNEL_NAME`; |
| 7 | +export const SET_CURRENT_SERVER_ID = `${PREFIX}/SET_CURRENT_SERVER_ID`; |
| 8 | +export const SET_PLATFORM = `${PREFIX}/SET_PLATFORM`; |
| 9 | +export const SET_SHOW_PANEL = `${PREFIX}/SET_SHOW_PANEL`; |
| 10 | +export const SET_SOURCE = `${PREFIX}/SET_SOURCE`; |
| 11 | +export const SUBMIT_BINDER_FORM = `${PREFIX}/SUBMIT_BINDER_FORM`; |
| 12 | +export const SET_CODE_MIRROR_MODE = `${PREFIX}/SET_CODE_MIRROR_MODE`; |
| 13 | + |
| 14 | +// Server-Related Action Types |
| 15 | +export const ACTIVATE_SERVER = `${PREFIX}/ACTIVATE_SERVER`; |
| 16 | +export const ACTIVATE_SERVER_FULFILLED = `${PREFIX}/ACTIVATE_SERVER_${FULFILLED}`; |
| 17 | +export const ACTIVATE_SERVER_FAILED = `${PREFIX}/ACTIVATE_SERVER_${FAILED}`; |
| 18 | + |
| 19 | +export const KILL_SERVER = `${PREFIX}/KILL_SERVER`; |
| 20 | +export const KILL_SERVER_FULFILLED = `${PREFIX}/KILL_SERVER_${FULFILLED}`; |
| 21 | +export const KILL_SERVER_FAILED = `${PREFIX}/KILL_SERVER_${FAILED}`; |
| 22 | + |
| 23 | +export const FETCH_KERNEL_SPECS = `${PREFIX}/FETCH_KERNEL_SPECS`; |
| 24 | +export const FETCH_KERNEL_SPECS_FULFILLED = `${PREFIX}/FETCH_KERNEL_SPECS_${FULFILLED}`; |
| 25 | +export const FETCH_KERNEL_SPECS_FAILED = `${PREFIX}/FETCH_KERNEL_SPECS_${FAILED}`; |
| 26 | + |
| 27 | +export const ADD_SERVER_MESSAGE = `${PREFIX}/ADD_SERVER_MESSAGE`; |
| 28 | + |
| 29 | +// Kernel-Related Action Types |
| 30 | +export const ACTIVATE_KERNEL = `${PREFIX}/ACTIVATE_KERNEL`; |
| 31 | +export const ACTIVATE_KERNEL_FULFILLED = `${PREFIX}/ACTIVATE_KERNEL_${FULFILLED}`; |
| 32 | +export const ACTIVATE_KERNEL_FAILED = `${PREFIX}/ACTIVATE_KERNEL_${FAILED}`; |
| 33 | + |
| 34 | +export const INTERRUPT_KERNEL = `${PREFIX}/INTERRUPT_KERNEL`; |
| 35 | +export const INTERRUPT_KERNEL_FULFILLED = `${PREFIX}/INTERRUPT_KERNEL_${FULFILLED}`; |
| 36 | +export const INTERRUPT_KERNEL_FAILED = `${PREFIX}/INTERRUPT_KERNEL_${FAILED}`; |
| 37 | + |
| 38 | +export const KILL_KERNEL = `${PREFIX}/KILL_KERNEL`; |
| 39 | +export const KILL_KERNEL_FULFILLED = `${PREFIX}/KILL_KERNEL_${FULFILLED}`; |
| 40 | +export const KILL_KERNEL_FAILED = `${PREFIX}/KILL_KERNEL_${FAILED}`; |
| 41 | + |
| 42 | +export const ADD_KERNEL_MESSAGE = `${PREFIX}/ADD_KERNEL_MESSAGE`; |
| 43 | +export const ADD_KERNEL_OUTPUT = `${PREFIX}/ADD_KERNEL_OUTPUT`; |
| 44 | +export const CLEAR_KERNEL_OUTPUTS = `${PREFIX}/CLEAR_KERNEL_OUTPUTS`; |
| 45 | +export const RESTART_KERNEL = `${PREFIX}/RESTART_KERNEL`; |
| 46 | +export const RUN_SOURCE = `${PREFIX}/RUN_SOURCE`; |
| 47 | +export const SET_ACTIVE_KERNEL = `${PREFIX}/SET_ACTIVE_KERNEL`; |
| 48 | +export const SET_ACTIVE_KERNEL_LANGUAGE_INFO = `${PREFIX}/SET_ACTIVE_KERNEL_LANGUAGE_INFO`; |
| 49 | +export const SET_KERNEL_STATUS = `${PREFIX}/SET_KERNEL_STATUS`; |
| 50 | + |
| 51 | +export const INITIALIZE_FROM_QUERY = `${PREFIX}/INITIALIZE_FROM_QUERY`; |
0 commit comments