list-witnesses-0.1.3.2: Witnesses for working with type-level lists (Index - S)

list-witnesses-0.1.3.2: Witnesses for working with type-level lists

A
C
D
E
F
G
I
N
P
R
S
T
U
W
All

Index - S

SDelete	Data.Type.List.Edit
SDeletedIx	Data.Type.List.Edit
sDeleteIndex	Data.Type.List.Edit
SDelS	Data.Type.List.Edit
SDelZ	Data.Type.List.Edit
SGotDeleted	Data.Type.List.Edit
SGotSubbed	Data.Type.List.Edit
shiftIndex	Data.Type.List.Sublist
SInsert	Data.Type.List.Edit
sInsertIndex	Data.Type.List.Edit
SInsS	Data.Type.List.Edit
SInsZ	Data.Type.List.Edit
SNotDeleted	Data.Type.List.Edit
SNotSubbed	Data.Type.List.Edit
splitAppend	Data.Type.List.Sublist
splitIndex	Data.Type.List.Sublist
splitRec	Data.Type.List.Sublist
splitRecIso	Data.Type.List.Sublist
SSubS	Data.Type.List.Edit
SSubstitute	Data.Type.List.Edit
SSubstitutedIx	Data.Type.List.Edit
sSubstituteIndex	Data.Type.List.Edit
SSubZ	Data.Type.List.Edit
strengthenSubsetIndex	Data.Type.List.Sublist
SubS	Data.Type.List.Edit
Subset	Data.Type.List.Sublist
subsetComplement	Data.Type.List.Sublist
subsetIxes	Data.Type.List.Sublist
SubsetNil	Data.Type.List.Sublist
SubsetNo	Data.Type.List.Sublist
subsetRec	Data.Type.List.Sublist
subsetShapes	Data.Type.List.Sublist
subsetToInterleaveL	Data.Type.List.Sublist
subsetToInterleaveR	Data.Type.List.Sublist
SubsetYes	Data.Type.List.Sublist
Substitute	Data.Type.List.Edit
SubstitutedIx	Data.Type.List.Edit
SubstituteIndex	Data.Type.List.Edit
substituteIndex	Data.Type.List.Edit
SubstituteIndexSym	Data.Type.List.Edit
SubstituteIndexSym0	Data.Type.List.Edit
substituteIndex_	Data.Type.List.Edit
substituteRec	Data.Type.List.Edit
subToDelIns	Data.Type.List.Edit
SubZ	Data.Type.List.Edit
Suffix	Data.Type.List.Sublist
suffixLens	Data.Type.List.Sublist
suffixToAppend	Data.Type.List.Sublist
SufS	Data.Type.List.Sublist
SufZ	Data.Type.List.Sublist
swapInterleave	Data.Type.List.Sublist