Index
| after | Gen |
| Ann | Gen |
| before | Gen |
| Binder | Types |
| binders | Types |
| bndrS | Gen |
| createVizStates | Types |
| Ctx | |
| 1 (Type/Class) | Gen |
| 2 (Data Constructor) | Pretty |
| ctx | Gen |
| curBinder | Types |
| curExpr | Types |
| currentStepName | Types |
| curStep | Types |
| Custom | Gen |
| defaultTheme | Pretty |
| Diff | Gen |
| emph | Pretty |
| fillSize | Pretty |
| flagFields | Gen |
| form | Types |
| formData | Types |
| FormField | Types |
| getCodeWidth | Types |
| getCurrentState | Types |
| getStep | Types |
| handleAnn | Gen |
| hBoxSpaced | Pretty |
| height | Types |
| highlightSearch | Pretty |
| History | Gen |
| HStep | |
| 1 (Type/Class) | Gen |
| 2 (Data Constructor) | Gen |
| initialExpr | Gen |
| initialState | Types |
| initOptions | Gen |
| Item | Pretty |
| Keyword | Gen |
| LeftViewport | Types |
| Literal | Gen |
| MChar | Pretty |
| mkForm | Types |
| MLine | Pretty |
| MMod | Pretty |
| modify | Pretty |
| moveTo | Types |
| MString | Pretty |
| MyDoc | Pretty |
| myForm | Pretty |
| Name | |
| 1 (Data Constructor) | Types |
| 2 (Type/Class) | Types |
| name | Gen |
| nextTrans | Types |
| NoCustomEvent | Types |
| Options | Gen |
| OptionsUI | |
| 1 (Type/Class) | Types |
| 2 (Data Constructor) | Types |
| opts | Types |
| patch | Gen |
| ppr' | Gen |
| prevState | Types |
| Qualifier | Gen |
| readHistory | Gen |
| render | Pretty |
| reset | Types |
| RightViewport | Types |
| runTerminal | BrickUI |
| scroll | Types |
| Search | Types |
| showBot | Types |
| showCode | Pretty |
| split | Pretty |
| states | Types |
| Step | Types |
| step | Types |
| stepBinder | Types |
| steps | Types |
| Stx | Pretty |
| Syntax | Gen |
| title | Pretty |
| topEntity | Gen |
| Trans | Types |
| trans | Types |
| Type | Gen |
| Unique | Gen |
| unstep | Types |
| unstepBinder | Types |
| updateState | Types |
| userStyles | Gen |
| vBoxSpaced | Pretty |
| VizState | |
| 1 (Type/Class) | Types |
| 2 (Data Constructor) | Types |
| VizStates | |
| 1 (Type/Class) | Types |
| 2 (Data Constructor) | Types |
| width | Types |
| withBorder | Pretty |
| withBorderSelected | Pretty |
| withBorderStyle | Pretty |
| _after | Gen |
| _before | Gen |
| _binders | Types |
| _bndrS | Gen |
| _ctx | Gen |
| _curBinder | Types |
| _curExpr | Types |
| _curStep | Types |
| _form | Types |
| _height | Types |
| _name | Gen |
| _opts | Types |
| _prevState | Types |
| _scroll | Types |
| _showBot | Types |
| _states | Types |
| _steps | Types |
| _trans | Types |
| _width | Types |