Object/Trait

typequux

Record

Related Docs: trait Record | package typequux

Permalink

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

Type Members

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

    Permalink

    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

    Permalink

    Implementation of an empty Record

    Implementation of an empty Record

    Author:

    Harshad Deo

    Since

    0.1

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final val RNil: RNil

    Permalink

  5. implicit object RNilLengthConstraint extends LengthConstraint[RNil, _0]

    Permalink

    Implements constraint.LengthConstraint for RNil

    Implements constraint.LengthConstraint for RNil

    Author:

    Harshad Deo

    Since

    0.1

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

    Permalink

    Implements constraint.ToMapConstraint for RNil

    Implements constraint.ToMapConstraint for RNil

    Author:

    Harshad Deo

    Since

    0.1

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  8. macro def class2Record[T](x: T): Any

    Permalink

    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

  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  13. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  16. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink

    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

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

    Permalink

    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

  21. 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]

    Permalink

    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

  22. implicit def rLengthConstraint[MP <: DenseMap, HL <: HList, L <: Dense](implicit ev: LengthConstraint[HL, L]): LengthConstraint[NonEmptyRecord[MP, HL], L]

    Permalink

    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

  23. implicit def rToMapConstraint[MP <: DenseMap, HL <: HList, R](implicit ev: ToListConstraint[HL, R]): ToMapConstraint[NonEmptyRecord[MP, HL], Map[String, R]]

    Permalink

    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

  24. 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]]

    Permalink

    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

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

    Permalink

    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

  26. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  27. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  28. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  29. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  30. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Constraint Constructor

Implementation

Ops Converter

Ungrouped