com.github.tarao.record4s

Base class for records.

Example

val r = %(name = "tarao", age = 3)
// val r: com.github.tarao.record4s.%{val name: String; val age: Int} = %(name = tarao, age = 3)
r.name
// val res0: String = tarao
r.age
// val res1: Int = 3

Record class with constant-time field access.

It provides extensible records in a different way than %. There are following differences compared to %.

• Field access is faster (constant time)
• Creation is faster
• Update time grows significantly when record size grows
• Compilation is a bit slower
• No implicit upcast

Example

val r = ArrayRecord(name = "tarao", age = 3)
// val r: com.github.tarao.record4s.ArrayRecord[(("name", String), ("age", Int))] = ArrayRecord(name = tarao, age = 3)
r.name
// val res0: String = tarao
r.age
// val res1: Int = 3

A concrete record class.

This class is exposed due to inlining but not intended to be used directly.

Base record class compatible with Product.

Base trait for record types.

This trait is a placeholder to avoid trouble with defining methods on companion object of %.

A concrete record class.

This class is exposed due to inlining but not intended to be used directly.

Type tags that only have meaning statically.