O1Library Docs
Fall 2026
Docs API

# TraceEvent

o1.gui.viewimpl.tracing.TraceEvent
See the TraceEvent companion trait
object TraceEvent

This companion object of the sealed `TraceEvent` trait provides implementations for the trait. They can be used for tracing different kinds of events.

## Attributes

Companion
  trait
Graph
Supertypes
  trait Sum
  trait Mirror
  class Object
  trait Matchable
  class Any
Self type
  TraceEvent.type

## Members list

### Type members

#### Classlikes

case object Init extends TraceEvent

A `TraceEvent` that marks the start of a trace.

A `TraceEvent` that marks the start of a trace.

## Attributes

Supertypes
  trait Singleton
  trait Product
  trait Mirror
  trait Serializable
  trait Product
  trait Equals
  trait TraceEvent
  class Object
  trait Matchable
  class Any
  Show all
Self type
  Init.type

final case class Input[Info](name: String, info: Info) extends TraceEvent

A `TraceEvent` that records a GUI event.

A `TraceEvent` that records a GUI event.

## Type parameters

Info

  the type of the additional information, such as `Pos`, `Key`, or `MouseMoved`

## Parameters

info

  additional information about the event

name

  a short description of the GUI event, such as `"click"`, `"key-down"`, or `"mouse-move"`

## Attributes

Supertypes
  trait Serializable
  trait Product
  trait Equals
  trait TraceEvent
  class Object
  trait Matchable
  class Any
  Show all

final case class Tick(time: Option[Long]) extends TraceEvent

A `TraceEvent` that records a clock tick.

A `TraceEvent` that records a clock tick.

## Parameters

time

  the number of the tick, if available

## Attributes

Companion
  object
Supertypes
  trait Serializable
  trait Product
  trait Equals
  trait TraceEvent
  class Object
  trait Matchable
  class Any
  Show all

object Tick

## Attributes

Companion
  class
Supertypes
  trait Product
  trait Mirror
  class Object
  trait Matchable
  class Any
Self type
  Tick.type

#### Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements.

The names of the product elements.

## Attributes

Inherited from:
  Mirror

type MirroredLabel <: String

The name of the type.

The name of the type.

## Attributes

Inherited from:
  Mirror