Index - O
| ordbin | Data.Connection |
| Ordered | |
| 1 (Type/Class) | Data.Prd |
| 2 (Data Constructor) | Data.Prd |
| ordered_annihilative_unit | Data.Dioid.Property |
| ordered_idempotent_addition | Data.Dioid.Property |
| ordered_monotone_addition | Data.Dioid.Property |
| ordered_monotone_multiplication | Data.Dioid.Property |
| ordered_monotone_zero | Data.Dioid.Property |
| ordered_positive_addition | Data.Dioid.Property |
| ordered_positive_multiplication | Data.Dioid.Property |
| ordered_preordered | Data.Dioid.Property |