Module infer

Source

ModulesΒ§

pretty πŸ”’

StructsΒ§

DummyEnv πŸ”’
InferCtxt
InferCtxtAt
InferCtxtInner πŸ”’
InferCtxtRoot
InferCtxtRootBuilder
Sub πŸ”’
Context used to relate two types a and b via subtyping
Tag
Unpacker

EnumsΒ§

ConstrReason
InferErr
SubtypeReason
TypeTrace πŸ”’
Used for debugging to attach a β€œtrace” to the RefineTree that can be used to print information to recover the derivation when relating types via subtyping. The code that attaches the trace is currently commented out because the output is too verbose.

TraitsΒ§

GlobalEnvExt
LocEnv

FunctionsΒ§

mk_coroutine_obligations πŸ”’

Type AliasesΒ§

InferResult