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

Index - R

RData.Connection.Cast, Data.Connection
ratf32Data.Connection.Float
ratf64Data.Connection.Float
ratfixData.Connection.Fixed
rati08Data.Connection.Ratio
rati16Data.Connection.Ratio
rati32Data.Connection.Ratio
rati64Data.Connection.Ratio
ratintData.Connection.Ratio
RatioData.Connection.Ratio
ratixxData.Connection.Ratio
ratnatData.Connection.Ratio
ratratData.Connection.Ratio
ratsysData.Connection.Time
ratw08Data.Connection.Ratio
ratw16Data.Connection.Ratio
ratw32Data.Connection.Ratio
ratw64Data.Connection.Ratio
ratwxxData.Connection.Ratio
reduceData.Connection.Ratio
reflexiveData.Order.Property
reflexive_eqData.Order.Property
reflexive_leData.Order.Property
RelData.Order.Property
resolutionData.Connection.Fixed
roundData.Connection.Cast, Data.Connection
round1Data.Connection.Cast, Data.Connection
round2Data.Connection.Cast, Data.Connection