O1Library Docs
Fall 2023
Docs API

# TopLeft

o1.world.objects.Anchor$.TopLeft$
case object TopLeft extends Anchor

An anchor at the top left-hand corner. This object has an alias in the top-level package o1, so it’s accessible to students simply via `import o1.*`.

## Attributes

Graph
Supertypes
  trait Singleton
  trait Product
  trait Mirror
  trait Serializable
  trait Product
  trait Equals
  trait Anchor
  class Object
  trait Matchable
  class Any
  Show all
Self type
  TopLeft.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

#### 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 internalPosWithin(anchored: HasAnchor): Pos

Returns the Pos of the anchoring point within the given `Pic` or other anchorable object, relative to the object’s top left-hand corner.

Returns the Pos of the anchoring point within the given `Pic` or other anchorable object, relative to the object’s top left-hand corner.

## Attributes

Inherited from:
  Anchor

def internalXWithin(anchored: HasAnchor): Double

## Attributes

Inherited from:
  Left (hidden)

def internalYWithin(anchored: HasAnchor): Double

## Attributes

Inherited from:
  Top (hidden)

def productElementNames: Iterator[String]

## Attributes

Inherited from:
  Product

def productIterator: Iterator[Any]

## Attributes

Inherited from:
  Product

def toAbsoluteWithin(anchored: HasAnchor): Absolute

Returns an absolute anchor the Pos of the anchoring point within the given `Pic` or other anchorable object, relative to the object’s top left-hand corner.

Returns an absolute anchor the Pos of the anchoring point within the given `Pic` or other anchorable object, relative to the object’s top left-hand corner.

## Attributes

Inherited from:
  Anchor