object Record
Contains implementations of Record and implicit definitions for building typeclasses necessary for the operations on records
Author:
Harshad Deo
- Since
0.1
- Grouped
- Alphabetic
- By Inheritance
- Record
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
macro
def
class2Record[T](x: T): Any
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
Author:
Harshad Deo
- T
Type to be converted to a record
- Since
0.1
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
implicit
def
rAddConstraintNil[N <: Dense, U](implicit ev: ToMapConstraint[NonEmptyRecord[Add[N, _0], :+:[U, HNil]], Map[String, Any]]): SIAddConstraint[N, RNil, U, NonEmptyRecord[Add[N, _0], :+:[U, HNil]]]
Builds constraint.SIAddConstraint for empty Record
Builds constraint.SIAddConstraint for empty Record
Author:
Harshad Deo
- N
Type index at which to add (i.e. String Value Hash)
- U
Type of the object to add
- Since
0.1
-
implicit
def
rAddConstraintNonEmpty[N <: Dense, MP <: DenseMap, HL <: HList, U, L <: Dense](implicit ev0: LengthConstraint[HL, L], ev1: =:=[False, Record.rAddConstraintNonEmpty.MP.Contains[N]], ev2: ToMapConstraint[NonEmptyRecord[Record.rAddConstraintNonEmpty.MP.Add[N, L], :+:[U, HL]], Map[String, Any]]): SIAddConstraint[N, NonEmptyRecord[MP, HL], U, NonEmptyRecord[Record.rAddConstraintNonEmpty.MP.Add[N, L], :+:[U, HL]]]
Builds constraint.SIAddConstraint for non-empty Record
Builds constraint.SIAddConstraint for non-empty Record
Author:
Harshad Deo
- N
Type index at which to add (i.e. string value hash)
- MP
DenseMap corresponding to the record
- HL
Type of the backing HList of the record
- U
Type of the object being added
- L
Typelevel length of the record being added to
- Since
0.1
-
implicit
def
rAtConstraint[MP <: DenseMap, HL <: HList, N <: Dense, L <: Dense, D, A](implicit ev0: =:=[True, Record.rAtConstraint.MP.Contains[N]], ev1: <:<[Record.rAtConstraint.MP.Get[N], Dense], ev2: LengthConstraint[HL, L], ev3: DenseDiff[Record.rAtConstraint.L.Dec, Record.rAtConstraint.MP.Get[N], D], ev4: AtConstraint[D, HL, A]): AtConstraint[N, NonEmptyRecord[MP, HL], A]
Builds constraint.AtConstraint for Record
Builds constraint.AtConstraint for Record
Author:
Harshad Deo
- MP
DenseMap corresponding to the record
- HL
Type of the backing HList of the record
- N
Index at which to get (i.e. String Value Hash)
- L
Length of the backing HList
- D
Index of the HList corresponding to N
- A
Type of the element being fetched
- Since
0.1
-
implicit
def
rLengthConstraint[MP <: DenseMap, HL <: HList, L <: Dense](implicit ev: LengthConstraint[HL, L]): LengthConstraint[NonEmptyRecord[MP, HL], L]
Builds constraint.LengthConstraint for NonEmptyRecord
Builds constraint.LengthConstraint for NonEmptyRecord
Author:
Harshad Deo
- MP
DenseMap corresponding to the record
- HL
Type of the backing HList
- L
Typelevel length
- Since
0.1
-
implicit
def
rToMapConstraint[MP <: DenseMap, HL <: HList, R](implicit ev: ToListConstraint[HL, R]): ToMapConstraint[NonEmptyRecord[MP, HL], Map[String, R]]
Builds constraint.ToMapConstraint for NonEmptyRecord
Builds constraint.ToMapConstraint for NonEmptyRecord
Author:
Harshad Deo
- MP
DenseMap corresponding to the record
- HL
Type of the backing HList for the record
- R
Least Upper Bound element type of the HList
- Since
0.1
-
implicit
def
rUpdatedConstraint[N <: Dense, MP <: DenseMap, HL <: HList, L <: Dense, D, U, HR <: HList](implicit ev0: =:=[True, Record.rUpdatedConstraint.MP.Contains[N]], ev1: <:<[Record.rUpdatedConstraint.MP.Get[N], Dense], ev2: LengthConstraint[HL, L], ev3: DenseDiff[Record.rUpdatedConstraint.L.Dec, Record.rUpdatedConstraint.MP.Get[N], D], ev4: UpdatedConstraint[D, HL, U, HR], ev5: ToMapConstraint[NonEmptyRecord[MP, HR], Map[String, Any]]): UpdatedConstraint[N, NonEmptyRecord[MP, HL], U, NonEmptyRecord[MP, HR]]
Builds constraint.UpdatedConstraint for Record
Builds constraint.UpdatedConstraint for Record
Author:
Harshad Deo
- N
Index to update (i.e. String Value Hash)
- MP
DenseMap corresponding to the record
- HL
Type of the backing HList
- L
Typelevel length of the backing HList
- D
Index of the HList to update
- U
Type of the element at the updated position
- HR
Type of the backing HList after being updated
- Since
0.1
- implicit def record2Ops[R <: Record](r: R): SiOps[R]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
object
RN0
extends Record with Product with Serializable
Implementation of an empty Record
-
implicit
object
RNilLengthConstraint
extends LengthConstraint[RNil, _0]
Implements constraint.LengthConstraint for RN0
-
implicit
object
RNilToMapConstraint
extends ToMapConstraint[RNil, Map[String, Nothing]]
Implements constraint.ToMapConstraint for RN0