Index
| %=? | Util |
| Action | App.Model |
| AddrKind | |
| 1 (Type/Class) | ProofSyntax |
| 2 (Data Constructor) | ProofSyntax |
| afterConclusionKind | ProofSyntax |
| allCombinations | Util |
| AllVars | Fitch.Unification |
| allVars | Fitch.Unification |
| anyInsideKind | ProofSyntax |
| anyKind | ProofSyntax |
| arbitraryLineRangeFor | ProofSyntax |
| arbitraryNodeAddrFor | ProofSyntax |
| arbitraryProofAddrFor | ProofSyntax |
| assertInvalid | FOLTest |
| assertValid | FOLTest |
| Assumption | Fitch.Proof |
| assumption | ProofSyntax |
| assumptionKind | ProofSyntax |
| assumptionMatchesSpec | Fitch.Unification |
| AssumptionSpec | |
| 1 (Type/Class) | Specification.Types |
| 2 (Data Constructor) | Specification.Types |
| binary | Parser.Util |
| Blur | App.Model |
| brackets | Parser.Util |
| canSpawnBefore | App.Model |
| Change | App.Model |
| checkFreshness | Fitch.Verification |
| checkProof | App.Update |
| clearDrag | App.Update |
| CloseTooltip | App.Model |
| comma | Parser.Util |
| compareQCTests | ProofSyntax |
| conclusionKind | ProofSyntax |
| currentHoverLine | App.Model |
| currentTooltip | App.Model |
| decodeFromUrl | App.URLDecoder |
| Derivation | |
| 1 (Type/Class) | Fitch.Proof |
| 2 (Data Constructor) | Fitch.Proof |
| derivation | ProofSyntax |
| DragEnd | App.Model |
| DragEnter | App.Model |
| dragging | App.Model |
| DragLeave | App.Model |
| DragStart | App.Model |
| dragTarget | App.Model |
| Drop | App.Model |
| dropBeforeLine | App.Update |
| DropLocation | App.Model |
| emptyDerivation | App.Model |
| encodeForUrl | App.URLDecoder |
| exampleProofs | App.Model |
| exampleProofsFOL | Specification.FOL |
| exampleProofsProp | Specification.Prop |
| expectInvalidFormulaAt | FOLTest |
| expectInvalidRuleAt | FOLTest |
| expectValidProof | FOLTest |
| FFreshVar | Specification.Types |
| FInfixPred | Specification.Types |
| Focus | App.Model |
| focusedLine | App.Model |
| FOL | App.Model |
| FOpr | Specification.Types |
| Formula | Fitch.Proof |
| formula | ProofSyntax |
| formulaMatchesSpec | Fitch.Unification |
| FormulaParser | Parser.Formula |
| FormulaParserState | |
| 1 (Type/Class) | Parser.Formula |
| 2 (Data Constructor) | Parser.Formula |
| FormulaSpec | Specification.Types |
| FPlaceholder | Specification.Types |
| FPred | Specification.Types |
| FQuantifier | Specification.Types |
| FreeVars | Fitch.Unification |
| freeVars | Fitch.Unification |
| FreshVar | Fitch.Proof |
| fromLineNo | Fitch.Proof |
| fromLineRange | Fitch.Proof |
| fromNodeAddr | Fitch.Proof |
| fromPretty | ProofSyntax |
| FromText | App.Update |
| fromText | App.Update |
| fromWrapper | Fitch.Proof |
| FSubst | Specification.Types |
| Fun | Fitch.Proof |
| functionSymbols | App.Model |
| getText | Fitch.Proof |
| hideTooltip | App.Update |
| holdsAt | Fitch.Proof |
| holdsAtNA | Fitch.Proof |
| incrementNodeAddr | Fitch.Proof |
| InfixPred | Fitch.Proof |
| infixPreds | |
| 1 (Function) | Parser.Formula |
| 2 (Function) | App.Model |
| infixPredsFOL | Specification.FOL |
| initialModel | App.Model |
| initialModelFOL | Specification.FOL |
| initialModelProp | Specification.Prop |
| initialParserState | Parser.Formula |
| InitMathJAX | App.Model |
| Input | App.Model |
| inRange | Util |
| insertAt | Util |
| interleave | Util |
| interleaveWithDropZones | App.Views |
| isFirstLineIn | Fitch.Proof |
| isFresh | Fitch.Unification |
| isFun | Fitch.Proof |
| isNAAssumption | Fitch.Proof |
| isNestedNAAssumption | Fitch.Proof |
| isNestedNAConclusion | Fitch.Proof |
| isParseValid | Fitch.Proof |
| isUnparsed | Fitch.Proof |
| lastDragged | App.Model |
| lexeme | Parser.Util |
| LineAddr | App.Model |
| lineKind | ProofSyntax |
| lineNoOr999 | Fitch.Proof |
| lineNoQCTests | ProofSyntax |
| lineRangeFromProofAddr | Fitch.Proof |
| lineRangeQCTests | ProofSyntax |
| LineReference | Fitch.Proof |
| LocationBin | App.Model |
| Logic | App.Model |
| logic | App.Model |
| main | Main |
| makeFresh | Fitch.Unification |
| matchNoSpaces | Parser.Util |
| minus | Parser.Util |
| mkAssumption | Fitch.Proof |
| mkFormulaInputId | App.Views |
| mkRuleInputId | App.Views |
| Model | |
| 1 (Type/Class) | App.Model |
| 2 (Data Constructor) | App.Model |
| naAffectsFreshness | Fitch.Proof |
| NAAfterConclusion | Fitch.Proof |
| NAAssumption | Fitch.Proof |
| naCanMoveBefore | Fitch.Proof |
| naCanMoveConclusion | Fitch.Proof |
| NAConclusion | Fitch.Proof |
| naContainedIn | Fitch.Proof |
| naFromPA | Fitch.Proof |
| naInSameProof | Fitch.Proof |
| naInsertBefore | Fitch.Proof |
| naInsertBefore' | ProofSyntax |
| naInsertBeforeQCTests | ProofSyntax |
| naInsertBeforeRaw | Fitch.Proof |
| naLevelup2 | Fitch.Proof |
| NALine | Fitch.Proof |
| naLookup | Fitch.Proof |
| Name | Fitch.Proof |
| naMoveBefore | Fitch.Proof |
| naMoveBeforeRaw | Fitch.Proof |
| NAProof | Fitch.Proof |
| naRemove | Fitch.Proof |
| naRemoveQCTests | ProofSyntax |
| naRemoveRaw | Fitch.Proof |
| naReparseLine | App.Update |
| naSameOrNext | Fitch.Proof |
| naUpdateFormula | Fitch.Proof |
| naUpdateRule | Fitch.Proof |
| naValid | Fitch.Proof |
| NavigateBackward | App.Model |
| NavigateForward | App.Model |
| NodeAddr | Fitch.Proof |
| Nop | App.Model |
| onKeyDownSub | App.Entry |
| onMobile | App.Model |
| OpenTooltip | App.Model |
| operators | |
| 1 (Function) | Parser.Formula |
| 2 (Function) | App.Model |
| operatorsFOL | Specification.FOL |
| operatorsProp | Specification.Prop |
| Opr | Fitch.Proof |
| paCanMoveBefore | Fitch.Proof |
| paContainedIn | Fitch.Proof |
| paContaining | Fitch.Proof |
| paFromNA | Fitch.Proof |
| paInSameProof | Fitch.Proof |
| paInsertBefore | Fitch.Proof |
| paInsertBeforeRaw | Fitch.Proof |
| paLookup | Fitch.Proof |
| paMoveBefore | Fitch.Proof |
| paMoveBeforeQCTests | ProofSyntax |
| paMoveBeforeRaw | Fitch.Proof |
| PANested | Fitch.Proof |
| PAProof | Fitch.Proof |
| paProofToNested | Fitch.Proof |
| paRemove | Fitch.Proof |
| paRemoveRaw | Fitch.Proof |
| parens | Parser.Util |
| parseAssumption | Parser.Formula |
| ParsedInvalid | Fitch.Proof |
| ParsedValid | Fitch.Proof |
| parseFormula | Parser.Formula |
| parseIncompleteProof | Parser.IncompleteProof |
| parseLine | Parser.Proof |
| parseProof | Parser.Proof |
| Parser | Parser.Util |
| parseRuleApplication | Parser.Rule |
| paSameOrNext | Fitch.Proof |
| pAssumption | Parser.Proof |
| pathsInDir | FOLTest |
| pCollectFreshnessNodes | Fitch.Proof |
| pConstant | Parser.Formula |
| pDerivation | Parser.Proof |
| pFoldLines | Fitch.Proof |
| pFoldLinesM | Fitch.Proof |
| pFormula | Parser.Proof |
| pFormulaAtomic | Parser.Formula |
| pFormulaSep | Parser.Proof |
| pFreshVariable | Parser.Formula |
| pFun | Parser.Formula |
| pIncompleteAssumption | Parser.IncompleteProof |
| pIncompleteDerivation | Parser.IncompleteProof |
| pIncompleteProof | Parser.IncompleteProof |
| pIndex | Fitch.Proof |
| pIndexProof | Fitch.Proof |
| pInfixPred | Parser.Formula |
| pInfixPredName | Parser.Formula |
| pLength | Fitch.Proof |
| pLine | Parser.Rule |
| pLowerName | Parser.Util |
| pMapLines | Fitch.Proof |
| pMapLinesAccumL | Fitch.Proof |
| pMapLinesM | Fitch.Proof |
| pMapLinesMAccumL | Fitch.Proof |
| pMapLinesWithAddr | Fitch.Proof |
| pMapLinesWithLineNo | Fitch.Proof |
| pMapRefs | Fitch.Proof |
| PopState | App.Model |
| Pos | App.Model |
| pPredicate | Parser.Formula |
| pProof | Parser.Proof |
| pQuantifier | Parser.Formula |
| pQuantifierName | Parser.Formula |
| pRawAssumption | Parser.Formula |
| pRawFormula | Parser.Formula |
| Pred | Fitch.Proof |
| predicateSymbols | App.Model |
| pReference | Parser.Rule |
| prefix | Parser.Util |
| PrettyPrint | Fitch.Proof |
| prettyPrint | Fitch.Proof |
| PrettyProof | |
| 1 (Type/Class) | ProofSyntax |
| 2 (Data Constructor) | ProofSyntax |
| ProcessInput | App.Model |
| Proof | Fitch.Proof |
| proof | App.Model |
| ProofAddr | Fitch.Proof |
| proofErrors | Fitch.Proof |
| proofPreviewTex | Fitch.Proof |
| ProofReference | Fitch.Proof |
| proofReparse | App.Update |
| ProofSpec | Specification.Types |
| proofTests | ProofSyntax |
| Prop | App.Model |
| prop_compareLineNo | ProofSyntax |
| prop_fromLineNoInverse | ProofSyntax |
| prop_fromLineRangeInverse | ProofSyntax |
| prop_fromNodeAddrInverse | ProofSyntax |
| prop_lineRangeFromProofAddrInverse | ProofSyntax |
| prop_naInsertBeforeAssumptionPlus1 | ProofSyntax |
| prop_naInsertBeforeDerivationPlus1 | ProofSyntax |
| prop_naInsertBeforeNaLookupAssumption | ProofSyntax |
| prop_naInsertBeforeNaLookupDerivation | ProofSyntax |
| prop_naInsertBeforeRemove | ProofSyntax |
| prop_naRemoveMinus1 | ProofSyntax |
| prop_naRemoveShiftAssumption | ProofSyntax |
| prop_naRemoveShiftLine | ProofSyntax |
| prop_paMoveBeforeRawSameProof | ProofSyntax |
| pRule | Parser.Rule |
| pSerialize | Fitch.Proof |
| pSerializeLines | Fitch.Proof |
| pSerializeLinesWithAddr | Fitch.Proof |
| pSymbolicName | Parser.Util |
| pTerm | Parser.Formula |
| pText | Parser.Util |
| pUpperName | Parser.Util |
| pushProofURI | App.Update |
| pVar | Parser.Formula |
| Quantifier | Fitch.Proof |
| quantifiers | |
| 1 (Function) | Parser.Formula |
| 2 (Function) | App.Model |
| quantifiersFOL | Specification.FOL |
| RawAssumption | |
| 1 (Type/Class) | Fitch.Proof |
| 2 (Data Constructor) | Fitch.Proof |
| RawFormula | Fitch.Proof |
| readProof | FOLTest |
| readURI | App.Update |
| Reference | Fitch.Proof |
| regenerateSymbols | Fitch.Verification |
| RegenState | Fitch.Verification |
| removeAt | Util |
| reparse | App.Update |
| reparseProof | App.Update |
| replaceInitialURI | App.Update |
| Resize | App.Model |
| resizeSub | App.Entry |
| rule | ProofSyntax |
| RuleApplication | |
| 1 (Type/Class) | Fitch.Proof |
| 2 (Data Constructor) | Fitch.Proof |
| rules | App.Model |
| rulesFOL | Specification.FOL |
| RuleSpec | |
| 1 (Type/Class) | Specification.Types |
| 2 (Data Constructor) | Specification.Types |
| ruleSpecTex | Specification.Types |
| rulesProp | Specification.Prop |
| runApp | App.Entry |
| safeParsePrint | Parser.IncompleteProof |
| sc | Parser.Util |
| setFocus | App.Update |
| SetProof | App.Model |
| Setup | App.Model |
| showTooltip | App.Update |
| sidebarToggle | App.Model |
| SpawnLine | App.Model |
| SpawnProof | App.Model |
| SpawnStart | App.Model |
| SpawnType | App.Model |
| spawnType | App.Model |
| startAppWrapper | App.Entry |
| SubProof | Fitch.Proof |
| Subst | |
| 1 (Type/Class) | Specification.Types |
| 2 (Data Constructor) | Specification.Types |
| subst | Fitch.Unification |
| Substitute | Fitch.Unification |
| symbol | Parser.Util |
| targetInRange | Fitch.Proof |
| Term | Fitch.Proof |
| termMatchesSpec | Fitch.Unification |
| TermSpec | Specification.Types |
| testInvalidFormulae | FOLTest |
| testInvalidRules | FOLTest |
| testValidProofs | FOLTest |
| TFun | Specification.Types |
| toAssumption | Fitch.Proof |
| toDerivation | Fitch.Proof |
| ToggleSidebar | App.Model |
| toggleSidebar | App.Update |
| TPlaceholder | Specification.Types |
| tryParse | App.Update |
| TVar | Specification.Types |
| unifyFormulaeOnVariable | Fitch.Unification |
| unifyTermsOnVariable | Fitch.Unification |
| Unparsed | Fitch.Proof |
| updateAtM | Util |
| updateModel | App.Update |
| updateProof | App.Update |
| updateTitle | App.Update |
| uri | App.Model |
| Var | Fitch.Proof |
| verificationTests | FOLTest |
| verifyProof | Fitch.Verification |
| viewBin | App.Views |
| viewDetails | App.Views |
| viewDropZoneAt | App.Views |
| viewErrorBox | App.Views |
| viewErrorNumber | App.Views |
| viewExamples | App.Views |
| viewGrammar | App.Views |
| viewHeader | App.Views |
| viewHeaderRight | App.Views |
| viewLine | App.Views |
| viewLineNos | App.Views |
| viewLogics | App.Views |
| viewLogoHeader | App.Views |
| viewMaterialIcon | App.Views |
| viewMenuButton | App.Views |
| viewModel | App.Views |
| viewNavigationButtons | App.Views |
| viewNewProofButton | App.Views |
| viewProof | App.Views |
| viewProofActionsHeader | App.Views |
| viewRuleApplications | App.Views |
| viewRules | App.Views |
| viewSidebar | App.Views |
| viewSource | App.Views |
| viewSpawnNode | App.Views |
| viewUsage | App.Views |
| withIndent | Parser.Proof |
| Wrapper | Fitch.Proof |
| _afterConclusionKind | ProofSyntax |
| _assumptionKind | ProofSyntax |
| _conclusionKind | ProofSyntax |
| _currentHoverLine | App.Model |
| _currentTooltip | App.Model |
| _dragging | App.Model |
| _dragTarget | App.Model |
| _emptyDerivation | App.Model |
| _exampleProofs | App.Model |
| _focusedLine | App.Model |
| _functionSymbols | App.Model |
| _infixPreds | App.Model |
| _lastDragged | App.Model |
| _lineKind | ProofSyntax |
| _logic | App.Model |
| _onMobile | App.Model |
| _operators | App.Model |
| _predicateSymbols | App.Model |
| _proof | App.Model |
| _quantifiers | App.Model |
| _rules | App.Model |
| _sidebarToggle | App.Model |
| _spawnType | App.Model |
| _uri | App.Model |
| ~> | Specification.Types |