connections-0.0.1: Partial orders, Galois connections, ordered semirings, & residuated lattices.

Index - J

Join 
1 (Type/Class)Data.Prd.Lattice
2 (Data Constructor)Data.Prd.Lattice
joinData.Prd.Lattice
join1Data.Prd.Lattice
joinLeqData.Prd.Lattice
justData.Connection