Skip to content
Snippets Groups Projects
Select Git revision
  • b53fa2b3b05741f88dacb35ccfd73651b6f9f191
  • main default protected
2 results

texMath.js

Blame
  • 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);
    }