Index - J
| Join | |
| 1 (Type/Class) | Data.Prd.Lattice |
| 2 (Data Constructor) | Data.Prd.Lattice |
| join | Data.Prd.Lattice |
| join1 | Data.Prd.Lattice |
| joined | Data.Connection |
| joinLeq | Data.Prd.Lattice |
| just | Data.Connection |
connections-0.0.2.1: Partial orders & Galois connections.