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

Index - <

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