This distinction allows definitions of operations to be constrained to the types where a give operation makes sense: -: (Vector, Vector) => Vector with right unit Vector.zero; +: (Vector, Vector) => Vector with unit Vector.zero; -: (Point, Point) => Vector; +: (Point, Vector) => Point with left unit Point.zero and its "commutation" +: (Vector, Point) => Point with right unit Point.zero.

This distinction may seem to be artificial: after all, given operations -: (Point, Point) => Vector and +: (Point, Vector) => Point, we have an isomorphism between Points and Vectors: ptov(p) = p - Point.zero, vtop(v) = Point.zero + v.

Indeed, there is not much difference between the two when we are talking about angles. However, for dates (Points) it makes sense to ask what year/month the date is in - but not for time intervals (Vectors)!

Definition Classes: opentorah

org.opentorah

astronomy

package astronomy

Ordering

Alphabetic

Visibility

Public
Protected

Type Members

final class Calculation extends AnyRef
class Calculator extends AnyRef
trait Calculators extends AnyRef
trait Epoch extends AnyRef
abstract class InterpolatedTable[N <: angles.Angles.Angle[N]] extends AnyRef
trait Rounders extends AnyRef
final class SeasonsAstronomical extends ForYear
trait Time2Rotation extends AnyRef
sealed abstract class Zodiac extends Named

Value Members

object AngularVelocities
object Calculator
object Calculators
object DayOfSighting
object Epoch
object MoonAnomalyMean extends Time2Rotation
object MoonAnomalyVisible
object MoonCircuitPortion
object MoonHeadMean extends Time2Rotation
object MoonLatitude
object MoonLatitudeSightingAdjustment
object MoonLongitude3Portion
object MoonLongitudeAdjustmentForTimeOfSighting
object MoonLongitudeDoubleElongationCorrection
object MoonLongitudeMean extends Time2Rotation
object MoonLongitudeSightingAdjustment
object MoonSightable
object Rounders
object SunApogee extends Time2Rotation
object SunLongitudeCorrection
object SunLongitudeMean extends Time2Rotation
object Time2Rotation
object Zodiac extends NamedCompanion

Packages

astronomy

package astronomy

Type Members

Value Members

Ungrouped

astronomy