skunk-ext/io.taig.skunk.ext/Record

Record

object Record
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any
Record.type

Type members

Classlikes

object Created
object Identifier
final case class Immutable[A](identifier: Identifier, created: Created, value: A)
Companion:
object
object Immutable
Companion:
class
final case class Plain[A](identifier: Identifier, value: A)
Companion:
object
object Plain
Companion:
class
object Updated
object given_Traverse_Record extends Traverse[Record]

Types

opaque type Created
opaque type Identifier
opaque type Updated

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def created[A](value: A): ((Identifier, Created)) => Record[A]
def updated[A](record: Record[A]): Updated => Record[A]

Givens

Givens