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

Index - <

<Data.Order.Syntax
<<<Data.Connection.Conn, Data.Connection
<=Data.Order.Syntax
<=>Data.Order.Property
<~Data.Order