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

Index - _

_1Data.Connection
_1'Data.Connection
_2Data.Connection
_2'Data.Connection
_LData.Connection
_L'Data.Connection
_RData.Connection
_R'Data.Connection