Skip to content
Snippets Groups Projects
Commit 2fead1ac authored by Nicolas Camera's avatar Nicolas Camera
Browse files

Aplicar linter para funciones del codemirror

parent 02eeb4f2
No related branches found
No related tags found
1 merge request!4Se agrega nueva configuración para el graficador3D
// English words // English words
var EN_functions = [ var EN_functions = [
'-', 'round', 'sin', 'cos', 'squareroot', 'rgb', 'rect', 'circ', 'segment', 'poli', 'join', 'color', 'move', 'rotate', 'scale', 'toFig', 'segment3D', 'sphere', 'cylinder', 'cube', 'ring', 'join3D', 'color3D', 'move3D', 'rotate3D', 'scale3D', 'range', 'first', 'rest' "-",
] "round",
"sin",
"cos",
"squareroot",
"rgb",
"rect",
"circ",
"segment",
"poli",
"join",
"color",
"move",
"rotate",
"scale",
"toFig",
"segment3D",
"sphere",
"cylinder",
"cube",
"ring",
"join3D",
"color3D",
"move3D",
"rotate3D",
"scale3D",
"range",
"first",
"rest",
];
var EN_default_sets = [ var EN_default_sets = ["R", "Color", "Fig", "A", "Fig3D"];
'R', 'Color', 'Fig', 'A', 'Fig3D'
]
var EN_typed_functions = [ var EN_typed_functions = [
'- :: R -> R', 'round :: R -> R', 'sin :: R -> R', 'cos :: R -> R', 'squareroot :: R -> R', "- :: R -> R",
'rgb :: (R X R X R) -> Color', 'rect :: (R X R) -> Fig', 'circ :: R -> Fig', 'segment :: ((R X R) X (R X R)) -> Fig', "round :: R -> R",
'poli :: (R X R)* -> Fig', 'join :: (Fig X Fig) -> Fig', 'color :: (Fig X Color) -> Fig', 'move :: (Fig X (R X R)) -> Fig', "sin :: R -> R",
'rotate :: (Fig X R) -> Fig', 'scale :: (Fig X R) -> Fig', 'toFig :: A -> Fig', 'segment3D :: ((R X R X R) X (R X R X R)) -> Fig3D', "cos :: R -> R",
'sphere :: R -> Fig3D', 'cylinder :: (R X R X R) -> Fig3D', 'cube :: (R X R X R) -> Fig3D', 'ring :: (R X R X R) -> Fig3D', "squareroot :: R -> R",
'join3D :: (Fig3D X Fig3D) -> Fig3D', 'color3D :: (Fig3D X Color) -> Fig3D', 'move3D :: (Fig3D X (R X R X R)) -> Fig3D', "rgb :: (R X R X R) -> Color",
'rotate3D :: (Fig3D X (R X R X R)) -> Fig3D', 'scale3D :: (Fig3D X R) -> Fig3D', 'range :: (R X R X R) -> R*', "rect :: (R X R) -> Fig",
'first :: A* -> A', 'rest :: A* -> A*' "circ :: R -> Fig",
] "segment :: ((R X R) X (R X R)) -> Fig",
"poli :: (R X R)* -> Fig",
"join :: (Fig X Fig) -> Fig",
"color :: (Fig X Color) -> Fig",
"move :: (Fig X (R X R)) -> Fig",
"rotate :: (Fig X R) -> Fig",
"scale :: (Fig X R) -> Fig",
"toFig :: A -> Fig",
"segment3D :: ((R X R X R) X (R X R X R)) -> Fig3D",
"sphere :: R -> Fig3D",
"cylinder :: (R X R X R) -> Fig3D",
"cube :: (R X R X R) -> Fig3D",
"ring :: (R X R X R) -> Fig3D",
"join3D :: (Fig3D X Fig3D) -> Fig3D",
"color3D :: (Fig3D X Color) -> Fig3D",
"move3D :: (Fig3D X (R X R X R)) -> Fig3D",
"rotate3D :: (Fig3D X (R X R X R)) -> Fig3D",
"scale3D :: (Fig3D X R) -> Fig3D",
"range :: (R X R X R) -> R*",
"first :: A* -> A",
"rest :: A* -> A*",
];
// Spanish words // Spanish words
var ES_functions = [ var ES_functions = [
'-', 'red', 'sen', 'cos', 'raizcuad', 'rgb', 'rect', 'circ', 'segmento', 'poli', 'juntar', 'color', 'mover', 'rotar', 'escalar', 'aFig', 'segmento3D', 'esfera', 'cilindro', 'cubo', 'anillo', 'juntar3D', 'color3D', 'mover3D', 'rotar3D', 'escalar3D', 'rango', 'primero', 'resto' "-",
] "red",
"sen",
"cos",
"raizcuad",
"rgb",
"rect",
"circ",
"segmento",
"poli",
"juntar",
"color",
"mover",
"rotar",
"escalar",
"aFig",
"segmento3D",
"esfera",
"cilindro",
"cubo",
"anillo",
"juntar3D",
"color3D",
"mover3D",
"rotar3D",
"escalar3D",
"rango",
"primero",
"resto",
];
var ES_default_sets = [ var ES_default_sets = ["R", "Color", "Fig", "A", "Fig3D"];
'R', 'Color', 'Fig', 'A', 'Fig3D'
]
var ES_typed_functions = [ var ES_typed_functions = [
'- :: R -> R', 'red :: R -> R', 'sen :: R -> R', 'cos :: R -> R', 'raizcuad :: R -> R', "- :: R -> R",
'rgb :: (R X R X R) -> Color', 'rect :: (R X R) -> Fig', 'circ :: R -> Fig', 'segmento :: ((R X R) X (R X R)) -> Fig', "red :: R -> R",
'poli :: (R X R)* -> Fig', 'juntar :: (Fig X Fig) -> Fig', 'color :: (Fig X Color) -> Fig', "sen :: R -> R",
'mover :: (Fig X (R X R)) -> Fig', 'rotar :: (Fig X R) -> Fig', 'escalar :: (Fig X R) -> Fig', "cos :: R -> R",
'aFig :: A -> Fig', 'segmento3D :: ((R X R X R) X (R X R X R)) -> Fig3D', 'esfera :: R -> Fig3D', 'cilindro :: (R X R X R) -> Fig3D', "raizcuad :: R -> R",
'cubo :: (R X R X R) -> Fig3D', 'anillo :: (R X R X R) -> Fig3D', 'juntar3D :: (Fig3D X Fig3D) -> Fig3D', "rgb :: (R X R X R) -> Color",
'color3D :: (Fig3D X Color) -> Fig3D', 'mover3D :: (Fig3D X (R X R X R)) -> Fig3D', "rect :: (R X R) -> Fig",
'rotar3D :: (Fig3D X (R X R X R)) -> Fig3D', 'escalar3D :: (Fig3D X R) -> Fig3D', 'rango :: (R X R X R) -> R*', "circ :: R -> Fig",
'primero :: A* -> A', 'resto :: A* -> A*' "segmento :: ((R X R) X (R X R)) -> Fig",
] "poli :: (R X R)* -> Fig",
"juntar :: (Fig X Fig) -> Fig",
"color :: (Fig X Color) -> Fig",
"mover :: (Fig X (R X R)) -> Fig",
"rotar :: (Fig X R) -> Fig",
"escalar :: (Fig X R) -> Fig",
"aFig :: A -> Fig",
"segmento3D :: ((R X R X R) X (R X R X R)) -> Fig3D",
"esfera :: R -> Fig3D",
"cilindro :: (R X R X R) -> Fig3D",
"cubo :: (R X R X R) -> Fig3D",
"anillo :: (R X R X R) -> Fig3D",
"juntar3D :: (Fig3D X Fig3D) -> Fig3D",
"color3D :: (Fig3D X Color) -> Fig3D",
"mover3D :: (Fig3D X (R X R X R)) -> Fig3D",
"rotar3D :: (Fig3D X (R X R X R)) -> Fig3D",
"escalar3D :: (Fig3D X R) -> Fig3D",
"rango :: (R X R X R) -> R*",
"primero :: A* -> A",
"resto :: A* -> A*",
];
module.exports = { module.exports = {
EN_default_sets: function () { EN_default_sets: function () {
...@@ -58,5 +151,5 @@ module.exports = { ...@@ -58,5 +151,5 @@ module.exports = {
}, },
ES_typed_functions: function () { ES_typed_functions: function () {
return ES_typed_functions; return ES_typed_functions;
} },
} };
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment