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

Index - I

i08i16Data.Connection.Int
i08i32Data.Connection.Int
i08i64Data.Connection.Int
i08w08Data.Connection.Int
i08w08'Data.Connection.Int
i16i32Data.Connection.Int
i16i64Data.Connection.Int
i16w16Data.Connection.Int
i16w16'Data.Connection.Int
i32i64Data.Connection.Int
i32w32Data.Connection.Int
i32w32'Data.Connection.Int
i64f32Data.Connection.Float, Data.Float
i64f64Data.Connection.Float, Data.Float
i64w64Data.Connection.Int
i64w64'Data.Connection.Int
idealData.Connection.Yoneda
idempotent_additionData.Dioid.Property
idempotent_counitData.Connection.Property
idempotent_unitData.Connection.Property
IndeterminateData.Dioid.Signed
indeterminateData.Prd
infiniteData.Float
int32FloatData.Connection.Float, Data.Float
IntervalData.Dioid.Interval
intnatData.Connection.Int
irreflexive_ltData.Prd.Property
isInfData.Prd.Nan
isNanData.Float