Types & classes — github.com/Schwenger/RustTyC

CodeHub MCPcopy Create free account

hub / github.com/Schwenger/RustTyC / types & classes

Types & classes29 in github.com/Schwenger/RustTyC

⨍ Functions 107◇ Types & classes 29

↓ 3 callersClassVariable

src/tests.rs:26

src/types.rs:127

ClassConstraintGraph

src/constraint_graph.rs:9

InterfaceConstructable

A type implementing this trait can potentially be transformed into a concrete representation. This transformation can fail.

src/types.rs:172

InterfaceContextSensitiveVariant

A [Variant] which requires a context for meet operations and equality checks. See [Variant] for general information and requirements on the implement

src/types.rs:76

src/tests.rs:71

examples/parametrized_function.rs:70

ClassFullVertex

src/constraint_graph.rs:59

src/type_checker.rs:20

src/tests.rs:65

examples/parametrized_function.rs:64

src/types.rs:149

ClassPreliminary

src/types.rs:158

src/type_checker.rs:216

src/keys.rs:188

src/keys.rs:261

ClassTcKeyFieldVisitor

src/keys.rs:275

ClassTcKeyVisitor

src/keys.rs:306

Represents a re-usable variable in the type checking procedure. [TcKey]s for variables will be managed by the [TypeChecker].

src/type_checker.rs:16

src/constraint_graph.rs:65

src/tests.rs:10

examples/parametrized_function.rs:9

ClassTypeChecker

src/type_checker.rs:54

examples/parametrized_function.rs:25

src/tests.rs:17

examples/parametrized_function.rs:16

InterfaceVariant

A variant that will be inferred during the type checking procedure. # Requirements The variant needs to follow a [lattice structure](https://en.wikip

src/types.rs:49

src/constraint_graph.rs:14