connections-0.3.1: Orders, Galois connections, and lattices.

Index - O

OrdData.Order.Syntax
OrderData.Order, Data.Order.Syntax
orderData.Order.Property
orderedData.Connection.Conn, Data.Connection
OrderingData.Order
outerData.Connection.Conn, Data.Connection