sop-core-0.5.0.2: True Sums of Products

Index - S

S Data.SOP.NS , Data.SOP
Same Data.SOP.Classes
SameShapeAs Data.SOP.Constraint , Data.SOP
SCons Data.SOP.Sing , Data.SOP
sequence'_NP Data.SOP.NP
sequence'_NS Data.SOP.NS
sequence'_POP Data.SOP.NP
sequence'_SOP Data.SOP.NS
sequence_NP Data.SOP.NP
sequence_NS Data.SOP.NS
sequence_POP Data.SOP.NP
sequence_SOP Data.SOP.NS
Shape Data.SOP.Sing , Data.SOP
shape Data.SOP.Sing , Data.SOP
ShapeCons Data.SOP.Sing , Data.SOP
ShapeNil Data.SOP.Sing , Data.SOP
shift Data.SOP.NS , Data.SOP
shiftEjection Data.SOP.NS
shiftInjection Data.SOP.NS , Data.SOP
shiftProjection Data.SOP.NP , Data.SOP
SList Data.SOP.Sing , Data.SOP
sList Data.SOP.Sing , Data.SOP
SListI Data.SOP.Constraint , Data.SOP.Sing , Data.SOP
SListI2 Data.SOP.Constraint , Data.SOP
SListIN Data.SOP.Constraint
SNil Data.SOP.Sing , Data.SOP
SOP
1 (Type/Class) Data.SOP.NS , Data.SOP
2 (Data Constructor) Data.SOP.NS , Data.SOP