Implements constraint.LengthConstraint for RNil
Implements constraint.ToMapConstraint for RNil
Converts a class to a record, by keeping track of all vals, case accessors and getters
Converts a class to a record, by keeping track of all vals, case accessors and getters
Harshad Deo
Type to be converted to a record
0.1
Builds constraint.SIAddConstraint for empty Record
Builds constraint.SIAddConstraint for empty Record
Harshad Deo
Type index at which to add (i.e. String Value Hash)
Type of the object to add
0.1
Builds constraint.SIAddConstraint for non-empty Record
Builds constraint.SIAddConstraint for non-empty Record
Harshad Deo
Type index at which to add (i.e. string value hash)
DenseMap corresponding to the record
Type of the backing HList of the record
Type of the object being added
Typelevel length of the record being added to
0.1
Builds constraint.AtConstraint for Record
Builds constraint.AtConstraint for Record
Harshad Deo
DenseMap corresponding to the record
Type of the backing HList of the record
Index at which to get (i.e. String Value Hash)
Length of the backing HList
Index of the HList corresponding to N
Type of the element being fetched
0.1
Builds constraint.LengthConstraint for NonEmptyRecord
Builds constraint.LengthConstraint for NonEmptyRecord
Harshad Deo
DenseMap corresponding to the record
Type of the backing HList
Typelevel length
0.1
Builds constraint.ToMapConstraint for NonEmptyRecord
Builds constraint.ToMapConstraint for NonEmptyRecord
Harshad Deo
DenseMap corresponding to the record
Type of the backing HList for the record
Least Upper Bound element type of the HList
0.1
Builds constraint.UpdatedConstraint for Record
Builds constraint.UpdatedConstraint for Record
Harshad Deo
Index to update (i.e. String Value Hash)
DenseMap corresponding to the record
Type of the backing HList
Typelevel length of the backing HList
Index of the HList to update
Type of the element at the updated position
Type of the backing HList after being updated
0.1
Contains implementations of Record and implicit definitions for building typeclasses necessary for the operations on records
Author:
Harshad Deo
0.1