Index
Modules:
xfrp
,
xfrp/codegen/ccodegen
,
xfrp/codeinfos
,
xfrp/compilerflags
,
xfrp/envs
,
xfrp/envs/functions
,
xfrp/envs/nodes
,
xfrp/envs/operators
,
xfrp/envs/typecheck
,
xfrp/errors
,
xfrp/lexer
,
xfrp/loaders
,
xfrp/materials
,
xfrp/parser
,
xfrp/syntax
,
xfrp/tokens
,
xfrp/topsort
,
xfrp/typecheck
,
xfrp/types
.
API symbols
`$`:
codeinfos: `$`(pos: CodePos): string
functions: `$`(funcId: XfrpFuncId): string
typecheck: `$`(typeEnv: XfrpTypeEnv): string
tokens: `$`(tok: XfrpToken): string
typecheck: `$`(typeEnv: XfrpTypeEnv): string
types: `$`(ty: XfrpType): string
`<`:
codeinfos: `<`(x, y: CodePos): bool
`..`:
codeinfos: `..`[T, U](x: WithCodeInfo[T]; y: WithCodeInfo[U]): CodeInfo
`==`:
syntax: `==`(a: XfrpAnnotation; b: XfrpAnnotation): bool
syntax: `==`(a: XfrpDefinition; b: XfrpDefinition): bool
syntax: `==`(a: XfrpExpr; b: XfrpExpr): bool
syntax: `==`(a: XfrpIdAndTypeOpt; b: XfrpIdAndTypeOpt): bool
syntax: `==`(a: XfrpInput; b: XfrpInput): bool
syntax: `==`(a: XfrpLiteral; b: XfrpLiteral): bool
tokens: `==`(a: XfrpRawToken; b: XfrpRawToken): bool
types: `==`(a: XfrpType; b: XfrpType): bool
`[]`:
materials: `[]`(materialTbl: XfrpMaterials; id: XfrpModuleId): WithCodeInfo[XfrpModule]
`from`:
codeinfos: `from`[T](data: T; info: CodeInfo): WithCodeInfo[T]
codeinfos: `from`[T, U](data: T; infoSrc: WithCodeInfo[U]): WithCodeInfo[T]
addFunc:
typecheck: addFunc(typeEnv: var XfrpTypeEnv; id: XfrpFuncId; argTypes: seq[XfrpType]; retType: XfrpType)
typecheck: addFunc(typeEnv: var XfrpTypeEnv; id: XfrpId; argTypes: seq[XfrpType]; retType: XfrpType)
addOp:
typecheck: addOp(typeEnv: var XfrpTypeEnv; id: XfrpOpId; argTypes: seq[XfrpType]; retType: XfrpType)
addVar:
typecheck: addVar(typeEnv: var XfrpTypeEnv; id: XfrpId; ty: XfrpType)
typecheck: addVar(typeEnv: var XfrpTypeEnv; idAndTy: XfrpIdAndType)
typecheck: addVar(typeEnv: var XfrpTypeEnv; id: XfrpId; ty: XfrpType)
AnnotAtLast:
syntax: AnnotAtLast(): XfrpAnnotation
args:
functions: args(desc: XfrpFuncDescription): seq[WithCodeInfo[XfrpIdAndType]]
operators: args(opBody: XfrpOpBody): seq[WithCodeInfo[XfrpIdAndType]]
assocLeft:
XfrpOperatorAssociativity.assocLeft
assocNone:
XfrpOperatorAssociativity.assocNone
assocRight:
XfrpOperatorAssociativity.assocRight
At:
tokens: At(): XfrpRawToken
attachCodeInfo:
codeinfos: attachCodeInfo[T](val: T; info: CodeInfo): WithCodeInfo[T]
availableArgTypes:
operators: availableArgTypes(desc: XfrpOpDescription): seq[XfrpType]
body:
functions: body(desc: XfrpFuncDescription): WithCodeInfo[XfrpExpr]
operators: body(opBody: XfrpOpBody): WithCodeInfo[XfrpExpr]
buildLexerFromFilename:
lexer: buildLexerFromFilename(filename: string): XfrpLexer
buildLexerFromString:
lexer: buildLexerFromString(str: string): XfrpLexer
causedBy:
errors: causedBy(e: ref XfrpLanguageError; cs: varargs[CodeInfo, codeInfo])
causes:
errors: causes(e: ref XfrpLanguageError): CodeInfo
CCodeFiles:
ccodegen: CCodeFiles
checkFuncValidity:
functions: checkFuncValidity(env: XfrpFuncEnv; exp: WithCodeInfo[XfrpExpr]; definedIn: XfrpModuleId; materialTbl: XfrpMaterials)
codegen:
ccodegen: codegen(env: XfrpEnv): CCodeFiles
CodeInfo:
codeinfos: CodeInfo
codeInfo:
codeinfos: codeInfo(x: CodeInfo): CodeInfo
codeinfos: codeInfo(startPos, endPos: CodePos; line: CodeLine): CodeInfo
codeinfos: codeInfo[T](src: WithCodeInfo[T]): CodeInfo
CodeLine:
codeinfos: CodeLine
CodePos:
codeinfos: CodePos
Colon:
tokens: Colon(): XfrpRawToken
Comma:
tokens: Comma(): XfrpRawToken
Comment:
tokens: Comment(commentStr: string): XfrpRawToken
commentStr:
tokens: commentStr(tok: XfrpToken): string
CompilerFlag:
compilerflags: CompilerFlag
DefFunc:
syntax: DefFunc(funId: WithCodeInfo[XfrpId]; funRetType: WithCodeInfo[XfrpType]; funArgs: seq[WithCodeInfo[XfrpIdAndType]]; funBody: WithCodeInfo[XfrpExpr]): XfrpDefinition
DefInfix:
syntax: DefInfix(infixOp: WithCodeInfo[XfrpOperator]; infixLevel: XfrpOperatorPrecedenceLevel; infixAssoc: XfrpOperatorAssociativity): XfrpDefinition
DefInit:
syntax: DefInit(initId: WithCodeInfo[XfrpId]; initBody: WithCodeInfo[XfrpExpr]): XfrpDefinition
DefNode:
syntax: DefNode(nodeIdAndTypeOpt: WithCodeInfo[XfrpIdAndTypeOpt]; nodeInit: Option[WithCodeInfo[XfrpExpr]]; nodeBody: WithCodeInfo[XfrpExpr]): XfrpDefinition
DefOp:
syntax: DefOp(operator: WithCodeInfo[XfrpOperator]; opRetType: WithCodeInfo[XfrpType]; opArgs: seq[WithCodeInfo[XfrpIdAndType]]; opBody: WithCodeInfo[XfrpExpr]): XfrpDefinition
depsAtLast:
nodes: depsAtLast(desc: XfrpNodeDescription): XfrpNodeId
depsNow:
nodes: depsNow(desc: XfrpNodeDescription): XfrpNodeId
depthFirst:
materials: depthFirst(materialTbl: XfrpMaterials; moduleId: XfrpModuleId): XfrpModuleId
Digits:
tokens: Digits(intStr: string): XfrpRawToken
Else:
tokens: Else(): XfrpRawToken
Emit:
tokens: Emit(): XfrpRawToken
endPos:
codeinfos: endPos[T](t: WithCodeInfo[T]): CodePos
Equal:
tokens: Equal(): XfrpRawToken
ExprAnnot:
syntax: ExprAnnot(annotId: WithCodeInfo[XfrpId]; annot: WithCodeInfo[XfrpAnnotation]): XfrpExpr
ExprApp:
syntax: ExprApp(appId: WithCodeInfo[XfrpId]; appArgs: seq[WithCodeInfo[XfrpExpr]]): XfrpExpr
ExprBin:
syntax: ExprBin(binOps: seq[WithCodeInfo[XfrpOperator]]; binTerms: seq[WithCodeInfo[XfrpExpr]]): XfrpExpr
ExprId:
syntax: ExprId(id: WithCodeInfo[XfrpId]): XfrpExpr
ExprIf:
syntax: ExprIf(ifExpr: ref WithCodeInfo[XfrpExpr]; thenExpr: ref WithCodeInfo[XfrpExpr]; elseExpr: ref WithCodeInfo[XfrpExpr]): XfrpExpr
ExprLiteral:
syntax: ExprLiteral(litVal: WithCodeInfo[XfrpLiteral]): XfrpExpr
ExprMagic:
syntax: ExprMagic(magicIdAndType: WithCodeInfo[XfrpIdAndType]; magicArgs: seq[WithCodeInfo[XfrpExpr]]): XfrpExpr
exprs:
nodes: exprs(env: XfrpNodeEnv): WithCodeInfo[XfrpExpr]
False:
tokens: False(): XfrpRawToken
FDigits:
tokens: FDigits(floatStr: string): XfrpRawToken
findFuncId:
envs: findFuncId(env: XfrpEnv; id: XfrpId; definedIn: XfrpModuleId): XfrpFuncId
functions: findFuncId(env: XfrpFuncEnv; id: XfrpId; definedIn: XfrpModuleId; materialTbl: XfrpMaterials): XfrpFuncId
findOpId:
envs: findOpId(env: XfrpEnv; op: XfrpOperator; termTypes: seq[XfrpType]; definedIn: XfrpModuleId): XfrpOpId
operators: findOpId(opEnv: XfrpOpEnv; op: XfrpOperator; termTypes: seq[XfrpType]; definedIn: XfrpModuleId; materialTbl: XfrpMaterials): XfrpOpId
flagAutoInitExt:
CompilerFlag.flagAutoInitExt
floatStr:
tokens: floatStr(tok: XfrpToken): string
Function:
tokens: Function(): XfrpRawToken
functionIds:
envs: functionIds(env: XfrpEnv): XfrpFuncId
FuncType:
typecheck: FuncType
getAnyReferenceCycle:
topsort: getAnyReferenceCycle[T](graph: ReferenceGraph[T]): seq[T]
getBody:
operators: getBody(desc: XfrpOpDescription; argTypes: seq[XfrpType]): XfrpOpBody
getFunction:
envs: getFunction(env: XfrpEnv; id: XfrpFuncId): XfrpFuncDescription
functions: getFunction(env: XfrpFuncEnv; id: XfrpFuncId): XfrpFuncDescription
getFuncType:
envs: getFuncType(env: XfrpEnv; id: XfrpFuncId): XfrpFuncType
typecheck: getFuncType(typeEnv: XfrpTypeEnv; id: XfrpFuncId): XfrpFuncType
typecheck: getFuncType(typeEnv: XfrpTypeEnv; id: XfrpId; definedIn: XfrpModuleId; materialTbl: XfrpMaterials): XfrpFuncType
typecheck: getFuncType(typeEnv: XfrpTypeEnv; id: XfrpId): FuncType
getNode:
envs: getNode(env: XfrpEnv; id: XfrpNodeId): XfrpNodeDescription
nodes: getNode(env: XfrpNodeEnv; id: XfrpNodeId): XfrpNodeDescription
getOperator:
envs: getOperator(env: XfrpEnv; id: XfrpOpId): XfrpOpDescription
operators: getOperator(opEnv: XfrpOpEnv; id: XfrpOpId): XfrpOpDescription
getOpType:
typecheck: getOpType(typeEnv: XfrpTypeEnv; op: XfrpOperator; argTypes: seq[XfrpType]; definedIn: XfrpModuleId; materialTbl: XfrpMaterials): XfrpType
getRoot:
materials: getRoot(materialTbl: XfrpMaterials): WithCodeInfo[XfrpModule]
getRootId:
materials: getRootId(materialTbl: XfrpMaterials): XfrpModuleId
getVarType:
envs: getVarType(env: XfrpEnv; id: XfrpNodeId): XfrpType
typecheck: getVarType(typeEnv: XfrpTypeEnv; id: XfrpId): XfrpType
typecheck: getVarType(typeEnv: XfrpTypeEnv; id: XfrpId): XfrpType
hash:
types: hash(x: XfrpType): Hash
hasVarOrAdd:
typecheck: hasVarOrAdd(typeEnv: var XfrpTypeEnv; id: XfrpId; ty: XfrpType): bool
id:
functions: id(desc: XfrpFuncDescription): WithCodeInfo[XfrpId]
nodes: id(desc: XfrpNodeDescription): WithCodeInfo[XfrpId]
Id:
tokens: Id(idStr: string): XfrpRawToken
idStr:
tokens: idStr(tok: XfrpToken): string
IdWithExplicitType:
syntax: IdWithExplicitType(idExplicit: WithCodeInfo[XfrpId]; tyExplicit: WithCodeInfo[XfrpType]): XfrpIdAndTypeOpt
IdWithoutAnyTypeAnnot:
syntax: IdWithoutAnyTypeAnnot(idImplicit: WithCodeInfo[XfrpId]): XfrpIdAndTypeOpt
If:
tokens: If(): XfrpRawToken
Ignore:
tokens: Ignore(): XfrpRawToken
In:
tokens: In(): XfrpRawToken
InfixLeft:
tokens: InfixLeft(): XfrpRawToken
InfixNone:
tokens: InfixNone(): XfrpRawToken
InfixRight:
tokens: InfixRight(): XfrpRawToken
Init:
tokens: Init(): XfrpRawToken
initDepsAtLast:
nodes: initDepsAtLast(desc: XfrpNodeDescription): XfrpNodeId
initDepsNow:
nodes: initDepsNow(desc: XfrpNodeDescription): XfrpNodeId
initNodesOfDelay:
envs: initNodesOfDelay(env: XfrpEnv; delay: int): XfrpNodeId
nodes: initNodesOfDelay(env: XfrpNodeEnv; delay: int): XfrpNodeId
initOpt:
nodes: initOpt(desc: XfrpNodeDescription): Option[WithCodeInfo[XfrpExpr]]
initXfrpTypeEnv:
typecheck: initXfrpTypeEnv(): XfrpTypeEnv
typecheck: initXfrpTypeEnv(): XfrpTypeEnv
innerNodeIds:
envs: innerNodeIds(env: XfrpEnv): XfrpNodeId
nodes: innerNodeIds(env: XfrpNodeEnv): XfrpNodeId
innerTypeOpt:
nodes: innerTypeOpt(desc: XfrpNodeDescription): Option[WithCodeInfo[XfrpType]]
inputNodeIds:
envs: inputNodeIds(env: XfrpEnv): XfrpNodeId
nodes: inputNodeIds(env: XfrpNodeEnv): XfrpNodeId
inputType:
nodes: inputType(desc: XfrpNodeDescription): WithCodeInfo[XfrpType]
InputWithInit:
syntax: InputWithInit(idAndTypeWithInit: WithCodeInfo[XfrpIdAndType]; init: WithCodeInfo[XfrpExpr]): XfrpInput
InputWithoutInit:
syntax: InputWithoutInit(idAndTypeNoInit: WithCodeInfo[XfrpIdAndType]): XfrpInput
intStr:
tokens: intStr(tok: XfrpToken): string
isInput:
nodes: isInput(desc: XfrpNodeDescription): bool
items:
functions: items(env: XfrpFuncEnv): XfrpFuncId
nodes: items(env: XfrpNodeEnv): XfrpNodeId
operators: items(opEnv: XfrpOpEnv): XfrpOpId
materials: items(materialTbl: XfrpMaterials): XfrpModuleId
kind:
tokens: kind(tok: XfrpToken): XfrpTokenKind
Last:
tokens: Last(): XfrpRawToken
LBracket:
tokens: LBracket(): XfrpRawToken
line:
codeinfos: line[T](t: WithCodeInfo[T]): CodeLine
LitBool:
syntax: LitBool(boolVal: bool): XfrpLiteral
LitFloat:
syntax: LitFloat(floatVal: float): XfrpLiteral
LitInt:
syntax: LitInt(intVal: int): XfrpLiteral
load:
loaders: load(loader: XfrpLoader; name: string; flags: set[CompilerFlag] = {}; traverseIncludeDirs = true): WithCodeInfo[XfrpModule]
loadMaterials:
loaders: loadMaterials(loader: XfrpLoader; ast: WithCodeInfo[XfrpModule]; flags: set[CompilerFlag] = {}; history: seq[XfrpModuleId] = @[]): XfrpMaterials
LParen:
tokens: LParen(): XfrpRawToken
Magic:
tokens: Magic(): XfrpRawToken
makeEnvironment:
envs: makeEnvironment(materials: XfrpMaterials; flags: set[CompilerFlag] = {}): XfrpEnv
makeFunctionEnvironment:
functions: makeFunctionEnvironment(materialTbl: XfrpMaterials; opEnv: XfrpOpEnv): XfrpFuncEnv
makeMaterials:
materials: makeMaterials(tbl: TableRef[XfrpModuleId, WithCodeInfo[XfrpModule]]; root: XfrpModuleId): XfrpMaterials
makeNodeEnvironment:
nodes: makeNodeEnvironment(materialTbl: XfrpMaterials; opEnv: XfrpOpEnv; flags: set[CompilerFlag] = {}): XfrpNodeEnv
makeOperatorEnvironment:
operators: makeOperatorEnvironment(materialTbl: XfrpMaterials): XfrpOpEnv
makeTypeEnvironment:
typecheck: makeTypeEnvironment(materialTbl: XfrpMaterials; opEnv: XfrpOpEnv; funcEnv: XfrpFuncEnv; nodeEnv: XfrpNodeEnv): XfrpTypeEnv
makeTypeEnvironmentFromEnvironment:
typecheck: makeTypeEnvironmentFromEnvironment(env: XfrpEnv): XfrpTypeEnv
makeXfrpMaterial:
syntax: makeXfrpMaterial(moduleId: WithCodeInfo[XfrpModuleId]; uses: seq[WithCodeInfo[XfrpModuleId]] = @[]; emits: seq[WithCodeInfo[XfrpEmit]] = @[]; defs: seq[WithCodeInfo[XfrpDefinition]]): XfrpModule
makeXfrpModule:
syntax: makeXfrpModule(moduleId: WithCodeInfo[XfrpModuleId]; ins: seq[WithCodeInfo[XfrpInput]]; outs: seq[WithCodeInfo[XfrpIdAndTypeOpt]]; uses: seq[WithCodeInfo[XfrpModuleId]] = @[]; emits: seq[WithCodeInfo[XfrpEmit]] = @[]; defs: seq[WithCodeInfo[XfrpDefinition]]): XfrpModule
Material:
tokens: Material(): XfrpRawToken
materialsOf:
materials: materialsOf(materialTbl: XfrpMaterials; moduleId: XfrpModuleId): XfrpModuleId
maxDelay:
nodes: maxDelay(env: XfrpNodeEnv): int
maxNodeDelay:
envs: maxNodeDelay(env: XfrpEnv): int
modMaterial:
XfrpModuleKind.modMaterial
modModule:
XfrpModuleKind.modModule
module:
functions: module(desc: XfrpFuncDescription): WithCodeInfo[XfrpModuleId]
Module:
tokens: Module(): XfrpRawToken
newXfrpLoader:
loaders: newXfrpLoader(includeDirs: seq[string]): XfrpLoader
Node:
tokens: Node(): XfrpRawToken
nodeIds:
envs: nodeIds(env: XfrpEnv): XfrpNodeId
Operator:
tokens: Operator(opStr: string): XfrpRawToken
operatorIds:
envs: operatorIds(env: XfrpEnv): XfrpOpId
opStr:
tokens: opStr(tok: XfrpToken): string
Out:
tokens: Out(): XfrpRawToken
outputNodeIds:
envs: outputNodeIds(env: XfrpEnv): XfrpNodeId
nodes: outputNodeIds(env: XfrpNodeEnv): XfrpNodeId
pairs:
materials: pairs(materialTbl: XfrpMaterials): (XfrpModuleId, WithCodeInfo[XfrpModule])
parse:
parser: parse(l: var XfrpLexer; flags: set[CompilerFlag] = {}): WithCodeInfo[XfrpModule]
plusIdAndTypes:
envs: plusIdAndTypes(env: XfrpEnv; idAndTypes: seq[XfrpIdAndType]): XfrpEnv
pretty:
codeinfos: pretty(info: CodeInfo): string
codeinfos: pretty(line: CodeLine; startPos, endPos: CodePos): string
codeinfos: pretty[T](data: WithCodeInfo[T]): string
RBracket:
tokens: RBracket(): XfrpRawToken
ReferenceGraph:
topsort: ReferenceGraph
ReferencesOf:
topsort: ReferencesOf
reparseBinaryExpression:
operators: reparseBinaryExpression(opEnv: XfrpOpEnv; exp: WithCodeInfo[XfrpExpr]; definedIn: XfrpModuleId; materialTbl: XfrpMaterials): WithCodeInfo[ XfrpExpr]
retType:
functions: retType(desc: XfrpFuncDescription): WithCodeInfo[XfrpType]
operators: retType(opBody: XfrpOpBody): WithCodeInfo[XfrpType]
RParen:
tokens: RParen(): XfrpRawToken
short:
types: short(ty: XfrpType): string
Slash:
tokens: Slash(): XfrpRawToken
split:
syntax: split(idAndTypeOpt: XfrpIdAndTypeOpt): tuple[id: WithCodeInfo[XfrpId], typeOpt: Option[WithCodeInfo[XfrpType]]]
syntax: split(input: XfrpInput): tuple[id: WithCodeInfo[XfrpId], ty: WithCodeInfo[XfrpType], initOpt: Option[WithCodeInfo[XfrpExpr]]]
startPos:
codeinfos: startPos[T](t: WithCodeInfo[T]): CodePos
symbol:
operators: symbol(desc: XfrpOpDescription): XfrpOperator
TBool:
types: TBool(): XfrpType
TFloat:
types: TFloat(): XfrpType
Then:
tokens: Then(): XfrpRawToken
TInt:
types: TInt(): XfrpType
topologicallySorted:
topsort: topologicallySorted[T](graph: ReferenceGraph[T]; initVisited: seq[T] = @[]): seq[ T]
tqStr:
tokens: tqStr(tok: XfrpToken): string
TripleQuoted:
tokens: TripleQuoted(tqStr: string): XfrpRawToken
True:
tokens: True(): XfrpRawToken
Unknown:
tokens: Unknown(): XfrpRawToken
update:
nodes: update(desc: XfrpNodeDescription): WithCodeInfo[XfrpExpr]
Use:
tokens: Use(): XfrpRawToken
val:
codeinfos: val[T](t: WithCodeInfo[T]): T
WithCodeInfo:
codeinfos: WithCodeInfo
XfrpAnnotation:
syntax: XfrpAnnotation
XfrpAnnotationKind:
syntax: XfrpAnnotationKind
XfrpDefinition:
syntax: XfrpDefinition
XfrpDefinitionError:
errors: XfrpDefinitionError
XfrpDefinitionKind:
syntax: XfrpDefinitionKind
XfrpEmit:
syntax: XfrpEmit
XfrpEnv:
envs: XfrpEnv
XfrpExpr:
syntax: XfrpExpr
XfrpExprKind:
syntax: XfrpExprKind
XfrpFuncDescription:
functions: XfrpFuncDescription
XfrpFuncEnv:
functions: XfrpFuncEnv
XfrpFuncId:
functions: XfrpFuncId
XfrpFuncType:
typecheck: XfrpFuncType
XfrpId:
syntax: XfrpId
XfrpIdAndType:
syntax: XfrpIdAndType
XfrpIdAndTypeOpt:
syntax: XfrpIdAndTypeOpt
XfrpIdAndTypeOptKind:
syntax: XfrpIdAndTypeOptKind
XfrpInput:
syntax: XfrpInput
XfrpInputKind:
syntax: XfrpInputKind
XfrpLanguageError:
errors: XfrpLanguageError
XfrpLexer:
lexer: XfrpLexer
XfrpLiteral:
syntax: XfrpLiteral
XfrpLiteralKind:
syntax: XfrpLiteralKind
XfrpLoader:
loaders: XfrpLoader
XfrpLoadError:
errors: XfrpLoadError
XfrpMaterials:
materials: XfrpMaterials
XfrpModule:
syntax: XfrpModule
XfrpModuleId:
syntax: XfrpModuleId
XfrpModuleKind:
syntax: XfrpModuleKind
XfrpNodeDescription:
nodes: XfrpNodeDescription
XfrpNodeEnv:
nodes: XfrpNodeEnv
XfrpNodeId:
nodes: XfrpNodeId
XfrpOpBody:
operators: XfrpOpBody
XfrpOpDescription:
operators: XfrpOpDescription
XfrpOpEnv:
operators: XfrpOpEnv
XfrpOperator:
syntax: XfrpOperator
XfrpOperatorAssociativity:
syntax: XfrpOperatorAssociativity
XfrpOperatorPrecedenceLevel:
syntax: XfrpOperatorPrecedenceLevel
XfrpOpId:
operators: XfrpOpId
XfrpRawToken:
tokens: XfrpRawToken
XfrpRawTokenKind:
tokens: XfrpRawTokenKind
XfrpReferenceError:
errors: XfrpReferenceError
XfrpSyntaxError:
errors: XfrpSyntaxError
XfrpToken:
tokens: XfrpToken
XfrpTokenKind:
tokens: XfrpTokenKind
XfrpType:
types: XfrpType
XfrpTypeEnv:
typecheck: XfrpTypeEnv
typecheck: XfrpTypeEnv
XfrpTypeError:
errors: XfrpTypeError
XfrpTypeKind:
types: XfrpTypeKind
xfrpTypeOf:
envs: xfrpTypeOf(env: XfrpEnv; exp: WithCodeInfo[XfrpExpr]; definedIn = env.name): XfrpType
typecheck: xfrpTypeOf(env: XfrpTypeEnv; exp: WithCodeInfo[XfrpExpr]; definedIn: XfrpModuleId; materialTbl: XfrpMaterials): XfrpType
typecheck: xfrpTypeOf(env: XfrpTypeEnv; lit: WithCodeInfo[XfrpLiteral]): XfrpType
typecheck: xfrpTypeOf(env: XfrpTypeEnv; exp: WithCodeInfo[XfrpExpr]): XfrpType
typecheck: xfrpTypeOf(env: XfrpTypeEnv; lit: WithCodeInfo[XfrpLiteral]): XfrpType