104 lines
3.1 KiB
JavaScript
104 lines
3.1 KiB
JavaScript
import { CustomType as $CustomType } from "./gleam.mjs";
|
|
import * as $mode from "./mode.mjs";
|
|
|
|
export class Line extends $CustomType {
|
|
constructor($0) {
|
|
super();
|
|
this[0] = $0;
|
|
}
|
|
}
|
|
export const Line$Line = ($0) => new Line($0);
|
|
export const Line$isLine = (value) => value instanceof Line;
|
|
export const Line$Line$0 = (value) => value[0];
|
|
|
|
export class Text extends $CustomType {
|
|
constructor($0) {
|
|
super();
|
|
this[0] = $0;
|
|
}
|
|
}
|
|
export const Inline$Text = ($0) => new Text($0);
|
|
export const Inline$isText = (value) => value instanceof Text;
|
|
export const Inline$Text$0 = (value) => value[0];
|
|
|
|
export class Push extends $CustomType {
|
|
constructor($0) {
|
|
super();
|
|
this[0] = $0;
|
|
}
|
|
}
|
|
export const Inline$Push = ($0) => new Push($0);
|
|
export const Inline$isPush = (value) => value instanceof Push;
|
|
export const Inline$Push$0 = (value) => value[0];
|
|
|
|
export class Pop extends $CustomType {
|
|
constructor($0) {
|
|
super();
|
|
this[0] = $0;
|
|
}
|
|
}
|
|
export const Inline$Pop = ($0) => new Pop($0);
|
|
export const Inline$isPop = (value) => value instanceof Pop;
|
|
export const Inline$Pop$0 = (value) => value[0];
|
|
|
|
export class Hirachy extends $CustomType {
|
|
constructor($0) {
|
|
super();
|
|
this[0] = $0;
|
|
}
|
|
}
|
|
export const Feeling$Hirachy = ($0) => new Hirachy($0);
|
|
export const Feeling$isHirachy = (value) => value instanceof Hirachy;
|
|
export const Feeling$Hirachy$0 = (value) => value[0];
|
|
|
|
export class Truth extends $CustomType {
|
|
constructor($0) {
|
|
super();
|
|
this[0] = $0;
|
|
}
|
|
}
|
|
export const Feeling$Truth = ($0) => new Truth($0);
|
|
export const Feeling$isTruth = (value) => value instanceof Truth;
|
|
export const Feeling$Truth$0 = (value) => value[0];
|
|
|
|
export class Marking extends $CustomType {
|
|
constructor($0) {
|
|
super();
|
|
this[0] = $0;
|
|
}
|
|
}
|
|
export const Feeling$Marking = ($0) => new Marking($0);
|
|
export const Feeling$isMarking = (value) => value instanceof Marking;
|
|
export const Feeling$Marking$0 = (value) => value[0];
|
|
|
|
export class Quote extends $CustomType {
|
|
constructor($0) {
|
|
super();
|
|
this[0] = $0;
|
|
}
|
|
}
|
|
export const Feeling$Quote = ($0) => new Quote($0);
|
|
export const Feeling$isQuote = (value) => value instanceof Quote;
|
|
export const Feeling$Quote$0 = (value) => value[0];
|
|
|
|
export class State extends $CustomType {
|
|
constructor(hirachystate, truthstate, markingstate, quotestate) {
|
|
super();
|
|
this.hirachystate = hirachystate;
|
|
this.truthstate = truthstate;
|
|
this.markingstate = markingstate;
|
|
this.quotestate = quotestate;
|
|
}
|
|
}
|
|
export const State$State = (hirachystate, truthstate, markingstate, quotestate) =>
|
|
new State(hirachystate, truthstate, markingstate, quotestate);
|
|
export const State$isState = (value) => value instanceof State;
|
|
export const State$State$hirachystate = (value) => value.hirachystate;
|
|
export const State$State$0 = (value) => value.hirachystate;
|
|
export const State$State$truthstate = (value) => value.truthstate;
|
|
export const State$State$1 = (value) => value.truthstate;
|
|
export const State$State$markingstate = (value) => value.markingstate;
|
|
export const State$State$2 = (value) => value.markingstate;
|
|
export const State$State$quotestate = (value) => value.quotestate;
|
|
export const State$State$3 = (value) => value.quotestate;
|