object Record

Contains implementations of Record and implicit definitions for building typeclasses necessary for the operations on records

Author:

Harshad Deo

Since

0.1

Linear Supertypes
AnyRef, Any
Ordering
  1. Grouped
  2. Alphabetic
  3. By Inheritance
Inherited
  1. Record
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. final class NonEmptyRecord[MP <: DenseMap, +HL <: HList] extends Record

    Implementation of a non-empty Record

    Implementation of a non-empty Record

    Author:

    Harshad Deo

    MP

    Type of the DenseMap that stores the indices

    HL

    Type of the backing HList that stores the values

    Since

    0.1

  2. final class RNil extends Record

    Implementation of an empty Record

    Implementation of an empty Record

    Author:

    Harshad Deo

    Since

    0.1

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final val RNil: RNil
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. 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

    Annotations
    @SuppressWarnings()
    Since

    0.1

  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  10. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  11. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  15. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. implicit def rAddConstraintNil[N <: Dense, U](implicit ev: ToMapConstraint[NonEmptyRecord[NonEmptyDenseMap[N, _0, EmptyDenseMap, EmptyDenseMap], :+:[U, HNil]], Map[String, Any]]): SIAddConstraint[N, RNil, U, NonEmptyRecord[NonEmptyDenseMap[N, _0, EmptyDenseMap, EmptyDenseMap], :+:[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

  17. 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

  18. implicit def rAtConstraint[MP <: DenseMap, HL <: HList, N <: Dense, L <: Dense, D, A](implicit ev0: TrueConstraint[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

  19. 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

  20. 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

  21. implicit def rUpdatedConstraint[N <: Dense, MP <: DenseMap, HL <: HList, L <: Dense, D, U, HR <: HList](implicit ev0: TrueConstraint[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

  22. implicit def record2Ops[R](r: R)(implicit ev: <:<[R, Record]): SiOps[R]

    Converts a Record to an SiOps object

    Converts a Record to an SiOps object

    Author:

    Harshad Deo

    R

    Type of the record to be converted

    Since

    0.1

  23. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  24. def toString(): String
    Definition Classes
    AnyRef → Any
  25. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  26. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  27. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  28. implicit object RNilLengthConstraint extends LengthConstraint[RNil, _0]

    Implements constraint.LengthConstraint for RNil

    Implements constraint.LengthConstraint for RNil

    Author:

    Harshad Deo

    Since

    0.1

  29. implicit object RNilToMapConstraint extends ToMapConstraint[RNil, Map[String, Nothing]]

    Implements constraint.ToMapConstraint for RNil

    Implements constraint.ToMapConstraint for RNil

    Author:

    Harshad Deo

    Since

    0.1

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Constraint Constructor

Implementation

Ops Converter

Ungrouped