Select Git revision
Brady James Garvin authored
texMath.js 566 B
const STATE_COUNT = 0; // TODO: placeholder
class MonoidElement {
constructor(states) {
this.states = states;
}
get valid() {
return false; // TODO: placeholder
}
}
export const IDENTITY_ELEMENT = new MonoidElement(); // TODO: placeholder
export function encodeAsMonoidElement(character) {
return IDENTITY_ELEMENT; // TODO: placeholder
}
export function combineMonoidElements(left, right) {
const states = [];
for (let i = 0; i < STATE_COUNT; ++i) {
states.push(right.states[left.states[i]]);
}
return new MonoidElement(states);
}