O1Library Docs
Fall 2023
Docs API

# Always

o1.gui.View$.RefreshPolicy$.Always$
case object Always extends RefreshPolicy

The RefreshPolicy of seeking to update the image visible in a `View` as often as possible. (Time-consuming but always safe.)

Note to students: You’re unlikely to need this for anything in O1.

## Attributes

Graph
Supertypes
  trait Singleton
  trait Product
  trait Mirror
  trait Serializable
  trait Product
  trait Equals
  trait RefreshPolicy
  class Object
  trait Matchable
  class Any
  Show all
Self type
  Always.type

## Members list

### Type members

#### Inherited types

type MirroredElemLabels = EmptyTuple

The names of the product elements

The names of the product elements

## Attributes

Inherited from:
  Singleton

type MirroredElemTypes = EmptyTuple

## Attributes

Inherited from:
  Singleton

type MirroredLabel <: String

The name of the type

The name of the type

## Attributes

Inherited from:
  Mirror

type MirroredMonoType = Singleton.this.type

The mirrored *-type

The mirrored *-type

## Attributes

Inherited from:
  Singleton

type MirroredType = Singleton.this.type

## Attributes

Inherited from:
  Singleton

### Value members

#### Concrete methods

def shouldRefresh(from: Matchable, to: Matchable): Boolean

Returns `true` to indicated that the `View` should try to update itself no matter the current and earlier states of the model.

Returns `true` to indicated that the `View` should try to update itself no matter the current and earlier states of the model.

## Attributes

#### Inherited methods

def fromProduct(p: Product): MirroredMonoType

Create a new instance of type `T` with elements taken from product `p`.

Create a new instance of type `T` with elements taken from product `p`.

## Attributes

Inherited from:
  Singleton

def productElementNames: Iterator[String]

## Attributes

Inherited from:
  Product

def productIterator: Iterator[Any]

## Attributes

Inherited from:
  Product