connections-0.0.2: Partial orders & Galois connections.

Index - C

ceiling'Data.Connection
chain_22Data.Prd.Property
chain_31Data.Prd.Property
closedData.Connection.Property
closed'Data.Connection.Property
codiagData.Connection
Conn 
1 (Type/Class)Data.Connection
2 (Data Constructor)Data.Connection
connectionData.Connection.Property
connexData.Prd.Property
connlData.Connection
connrData.Connection
coreflexiveData.Prd.Property
counitData.Connection
counitlData.Connection
counitrData.Connection