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

Index - S

semiconnexData.Prd.Property
shiftData.Connection.Float, Data.Float
sigMaskData.Float
SignData.Dioid.Signed
signData.Prd
signBitData.Float
Signed 
1 (Type/Class)Data.Dioid.Signed
2 (Data Constructor)Data.Dioid.Signed
signed32Data.Connection.Float, Data.Float
signOfData.Dioid.Signed
singletonData.Dioid.Interval
splitData.Float
symmetricData.Prd.Property