| :$ | Recalc.Syntax.Term |
| :- | Recalc.Server, Recalc.Server |
| :<|> | |
| 1 (Type/Class) | Recalc.Server |
| 2 (Data Constructor) | Recalc.Server |
| :> | Recalc.Server |
| ADD | Recalc.Syntax.FixitySpec |
| Add | Recalc.EngineSpec |
| aesonOptions | Recalc.Server |
| Ann | Recalc.Syntax.Term |
| ann'message | Recalc.Univer.Protocol, Recalc.Univer |
| ann'title | Recalc.Univer.Protocol, Recalc.Univer |
| Annotation | |
| 1 (Type/Class) | Recalc.Univer.Protocol, Recalc.Univer |
| 2 (Data Constructor) | Recalc.Univer.Protocol, Recalc.Univer |
| App | Recalc.Syntax.Term |
| apply | Recalc.Syntax.Unify |
| applySpec | Recalc.Syntax.UnifySpec |
| Arg | Recalc.Syntax.Term |
| Array | |
| 1 (Type/Class) | Recalc.Array |
| 2 (Data Constructor) | Recalc.Array |
| 3 (Data Constructor) | Recalc.Univer.Protocol, Recalc.Univer |
| Array' | Recalc.Array |
| AsApi | Recalc.Server |
| AsServer | Recalc.Server |
| AsServerT | Recalc.Server |
| base | Recalc.Syntax.Term |
| Bool | Recalc.Syntax.Term |
| boolean | Recalc.Univer.Protocol |
| BooleanInt | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| BoolOf | Recalc.Syntax.Term |
| boolOf | Recalc.Syntax.Term |
| Bound | Recalc.Syntax.Term |
| braced | Recalc.Syntax.Term |
| CaseInsensitive | |
| 1 (Type/Class) | Recalc.Syntax.Term |
| 2 (Data Constructor) | Recalc.Syntax.Term |
| caseInsensitive | Recalc.Syntax.Term |
| Cell | |
| 1 (Type/Class) | Recalc.Engine |
| 2 (Data Constructor) | Recalc.Engine |
| cell | Recalc.Engine |
| CellAddr | Recalc.Engine |
| CellData | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| cellData'custom | Recalc.Univer.Protocol |
| cellData'f | Recalc.Univer.Protocol |
| cellData'p | Recalc.Univer.Protocol |
| cellData's | Recalc.Univer.Protocol |
| cellData'si | Recalc.Univer.Protocol |
| cellData'v | Recalc.Univer.Protocol |
| cellDeps | Recalc.Engine |
| cellError | Recalc.Engine |
| CellFormula | Recalc.Engine |
| cellMeta | Recalc.Engine |
| CellOf | Recalc.Engine |
| CellRange | Recalc.Engine |
| CellRangeRef | Recalc.Engine |
| CellRef | Recalc.Engine |
| cellReferenceOrFree | Recalc.Syntax.Parser |
| Cells | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| CellStyle | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| cellStyle'bl | Recalc.Univer.Protocol |
| cellStyle'it | Recalc.Univer.Protocol |
| CellType | Recalc.Engine |
| CellValue | Recalc.Engine |
| Check | Recalc.Syntax.Term |
| check' | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| close'uri | Recalc.Univer.Protocol |
| CloseParams | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| column | Recalc.Engine |
| Compatibility | Recalc.Univer.Protocol, Recalc.Univer |
| Cube | Recalc.Univer.Protocol, Recalc.Univer |
| CustomData | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| customData'errors | Recalc.Univer.Protocol |
| customData'info | Recalc.Univer.Protocol |
| customData'warnings | Recalc.Univer.Protocol |
| CycleOf | Recalc.Engine |
| Database | Recalc.Univer.Protocol, Recalc.Univer |
| Date | Recalc.Univer.Protocol, Recalc.Univer |
| debug | Recalc.Server |
| decimal | Recalc.Syntax.Parser |
| Decl | |
| 1 (Type/Class) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| 3 (Type/Class) | Recalc.Language |
| 4 (Data Constructor) | Recalc.Language |
| declType | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| declValue | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| define | Recalc.Univer |
| DefinedName | Recalc.Univer.Protocol, Recalc.Univer |
| defineFunction'description | Recalc.Univer.Protocol |
| defineFunction'inputs | Recalc.Univer.Protocol |
| defineFunction'output | Recalc.Univer.Protocol |
| defineFunction'sheetName | Recalc.Univer.Protocol |
| defineFunction'uri | Recalc.Univer.Protocol |
| DefineFunctionParams | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| deleteSheetId | Recalc.Engine |
| depsOf | Recalc.Engine |
| dims | Recalc.Syntax.Term |
| DIV | Recalc.Syntax.FixitySpec |
| Document | |
| 1 (Type/Class) | Recalc.Engine |
| 2 (Data Constructor) | Recalc.Engine |
| DocumentStoreOf | Recalc.Engine |
| DOT | Recalc.Syntax.FixitySpec |
| dumpEngineState | Recalc.Server |
| E | Recalc.Syntax.FixitySpec |
| e | Recalc.Syntax.FixitySpec |
| EArg | Recalc.Syntax.Term |
| Elaborate | Recalc.Syntax.Term |
| elaborate | Recalc.Syntax.Term |
| ElaborationOf | Recalc.Engine |
| Empty | Recalc.Syntax.Term |
| engineDocs | Recalc.Engine |
| engineEnv | Recalc.Engine |
| Engineering | Recalc.Univer.Protocol, Recalc.Univer |
| EngineStateOf | Recalc.Engine |
| Env | |
| 1 (Type/Class) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| 3 (Type/Class) | Recalc.Language |
| 4 (Data Constructor) | Recalc.Language |
| EnvOf | Recalc.Engine |
| errorAnnotation | Recalc.Univer |
| ErrorOf | Recalc.Engine |
| escapeUri | Recalc.Syntax.Term |
| eval | |
| 1 (Function) | Recalc.Engine |
| 2 (Function) | Recalc.Repl |
| eval' | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| evalRecalc | Recalc.Repl |
| evalSheet | Recalc.EngineSpec |
| evalSheetKeepErrors | Recalc.EngineSpec |
| execRecalc | Recalc.Repl |
| EXP | Recalc.Syntax.FixitySpec |
| ExpectedInt | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| ExpectedSet | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| Explicit | Recalc.EngineSpec |
| failTest | Recalc.Syntax.Test |
| Fetch | Recalc.Engine |
| FetchError | Recalc.Engine |
| FetchOf | Recalc.Engine |
| fetchType | Recalc.Engine |
| fetchValue | Recalc.Engine |
| Financial | Recalc.Univer.Protocol, Recalc.Univer |
| Fixity | Recalc.Syntax.Fixity |
| formulaP | |
| 1 (Function) | Recalc.Syntax.Parser |
| 2 (Function) | Recalc.EngineSpec |
| Free | Recalc.Syntax.Term |
| fromList | Recalc.Array |
| FullySpecified | Recalc.Syntax.Term |
| FunctionDescription | |
| 1 (Type/Class) | Recalc.Univer.Protocol, Recalc.Univer |
| 2 (Data Constructor) | Recalc.Univer.Protocol, Recalc.Univer |
| functionDescription'abstract | Recalc.Univer.Protocol, Recalc.Univer |
| functionDescription'description | Recalc.Univer.Protocol, Recalc.Univer |
| functionDescription'name | Recalc.Univer.Protocol, Recalc.Univer |
| functionDescription'params | Recalc.Univer.Protocol, Recalc.Univer |
| functionDescription'type | Recalc.Univer.Protocol, Recalc.Univer |
| FunctionParameter | |
| 1 (Type/Class) | Recalc.Univer.Protocol, Recalc.Univer |
| 2 (Data Constructor) | Recalc.Univer.Protocol, Recalc.Univer |
| FunctionType | Recalc.Univer.Protocol, Recalc.Univer |
| Funky | Recalc.EngineSpec |
| GenericMode | Recalc.Server |
| genFresh | Recalc.Syntax.Term |
| Global | Recalc.Syntax.Term |
| Globals | |
| 1 (Type/Class) | Recalc.Language |
| 2 (Type/Class) | Recalc.Language |
| globals | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| handle | Recalc.Server |
| Handler | Recalc.Server |
| HandlerT | Recalc.Server, Recalc.Server |
| HasHandler | Recalc.Server |
| HMM | Recalc.Syntax.FixitySpec |
| hoist | Recalc.Server |
| IArg | Recalc.Syntax.Term |
| Id | Recalc.Server |
| IllegalApplication | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| IllegalArrayType | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| IllegalImplicitApplication | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| IllegalProjection | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| Implicit | |
| 1 (Data Constructor) | Recalc.Syntax.Term |
| 2 (Data Constructor) | Recalc.EngineSpec |
| Inf | Recalc.Syntax.Term |
| Infer | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Syntax.Term, Recalc.Language |
| infer | |
| 1 (Function) | Recalc.Engine |
| 2 (Function) | Recalc.Repl |
| infer' | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| inferElaborate | Recalc.Engine |
| Infix | Recalc.Syntax.Fixity |
| Infixl | Recalc.Syntax.Fixity |
| Infixr | Recalc.Syntax.Fixity |
| Information | Recalc.Univer.Protocol, Recalc.Univer |
| Inputs | Recalc.Engine |
| insertSheet'index | Recalc.Univer.Protocol |
| insertSheet'sheetId | Recalc.Univer.Protocol |
| insertSheet'sheetName | Recalc.Univer.Protocol |
| insertSheet'uri | Recalc.Univer.Protocol |
| InsertSheetParams | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| Int | Recalc.Syntax.Term |
| IntOf | Recalc.Syntax.Term |
| intOf | Recalc.Syntax.Term |
| InvalidFormula | Recalc.Engine |
| Is | Recalc.Server |
| JsonRpc | Recalc.Server |
| JsonRpcNotification | Recalc.Server |
| JsonRpcRequest | |
| 1 (Type/Class) | Recalc.Server |
| 2 (Data Constructor) | Recalc.Server |
| keyword | Recalc.Syntax.Parser |
| LabelMismatch | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| Lam | Recalc.Syntax.Term |
| lam | Recalc.Syntax.Term |
| liftEngine | Recalc.Server |
| Lit | |
| 1 (Data Constructor) | Recalc.Syntax.Term |
| 2 (Type/Class) | Recalc.Syntax.Term |
| LitOf | |
| 1 (Data Constructor) | Recalc.Syntax.Term |
| 2 (Type/Class) | Recalc.Syntax.Term |
| Logical | Recalc.Univer.Protocol, Recalc.Univer |
| LogicalNegate | Recalc.Syntax.Term |
| Lookup | Recalc.Univer.Protocol, Recalc.Univer |
| main | |
| 1 (Function) | Main |
| 2 (Function) | Main |
| makeOpsParser | Recalc.Syntax.Fixity |
| manyIt | Recalc.Syntax.FixitySpec |
| mapDocs | Recalc.Engine |
| mapEnv | Recalc.Engine |
| match | Recalc.Syntax.UnifySpec |
| Math | Recalc.Univer.Protocol, Recalc.Univer |
| Meta | |
| 1 (Type/Class) | Recalc.Engine |
| 2 (Data Constructor) | Recalc.Engine |
| Minus | Recalc.Syntax.Term |
| Missing | Recalc.Server |
| Mode | |
| 1 (Type/Class) | Recalc.Language |
| 2 (Type/Class) | Recalc.Syntax.Term, Recalc.Language |
| MUL | Recalc.Syntax.FixitySpec |
| Mult | Recalc.Syntax.Term |
| myOps | Recalc.Syntax.FixitySpec |
| N | Recalc.Syntax.FixitySpec |
| Name | Recalc.Syntax.Term |
| namedHandlers | Recalc.Server |
| NApp | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| NEG | Recalc.Syntax.FixitySpec |
| Negate | Recalc.Syntax.Term |
| Neutral | |
| 1 (Type/Class) | Recalc.Language |
| 2 (Type/Class) | Recalc.Language |
| newEngineState | |
| 1 (Function) | Recalc.Engine |
| 2 (Function) | Recalc.Repl |
| NFree | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| Nil | Recalc.Syntax.Term |
| NOT | Recalc.Syntax.FixitySpec |
| NProj | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| NRef | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| Null | Recalc.Server |
| Nullable | Recalc.Server |
| Num | Recalc.EngineSpec |
| OccursCheck | Recalc.Syntax.Unify |
| occursCheck | Recalc.Syntax.UnifySpec |
| OP | |
| 1 (Data Constructor) | Recalc.Syntax.FixitySpec |
| 2 (Type/Class) | Recalc.Syntax.FixitySpec |
| Op | |
| 1 (Data Constructor) | Recalc.Syntax.Term |
| 2 (Type/Class) | Recalc.Syntax.Term |
| OP1 | |
| 1 (Data Constructor) | Recalc.Syntax.FixitySpec |
| 2 (Type/Class) | Recalc.Syntax.FixitySpec |
| Op1 | |
| 1 (Data Constructor) | Recalc.Syntax.Term |
| 2 (Type/Class) | Recalc.Syntax.Term |
| open'sheetOrder | Recalc.Univer.Protocol |
| open'uri | Recalc.Univer.Protocol |
| OpenParams | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| operators | Recalc.Syntax.Term |
| originalText | Recalc.Syntax.Term |
| Pair | Recalc.Syntax.Term |
| parameter'detail | Recalc.Univer.Protocol, Recalc.Univer |
| parameter'example | Recalc.Univer.Protocol, Recalc.Univer |
| parameter'name | Recalc.Univer.Protocol, Recalc.Univer |
| parens | Recalc.Syntax.Parser |
| parseCell | Recalc.Engine |
| parseFormula | Recalc.Repl |
| Parser | |
| 1 (Type/Class) | Recalc.Syntax.Parser, Recalc.Syntax.Test |
| 2 (Type/Class) | Recalc.EngineSpec |
| parseTerm | Recalc.Engine |
| parseTest | Recalc.Syntax.Test |
| parseValue | Recalc.Repl |
| pat | Recalc.Syntax.Term |
| Pi | Recalc.Syntax.Term |
| Plus | Recalc.Syntax.Term |
| point | Recalc.Syntax.ParserSpec |
| Postfix | Recalc.Syntax.Fixity |
| ppHelpers | Recalc.Syntax.Fixity |
| Prefix | Recalc.Syntax.Fixity |
| prelude | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| pretty | Recalc.Repl |
| prettyURI | Recalc.Syntax.Term |
| prettyURI' | Recalc.Syntax.Term |
| PrimCat | Recalc.Syntax.Term |
| PrimMinus | Recalc.Syntax.Term |
| PrimMult | Recalc.Syntax.Term |
| PrimOp | |
| 1 (Data Constructor) | Recalc.Syntax.Term |
| 2 (Type/Class) | Recalc.Syntax.Term |
| PrimPlus | Recalc.Syntax.Term |
| PrimShow | Recalc.Syntax.Term |
| Proj | Recalc.Syntax.Term |
| Quote | Recalc.Syntax.Term |
| quotientOn | Recalc.Univer.Protocol |
| readExcel | Recalc.Syntax.Parser, Recalc.Engine |
| readURI | Recalc.Syntax.ParserSpec |
| Recalc | Recalc.Engine |
| recalc | |
| 1 (Function) | Recalc.Engine |
| 2 (Function) | Recalc.Repl |
| recalcAll | Recalc.Engine |
| record | Recalc.Syntax.Term |
| Ref | |
| 1 (Data Constructor) | Recalc.Syntax.Term |
| 2 (Data Constructor) | Recalc.EngineSpec |
| RefError | Recalc.Engine |
| RefInfo | Recalc.Syntax.Term |
| removeSheet'sheetName | Recalc.Univer.Protocol |
| removeSheet'uri | Recalc.Univer.Protocol |
| RemoveSheetParams | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| renderE | Recalc.Syntax.FixitySpec |
| renderPretty | Recalc.Syntax.ParserSpec |
| request'id | Recalc.Server |
| request'method | Recalc.Server |
| request'params | Recalc.Server |
| Result | |
| 1 (Type/Class) | Recalc.SemanticsSpec |
| 2 (Type/Class) | Recalc.Repl |
| 3 (Type/Class) | Recalc.EngineSpec |
| ResultsOf | Recalc.Engine |
| row | Recalc.Engine |
| rpcClose | Recalc.Univer.Protocol |
| rpcDefineFunction | Recalc.Univer.Protocol |
| rpcInsertSheet | Recalc.Univer.Protocol |
| rpcOpen | Recalc.Univer.Protocol |
| rpcRemoveSheet | Recalc.Univer.Protocol |
| rpcSave | Recalc.Univer.Protocol |
| rpcSetRangeValues | Recalc.Univer.Protocol |
| rpcSetWorksheetName | Recalc.Univer.Protocol |
| rpcSetWorksheetOrder | Recalc.Univer.Protocol |
| run | Recalc.EngineSpec |
| runCheck | Recalc.SemanticsSpec |
| runCheck_ | Recalc.SemanticsSpec |
| runEval | Recalc.SemanticsSpec |
| runEval' | Recalc.SemanticsSpec |
| runFetch | Recalc.SemanticsSpec |
| runFetchWith | Recalc.Engine |
| runHandler | Recalc.Server |
| runInfer | Recalc.SemanticsSpec |
| runInfer_ | Recalc.SemanticsSpec |
| runP | Recalc.Syntax.Test |
| save'asUri | Recalc.Univer.Protocol |
| save'uri | Recalc.Univer.Protocol |
| SaveParams | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| scheduleJob | Recalc.Server |
| SemanticError | |
| 1 (Type/Class) | Recalc.Language |
| 2 (Type/Class) | Recalc.Language |
| 3 (Data Constructor) | Recalc.Engine |
| sendIO | Recalc.Server |
| Set | Recalc.Syntax.Term |
| Set0 | |
| 1 (Type/Class) | Recalc.Syntax.Arbitrary |
| 2 (Data Constructor) | Recalc.Syntax.Arbitrary |
| setRangeValues'cells | Recalc.Univer.Protocol |
| setRangeValues'sheetName | Recalc.Univer.Protocol |
| setRangeValues'uri | Recalc.Univer.Protocol |
| SetRangeValuesParams | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| setWorksheetName'newName | Recalc.Univer.Protocol |
| setWorksheetName'sheetName | Recalc.Univer.Protocol |
| setWorksheetName'uri | Recalc.Univer.Protocol |
| SetWorksheetNameParams | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| setWorksheetOrder'from | Recalc.Univer.Protocol |
| setWorksheetOrder'sheetName | Recalc.Univer.Protocol |
| setWorksheetOrder'to | Recalc.Univer.Protocol |
| setWorksheetOrder'uri | Recalc.Univer.Protocol |
| SetWorksheetOrderParams | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| shape | Recalc.Array |
| SheetId | Recalc.Engine |
| sheetId | |
| 1 (Function) | Recalc.Syntax.ParserSpec |
| 2 (Function) | Recalc.Syntax.FixitySpec |
| 3 (Function) | Recalc.EngineSpec |
| SheetName | |
| 1 (Type/Class) | Recalc.Syntax.Arbitrary |
| 2 (Data Constructor) | Recalc.Syntax.Arbitrary |
| 3 (Type/Class) | Recalc.Engine |
| SheetOf | Recalc.Engine |
| SheetOnly | Recalc.Syntax.Term |
| sheetOrder | Recalc.Engine |
| SheetRef | Recalc.EngineSpec |
| sheets | Recalc.Engine |
| showExcel26 | |
| 1 (Function) | Recalc.Syntax.Term |
| 2 (Function) | Recalc.Engine |
| Sigma | Recalc.Syntax.Term |
| spec | |
| 1 (Function) | Recalc.Syntax.ParserSpec |
| 2 (Function) | Recalc.Syntax.FixitySpec |
| 3 (Function) | Recalc.SemanticsSpec |
| 4 (Function) | Recalc.Syntax.UnifySpec |
| 5 (Function) | Main |
| 6 (Function) | Recalc.EngineSpec |
| 7 (Function) | Main |
| splitApp | Recalc.Syntax.Term |
| splitPair | Recalc.Syntax.Term |
| splitSigma | Recalc.Syntax.Term |
| SpreadsheetProtocol | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| Statistical | Recalc.Univer.Protocol, Recalc.Univer |
| String | Recalc.Syntax.Term |
| StringOf | Recalc.Syntax.Term |
| sub | Recalc.Syntax.Term |
| Subst | Recalc.Syntax.Unify |
| subst | Recalc.Syntax.Term |
| substTensor | Recalc.Syntax.Term |
| subTensor | Recalc.Syntax.Term |
| Sum | Recalc.EngineSpec |
| sym | Recalc.Syntax.Fixity |
| symbol | Recalc.Syntax.Parser |
| Tensor | Recalc.Syntax.Term |
| TensorDescriptor | |
| 1 (Type/Class) | Recalc.Syntax.Term |
| 2 (Data Constructor) | Recalc.Syntax.Term |
| TensorOf | Recalc.Syntax.Term |
| Term | |
| 1 (Type/Class) | Recalc.Language |
| 2 (Type/Class) | Recalc.Syntax.Term, Recalc.Language |
| 3 (Type/Class) | Recalc.EngineSpec |
| termI | Recalc.Syntax.Parser |
| Text | Recalc.Univer.Protocol, Recalc.Univer |
| throwSemanticError | Recalc.Engine |
| ToApi | Recalc.Server |
| toList | Recalc.Array |
| toMassiv | Recalc.Array |
| TR | Recalc.Syntax.FixitySpec |
| Type | |
| 1 (Type/Class) | Recalc.Language |
| 2 (Type/Class) | Recalc.Language |
| typeDecl | Recalc.SemanticsSpec |
| TypeMismatch | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| TypeMismatchPi | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| TypeMismatchSigma | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| TypeOf | Recalc.Engine |
| TypeOfBound | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| UnificationError | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Type/Class) | Recalc.Syntax.Unify |
| 3 (Data Constructor) | Recalc.Language |
| unificationErrorAnnotation | Recalc.Syntax.Unify |
| unify | Recalc.Syntax.Unify |
| UnifyMismatchC | Recalc.Syntax.Unify |
| UnifyMismatchI | Recalc.Syntax.Unify |
| unifySpec | Recalc.Syntax.UnifySpec |
| Univer | Recalc.Univer.Protocol, Recalc.Univer |
| univerMain | Recalc.Univer |
| UniverRecalc | Recalc.Univer |
| UnknownIdentifier | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| Unspecified | Recalc.Syntax.Term |
| uri | Recalc.Syntax.ParserSpec |
| User | Recalc.Univer.Protocol, Recalc.Univer |
| Value | |
| 1 (Type/Class) | Recalc.Language |
| 2 (Type/Class) | Recalc.Language |
| ValueOf | Recalc.Engine |
| valueP | |
| 1 (Function) | Recalc.Syntax.Parser |
| 2 (Function) | Recalc.EngineSpec |
| vapp | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| vbool | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| vboolOf | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| VEmpty | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| vfree | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| vfun | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| VLam | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| vlam | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| VLit | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| VLitOf | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| VNeutral | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| VNil | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| VPair | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| VPi | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| vpi | |
| 1 (Function) | Recalc.Language |
| 2 (Function) | Recalc.Language |
| VPrimOp | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| VSet | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| VSigma | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| VTensor | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| VTensorDescriptor | |
| 1 (Type/Class) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| 3 (Type/Class) | Recalc.Language |
| 4 (Data Constructor) | Recalc.Language |
| VTensorOf | |
| 1 (Data Constructor) | Recalc.Language |
| 2 (Data Constructor) | Recalc.Language |
| Web | Recalc.Univer.Protocol, Recalc.Univer |