Implementation of a non-empty StringIndexedCollection, equivalent to a cons cell of a list
Implementation of a non-empty StringIndexedCollection, equivalent to a cons cell of a list
Harshad Deo
Type of the DenseMap that stores the indices
Type of the elements of the collection
0.1
Implementation of an empty StringIndexedCollection, equivalent to a Nil
Implementation of an empty StringIndexedCollection, equivalent to a Nil
Harshad Deo
0.1
Implements constraint.ToMapConstraint for empty StringIndexedCollection
Implements constraint.ToMapConstraint for empty StringIndexedCollection
Harshad Deo
0.1
Implements constraint.LengthConstraint for empty StringIndexedCollection
Implements constraint.LengthConstraint for empty StringIndexedCollection
Harshad Deo
0.1
Builds constraint.SIAddConstraint for non-empty StringIndexedCollection
Builds constraint.SIAddConstraint for non-empty StringIndexedCollection
Harshad Deo
Type index at which to add (i.e. String Value Hash)
DenseMap of the existing collection
Type of the existing collection
Type of the element to be added
0.1
Builds constraint.ToMapConstraint for non-empty StringIndexedCollection
Builds constraint.ToMapConstraint for non-empty StringIndexedCollection
Harshad Deo
DenseMap of the collection
Element type of the collection
0.1
Builds constraint.UpdatedConstraint for StringIndexedCollection
Harshad Deo
Index to update (i.e. String Value Hash)
DenseMap of the collection
Element type of the collection
Type of the element to be inserted
0.1
Builds constraint.AtConstraint for StringIndexedCollection
Builds constraint.AtConstraint for StringIndexedCollection
Harshad Deo
DenseMap of the collection
Element type of the collection
Index at which to find the th element (i.e. String Value Hash)
0.1
Implements constraint.LengthConstraint for non-empty StringIndexedCollection
Implements constraint.LengthConstraint for non-empty StringIndexedCollection
Harshad Deo
DenseMap of the collection
Element type of the collection
0.1
Builds constraint.SIAddConstraint for an empty StringIndexedCollection
Builds constraint.SIAddConstraint for an empty StringIndexedCollection
Harshad Deo
Type Index at which to add (i.e. String Value Hash)
Type of the value to add
0.1
Converts a StringIndexedCollection to an SiOps object
Converts a StringIndexedCollection to an SiOps object
Harshad Deo
Type of the Collection
Element type of the collection
0.1
Contains implementations of StringIndexedCollection and implicit definitions for building typeclasses necessary for the operations on string indexed collections
Author:
Harshad Deo
0.1