connections-0.0.2.2: Partial orders, lattices, & Galois connections.

Index - R

reflexive_eqData.Prd.Property
reflexive_leData.Prd.Property
RepData.Connection.Yoneda
rightData.Connection
right'Data.Connection