diff options
| author | pierwill <pierwill@users.noreply.github.com> | 2022-07-05 11:32:25 -0500 |
|---|---|---|
| committer | pierwill <pierwill@users.noreply.github.com> | 2022-07-05 11:34:39 -0500 |
| commit | f8b16c5d8710efa065950adbdcd9238cd12a4505 (patch) | |
| tree | fdd5d4c87d741f9aaa921796e5c4dbbfeec5378c /compiler/rustc_mir_dataflow/src/framework/lattice.rs | |
| parent | 7425fb293f510a6f138e82a963a3bc599a5b9e1c (diff) | |
| download | rust-f8b16c5d8710efa065950adbdcd9238cd12a4505.tar.gz rust-f8b16c5d8710efa065950adbdcd9238cd12a4505.zip | |
Edit `rustc_mir_dataflow::framework::lattice::FlatSet` docs
Cosmetic improvements. Adds a paragraph break, and ellipses to signify arbitrary size of a flat set.
Diffstat (limited to 'compiler/rustc_mir_dataflow/src/framework/lattice.rs')
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/framework/lattice.rs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/compiler/rustc_mir_dataflow/src/framework/lattice.rs b/compiler/rustc_mir_dataflow/src/framework/lattice.rs index 9a462f6e1a4..d6b89eb8227 100644 --- a/compiler/rustc_mir_dataflow/src/framework/lattice.rs +++ b/compiler/rustc_mir_dataflow/src/framework/lattice.rs @@ -199,14 +199,16 @@ impl<T: JoinSemiLattice> MeetSemiLattice for Dual<T> { } /// Extends a type `T` with top and bottom elements to make it a partially ordered set in which no -/// value of `T` is comparable with any other. A flat set has the following [Hasse diagram]: +/// value of `T` is comparable with any other. +/// +/// A flat set has the following [Hasse diagram]: /// /// ```text -/// top -/// / / \ \ +/// top +/// / ... / / \ \ ... \ /// all possible values of `T` -/// \ \ / / -/// bottom +/// \ ... \ \ / / ... / +/// bottom /// ``` /// /// [Hasse diagram]: https://en.wikipedia.org/wiki/Hasse_diagram |